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 |