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 |