problem |
result |
overall_time |
unbd-sage0.smt2.1 |
sat |
0.13 |
unbd-sage0.smt2.10 |
sat |
0.05 |
unbd-sage0.smt2.2 |
sat |
43.07 |
unbd-sage0.smt2.3 |
sat |
0.03 |
unbd-sage0.smt2.4 |
sat |
0.02 |
unbd-sage0.smt2.5 |
sat |
153.63 |
unbd-sage0.smt2.6 |
sat |
12.18 |
unbd-sage0.smt2.7 |
sat |
16.64 |
unbd-sage0.smt2.8 |
sat |
16.71 |
unbd-sage0.smt2.9 |
sat |
16.45 |
unbd-sage1.smt2.1 |
sat |
3.34 |
unbd-sage1.smt2.10 |
sat |
1.99 |
unbd-sage1.smt2.2 |
sat |
0.11 |
unbd-sage1.smt2.3 |
sat |
0.11 |
unbd-sage1.smt2.4 |
sat |
0.04 |
unbd-sage1.smt2.5 |
sat |
0.2 |
unbd-sage1.smt2.6 |
sat |
0.16 |
unbd-sage1.smt2.7 |
sat |
1.96 |
unbd-sage1.smt2.8 |
sat |
1 |
unbd-sage1.smt2.9 |
sat |
1.97 |
unbd-sage10.smt2.1 |
sat |
0.17 |
unbd-sage10.smt2.10 |
sat |
830.150016 |
unbd-sage10.smt2.2 |
sat |
0.15 |
unbd-sage10.smt2.3 |
sat |
0.16 |
unbd-sage10.smt2.4 |
sat |
0.06 |
unbd-sage10.smt2.5 |
sat |
0.05 |
unbd-sage10.smt2.6 |
sat |
705.190016 |
unbd-sage10.smt2.7 |
sat |
571.889984 |
unbd-sage10.smt2.8 |
sat |
559.790016 |
unbd-sage10.smt2.9 |
sat |
0.06 |
unbd-sage11.smt2.1 |
sat |
1.68 |
unbd-sage11.smt2.10 |
sat |
0.14 |
unbd-sage11.smt2.2 |
sat |
0.11 |
unbd-sage11.smt2.3 |
sat |
0.12 |
unbd-sage11.smt2.4 |
sat |
5.41 |
unbd-sage11.smt2.5 |
sat |
1.82 |
unbd-sage11.smt2.6 |
sat |
0.1 |
unbd-sage11.smt2.7 |
sat |
21.84 |
unbd-sage11.smt2.8 |
sat |
0.11 |
unbd-sage11.smt2.9 |
sat |
7.87 |
unbd-sage12.smt2.1 |
sat |
0.05 |
unbd-sage12.smt2.10 |
sat |
3.57 |
unbd-sage12.smt2.2 |
sat |
1.67 |
unbd-sage12.smt2.3 |
sat |
0.09 |
unbd-sage12.smt2.4 |
sat |
3.89 |
unbd-sage12.smt2.5 |
sat |
0.04 |
unbd-sage12.smt2.6 |
sat |
1.45 |
unbd-sage12.smt2.7 |
sat |
0.21 |
unbd-sage12.smt2.8 |
sat |
1.71 |
unbd-sage12.smt2.9 |
sat |
0.22 |
unbd-sage13.smt2.1 |
sat |
0.03 |
unbd-sage13.smt2.10 |
sat |
0.63 |
unbd-sage13.smt2.2 |
sat |
0.3 |
unbd-sage13.smt2.3 |
sat |
0.63 |
unbd-sage13.smt2.4 |
sat |
3.52 |
unbd-sage13.smt2.5 |
sat |
0.03 |
unbd-sage13.smt2.6 |
sat |
3.18 |
unbd-sage13.smt2.7 |
sat |
0.47 |
unbd-sage13.smt2.8 |
sat |
4.03 |
unbd-sage13.smt2.9 |
sat |
0.02 |
unbd-sage14.smt2.1 |
sat |
1.32 |
unbd-sage14.smt2.10 |
sat |
4.37 |
unbd-sage14.smt2.2 |
sat |
2.48 |
unbd-sage14.smt2.3 |
sat |
2.72 |
unbd-sage14.smt2.4 |
sat |
5.73 |
unbd-sage14.smt2.5 |
sat |
0.71 |
unbd-sage14.smt2.6 |
sat |
6.28 |
unbd-sage14.smt2.7 |
sat |
0.41 |
unbd-sage14.smt2.8 |
sat |
4.62 |
unbd-sage14.smt2.9 |
sat |
6.16 |
unbd-sage15.smt2.1 |
sat |
6.68 |
unbd-sage15.smt2.10 |
sat |
0.87 |
unbd-sage15.smt2.2 |
sat |
3.09 |
unbd-sage15.smt2.3 |
sat |
1.83 |
unbd-sage15.smt2.4 |
sat |
5.51 |
unbd-sage15.smt2.5 |
sat |
5.59 |
unbd-sage15.smt2.6 |
sat |
0.28 |
unbd-sage15.smt2.7 |
sat |
0.48 |
unbd-sage15.smt2.8 |
sat |
0.31 |
unbd-sage15.smt2.9 |
sat |
1.74 |
unbd-sage16.smt2.1 |
sat |
0.14 |
unbd-sage16.smt2.10 |
sat |
2.75 |
unbd-sage16.smt2.2 |
sat |
2.58 |
unbd-sage16.smt2.3 |
sat |
0.14 |
unbd-sage16.smt2.4 |
sat |
3.57 |
unbd-sage16.smt2.5 |
sat |
0.19 |
unbd-sage16.smt2.6 |
sat |
0.22 |
unbd-sage16.smt2.7 |
sat |
0.12 |
unbd-sage16.smt2.8 |
sat |
18.43 |
unbd-sage16.smt2.9 |
sat |
0.15 |
unbd-sage17.smt2.1 |
sat |
0.26 |
unbd-sage17.smt2.10 |
sat |
0.07 |
unbd-sage17.smt2.2 |
sat |
0.03 |
unbd-sage17.smt2.3 |
sat |
1.81 |
unbd-sage17.smt2.4 |
sat |
11.35 |
unbd-sage17.smt2.5 |
sat |
34.77 |
unbd-sage17.smt2.6 |
sat |
5.68 |
unbd-sage17.smt2.7 |
sat |
0.31 |
unbd-sage17.smt2.8 |
sat |
0.98 |
unbd-sage17.smt2.9 |
sat |
40.2 |
unbd-sage18.smt2.1 |
sat |
0.02 |
unbd-sage18.smt2.10 |
sat |
3.64 |
unbd-sage18.smt2.2 |
sat |
13.17 |
unbd-sage18.smt2.3 |
sat |
0.3 |
unbd-sage18.smt2.4 |
sat |
0.12 |
unbd-sage18.smt2.5 |
sat |
3.12 |
unbd-sage18.smt2.6 |
sat |
6.49 |
unbd-sage18.smt2.7 |
sat |
1.31 |
unbd-sage18.smt2.8 |
sat |
5.45 |
unbd-sage18.smt2.9 |
sat |
1.66 |
unbd-sage19.smt2.1 |
sat |
0.25 |
unbd-sage19.smt2.10 |
sat |
0.05 |
unbd-sage19.smt2.2 |
sat |
2.54 |
unbd-sage19.smt2.3 |
sat |
0.06 |
unbd-sage19.smt2.4 |
sat |
0.71 |
unbd-sage19.smt2.5 |
sat |
0.05 |
unbd-sage19.smt2.6 |
sat |
0.19 |
unbd-sage19.smt2.7 |
sat |
0.11 |
unbd-sage19.smt2.8 |
sat |
0.23 |
unbd-sage19.smt2.9 |
sat |
2.2 |
unbd-sage2.smt2.1 |
sat |
1.64 |
unbd-sage2.smt2.10 |
sat |
2.83 |
unbd-sage2.smt2.2 |
sat |
0.27 |
unbd-sage2.smt2.3 |
sat |
0.8 |
unbd-sage2.smt2.4 |
sat |
1.01 |
unbd-sage2.smt2.5 |
sat |
0.94 |
unbd-sage2.smt2.6 |
sat |
0.26 |
unbd-sage2.smt2.7 |
sat |
0.54 |
unbd-sage2.smt2.8 |
sat |
2.99 |
unbd-sage2.smt2.9 |
sat |
1.23 |
unbd-sage20.smt2.1 |
sat |
7.13 |
unbd-sage20.smt2.10 |
sat |
32.09 |
unbd-sage20.smt2.2 |
sat |
0.13 |
unbd-sage20.smt2.3 |
sat |
46.88 |
unbd-sage20.smt2.4 |
sat |
5.88 |
unbd-sage20.smt2.5 |
sat |
6.78 |
unbd-sage20.smt2.6 |
sat |
15.74 |
unbd-sage20.smt2.7 |
sat |
0.09 |
unbd-sage20.smt2.8 |
sat |
7.53 |
unbd-sage20.smt2.9 |
sat |
5.93 |
unbd-sage21.smt2.1 |
sat |
1.62 |
unbd-sage21.smt2.10 |
sat |
0.21 |
unbd-sage21.smt2.2 |
sat |
1.7 |
unbd-sage21.smt2.3 |
sat |
5.23 |
unbd-sage21.smt2.4 |
sat |
0.65 |
unbd-sage21.smt2.5 |
sat |
0.84 |
unbd-sage21.smt2.6 |
sat |
0.01 |
unbd-sage21.smt2.7 |
sat |
0.32 |
unbd-sage21.smt2.8 |
sat |
0.43 |
unbd-sage21.smt2.9 |
sat |
0.9 |
unbd-sage22.smt2.1 |
sat |
17.34 |
unbd-sage22.smt2.10 |
sat |
20.28 |
unbd-sage22.smt2.2 |
sat |
26.66 |
unbd-sage22.smt2.3 |
sat |
0.12 |
unbd-sage22.smt2.4 |
sat |
15.01 |
unbd-sage22.smt2.5 |
sat |
17.47 |
unbd-sage22.smt2.6 |
sat |
14.1 |
unbd-sage22.smt2.7 |
sat |
14.64 |
unbd-sage22.smt2.8 |
sat |
0.09 |
unbd-sage22.smt2.9 |
sat |
11.81 |
unbd-sage23.smt2.1 |
sat |
0.14 |
unbd-sage23.smt2.10 |
sat |
0.48 |
unbd-sage23.smt2.2 |
sat |
3.2 |
unbd-sage23.smt2.3 |
sat |
0.11 |
unbd-sage23.smt2.4 |
sat |
0.12 |
unbd-sage23.smt2.5 |
sat |
6.78 |
unbd-sage23.smt2.6 |
sat |
0.22 |
unbd-sage23.smt2.7 |
sat |
1.5 |
unbd-sage23.smt2.8 |
sat |
3.36 |
unbd-sage23.smt2.9 |
sat |
1.01 |
unbd-sage24.smt2.1 |
sat |
11.5 |
unbd-sage24.smt2.10 |
sat |
28.69 |
unbd-sage24.smt2.2 |
sat |
0.12 |
unbd-sage24.smt2.3 |
sat |
0.04 |
unbd-sage24.smt2.4 |
sat |
7.72 |
unbd-sage24.smt2.5 |
sat |
9.88 |
unbd-sage24.smt2.6 |
sat |
0.33 |
unbd-sage24.smt2.7 |
sat |
0.17 |
unbd-sage24.smt2.8 |
sat |
3.54 |
unbd-sage24.smt2.9 |
sat |
53.7 |
unbd-sage3.smt2.1 |
sat |
0.25 |
unbd-sage3.smt2.10 |
sat |
0.03 |
unbd-sage3.smt2.2 |
sat |
1.44 |
unbd-sage3.smt2.3 |
sat |
0.03 |
unbd-sage3.smt2.4 |
sat |
1.84 |
unbd-sage3.smt2.5 |
sat |
0.03 |
unbd-sage3.smt2.6 |
sat |
0.04 |
unbd-sage3.smt2.7 |
sat |
0.05 |
unbd-sage3.smt2.8 |
sat |
1.03 |
unbd-sage3.smt2.9 |
sat |
0.05 |
unbd-sage4.smt2.1 |
sat |
0.09 |
unbd-sage4.smt2.10 |
sat |
0.28 |
unbd-sage4.smt2.2 |
sat |
1.64 |
unbd-sage4.smt2.3 |
sat |
0.13 |
unbd-sage4.smt2.4 |
sat |
0.21 |
unbd-sage4.smt2.5 |
sat |
0.05 |
unbd-sage4.smt2.6 |
sat |
0.04 |
unbd-sage4.smt2.7 |
sat |
0.07 |
unbd-sage4.smt2.8 |
sat |
0.06 |
unbd-sage4.smt2.9 |
sat |
0.03 |
unbd-sage5.smt2.1 |
sat |
0.06 |
unbd-sage5.smt2.10 |
sat |
0.1 |
unbd-sage5.smt2.2 |
sat |
5.35 |
unbd-sage5.smt2.3 |
sat |
0.15 |
unbd-sage5.smt2.4 |
sat |
12.16 |
unbd-sage5.smt2.5 |
sat |
5 |
unbd-sage5.smt2.6 |
sat |
33.34 |
unbd-sage5.smt2.7 |
sat |
4.83 |
unbd-sage5.smt2.8 |
sat |
6.18 |
unbd-sage5.smt2.9 |
sat |
1.71 |
unbd-sage6.smt2.1 |
sat |
2.23 |
unbd-sage6.smt2.10 |
sat |
5.95 |
unbd-sage6.smt2.2 |
sat |
0.51 |
unbd-sage6.smt2.3 |
sat |
0.05 |
unbd-sage6.smt2.4 |
sat |
0.73 |
unbd-sage6.smt2.5 |
sat |
0.71 |
unbd-sage6.smt2.6 |
sat |
0.02 |
unbd-sage6.smt2.7 |
sat |
0.04 |
unbd-sage6.smt2.8 |
sat |
0.13 |
unbd-sage6.smt2.9 |
sat |
1.96 |
unbd-sage7.smt2.1 |
sat |
0.19 |
unbd-sage7.smt2.10 |
sat |
0.21 |
unbd-sage7.smt2.2 |
sat |
1.69 |
unbd-sage7.smt2.3 |
sat |
4.18 |
unbd-sage7.smt2.4 |
sat |
0.01 |
unbd-sage7.smt2.5 |
sat |
0.99 |
unbd-sage7.smt2.6 |
sat |
1.69 |
unbd-sage7.smt2.7 |
sat |
2.8 |
unbd-sage7.smt2.8 |
sat |
0.12 |
unbd-sage7.smt2.9 |
sat |
0.2 |
unbd-sage8.smt2.1 |
sat |
0.07 |
unbd-sage8.smt2.10 |
sat |
0.09 |
unbd-sage8.smt2.2 |
sat |
1.27 |
unbd-sage8.smt2.3 |
sat |
102.42 |
unbd-sage8.smt2.4 |
sat |
0.16 |
unbd-sage8.smt2.5 |
sat |
40.4 |
unbd-sage8.smt2.6 |
sat |
38.74 |
unbd-sage8.smt2.7 |
sat |
0.09 |
unbd-sage8.smt2.8 |
sat |
0.05 |
unbd-sage8.smt2.9 |
sat |
0.27 |
unbd-sage9.smt2.1 |
sat |
42.71 |
unbd-sage9.smt2.10 |
sat |
11.07 |
unbd-sage9.smt2.2 |
sat |
0.12 |
unbd-sage9.smt2.3 |
sat |
9.39 |
unbd-sage9.smt2.4 |
sat |
0.32 |
unbd-sage9.smt2.5 |
sat |
28.56 |
unbd-sage9.smt2.6 |
sat |
14.09 |
unbd-sage9.smt2.7 |
sat |
22.78 |
unbd-sage9.smt2.8 |
sat |
13.32 |
unbd-sage9.smt2.9 |
sat |
52.74 |