problem result overall_time
25-22.slack.smt2.1 unsat 724.060032
25-22.slack.smt2.5 unsat 1207.510016
25-22.slack.smt2.6 unsat 893.729984
25-22.slack.smt2.7 unsat 372.94
25-31.slack.smt2.3 unsat 789.900032
25-31.slack.smt2.4 unsat 719.529984
25-31.slack.smt2.7 unsat 1270.48
25-31.slack.smt2.8 unsat 10.07
25-31.slack.smt2.9 unsat 47.61