problem |
result |
overall_time |
unbd-sage0.smt2.2 |
sat |
1.96 |
unbd-sage1.smt2.10 |
sat |
91.1 |
unbd-sage1.smt2.2 |
sat |
103.47 |
unbd-sage1.smt2.4 |
sat |
235.87 |
unbd-sage1.smt2.5 |
sat |
107.48 |
unbd-sage12.smt2.4 |
sat |
1195.67 |
unbd-sage12.smt2.6 |
sat |
263.25 |
unbd-sage12.smt2.7 |
sat |
11.12 |
unbd-sage12.smt2.8 |
sat |
1194.72 |
unbd-sage12.smt2.9 |
sat |
1240.64 |
unbd-sage13.smt2.1 |
sat |
24.15 |
unbd-sage13.smt2.10 |
sat |
1.95 |
unbd-sage13.smt2.2 |
sat |
31 |
unbd-sage13.smt2.3 |
sat |
2.55 |
unbd-sage13.smt2.4 |
sat |
15.92 |
unbd-sage13.smt2.5 |
sat |
31.04 |
unbd-sage13.smt2.7 |
sat |
23.1 |
unbd-sage13.smt2.8 |
sat |
37.96 |
unbd-sage14.smt2.3 |
sat |
914.91 |
unbd-sage14.smt2.8 |
sat |
787.45 |
unbd-sage16.smt2.2 |
sat |
1616.89 |
unbd-sage16.smt2.6 |
sat |
34.49 |
unbd-sage17.smt2.10 |
sat |
240.78 |
unbd-sage17.smt2.2 |
sat |
289.55 |
unbd-sage17.smt2.3 |
sat |
274.4 |
unbd-sage17.smt2.4 |
sat |
593.38 |
unbd-sage17.smt2.6 |
sat |
878.5 |
unbd-sage17.smt2.8 |
sat |
128.72 |
unbd-sage18.smt2.3 |
sat |
35.2 |
unbd-sage18.smt2.6 |
sat |
42.23 |
unbd-sage19.smt2.1 |
sat |
10.06 |
unbd-sage19.smt2.10 |
sat |
11.45 |
unbd-sage19.smt2.2 |
sat |
4.72 |
unbd-sage19.smt2.5 |
sat |
5.72 |
unbd-sage19.smt2.6 |
sat |
5.94 |
unbd-sage19.smt2.7 |
sat |
5.13 |
unbd-sage19.smt2.8 |
sat |
5.08 |
unbd-sage19.smt2.9 |
sat |
2.62 |
unbd-sage2.smt2.5 |
sat |
135.71 |
unbd-sage2.smt2.6 |
sat |
88.77 |
unbd-sage2.smt2.8 |
sat |
140.77 |
unbd-sage20.smt2.1 |
sat |
277.79 |
unbd-sage20.smt2.5 |
sat |
226.28 |
unbd-sage21.smt2.1 |
sat |
3.9 |
unbd-sage21.smt2.10 |
sat |
21.75 |
unbd-sage21.smt2.4 |
sat |
42.52 |
unbd-sage21.smt2.5 |
sat |
804.64 |
unbd-sage21.smt2.6 |
sat |
22.66 |
unbd-sage22.smt2.1 |
sat |
27.71 |
unbd-sage22.smt2.2 |
sat |
5.24 |
unbd-sage22.smt2.3 |
sat |
3.13 |
unbd-sage22.smt2.4 |
sat |
18.81 |
unbd-sage22.smt2.5 |
sat |
26.41 |
unbd-sage22.smt2.6 |
sat |
7.28 |
unbd-sage22.smt2.7 |
sat |
31.18 |
unbd-sage24.smt2.10 |
sat |
11.56 |
unbd-sage24.smt2.4 |
sat |
4.19 |
unbd-sage24.smt2.6 |
sat |
6.8 |
unbd-sage24.smt2.7 |
sat |
7.24 |
unbd-sage3.smt2.1 |
sat |
334.8 |
unbd-sage3.smt2.10 |
sat |
321.88 |
unbd-sage3.smt2.2 |
sat |
952.51 |
unbd-sage3.smt2.3 |
sat |
258.21 |
unbd-sage3.smt2.7 |
sat |
634.94 |
unbd-sage3.smt2.8 |
sat |
566.2 |
unbd-sage4.smt2.6 |
sat |
12.11 |
unbd-sage4.smt2.9 |
sat |
10.43 |
unbd-sage5.smt2.8 |
sat |
9.88 |
unbd-sage6.smt2.1 |
sat |
22.7 |
unbd-sage6.smt2.10 |
sat |
19.68 |
unbd-sage6.smt2.2 |
sat |
0.92 |
unbd-sage6.smt2.5 |
sat |
0.81 |
unbd-sage6.smt2.6 |
sat |
1.93 |
unbd-sage6.smt2.7 |
sat |
16.2 |
unbd-sage6.smt2.8 |
sat |
25.9 |
unbd-sage6.smt2.9 |
sat |
1.02 |
unbd-sage7.smt2.1 |
sat |
0.51 |
unbd-sage7.smt2.10 |
sat |
0.86 |
unbd-sage7.smt2.2 |
sat |
16.58 |
unbd-sage7.smt2.7 |
sat |
20.09 |
unbd-sage7.smt2.8 |
sat |
7.43 |
unbd-sage8.smt2.9 |
sat |
154.92 |