problem |
result |
overall_time |
unbd-sage0.smt2.6 |
sat |
0.44 |
unbd-sage0.smt2.7 |
sat |
0.86 |
unbd-sage0.smt2.9 |
sat |
392.86 |
unbd-sage1.smt2.1 |
sat |
1316.9 |
unbd-sage1.smt2.3 |
sat |
702.27 |
unbd-sage1.smt2.6 |
sat |
5.49 |
unbd-sage10.smt2.4 |
sat |
0.38 |
unbd-sage11.smt2.10 |
sat |
15.05 |
unbd-sage11.smt2.2 |
sat |
1.73 |
unbd-sage11.smt2.4 |
sat |
1.09 |
unbd-sage11.smt2.6 |
sat |
937.41 |
unbd-sage12.smt2.6 |
sat |
114.96 |
unbd-sage13.smt2.10 |
sat |
3.47 |
unbd-sage13.smt2.4 |
sat |
828.91 |
unbd-sage15.smt2.6 |
sat |
100.86 |
unbd-sage16.smt2.1 |
sat |
9.03 |
unbd-sage17.smt2.3 |
sat |
306.26 |
unbd-sage18.smt2.4 |
sat |
953.23 |
unbd-sage18.smt2.5 |
sat |
1.08 |
unbd-sage18.smt2.6 |
sat |
4.66 |
unbd-sage18.smt2.9 |
sat |
0.7 |
unbd-sage19.smt2.3 |
sat |
7.78 |
unbd-sage19.smt2.9 |
sat |
1.56 |
unbd-sage2.smt2.4 |
sat |
646.59 |
unbd-sage2.smt2.5 |
sat |
14.73 |
unbd-sage2.smt2.7 |
sat |
294.94 |
unbd-sage20.smt2.2 |
sat |
153.88 |
unbd-sage20.smt2.3 |
sat |
0.47 |
unbd-sage20.smt2.4 |
sat |
2.15 |
unbd-sage20.smt2.5 |
sat |
985 |
unbd-sage21.smt2.1 |
sat |
0.66 |
unbd-sage21.smt2.10 |
sat |
0.55 |
unbd-sage21.smt2.2 |
sat |
1158.03 |
unbd-sage21.smt2.3 |
sat |
18.29 |
unbd-sage21.smt2.4 |
sat |
13.09 |
unbd-sage22.smt2.2 |
sat |
49.58 |
unbd-sage22.smt2.4 |
sat |
935.28 |
unbd-sage22.smt2.5 |
sat |
7.98 |
unbd-sage22.smt2.6 |
sat |
1035.23 |
unbd-sage22.smt2.9 |
sat |
2.95 |
unbd-sage23.smt2.10 |
sat |
3.38 |
unbd-sage23.smt2.5 |
sat |
63.74 |
unbd-sage23.smt2.7 |
sat |
715.91 |
unbd-sage23.smt2.9 |
sat |
943.3 |
unbd-sage24.smt2.2 |
sat |
574.82 |
unbd-sage24.smt2.6 |
sat |
0.96 |
unbd-sage3.smt2.10 |
sat |
191.4 |
unbd-sage3.smt2.3 |
sat |
0.46 |
unbd-sage3.smt2.5 |
sat |
76.66 |
unbd-sage4.smt2.3 |
sat |
90.65 |
unbd-sage4.smt2.4 |
sat |
0.62 |
unbd-sage4.smt2.7 |
sat |
334.55 |
unbd-sage4.smt2.8 |
sat |
42.04 |
unbd-sage5.smt2.6 |
sat |
531.88 |
unbd-sage5.smt2.9 |
sat |
1.71 |
unbd-sage6.smt2.2 |
sat |
519.33 |
unbd-sage6.smt2.5 |
sat |
1.5 |
unbd-sage7.smt2.1 |
sat |
0.48 |
unbd-sage7.smt2.6 |
sat |
64.95 |
unbd-sage7.smt2.7 |
sat |
1073.65 |
unbd-sage7.smt2.9 |
sat |
44.21 |
unbd-sage8.smt2.1 |
sat |
427.22 |
unbd-sage8.smt2.2 |
sat |
0.61 |
unbd-sage8.smt2.3 |
sat |
11.35 |
unbd-sage8.smt2.4 |
sat |
0.62 |
unbd-sage8.smt2.5 |
sat |
400.22 |
unbd-sage8.smt2.9 |
sat |
46.72 |
unbd-sage9.smt2.10 |
sat |
1.8 |
unbd-sage9.smt2.3 |
sat |
20.66 |
unbd-sage9.smt2.6 |
sat |
54.11 |
unbd-sage9.smt2.9 |
sat |
0.26 |