/export/starexec/sandbox/solver/bin/starexec_run_ttt2 /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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 15905
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 16447
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 16511
MAYBE

Problem:
 f(0(),1(),x) -> f(x,x,x)
 f(x,y,z) -> 2()
 0() -> 2()
 1() -> 2()
 g(x,x,y) -> y
 g(x,y,y) -> x

Proof:
 Open