/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


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


MAYBE

Problem:
 f(node(s(n),xs)) -> f(addchild(select(xs),node(n,xs)))
 select(cons(ap,xs)) -> ap
 select(cons(ap,xs)) -> select(xs)
 addchild(node(y,ys),node(n,xs)) -> node(y,cons(node(n,xs),ys))

Proof:
 Open