/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(a(),f(a(),f(b(),f(x,y)))) -> f(b(),f(c(),f(b(),f(a(),f(a(),f(a(),f(x,y)))))))
 f(a(),f(c(),f(x,y))) -> f(b(),f(x,y))

Proof:
 Open