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


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


MAYBE

Problem:
 0(0(0(0(x1)))) -> 1(0(1(1(x1))))
 1(0(0(1(x1)))) -> 0(0(1(0(x1))))

Proof:
 Open