problem |
result |
overall_time |
unbd-sage0.smt2.1 |
sat |
1650.72 |
unbd-sage0.smt2.10 |
sat |
0.75 |
unbd-sage0.smt2.2 |
sat |
266.61 |
unbd-sage0.smt2.3 |
sat |
2 |
unbd-sage0.smt2.4 |
sat |
13 |
unbd-sage0.smt2.5 |
sat |
8.46 |
unbd-sage0.smt2.6 |
sat |
29.29 |
unbd-sage0.smt2.8 |
sat |
3.03 |
unbd-sage0.smt2.9 |
sat |
24.42 |
unbd-sage1.smt2.10 |
sat |
631.169984 |
unbd-sage1.smt2.2 |
sat |
38.12 |
unbd-sage1.smt2.3 |
sat |
11.87 |
unbd-sage1.smt2.4 |
sat |
41.01 |
unbd-sage1.smt2.5 |
sat |
13.44 |
unbd-sage1.smt2.6 |
sat |
99 |
unbd-sage1.smt2.7 |
sat |
1.8 |
unbd-sage1.smt2.8 |
sat |
86.74 |
unbd-sage1.smt2.9 |
sat |
1.75 |
unbd-sage11.smt2.3 |
sat |
616.889984 |
unbd-sage11.smt2.8 |
sat |
303.929984 |
unbd-sage11.smt2.9 |
sat |
1412.039936 |
unbd-sage12.smt2.2 |
sat |
935.830016 |
unbd-sage12.smt2.7 |
sat |
90.28 |
unbd-sage12.smt2.8 |
sat |
340.6 |
unbd-sage13.smt2.5 |
sat |
749.729984 |
unbd-sage13.smt2.6 |
sat |
864.670016 |
unbd-sage13.smt2.8 |
sat |
729.580032 |
unbd-sage14.smt2.1 |
sat |
1101.139968 |
unbd-sage14.smt2.4 |
sat |
2144.009984 |
unbd-sage14.smt2.5 |
sat |
50.33 |
unbd-sage14.smt2.8 |
sat |
1035.230016 |
unbd-sage16.smt2.4 |
sat |
327.809984 |
unbd-sage16.smt2.6 |
sat |
964.860032 |
unbd-sage16.smt2.7 |
sat |
213.63 |
unbd-sage16.smt2.8 |
sat |
1278.150016 |
unbd-sage17.smt2.10 |
sat |
2286.479872 |
unbd-sage17.smt2.2 |
sat |
1692.339968 |
unbd-sage17.smt2.4 |
sat |
639.68 |
unbd-sage17.smt2.7 |
sat |
280.329984 |
unbd-sage18.smt2.1 |
sat |
1947.510016 |
unbd-sage18.smt2.8 |
sat |
1299.379968 |
unbd-sage18.smt2.9 |
sat |
199.53 |
unbd-sage19.smt2.1 |
sat |
57.74 |
unbd-sage19.smt2.10 |
sat |
7.47 |
unbd-sage19.smt2.4 |
sat |
22.29 |
unbd-sage19.smt2.5 |
sat |
1.3 |
unbd-sage19.smt2.6 |
sat |
55.02 |
unbd-sage19.smt2.7 |
sat |
112.98 |
unbd-sage19.smt2.8 |
sat |
270.48 |
unbd-sage19.smt2.9 |
sat |
409.150016 |
unbd-sage2.smt2.1 |
sat |
24.74 |
unbd-sage2.smt2.7 |
sat |
7.54 |
unbd-sage2.smt2.8 |
sat |
526.249984 |
unbd-sage20.smt2.10 |
sat |
1123.76 |
unbd-sage21.smt2.1 |
sat |
110.55 |
unbd-sage21.smt2.10 |
sat |
256.16 |
unbd-sage21.smt2.4 |
sat |
614.209984 |
unbd-sage21.smt2.5 |
sat |
332.16 |
unbd-sage21.smt2.6 |
sat |
1582.550016 |
unbd-sage22.smt2.3 |
sat |
1502.969984 |
unbd-sage22.smt2.5 |
sat |
70.35 |
unbd-sage22.smt2.7 |
sat |
14.84 |
unbd-sage22.smt2.8 |
sat |
850.12 |
unbd-sage22.smt2.9 |
sat |
1176.230016 |
unbd-sage23.smt2.10 |
sat |
653.379968 |
unbd-sage23.smt2.2 |
sat |
164.04 |
unbd-sage23.smt2.3 |
sat |
21.51 |
unbd-sage23.smt2.7 |
sat |
473.969984 |
unbd-sage24.smt2.10 |
sat |
413.510016 |
unbd-sage24.smt2.2 |
sat |
1455.719936 |
unbd-sage24.smt2.3 |
sat |
398.849984 |
unbd-sage24.smt2.4 |
sat |
0.6 |
unbd-sage24.smt2.6 |
sat |
336.409984 |
unbd-sage24.smt2.7 |
sat |
42.46 |
unbd-sage24.smt2.8 |
sat |
3.13 |
unbd-sage24.smt2.9 |
sat |
1011.08 |
unbd-sage3.smt2.10 |
sat |
1447.890048 |
unbd-sage3.smt2.4 |
sat |
55.86 |
unbd-sage3.smt2.5 |
sat |
2084.950016 |
unbd-sage3.smt2.8 |
sat |
116.97 |
unbd-sage3.smt2.9 |
sat |
1130.56 |
unbd-sage4.smt2.1 |
sat |
719.350016 |
unbd-sage4.smt2.10 |
sat |
573.430016 |
unbd-sage4.smt2.4 |
sat |
197.18 |
unbd-sage4.smt2.5 |
sat |
618.88 |
unbd-sage4.smt2.7 |
sat |
434.64 |
unbd-sage4.smt2.8 |
sat |
1715.270016 |
unbd-sage4.smt2.9 |
sat |
299.470016 |
unbd-sage5.smt2.10 |
sat |
37.2 |
unbd-sage5.smt2.2 |
sat |
489.649984 |
unbd-sage5.smt2.5 |
sat |
927.049984 |
unbd-sage5.smt2.7 |
sat |
152.74 |
unbd-sage5.smt2.8 |
sat |
2324.470016 |
unbd-sage5.smt2.9 |
sat |
22.07 |
unbd-sage6.smt2.1 |
sat |
764.419968 |
unbd-sage6.smt2.2 |
sat |
290.6 |
unbd-sage6.smt2.3 |
sat |
242.12 |
unbd-sage6.smt2.4 |
sat |
26.95 |
unbd-sage6.smt2.6 |
sat |
63.6 |
unbd-sage6.smt2.7 |
sat |
99.93 |
unbd-sage6.smt2.8 |
sat |
216.88 |
unbd-sage6.smt2.9 |
sat |
86.53 |
unbd-sage7.smt2.10 |
sat |
442.350016 |
unbd-sage7.smt2.2 |
sat |
138.59 |
unbd-sage7.smt2.4 |
sat |
159.88 |
unbd-sage7.smt2.7 |
sat |
51.8 |
unbd-sage7.smt2.8 |
sat |
671.16 |
unbd-sage7.smt2.9 |
sat |
2233.639936 |
unbd-sage8.smt2.8 |
sat |
337.4 |
unbd-sage8.smt2.9 |
sat |
874.449984 |
unbd-sage9.smt2.1 |
sat |
1358 |
unbd-sage9.smt2.10 |
sat |
63.73 |
unbd-sage9.smt2.2 |
sat |
914.790016 |
unbd-sage9.smt2.3 |
sat |
2.94 |
unbd-sage9.smt2.4 |
sat |
24.93 |
unbd-sage9.smt2.5 |
sat |
628.670016 |
unbd-sage9.smt2.6 |
sat |
744.12 |
unbd-sage9.smt2.8 |
sat |
119.4 |
unbd-sage9.smt2.9 |
sat |
116.97 |