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


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


failure 'Failure("No result of SMT solver - maybe due to some flag of the solver? or the solver was not found in PATH?")' in subprocess 39711
failure 'Failure("No result of SMT solver - maybe due to some flag of the solver? or the solver was not found in PATH?")' in subprocess 40489
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