/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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 poly ... failed.
Freezing ... 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 }
Sum... Max... QLPOpS... NegMaxSum... QWPOpSMaxSum... 2D-Mat... sum_sum_int,sum_neg... heuristic_int,sum_neg... failed.
Finding a loop...  failed.