problem result overall_time
20-14.slack.smt2.3 sat 130
20-14.slack.smt2.2 unsat 593.33
20-14.slack.smt2.4 unsat 81.4
25-22.slack.smt2.1 unsat 0.7
25-22.slack.smt2.10 unsat 17.22
25-22.slack.smt2.2 unsat 1.93
25-22.slack.smt2.3 unsat 0.68
25-22.slack.smt2.4 unsat 1.38
25-22.slack.smt2.5 unsat 0.65
25-22.slack.smt2.6 unsat 1.12
25-22.slack.smt2.7 unsat 0.36
25-22.slack.smt2.8 unsat 0.59
25-22.slack.smt2.9 unsat 13.19
25-31.slack.smt2.1 unsat 2.03
25-31.slack.smt2.10 unsat 3.19
25-31.slack.smt2.2 unsat 2.64
25-31.slack.smt2.3 unsat 1.59
25-31.slack.smt2.4 unsat 7.8
25-31.slack.smt2.5 unsat 4.87
25-31.slack.smt2.6 unsat 2.02
25-31.slack.smt2.7 unsat 0.55
25-31.slack.smt2.8 unsat 3.65
25-31.slack.smt2.9 unsat 0.89