/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


MAYBE
Input TRS:
    1: r(xs,ys,zs,nil()) -> xs
    2: r(xs,nil(),zs,cons(w,ws)) -> r(xs,xs,cons(succ(zero()),zs),ws)
    3: r(xs,cons(y,ys),nil(),cons(w,ws)) -> r(xs,xs,cons(succ(zero()),nil()),ws)
    4: r(xs,cons(y,ys),cons(z,zs),cons(w,ws)) -> r(ys,cons(y,ys),zs,cons(succ(zero()),cons(w,ws)))
Number of strict rules: 4
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
   #1: #r(xs,nil(),zs,cons(w,ws)) -> #r(xs,xs,cons(succ(zero()),zs),ws)
   #2: #r(xs,cons(y,ys),nil(),cons(w,ws)) -> #r(xs,xs,cons(succ(zero()),nil()),ws)
   #3: #r(xs,cons(y,ys),cons(z,zs),cons(w,ws)) -> #r(ys,cons(y,ys),zs,cons(succ(zero()),cons(w,ws)))
Number of SCCs: 1, DPs: 3
  SCC { #1..3 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...  failed.