problem |
result |
overall_time |
unbd-sage0.smt2.10 |
sat |
5.02 |
unbd-sage0.smt2.2 |
sat |
0.01 |
unbd-sage0.smt2.3 |
sat |
0.25 |
unbd-sage0.smt2.4 |
sat |
0.25 |
unbd-sage0.smt2.5 |
sat |
1.08 |
unbd-sage0.smt2.6 |
sat |
999.830016 |
unbd-sage0.smt2.7 |
sat |
1 |
unbd-sage0.smt2.9 |
sat |
1.05 |
unbd-sage1.smt2.10 |
sat |
0.13 |
unbd-sage1.smt2.4 |
sat |
1.61 |
unbd-sage1.smt2.6 |
sat |
11.3 |
unbd-sage1.smt2.7 |
sat |
0.12 |
unbd-sage1.smt2.9 |
sat |
0.12 |
unbd-sage10.smt2.10 |
sat |
19.73 |
unbd-sage10.smt2.2 |
sat |
666.899968 |
unbd-sage10.smt2.4 |
sat |
7.58 |
unbd-sage10.smt2.5 |
sat |
5.38 |
unbd-sage10.smt2.7 |
sat |
0.05 |
unbd-sage10.smt2.8 |
sat |
0.04 |
unbd-sage10.smt2.9 |
sat |
7.53 |
unbd-sage11.smt2.5 |
sat |
22.41 |
unbd-sage11.smt2.8 |
sat |
0.52 |
unbd-sage12.smt2.1 |
sat |
29.54 |
unbd-sage12.smt2.3 |
sat |
0.33 |
unbd-sage12.smt2.5 |
sat |
29.26 |
unbd-sage12.smt2.7 |
sat |
3.78 |
unbd-sage12.smt2.9 |
sat |
0.44 |
unbd-sage13.smt2.1 |
sat |
0.09 |
unbd-sage13.smt2.5 |
sat |
0.67 |
unbd-sage13.smt2.6 |
sat |
0.36 |
unbd-sage13.smt2.9 |
sat |
0.17 |
unbd-sage14.smt2.1 |
sat |
56.2 |
unbd-sage14.smt2.2 |
sat |
149.97 |
unbd-sage14.smt2.3 |
sat |
2.4 |
unbd-sage14.smt2.5 |
sat |
0.25 |
unbd-sage14.smt2.6 |
sat |
3.43 |
unbd-sage14.smt2.7 |
sat |
376.209984 |
unbd-sage14.smt2.9 |
sat |
1539.030016 |
unbd-sage15.smt2.3 |
sat |
0.53 |
unbd-sage15.smt2.7 |
sat |
0.48 |
unbd-sage15.smt2.8 |
sat |
410.510016 |
unbd-sage16.smt2.3 |
sat |
0.29 |
unbd-sage16.smt2.4 |
sat |
12.11 |
unbd-sage16.smt2.6 |
sat |
19.78 |
unbd-sage16.smt2.9 |
sat |
0.32 |
unbd-sage17.smt2.2 |
sat |
0.1 |
unbd-sage17.smt2.8 |
sat |
0.13 |
unbd-sage18.smt2.1 |
sat |
1528.019968 |
unbd-sage18.smt2.3 |
sat |
44.88 |
unbd-sage18.smt2.6 |
sat |
190.48 |
unbd-sage18.smt2.7 |
sat |
0.18 |
unbd-sage19.smt2.1 |
sat |
37.49 |
unbd-sage19.smt2.10 |
sat |
0.1 |
unbd-sage19.smt2.3 |
sat |
0.1 |
unbd-sage19.smt2.5 |
sat |
1.76 |
unbd-sage19.smt2.7 |
sat |
0.56 |
unbd-sage19.smt2.9 |
sat |
0.02 |
unbd-sage2.smt2.1 |
sat |
23.78 |
unbd-sage2.smt2.10 |
sat |
0.08 |
unbd-sage2.smt2.2 |
sat |
8.33 |
unbd-sage2.smt2.6 |
sat |
1323.699968 |
unbd-sage2.smt2.7 |
sat |
1.2 |
unbd-sage2.smt2.8 |
sat |
0.08 |
unbd-sage20.smt2.1 |
sat |
0.23 |
unbd-sage20.smt2.10 |
sat |
7.89 |
unbd-sage20.smt2.3 |
sat |
0.11 |
unbd-sage20.smt2.4 |
sat |
0.02 |
unbd-sage20.smt2.5 |
sat |
0.09 |
unbd-sage20.smt2.6 |
sat |
10.58 |
unbd-sage20.smt2.7 |
sat |
0.01 |
unbd-sage20.smt2.8 |
sat |
3.61 |
unbd-sage20.smt2.9 |
sat |
0.03 |
unbd-sage21.smt2.1 |
sat |
14.74 |
unbd-sage21.smt2.3 |
sat |
2.54 |
unbd-sage21.smt2.4 |
sat |
126.46 |
unbd-sage21.smt2.5 |
sat |
0.38 |
unbd-sage21.smt2.6 |
sat |
0.56 |
unbd-sage21.smt2.7 |
sat |
2157.700096 |
unbd-sage22.smt2.1 |
sat |
1.26 |
unbd-sage22.smt2.10 |
sat |
507.24 |
unbd-sage22.smt2.2 |
sat |
145.56 |
unbd-sage22.smt2.3 |
sat |
0.07 |
unbd-sage22.smt2.5 |
sat |
1.23 |
unbd-sage22.smt2.6 |
sat |
27.68 |
unbd-sage22.smt2.7 |
sat |
0.27 |
unbd-sage22.smt2.8 |
sat |
0.07 |
unbd-sage22.smt2.9 |
sat |
0.06 |
unbd-sage23.smt2.10 |
sat |
4.79 |
unbd-sage23.smt2.3 |
sat |
3.45 |
unbd-sage23.smt2.4 |
sat |
37.58 |
unbd-sage23.smt2.8 |
sat |
7.67 |
unbd-sage24.smt2.3 |
sat |
0.65 |
unbd-sage24.smt2.5 |
sat |
44.19 |
unbd-sage24.smt2.7 |
sat |
178.14 |
unbd-sage3.smt2.1 |
sat |
1.33 |
unbd-sage3.smt2.10 |
sat |
1.66 |
unbd-sage3.smt2.2 |
sat |
2.26 |
unbd-sage3.smt2.3 |
sat |
0.07 |
unbd-sage3.smt2.5 |
sat |
0.08 |
unbd-sage3.smt2.6 |
sat |
0.1 |
unbd-sage3.smt2.7 |
sat |
0.08 |
unbd-sage3.smt2.9 |
sat |
2.9 |
unbd-sage4.smt2.10 |
sat |
1.31 |
unbd-sage4.smt2.5 |
sat |
2.31 |
unbd-sage4.smt2.6 |
sat |
0.16 |
unbd-sage4.smt2.7 |
sat |
0.16 |
unbd-sage4.smt2.8 |
sat |
37.9 |
unbd-sage4.smt2.9 |
sat |
0.77 |
unbd-sage5.smt2.1 |
sat |
1.74 |
unbd-sage5.smt2.10 |
sat |
0.09 |
unbd-sage5.smt2.6 |
sat |
4.89 |
unbd-sage5.smt2.7 |
sat |
0.19 |
unbd-sage6.smt2.10 |
sat |
16.76 |
unbd-sage6.smt2.3 |
sat |
0.19 |
unbd-sage6.smt2.4 |
sat |
0.03 |
unbd-sage6.smt2.5 |
sat |
0.05 |
unbd-sage6.smt2.9 |
sat |
0.17 |
unbd-sage7.smt2.10 |
sat |
848.72 |
unbd-sage7.smt2.2 |
sat |
0.21 |
unbd-sage7.smt2.3 |
sat |
204.33 |
unbd-sage7.smt2.4 |
sat |
0.03 |
unbd-sage7.smt2.5 |
sat |
0.47 |
unbd-sage8.smt2.1 |
sat |
913.230016 |
unbd-sage8.smt2.2 |
sat |
9.89 |
unbd-sage8.smt2.3 |
sat |
0.12 |
unbd-sage8.smt2.7 |
sat |
33.14 |
unbd-sage8.smt2.8 |
sat |
22.12 |
unbd-sage9.smt2.1 |
sat |
0.48 |
unbd-sage9.smt2.3 |
sat |
0.65 |
unbd-sage9.smt2.4 |
sat |
0.43 |
unbd-sage9.smt2.7 |
sat |
14.16 |