problem |
result |
overall_time |
unbd-sage0.smt2.2 |
sat |
1225.319936 |
unbd-sage0.smt2.5 |
sat |
1445.170048 |
unbd-sage0.smt2.7 |
sat |
596.96 |
unbd-sage0.smt2.8 |
sat |
1.99 |
unbd-sage1.smt2.3 |
sat |
566.099968 |
unbd-sage10.smt2.7 |
sat |
1184.749952 |
unbd-sage12.smt2.7 |
sat |
1588.889984 |
unbd-sage13.smt2.10 |
sat |
1365.590016 |
unbd-sage13.smt2.2 |
sat |
1156.009984 |
unbd-sage13.smt2.3 |
sat |
90.88 |
unbd-sage15.smt2.5 |
sat |
1673.2 |
unbd-sage16.smt2.5 |
sat |
10.73 |
unbd-sage17.smt2.3 |
sat |
881.289984 |
unbd-sage17.smt2.4 |
sat |
534.910016 |
unbd-sage18.smt2.6 |
sat |
109.87 |
unbd-sage18.smt2.7 |
sat |
1606.700032 |
unbd-sage19.smt2.1 |
sat |
20.6 |
unbd-sage19.smt2.2 |
sat |
82.65 |
unbd-sage19.smt2.4 |
sat |
429.58 |
unbd-sage19.smt2.6 |
sat |
144.64 |
unbd-sage19.smt2.8 |
sat |
610.889984 |
unbd-sage2.smt2.1 |
sat |
122.34 |
unbd-sage2.smt2.2 |
sat |
1000.769984 |
unbd-sage2.smt2.4 |
sat |
278.04 |
unbd-sage2.smt2.7 |
sat |
241.52 |
unbd-sage20.smt2.10 |
sat |
138.48 |
unbd-sage20.smt2.6 |
sat |
978.910016 |
unbd-sage21.smt2.10 |
sat |
113.11 |
unbd-sage21.smt2.4 |
sat |
576.700032 |
unbd-sage21.smt2.7 |
sat |
35.86 |
unbd-sage24.smt2.3 |
sat |
435.3 |
unbd-sage24.smt2.4 |
sat |
16.91 |
unbd-sage24.smt2.5 |
sat |
140.57 |
unbd-sage24.smt2.6 |
sat |
301.3 |
unbd-sage24.smt2.8 |
sat |
28.41 |
unbd-sage3.smt2.1 |
sat |
41.87 |
unbd-sage3.smt2.2 |
sat |
8.39 |
unbd-sage3.smt2.5 |
sat |
1625.430016 |
unbd-sage3.smt2.6 |
sat |
894.769984 |
unbd-sage4.smt2.3 |
sat |
1427.059968 |
unbd-sage4.smt2.6 |
sat |
25.15 |
unbd-sage4.smt2.8 |
sat |
1030.44 |
unbd-sage4.smt2.9 |
sat |
191.88 |
unbd-sage5.smt2.1 |
sat |
81.49 |
unbd-sage5.smt2.10 |
sat |
493.609984 |
unbd-sage5.smt2.2 |
sat |
6.08 |
unbd-sage5.smt2.3 |
sat |
163.51 |
unbd-sage5.smt2.6 |
sat |
3.96 |
unbd-sage5.smt2.9 |
sat |
10.9 |
unbd-sage6.smt2.2 |
sat |
561.710016 |
unbd-sage6.smt2.3 |
sat |
857.96 |
unbd-sage6.smt2.8 |
sat |
445.32 |
unbd-sage7.smt2.3 |
sat |
187.57 |
unbd-sage7.smt2.4 |
sat |
256.44 |
unbd-sage7.smt2.5 |
sat |
1233.299968 |
unbd-sage7.smt2.8 |
sat |
232.76 |
unbd-sage7.smt2.9 |
sat |
2055.079936 |
unbd-sage8.smt2.6 |
sat |
1621.059968 |
unbd-sage8.smt2.8 |
sat |
313.24 |
unbd-sage9.smt2.10 |
sat |
3.8 |
unbd-sage9.smt2.2 |
sat |
106.37 |
unbd-sage9.smt2.3 |
sat |
359.929984 |
unbd-sage9.smt2.7 |
sat |
1183.76 |
unbd-sage9.smt2.8 |
sat |
1452.88 |