problem |
result |
overall_time |
unbd-sage0.smt2.1 |
sat |
0.03 |
unbd-sage0.smt2.10 |
sat |
307.43 |
unbd-sage0.smt2.2 |
sat |
418.18 |
unbd-sage0.smt2.3 |
sat |
3.51 |
unbd-sage0.smt2.4 |
sat |
14.72 |
unbd-sage0.smt2.5 |
sat |
0.82 |
unbd-sage0.smt2.6 |
sat |
1.8 |
unbd-sage0.smt2.7 |
sat |
353.58 |
unbd-sage0.smt2.8 |
sat |
261.44 |
unbd-sage0.smt2.9 |
sat |
5.79 |
unbd-sage1.smt2.1 |
sat |
31.83 |
unbd-sage1.smt2.10 |
sat |
0.09 |
unbd-sage1.smt2.2 |
sat |
0.07 |
unbd-sage1.smt2.3 |
sat |
0.04 |
unbd-sage1.smt2.4 |
sat |
1.61 |
unbd-sage1.smt2.5 |
sat |
0.03 |
unbd-sage1.smt2.6 |
sat |
8.05 |
unbd-sage1.smt2.7 |
sat |
13.03 |
unbd-sage1.smt2.8 |
sat |
33.36 |
unbd-sage1.smt2.9 |
sat |
17.85 |
unbd-sage10.smt2.1 |
sat |
0.22 |
unbd-sage10.smt2.10 |
sat |
5.81 |
unbd-sage10.smt2.2 |
sat |
0.23 |
unbd-sage10.smt2.3 |
sat |
65.81 |
unbd-sage10.smt2.4 |
sat |
1.47 |
unbd-sage10.smt2.5 |
sat |
4.67 |
unbd-sage10.smt2.6 |
sat |
495.91 |
unbd-sage10.smt2.7 |
sat |
0.19 |
unbd-sage10.smt2.8 |
sat |
0.12 |
unbd-sage10.smt2.9 |
sat |
0.12 |
unbd-sage11.smt2.1 |
sat |
0.14 |
unbd-sage11.smt2.10 |
sat |
0.31 |
unbd-sage11.smt2.2 |
sat |
0.46 |
unbd-sage11.smt2.3 |
sat |
9.99 |
unbd-sage11.smt2.4 |
sat |
0.13 |
unbd-sage11.smt2.5 |
sat |
62.73 |
unbd-sage11.smt2.6 |
sat |
0.13 |
unbd-sage11.smt2.7 |
sat |
0.06 |
unbd-sage11.smt2.8 |
sat |
7.9 |
unbd-sage11.smt2.9 |
sat |
0.54 |
unbd-sage12.smt2.1 |
sat |
0.88 |
unbd-sage12.smt2.10 |
sat |
22.8 |
unbd-sage12.smt2.2 |
sat |
0.09 |
unbd-sage12.smt2.3 |
sat |
2.43 |
unbd-sage12.smt2.4 |
sat |
31.63 |
unbd-sage12.smt2.5 |
sat |
0.62 |
unbd-sage12.smt2.6 |
sat |
195.13 |
unbd-sage12.smt2.7 |
sat |
5.24 |
unbd-sage12.smt2.8 |
sat |
0.15 |
unbd-sage12.smt2.9 |
sat |
0.11 |
unbd-sage13.smt2.1 |
sat |
0.14 |
unbd-sage13.smt2.10 |
sat |
0.14 |
unbd-sage13.smt2.2 |
sat |
0.32 |
unbd-sage13.smt2.3 |
sat |
19.28 |
unbd-sage13.smt2.4 |
sat |
0.16 |
unbd-sage13.smt2.5 |
sat |
0.13 |
unbd-sage13.smt2.6 |
sat |
206.57 |
unbd-sage13.smt2.7 |
sat |
0.97 |
unbd-sage13.smt2.8 |
sat |
0.41 |
unbd-sage13.smt2.9 |
sat |
0.1 |
unbd-sage14.smt2.1 |
sat |
0.05 |
unbd-sage14.smt2.10 |
sat |
1.66 |
unbd-sage14.smt2.2 |
sat |
165.76 |
unbd-sage14.smt2.3 |
sat |
1.66 |
unbd-sage14.smt2.4 |
sat |
5.58 |
unbd-sage14.smt2.5 |
sat |
0.2 |
unbd-sage14.smt2.6 |
sat |
6.3 |
unbd-sage14.smt2.7 |
sat |
31.25 |
unbd-sage14.smt2.8 |
sat |
0.11 |
unbd-sage14.smt2.9 |
sat |
0.44 |
unbd-sage15.smt2.1 |
sat |
5.79 |
unbd-sage15.smt2.10 |
sat |
0.28 |
unbd-sage15.smt2.2 |
sat |
40.45 |
unbd-sage15.smt2.3 |
sat |
0.2 |
unbd-sage15.smt2.4 |
sat |
0.16 |
unbd-sage15.smt2.5 |
sat |
0.25 |
unbd-sage15.smt2.6 |
sat |
0.29 |
unbd-sage15.smt2.7 |
sat |
0.07 |
unbd-sage15.smt2.8 |
sat |
0.2 |
unbd-sage15.smt2.9 |
sat |
1.33 |
unbd-sage16.smt2.1 |
sat |
0.92 |
unbd-sage16.smt2.10 |
sat |
80.42 |
unbd-sage16.smt2.2 |
sat |
1.71 |
unbd-sage16.smt2.3 |
sat |
3.73 |
unbd-sage16.smt2.4 |
sat |
0.3 |
unbd-sage16.smt2.5 |
sat |
81.35 |
unbd-sage16.smt2.6 |
sat |
77.03 |
unbd-sage16.smt2.7 |
sat |
0.55 |
unbd-sage16.smt2.8 |
sat |
0.81 |
unbd-sage16.smt2.9 |
sat |
0.23 |
unbd-sage17.smt2.1 |
sat |
114.54 |
unbd-sage17.smt2.10 |
sat |
0.31 |
unbd-sage17.smt2.2 |
sat |
0.03 |
unbd-sage17.smt2.3 |
sat |
15.68 |
unbd-sage17.smt2.4 |
sat |
67.55 |
unbd-sage17.smt2.5 |
sat |
0.47 |
unbd-sage17.smt2.6 |
sat |
4.41 |
unbd-sage17.smt2.7 |
sat |
0.05 |
unbd-sage17.smt2.8 |
sat |
276.17 |
unbd-sage17.smt2.9 |
sat |
1.01 |
unbd-sage18.smt2.1 |
sat |
30.76 |
unbd-sage18.smt2.2 |
sat |
1.86 |
unbd-sage18.smt2.3 |
sat |
391.13 |
unbd-sage18.smt2.4 |
sat |
1.83 |
unbd-sage18.smt2.5 |
sat |
317.68 |
unbd-sage18.smt2.6 |
sat |
7.86 |
unbd-sage18.smt2.7 |
sat |
6.11 |
unbd-sage18.smt2.8 |
sat |
292.4 |
unbd-sage18.smt2.9 |
sat |
59.05 |
unbd-sage19.smt2.1 |
sat |
186.25 |
unbd-sage19.smt2.10 |
sat |
2.43 |
unbd-sage19.smt2.2 |
sat |
19.98 |
unbd-sage19.smt2.3 |
sat |
83.45 |
unbd-sage19.smt2.4 |
sat |
8.2 |
unbd-sage19.smt2.6 |
sat |
0.24 |
unbd-sage19.smt2.7 |
sat |
0.06 |
unbd-sage19.smt2.8 |
sat |
595.74 |
unbd-sage19.smt2.9 |
sat |
2.43 |
unbd-sage2.smt2.2 |
sat |
21.47 |
unbd-sage2.smt2.5 |
sat |
0.51 |
unbd-sage2.smt2.6 |
sat |
84.52 |
unbd-sage2.smt2.9 |
sat |
25.47 |
unbd-sage20.smt2.1 |
sat |
661.06 |
unbd-sage20.smt2.10 |
sat |
4.31 |
unbd-sage20.smt2.2 |
sat |
11.37 |
unbd-sage20.smt2.3 |
sat |
27.83 |
unbd-sage20.smt2.4 |
sat |
0.15 |
unbd-sage20.smt2.5 |
sat |
1.07 |
unbd-sage20.smt2.6 |
sat |
6.26 |
unbd-sage20.smt2.7 |
sat |
8.01 |
unbd-sage20.smt2.8 |
sat |
1.47 |
unbd-sage20.smt2.9 |
sat |
0.07 |
unbd-sage21.smt2.1 |
sat |
0.57 |
unbd-sage21.smt2.10 |
sat |
2.25 |
unbd-sage21.smt2.2 |
sat |
103.3 |
unbd-sage21.smt2.3 |
sat |
3.19 |
unbd-sage21.smt2.5 |
sat |
0.13 |
unbd-sage21.smt2.6 |
sat |
18.87 |
unbd-sage21.smt2.7 |
sat |
0.31 |
unbd-sage21.smt2.8 |
sat |
61.27 |
unbd-sage21.smt2.9 |
sat |
2.83 |
unbd-sage22.smt2.1 |
sat |
10.79 |
unbd-sage22.smt2.10 |
sat |
152.42 |
unbd-sage22.smt2.2 |
sat |
2.01 |
unbd-sage22.smt2.3 |
sat |
0.99 |
unbd-sage22.smt2.4 |
sat |
3.52 |
unbd-sage22.smt2.5 |
sat |
19.98 |
unbd-sage22.smt2.6 |
sat |
0.12 |
unbd-sage22.smt2.7 |
sat |
1.25 |
unbd-sage22.smt2.8 |
sat |
2.83 |
unbd-sage22.smt2.9 |
sat |
19.24 |
unbd-sage23.smt2.1 |
sat |
197.67 |
unbd-sage23.smt2.10 |
sat |
16.24 |
unbd-sage23.smt2.2 |
sat |
6.14 |
unbd-sage23.smt2.3 |
sat |
0.33 |
unbd-sage23.smt2.4 |
sat |
0.08 |
unbd-sage23.smt2.5 |
sat |
0.15 |
unbd-sage23.smt2.6 |
sat |
6.56 |
unbd-sage23.smt2.7 |
sat |
7.75 |
unbd-sage23.smt2.8 |
sat |
0.94 |
unbd-sage23.smt2.9 |
sat |
14.31 |
unbd-sage24.smt2.1 |
sat |
0.99 |
unbd-sage24.smt2.10 |
sat |
0.14 |
unbd-sage24.smt2.2 |
sat |
0.28 |
unbd-sage24.smt2.3 |
sat |
0.15 |
unbd-sage24.smt2.5 |
sat |
13.34 |
unbd-sage24.smt2.6 |
sat |
14.73 |
unbd-sage24.smt2.7 |
sat |
2.19 |
unbd-sage24.smt2.8 |
sat |
0.31 |
unbd-sage24.smt2.9 |
sat |
24.35 |
unbd-sage3.smt2.1 |
sat |
51.5 |
unbd-sage3.smt2.10 |
sat |
0.16 |
unbd-sage3.smt2.2 |
sat |
0.71 |
unbd-sage3.smt2.3 |
sat |
0.1 |
unbd-sage3.smt2.4 |
sat |
0.84 |
unbd-sage3.smt2.5 |
sat |
5.4 |
unbd-sage3.smt2.6 |
sat |
0.47 |
unbd-sage3.smt2.7 |
sat |
391.52 |
unbd-sage3.smt2.8 |
sat |
9.97 |
unbd-sage3.smt2.9 |
sat |
365.6 |
unbd-sage4.smt2.1 |
sat |
0.04 |
unbd-sage4.smt2.10 |
sat |
23.76 |
unbd-sage4.smt2.2 |
sat |
4.1 |
unbd-sage4.smt2.3 |
sat |
11.73 |
unbd-sage4.smt2.4 |
sat |
0.51 |
unbd-sage4.smt2.5 |
sat |
0.09 |
unbd-sage4.smt2.6 |
sat |
4.67 |
unbd-sage4.smt2.7 |
sat |
0.04 |
unbd-sage4.smt2.8 |
sat |
0.95 |
unbd-sage4.smt2.9 |
sat |
262.32 |
unbd-sage5.smt2.1 |
sat |
0.88 |
unbd-sage5.smt2.10 |
sat |
0.75 |
unbd-sage5.smt2.2 |
sat |
0.11 |
unbd-sage5.smt2.3 |
sat |
25.11 |
unbd-sage5.smt2.4 |
sat |
147.04 |
unbd-sage5.smt2.5 |
sat |
0.15 |
unbd-sage5.smt2.6 |
sat |
111.98 |
unbd-sage5.smt2.7 |
sat |
0.07 |
unbd-sage5.smt2.8 |
sat |
4.82 |
unbd-sage5.smt2.9 |
sat |
0.1 |
unbd-sage6.smt2.10 |
sat |
311.14 |
unbd-sage6.smt2.2 |
sat |
26.2 |
unbd-sage6.smt2.3 |
sat |
97.78 |
unbd-sage6.smt2.4 |
sat |
2.85 |
unbd-sage6.smt2.5 |
sat |
0.07 |
unbd-sage6.smt2.6 |
sat |
0.25 |
unbd-sage6.smt2.7 |
sat |
4.9 |
unbd-sage6.smt2.8 |
sat |
0.14 |
unbd-sage6.smt2.9 |
sat |
0.34 |
unbd-sage7.smt2.1 |
sat |
0.92 |
unbd-sage7.smt2.10 |
sat |
0.72 |
unbd-sage7.smt2.2 |
sat |
0.08 |
unbd-sage7.smt2.3 |
sat |
78.71 |
unbd-sage7.smt2.4 |
sat |
7.88 |
unbd-sage7.smt2.5 |
sat |
3.54 |
unbd-sage7.smt2.6 |
sat |
0.09 |
unbd-sage7.smt2.7 |
sat |
13.79 |
unbd-sage7.smt2.8 |
sat |
0.07 |
unbd-sage7.smt2.9 |
sat |
2.44 |
unbd-sage8.smt2.1 |
sat |
0.08 |
unbd-sage8.smt2.10 |
sat |
25.96 |
unbd-sage8.smt2.2 |
sat |
0.03 |
unbd-sage8.smt2.3 |
sat |
2.16 |
unbd-sage8.smt2.4 |
sat |
13.07 |
unbd-sage8.smt2.5 |
sat |
6.54 |
unbd-sage8.smt2.6 |
sat |
3.23 |
unbd-sage8.smt2.7 |
sat |
0.04 |
unbd-sage8.smt2.8 |
sat |
26.59 |
unbd-sage8.smt2.9 |
sat |
13.71 |
unbd-sage9.smt2.1 |
sat |
33.2 |
unbd-sage9.smt2.10 |
sat |
2.52 |
unbd-sage9.smt2.2 |
sat |
28.1 |
unbd-sage9.smt2.3 |
sat |
109.05 |
unbd-sage9.smt2.4 |
sat |
26.4 |
unbd-sage9.smt2.5 |
sat |
0.23 |
unbd-sage9.smt2.6 |
sat |
0.04 |
unbd-sage9.smt2.7 |
sat |
1.47 |
unbd-sage9.smt2.8 |
sat |
0.32 |
unbd-sage9.smt2.9 |
sat |
136.38 |