problem |
result |
overall_time |
unbd-sage0.smt2.2 |
sat |
0.78 |
unbd-sage0.smt2.3 |
sat |
0.59 |
unbd-sage0.smt2.4 |
sat |
0.59 |
unbd-sage0.smt2.5 |
sat |
0.6 |
unbd-sage0.smt2.6 |
sat |
0.59 |
unbd-sage0.smt2.8 |
sat |
0.56 |
unbd-sage1.smt2.1 |
sat |
212.11 |
unbd-sage1.smt2.10 |
sat |
0.64 |
unbd-sage1.smt2.2 |
sat |
57.57 |
unbd-sage1.smt2.3 |
sat |
848.12 |
unbd-sage1.smt2.4 |
sat |
1182.08 |
unbd-sage1.smt2.5 |
sat |
16.37 |
unbd-sage1.smt2.6 |
sat |
2134.14 |
unbd-sage1.smt2.7 |
sat |
0.63 |
unbd-sage1.smt2.9 |
sat |
0.72 |
unbd-sage10.smt2.1 |
sat |
0.6 |
unbd-sage10.smt2.10 |
sat |
0.6 |
unbd-sage10.smt2.2 |
sat |
0.43 |
unbd-sage10.smt2.3 |
sat |
0.49 |
unbd-sage10.smt2.4 |
sat |
0.5 |
unbd-sage10.smt2.5 |
sat |
0.58 |
unbd-sage10.smt2.6 |
sat |
2.08 |
unbd-sage10.smt2.7 |
sat |
0.61 |
unbd-sage10.smt2.8 |
sat |
0.65 |
unbd-sage10.smt2.9 |
sat |
0.39 |
unbd-sage11.smt2.10 |
sat |
157.38 |
unbd-sage11.smt2.3 |
sat |
0.98 |
unbd-sage11.smt2.5 |
sat |
26.56 |
unbd-sage11.smt2.6 |
sat |
50.56 |
unbd-sage11.smt2.7 |
sat |
1.98 |
unbd-sage11.smt2.8 |
sat |
2121.95 |
unbd-sage11.smt2.9 |
sat |
23 |
unbd-sage12.smt2.10 |
sat |
19.87 |
unbd-sage12.smt2.2 |
sat |
110.79 |
unbd-sage12.smt2.3 |
sat |
1.16 |
unbd-sage12.smt2.4 |
sat |
20.29 |
unbd-sage12.smt2.6 |
sat |
3.34 |
unbd-sage12.smt2.7 |
sat |
376.48 |
unbd-sage12.smt2.8 |
sat |
41.16 |
unbd-sage12.smt2.9 |
sat |
1.15 |
unbd-sage13.smt2.10 |
sat |
110.09 |
unbd-sage13.smt2.3 |
sat |
106.39 |
unbd-sage13.smt2.4 |
sat |
286.45 |
unbd-sage13.smt2.5 |
sat |
339.11 |
unbd-sage13.smt2.6 |
sat |
0.66 |
unbd-sage13.smt2.7 |
sat |
10.59 |
unbd-sage14.smt2.1 |
sat |
750.54 |
unbd-sage14.smt2.10 |
sat |
660 |
unbd-sage14.smt2.3 |
sat |
2.44 |
unbd-sage14.smt2.4 |
sat |
71.01 |
unbd-sage14.smt2.5 |
sat |
0.8 |
unbd-sage14.smt2.6 |
sat |
1.21 |
unbd-sage14.smt2.7 |
sat |
13.77 |
unbd-sage15.smt2.1 |
sat |
53.87 |
unbd-sage15.smt2.10 |
sat |
1752.04 |
unbd-sage15.smt2.3 |
sat |
0.62 |
unbd-sage15.smt2.4 |
sat |
0.84 |
unbd-sage15.smt2.5 |
sat |
222.45 |
unbd-sage15.smt2.6 |
sat |
0.68 |
unbd-sage15.smt2.8 |
sat |
1753.47 |
unbd-sage15.smt2.9 |
sat |
0.59 |
unbd-sage16.smt2.1 |
sat |
0.37 |
unbd-sage16.smt2.10 |
sat |
0.38 |
unbd-sage16.smt2.2 |
sat |
0.46 |
unbd-sage16.smt2.3 |
sat |
0.61 |
unbd-sage16.smt2.4 |
sat |
9.19 |
unbd-sage16.smt2.5 |
sat |
0.44 |
unbd-sage16.smt2.6 |
sat |
0.42 |
unbd-sage16.smt2.8 |
sat |
4.7 |
unbd-sage16.smt2.9 |
sat |
0.69 |
unbd-sage17.smt2.10 |
sat |
4.83 |
unbd-sage17.smt2.2 |
sat |
1.47 |
unbd-sage17.smt2.5 |
sat |
18.4 |
unbd-sage17.smt2.6 |
sat |
1282.43 |
unbd-sage17.smt2.7 |
sat |
419.88 |
unbd-sage17.smt2.8 |
sat |
0.66 |
unbd-sage18.smt2.1 |
sat |
4.58 |
unbd-sage18.smt2.10 |
sat |
5.99 |
unbd-sage18.smt2.2 |
sat |
0.64 |
unbd-sage18.smt2.3 |
sat |
18.54 |
unbd-sage18.smt2.5 |
sat |
0.59 |
unbd-sage18.smt2.6 |
sat |
7.44 |
unbd-sage18.smt2.7 |
sat |
2.26 |
unbd-sage18.smt2.8 |
sat |
1363.3 |
unbd-sage19.smt2.10 |
sat |
1.29 |
unbd-sage19.smt2.3 |
sat |
1.09 |
unbd-sage19.smt2.7 |
sat |
171.07 |
unbd-sage19.smt2.8 |
sat |
46.06 |
unbd-sage19.smt2.9 |
sat |
1232.84 |
unbd-sage2.smt2.1 |
sat |
53.91 |
unbd-sage2.smt2.10 |
sat |
729.14 |
unbd-sage2.smt2.3 |
sat |
18.8 |
unbd-sage2.smt2.5 |
sat |
2.34 |
unbd-sage2.smt2.7 |
sat |
232.33 |
unbd-sage2.smt2.8 |
sat |
699.68 |
unbd-sage20.smt2.10 |
sat |
594.26 |
unbd-sage20.smt2.2 |
sat |
111.81 |
unbd-sage20.smt2.3 |
sat |
1062.65 |
unbd-sage20.smt2.4 |
sat |
0.53 |
unbd-sage20.smt2.5 |
sat |
4.49 |
unbd-sage20.smt2.6 |
sat |
2.62 |
unbd-sage20.smt2.8 |
sat |
0.85 |
unbd-sage20.smt2.9 |
sat |
0.58 |
unbd-sage21.smt2.1 |
sat |
4.38 |
unbd-sage21.smt2.10 |
sat |
226.89 |
unbd-sage21.smt2.2 |
sat |
6.08 |
unbd-sage21.smt2.3 |
sat |
6.36 |
unbd-sage21.smt2.4 |
sat |
60.89 |
unbd-sage21.smt2.5 |
sat |
9.85 |
unbd-sage21.smt2.6 |
sat |
0.49 |
unbd-sage21.smt2.7 |
sat |
130.65 |
unbd-sage21.smt2.8 |
sat |
171.43 |
unbd-sage21.smt2.9 |
sat |
574.96 |
unbd-sage22.smt2.1 |
sat |
32.91 |
unbd-sage22.smt2.10 |
sat |
128.09 |
unbd-sage22.smt2.3 |
sat |
40.09 |
unbd-sage22.smt2.4 |
sat |
1.56 |
unbd-sage22.smt2.5 |
sat |
33.57 |
unbd-sage22.smt2.6 |
sat |
0.57 |
unbd-sage22.smt2.7 |
sat |
336.24 |
unbd-sage22.smt2.8 |
sat |
11.73 |
unbd-sage23.smt2.2 |
sat |
0.6 |
unbd-sage23.smt2.6 |
sat |
2.63 |
unbd-sage23.smt2.7 |
sat |
187.24 |
unbd-sage23.smt2.8 |
sat |
1.19 |
unbd-sage24.smt2.5 |
sat |
639.56 |
unbd-sage24.smt2.7 |
sat |
202.09 |
unbd-sage24.smt2.9 |
sat |
274.71 |
unbd-sage3.smt2.1 |
sat |
10.33 |
unbd-sage3.smt2.3 |
sat |
0.71 |
unbd-sage3.smt2.4 |
sat |
3.76 |
unbd-sage3.smt2.5 |
sat |
0.49 |
unbd-sage3.smt2.6 |
sat |
0.67 |
unbd-sage3.smt2.7 |
sat |
0.72 |
unbd-sage3.smt2.8 |
sat |
1.58 |
unbd-sage3.smt2.9 |
sat |
0.71 |
unbd-sage4.smt2.10 |
sat |
17.55 |
unbd-sage4.smt2.2 |
sat |
7.25 |
unbd-sage4.smt2.3 |
sat |
1748.92 |
unbd-sage4.smt2.4 |
sat |
0.64 |
unbd-sage4.smt2.5 |
sat |
1203.84 |
unbd-sage4.smt2.7 |
sat |
785.01 |
unbd-sage4.smt2.8 |
sat |
28.76 |
unbd-sage4.smt2.9 |
sat |
154.5 |
unbd-sage5.smt2.1 |
sat |
82.4 |
unbd-sage5.smt2.10 |
sat |
0.43 |
unbd-sage5.smt2.3 |
sat |
297.35 |
unbd-sage5.smt2.4 |
sat |
1310.17 |
unbd-sage5.smt2.5 |
sat |
605.48 |
unbd-sage5.smt2.6 |
sat |
1996.89 |
unbd-sage5.smt2.7 |
sat |
0.66 |
unbd-sage5.smt2.9 |
sat |
14.91 |
unbd-sage6.smt2.1 |
sat |
14.29 |
unbd-sage6.smt2.10 |
sat |
11.25 |
unbd-sage6.smt2.3 |
sat |
1.7 |
unbd-sage6.smt2.4 |
sat |
1.54 |
unbd-sage6.smt2.5 |
sat |
1.33 |
unbd-sage6.smt2.6 |
sat |
50.68 |
unbd-sage6.smt2.7 |
sat |
51.54 |
unbd-sage6.smt2.8 |
sat |
1.05 |
unbd-sage6.smt2.9 |
sat |
1.25 |
unbd-sage7.smt2.1 |
sat |
35.54 |
unbd-sage7.smt2.10 |
sat |
3.85 |
unbd-sage7.smt2.2 |
sat |
0.84 |
unbd-sage7.smt2.3 |
sat |
0.5 |
unbd-sage7.smt2.4 |
sat |
0.56 |
unbd-sage7.smt2.5 |
sat |
1.25 |
unbd-sage7.smt2.6 |
sat |
0.61 |
unbd-sage7.smt2.7 |
sat |
0.61 |
unbd-sage7.smt2.8 |
sat |
0.43 |
unbd-sage7.smt2.9 |
sat |
33.43 |
unbd-sage8.smt2.1 |
sat |
0.98 |
unbd-sage8.smt2.2 |
sat |
1.38 |
unbd-sage8.smt2.3 |
sat |
3.63 |
unbd-sage8.smt2.4 |
sat |
173.82 |
unbd-sage8.smt2.5 |
sat |
8.19 |
unbd-sage8.smt2.7 |
sat |
0.94 |
unbd-sage8.smt2.8 |
sat |
1338.64 |
unbd-sage8.smt2.9 |
sat |
1.18 |
unbd-sage9.smt2.1 |
sat |
2319.14 |
unbd-sage9.smt2.3 |
sat |
0.98 |
unbd-sage9.smt2.4 |
sat |
200.22 |
unbd-sage9.smt2.9 |
sat |
3.65 |