problem |
result |
overall_time |
unbd-sage0.smt2.2 |
sat |
0.04 |
unbd-sage0.smt2.3 |
sat |
0 |
unbd-sage0.smt2.4 |
sat |
0 |
unbd-sage0.smt2.5 |
sat |
0.06 |
unbd-sage0.smt2.6 |
sat |
0.04 |
unbd-sage1.smt2.1 |
sat |
1.4 |
unbd-sage1.smt2.10 |
sat |
0.16 |
unbd-sage1.smt2.2 |
sat |
2.07 |
unbd-sage1.smt2.3 |
sat |
0.05 |
unbd-sage1.smt2.4 |
sat |
0.23 |
unbd-sage1.smt2.5 |
sat |
0.81 |
unbd-sage1.smt2.6 |
sat |
3.48 |
unbd-sage1.smt2.7 |
sat |
0.24 |
unbd-sage1.smt2.9 |
sat |
0.15 |
unbd-sage10.smt2.10 |
sat |
0.09 |
unbd-sage10.smt2.7 |
sat |
0.17 |
unbd-sage10.smt2.8 |
sat |
0.17 |
unbd-sage11.smt2.1 |
sat |
1.87 |
unbd-sage11.smt2.10 |
sat |
9.69 |
unbd-sage11.smt2.2 |
sat |
2.91 |
unbd-sage11.smt2.3 |
sat |
0.53 |
unbd-sage11.smt2.4 |
sat |
4.52 |
unbd-sage11.smt2.5 |
sat |
1.24 |
unbd-sage11.smt2.6 |
sat |
0.1 |
unbd-sage11.smt2.7 |
sat |
13.17 |
unbd-sage11.smt2.8 |
sat |
0.26 |
unbd-sage11.smt2.9 |
sat |
7.83 |
unbd-sage12.smt2.1 |
sat |
0.63 |
unbd-sage12.smt2.10 |
sat |
0.16 |
unbd-sage12.smt2.2 |
sat |
0.77 |
unbd-sage12.smt2.3 |
sat |
0.54 |
unbd-sage12.smt2.4 |
sat |
0.17 |
unbd-sage12.smt2.5 |
sat |
0.66 |
unbd-sage12.smt2.6 |
sat |
0.15 |
unbd-sage12.smt2.7 |
sat |
0.16 |
unbd-sage12.smt2.8 |
sat |
0.34 |
unbd-sage12.smt2.9 |
sat |
0.02 |
unbd-sage13.smt2.1 |
sat |
0.2 |
unbd-sage13.smt2.10 |
sat |
4.43 |
unbd-sage13.smt2.2 |
sat |
1.17 |
unbd-sage13.smt2.3 |
sat |
4.73 |
unbd-sage13.smt2.4 |
sat |
2.84 |
unbd-sage13.smt2.5 |
sat |
0.14 |
unbd-sage13.smt2.6 |
sat |
0.43 |
unbd-sage13.smt2.7 |
sat |
0.66 |
unbd-sage13.smt2.8 |
sat |
1.02 |
unbd-sage13.smt2.9 |
sat |
0.03 |
unbd-sage14.smt2.10 |
sat |
0.08 |
unbd-sage14.smt2.2 |
sat |
1.53 |
unbd-sage14.smt2.3 |
sat |
1.85 |
unbd-sage14.smt2.4 |
sat |
0.43 |
unbd-sage14.smt2.5 |
sat |
0.24 |
unbd-sage14.smt2.7 |
sat |
3.61 |
unbd-sage14.smt2.8 |
sat |
2.18 |
unbd-sage14.smt2.9 |
sat |
2.23 |
unbd-sage15.smt2.1 |
sat |
11.97 |
unbd-sage15.smt2.10 |
sat |
1.02 |
unbd-sage15.smt2.2 |
sat |
1.26 |
unbd-sage15.smt2.4 |
sat |
2.22 |
unbd-sage15.smt2.5 |
sat |
0.55 |
unbd-sage15.smt2.6 |
sat |
12.66 |
unbd-sage15.smt2.8 |
sat |
6.14 |
unbd-sage16.smt2.1 |
sat |
0.14 |
unbd-sage16.smt2.10 |
sat |
0.03 |
unbd-sage16.smt2.2 |
sat |
0.11 |
unbd-sage16.smt2.3 |
sat |
0.02 |
unbd-sage16.smt2.4 |
sat |
0.06 |
unbd-sage16.smt2.6 |
sat |
0.11 |
unbd-sage16.smt2.7 |
sat |
0.05 |
unbd-sage16.smt2.9 |
sat |
0.01 |
unbd-sage17.smt2.1 |
sat |
0.36 |
unbd-sage17.smt2.2 |
sat |
0.14 |
unbd-sage17.smt2.5 |
sat |
0.51 |
unbd-sage17.smt2.7 |
sat |
0.37 |
unbd-sage17.smt2.8 |
sat |
0 |
unbd-sage17.smt2.9 |
sat |
0.69 |
unbd-sage18.smt2.1 |
sat |
0.07 |
unbd-sage18.smt2.10 |
sat |
0.03 |
unbd-sage18.smt2.2 |
sat |
0.08 |
unbd-sage18.smt2.3 |
sat |
0.12 |
unbd-sage18.smt2.4 |
sat |
17.98 |
unbd-sage18.smt2.5 |
sat |
0.06 |
unbd-sage18.smt2.6 |
sat |
0.08 |
unbd-sage18.smt2.7 |
sat |
0.02 |
unbd-sage18.smt2.8 |
sat |
0.1 |
unbd-sage18.smt2.9 |
sat |
0.08 |
unbd-sage19.smt2.1 |
sat |
1.38 |
unbd-sage19.smt2.2 |
sat |
1.54 |
unbd-sage19.smt2.5 |
sat |
1.22 |
unbd-sage19.smt2.6 |
sat |
5.99 |
unbd-sage19.smt2.7 |
sat |
0.31 |
unbd-sage19.smt2.8 |
sat |
0.04 |
unbd-sage19.smt2.9 |
sat |
1.04 |
unbd-sage2.smt2.1 |
sat |
1.71 |
unbd-sage2.smt2.10 |
sat |
0.38 |
unbd-sage2.smt2.2 |
sat |
0.59 |
unbd-sage2.smt2.3 |
sat |
0.35 |
unbd-sage2.smt2.4 |
sat |
2.73 |
unbd-sage2.smt2.5 |
sat |
1.35 |
unbd-sage2.smt2.6 |
sat |
0.2 |
unbd-sage2.smt2.7 |
sat |
1.05 |
unbd-sage2.smt2.8 |
sat |
0.39 |
unbd-sage20.smt2.10 |
sat |
0.44 |
unbd-sage20.smt2.3 |
sat |
0.65 |
unbd-sage20.smt2.4 |
sat |
0 |
unbd-sage20.smt2.6 |
sat |
0.08 |
unbd-sage20.smt2.9 |
sat |
0.01 |
unbd-sage21.smt2.1 |
sat |
0.85 |
unbd-sage21.smt2.10 |
sat |
0.25 |
unbd-sage21.smt2.2 |
sat |
0.19 |
unbd-sage21.smt2.3 |
sat |
0.53 |
unbd-sage21.smt2.4 |
sat |
0.14 |
unbd-sage21.smt2.5 |
sat |
0.12 |
unbd-sage21.smt2.6 |
sat |
0.06 |
unbd-sage21.smt2.7 |
sat |
0.07 |
unbd-sage22.smt2.9 |
sat |
0.03 |
unbd-sage23.smt2.1 |
sat |
0.56 |
unbd-sage23.smt2.10 |
sat |
0.39 |
unbd-sage23.smt2.2 |
sat |
2.51 |
unbd-sage23.smt2.3 |
sat |
0.31 |
unbd-sage23.smt2.5 |
sat |
3.17 |
unbd-sage23.smt2.6 |
sat |
0.08 |
unbd-sage23.smt2.7 |
sat |
2.38 |
unbd-sage23.smt2.9 |
sat |
0.85 |
unbd-sage24.smt2.1 |
sat |
13.85 |
unbd-sage24.smt2.2 |
sat |
5.06 |
unbd-sage24.smt2.3 |
sat |
0.19 |
unbd-sage24.smt2.4 |
sat |
0.16 |
unbd-sage24.smt2.6 |
sat |
11.03 |
unbd-sage24.smt2.7 |
sat |
12.1 |
unbd-sage24.smt2.8 |
sat |
1.82 |
unbd-sage3.smt2.1 |
sat |
0.08 |
unbd-sage3.smt2.10 |
sat |
0.51 |
unbd-sage3.smt2.2 |
sat |
0.5 |
unbd-sage3.smt2.3 |
sat |
0.01 |
unbd-sage3.smt2.4 |
sat |
0.78 |
unbd-sage3.smt2.5 |
sat |
0.01 |
unbd-sage3.smt2.6 |
sat |
0.03 |
unbd-sage3.smt2.7 |
sat |
0.02 |
unbd-sage3.smt2.8 |
sat |
0.18 |
unbd-sage3.smt2.9 |
sat |
0.17 |
unbd-sage4.smt2.1 |
sat |
0.28 |
unbd-sage4.smt2.10 |
sat |
0.26 |
unbd-sage4.smt2.2 |
sat |
0.27 |
unbd-sage4.smt2.3 |
sat |
0.21 |
unbd-sage4.smt2.4 |
sat |
0.13 |
unbd-sage4.smt2.5 |
sat |
0.09 |
unbd-sage4.smt2.6 |
sat |
0.18 |
unbd-sage4.smt2.7 |
sat |
0.45 |
unbd-sage4.smt2.8 |
sat |
0.25 |
unbd-sage4.smt2.9 |
sat |
0.16 |
unbd-sage5.smt2.1 |
sat |
0.02 |
unbd-sage5.smt2.10 |
sat |
0.15 |
unbd-sage5.smt2.2 |
sat |
1.68 |
unbd-sage5.smt2.3 |
sat |
0.01 |
unbd-sage5.smt2.4 |
sat |
0.03 |
unbd-sage5.smt2.5 |
sat |
0.04 |
unbd-sage5.smt2.6 |
sat |
0.05 |
unbd-sage5.smt2.7 |
sat |
0.01 |
unbd-sage5.smt2.8 |
sat |
1.61 |
unbd-sage5.smt2.9 |
sat |
0.04 |
unbd-sage6.smt2.1 |
sat |
0.44 |
unbd-sage6.smt2.2 |
sat |
0.33 |
unbd-sage6.smt2.3 |
sat |
0.43 |
unbd-sage6.smt2.8 |
sat |
0.29 |
unbd-sage7.smt2.1 |
sat |
5.17 |
unbd-sage7.smt2.10 |
sat |
0.25 |
unbd-sage7.smt2.2 |
sat |
6.95 |
unbd-sage7.smt2.3 |
sat |
5.75 |
unbd-sage7.smt2.4 |
sat |
0.02 |
unbd-sage7.smt2.5 |
sat |
0.4 |
unbd-sage7.smt2.6 |
sat |
1.4 |
unbd-sage7.smt2.7 |
sat |
1.53 |
unbd-sage7.smt2.8 |
sat |
5 |
unbd-sage7.smt2.9 |
sat |
5.13 |
unbd-sage8.smt2.1 |
sat |
0.03 |
unbd-sage8.smt2.10 |
sat |
0.09 |
unbd-sage8.smt2.2 |
sat |
0.09 |
unbd-sage8.smt2.3 |
sat |
0.04 |
unbd-sage8.smt2.5 |
sat |
0.06 |
unbd-sage8.smt2.6 |
sat |
0.1 |
unbd-sage8.smt2.7 |
sat |
0.08 |
unbd-sage9.smt2.10 |
sat |
3.67 |
unbd-sage9.smt2.3 |
sat |
1 |
unbd-sage9.smt2.4 |
sat |
0.23 |