problem result overall_time
25-31.slack.smt2.3 unsat 6.18
25-31.slack.smt2.7 unsat 3.19