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


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


YES


Final Termination Result
FOUND:
f422_0_main_GE: < <  - arg3 + 2 * arg8 - 2 >, < 4 * arg2 - arg3 - arg4 >, < 2 * arg2 - arg4 + 4 * arg5 >, < 4 * arg2 + 6 * arg4 + 8 * arg5 - arg6 - arg7 > >
f255_0_main_GE: < <  - 2 * arg2 + 2 * arg5 - 2 >, < 4 * arg2 - arg3 - arg4 > >
f101_0_main_GE: < <  - 2 * arg2 + 2 * arg3 > >
f448_0_main_LT: < < 3 * arg4 + 4 * arg5 - arg6 + 2 * arg9 - 2 >, < 4 * arg2 - arg3 - arg4 >, < 2 * arg2 - arg4 + 4 * arg5 >, < 4 * arg2 + 6 * arg4 + 8 * arg5 - arg6 - arg7 >, < arg8 > >
f292_0_main_LT: < <  - 2 * arg2 + 2 * arg6 - 2 >, < 4 * arg2 - arg3 - arg4 >, < 2 * arg2 - arg4 + 4 * arg5 > >