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


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


MAYBE

Problem:
 b0($(x1)) -> $(x1)
 b0(u($(x1))) -> t0(u(u($(x1))))
 b0(u(u(x1))) -> u(b0(x1))
 u(t0(x1)) -> t0(u(u(u(x1))))
 b0(t0(x1)) -> t0(b0(x1))
 &(u(x1)) -> &(b0(x1))
 &(t0(x1)) -> &(b0(u(x1)))

Proof:
 Open