/export/starexec/sandbox/solver/bin/starexec_run_default.sh /export/starexec/sandbox/benchmark/theBenchmark.smt2 /export/starexec/sandbox/output/output_files


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


MAYBE


Final Termination Result
Removed no linear constraints from transitions: ['t112', 't114', 't116', 't126', 't127', 't21', 't23', 't30', 't35', 't5', 't56', 't58', 't60', 't61', 't62', 't67', 't68', 't7']
NOT FOUND