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


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


YES


Final Termination Result
FOUND:
f892_0_loop_LT: < < 4 * arg2 - 6 * arg3 - arg6 + arg7 >, < 4 * arg2 - 6 * arg3 - arg6 + arg7 >, < arg6 - arg7 > >