/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:
f375_0_dif_GE: < <  - 19 * arg2 + 361 >, <  - arg3 + 19 > >
f484_0_dif_GE: < <  - 19 * arg2 + 361 >, <  - arg2 + 18 >, <  - arg5 + 19 >, <  - arg5 + 19 >, <  - arg3 > >