/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: f852_0_loop_LT: < < 4 * arg2 - 2 * arg3 - arg6 + arg7 >, < 4 * arg2 - 2 * arg3 - arg6 + arg7 >, < arg6 - arg7 > >