/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


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


failure 'Process.Stop' in subprocess 51387
failure 'Sys_error("Broken pipe")' in subprocess 51388
failure 'Sys_error("Broken pipe")' in subprocess 51388
failure 'Sys_error("Broken pipe")' in subprocess 51388
MAYBE

Problem:
 b(a(b(b(a(b(b(a(b(a(b(a(x1)))))))))))) -> a(b(a(b(a(b(b(a(b(b(a(b(b(a(x1))))))))))))))

Proof:
 Open