/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: f169_0_main_GE: < < - arg1 + 9 >, < - arg2 + 11 > > f139_0_main_GE: < < - arg1 + 9 > >