problem |
result |
overall_time |
unbd-sage0.smt2.1 |
sat |
0.04 |
unbd-sage0.smt2.10 |
sat |
7.79 |
unbd-sage0.smt2.3 |
sat |
0 |
unbd-sage0.smt2.4 |
sat |
0 |
unbd-sage0.smt2.5 |
sat |
15.76 |
unbd-sage0.smt2.6 |
sat |
3.17 |
unbd-sage0.smt2.8 |
sat |
3.29 |
unbd-sage1.smt2.1 |
sat |
0.61 |
unbd-sage1.smt2.10 |
sat |
0.03 |
unbd-sage1.smt2.3 |
sat |
1.09 |
unbd-sage1.smt2.4 |
sat |
0 |
unbd-sage1.smt2.7 |
sat |
0.03 |
unbd-sage1.smt2.8 |
sat |
0.23 |
unbd-sage1.smt2.9 |
sat |
0.05 |
unbd-sage10.smt2.1 |
sat |
13.86 |
unbd-sage10.smt2.10 |
sat |
187.53 |
unbd-sage10.smt2.2 |
sat |
44.46 |
unbd-sage10.smt2.3 |
sat |
13.72 |
unbd-sage10.smt2.4 |
sat |
52.45 |
unbd-sage10.smt2.5 |
sat |
0.23 |
unbd-sage10.smt2.6 |
sat |
22.82 |
unbd-sage10.smt2.7 |
sat |
0 |
unbd-sage10.smt2.8 |
sat |
0 |
unbd-sage10.smt2.9 |
sat |
52.77 |
unbd-sage11.smt2.10 |
sat |
12.11 |
unbd-sage11.smt2.2 |
sat |
1.05 |
unbd-sage11.smt2.3 |
sat |
0.63 |
unbd-sage11.smt2.4 |
sat |
2.2 |
unbd-sage11.smt2.5 |
sat |
0.12 |
unbd-sage11.smt2.6 |
sat |
0.03 |
unbd-sage11.smt2.7 |
sat |
0.56 |
unbd-sage11.smt2.8 |
sat |
0.17 |
unbd-sage11.smt2.9 |
sat |
37 |
unbd-sage12.smt2.1 |
sat |
0.16 |
unbd-sage12.smt2.10 |
sat |
0 |
unbd-sage12.smt2.2 |
sat |
2.85 |
unbd-sage12.smt2.4 |
sat |
0 |
unbd-sage12.smt2.5 |
sat |
0.16 |
unbd-sage12.smt2.7 |
sat |
0.14 |
unbd-sage12.smt2.8 |
sat |
0.16 |
unbd-sage12.smt2.9 |
sat |
0 |
unbd-sage13.smt2.1 |
sat |
0.47 |
unbd-sage13.smt2.2 |
sat |
3.1 |
unbd-sage13.smt2.4 |
sat |
3.07 |
unbd-sage13.smt2.5 |
sat |
0.19 |
unbd-sage13.smt2.6 |
sat |
0 |
unbd-sage13.smt2.7 |
sat |
3.45 |
unbd-sage13.smt2.8 |
sat |
1.56 |
unbd-sage13.smt2.9 |
sat |
0.04 |
unbd-sage14.smt2.1 |
sat |
0.96 |
unbd-sage14.smt2.2 |
sat |
0.95 |
unbd-sage14.smt2.4 |
sat |
1.46 |
unbd-sage14.smt2.5 |
sat |
0 |
unbd-sage15.smt2.1 |
sat |
0.34 |
unbd-sage15.smt2.10 |
sat |
1.38 |
unbd-sage15.smt2.2 |
sat |
1.09 |
unbd-sage15.smt2.3 |
sat |
0 |
unbd-sage15.smt2.4 |
sat |
2.14 |
unbd-sage15.smt2.5 |
sat |
0.86 |
unbd-sage15.smt2.6 |
sat |
0.83 |
unbd-sage15.smt2.7 |
sat |
1.76 |
unbd-sage15.smt2.8 |
sat |
6.12 |
unbd-sage15.smt2.9 |
sat |
0.04 |
unbd-sage16.smt2.1 |
sat |
0.14 |
unbd-sage16.smt2.2 |
sat |
1.41 |
unbd-sage16.smt2.3 |
sat |
0.03 |
unbd-sage16.smt2.5 |
sat |
12.99 |
unbd-sage16.smt2.6 |
sat |
0.15 |
unbd-sage16.smt2.7 |
sat |
0.06 |
unbd-sage16.smt2.8 |
sat |
0.92 |
unbd-sage16.smt2.9 |
sat |
0.03 |
unbd-sage17.smt2.1 |
sat |
7.53 |
unbd-sage17.smt2.2 |
sat |
0 |
unbd-sage17.smt2.3 |
sat |
12.05 |
unbd-sage17.smt2.4 |
sat |
12.26 |
unbd-sage17.smt2.6 |
sat |
22.03 |
unbd-sage17.smt2.7 |
sat |
0.33 |
unbd-sage17.smt2.8 |
sat |
0 |
unbd-sage17.smt2.9 |
sat |
0.4 |
unbd-sage18.smt2.1 |
sat |
0.21 |
unbd-sage18.smt2.10 |
sat |
0.03 |
unbd-sage18.smt2.2 |
sat |
25.83 |
unbd-sage18.smt2.3 |
sat |
1.53 |
unbd-sage18.smt2.4 |
sat |
1.68 |
unbd-sage18.smt2.6 |
sat |
0.45 |
unbd-sage18.smt2.7 |
sat |
0 |
unbd-sage18.smt2.8 |
sat |
6.3 |
unbd-sage18.smt2.9 |
sat |
0.87 |
unbd-sage19.smt2.1 |
sat |
0.01 |
unbd-sage19.smt2.10 |
sat |
0.02 |
unbd-sage19.smt2.2 |
sat |
0.45 |
unbd-sage19.smt2.3 |
sat |
0.01 |
unbd-sage19.smt2.4 |
sat |
1.77 |
unbd-sage19.smt2.5 |
sat |
1.06 |
unbd-sage19.smt2.6 |
sat |
0.06 |
unbd-sage19.smt2.7 |
sat |
0.87 |
unbd-sage19.smt2.8 |
sat |
0.65 |
unbd-sage19.smt2.9 |
sat |
6.45 |
unbd-sage2.smt2.2 |
sat |
0.91 |
unbd-sage2.smt2.3 |
sat |
2 |
unbd-sage2.smt2.4 |
sat |
0.24 |
unbd-sage2.smt2.6 |
sat |
0.18 |
unbd-sage2.smt2.9 |
sat |
0.64 |
unbd-sage20.smt2.1 |
sat |
3.42 |
unbd-sage20.smt2.10 |
sat |
0.02 |
unbd-sage20.smt2.2 |
sat |
5.19 |
unbd-sage20.smt2.3 |
sat |
0 |
unbd-sage20.smt2.4 |
sat |
0.03 |
unbd-sage20.smt2.5 |
sat |
0 |
unbd-sage20.smt2.6 |
sat |
0 |
unbd-sage20.smt2.7 |
sat |
0.62 |
unbd-sage20.smt2.9 |
sat |
0.01 |
unbd-sage21.smt2.1 |
sat |
0.16 |
unbd-sage21.smt2.10 |
sat |
0.58 |
unbd-sage21.smt2.2 |
sat |
0.14 |
unbd-sage21.smt2.4 |
sat |
0.09 |
unbd-sage21.smt2.5 |
sat |
0 |
unbd-sage21.smt2.6 |
sat |
0.1 |
unbd-sage21.smt2.7 |
sat |
0 |
unbd-sage21.smt2.8 |
sat |
0.37 |
unbd-sage21.smt2.9 |
sat |
1.71 |
unbd-sage22.smt2.1 |
sat |
0 |
unbd-sage22.smt2.10 |
sat |
6.18 |
unbd-sage22.smt2.2 |
sat |
2.48 |
unbd-sage22.smt2.4 |
sat |
0 |
unbd-sage22.smt2.5 |
sat |
0 |
unbd-sage22.smt2.7 |
sat |
4.81 |
unbd-sage22.smt2.8 |
sat |
5.38 |
unbd-sage22.smt2.9 |
sat |
3.51 |
unbd-sage23.smt2.1 |
sat |
0.67 |
unbd-sage23.smt2.10 |
sat |
0.37 |
unbd-sage23.smt2.2 |
sat |
4.53 |
unbd-sage23.smt2.3 |
sat |
0.6 |
unbd-sage23.smt2.4 |
sat |
0.73 |
unbd-sage23.smt2.7 |
sat |
1.73 |
unbd-sage23.smt2.8 |
sat |
0.02 |
unbd-sage23.smt2.9 |
sat |
0.44 |
unbd-sage24.smt2.1 |
sat |
15.69 |
unbd-sage24.smt2.10 |
sat |
1.61 |
unbd-sage24.smt2.2 |
sat |
7.42 |
unbd-sage24.smt2.3 |
sat |
0.37 |
unbd-sage24.smt2.4 |
sat |
23.78 |
unbd-sage24.smt2.5 |
sat |
0.83 |
unbd-sage24.smt2.7 |
sat |
5.74 |
unbd-sage24.smt2.8 |
sat |
1.92 |
unbd-sage24.smt2.9 |
sat |
33.53 |
unbd-sage3.smt2.1 |
sat |
0.21 |
unbd-sage3.smt2.10 |
sat |
0.55 |
unbd-sage3.smt2.2 |
sat |
0.68 |
unbd-sage3.smt2.3 |
sat |
0 |
unbd-sage3.smt2.4 |
sat |
0.42 |
unbd-sage3.smt2.5 |
sat |
0 |
unbd-sage3.smt2.6 |
sat |
0 |
unbd-sage3.smt2.7 |
sat |
0 |
unbd-sage4.smt2.1 |
sat |
0.6 |
unbd-sage4.smt2.10 |
sat |
0 |
unbd-sage4.smt2.2 |
sat |
4.27 |
unbd-sage4.smt2.3 |
sat |
0.81 |
unbd-sage4.smt2.4 |
sat |
0.9 |
unbd-sage4.smt2.5 |
sat |
0.02 |
unbd-sage4.smt2.6 |
sat |
0.63 |
unbd-sage4.smt2.7 |
sat |
0.06 |
unbd-sage4.smt2.8 |
sat |
0.63 |
unbd-sage5.smt2.1 |
sat |
0.63 |
unbd-sage5.smt2.10 |
sat |
0.51 |
unbd-sage5.smt2.2 |
sat |
0.16 |
unbd-sage5.smt2.3 |
sat |
3.95 |
unbd-sage5.smt2.4 |
sat |
0 |
unbd-sage5.smt2.5 |
sat |
2.55 |
unbd-sage5.smt2.6 |
sat |
2.91 |
unbd-sage5.smt2.7 |
sat |
0 |
unbd-sage5.smt2.8 |
sat |
2.26 |
unbd-sage6.smt2.2 |
sat |
2.09 |
unbd-sage6.smt2.4 |
sat |
0.04 |
unbd-sage6.smt2.5 |
sat |
0.04 |
unbd-sage6.smt2.6 |
sat |
0.51 |
unbd-sage6.smt2.7 |
sat |
0.56 |
unbd-sage7.smt2.10 |
sat |
1.4 |
unbd-sage7.smt2.2 |
sat |
0.63 |
unbd-sage7.smt2.3 |
sat |
0.39 |
unbd-sage7.smt2.4 |
sat |
0.01 |
unbd-sage7.smt2.5 |
sat |
0.18 |
unbd-sage7.smt2.6 |
sat |
1.13 |
unbd-sage7.smt2.7 |
sat |
3.39 |
unbd-sage7.smt2.8 |
sat |
1.06 |
unbd-sage8.smt2.1 |
sat |
4.33 |
unbd-sage8.smt2.10 |
sat |
0.03 |
unbd-sage8.smt2.2 |
sat |
1.48 |
unbd-sage8.smt2.3 |
sat |
0 |
unbd-sage8.smt2.4 |
sat |
2.96 |
unbd-sage8.smt2.5 |
sat |
5.03 |
unbd-sage8.smt2.6 |
sat |
25.44 |
unbd-sage8.smt2.7 |
sat |
0.02 |
unbd-sage8.smt2.8 |
sat |
3.83 |
unbd-sage9.smt2.2 |
sat |
0.02 |
unbd-sage9.smt2.3 |
sat |
0.01 |
unbd-sage9.smt2.4 |
sat |
0.75 |
unbd-sage9.smt2.5 |
sat |
0.03 |
unbd-sage9.smt2.6 |
sat |
7.64 |
unbd-sage9.smt2.7 |
sat |
4.31 |
unbd-sage9.smt2.8 |
sat |
7.57 |