problem |
result |
overall_time |
unbd-sage0.smt2.1 |
sat |
13.24 |
unbd-sage0.smt2.2 |
sat |
751.929984 |
unbd-sage0.smt2.6 |
sat |
595.529984 |
unbd-sage0.smt2.7 |
sat |
1391.849984 |
unbd-sage1.smt2.1 |
sat |
380.110016 |
unbd-sage1.smt2.10 |
sat |
186.92 |
unbd-sage1.smt2.2 |
sat |
892.689984 |
unbd-sage1.smt2.7 |
sat |
1468.659968 |
unbd-sage10.smt2.2 |
sat |
256.39 |
unbd-sage10.smt2.4 |
sat |
1614.930048 |
unbd-sage11.smt2.3 |
sat |
85.99 |
unbd-sage12.smt2.10 |
sat |
411.82 |
unbd-sage12.smt2.2 |
sat |
2359.920128 |
unbd-sage12.smt2.7 |
sat |
281.48 |
unbd-sage13.smt2.10 |
sat |
201.14 |
unbd-sage13.smt2.2 |
sat |
1721.740032 |
unbd-sage13.smt2.6 |
sat |
230.83 |
unbd-sage13.smt2.7 |
sat |
45.14 |
unbd-sage14.smt2.2 |
sat |
2361.100032 |
unbd-sage14.smt2.6 |
sat |
806.449984 |
unbd-sage15.smt2.2 |
sat |
41.6 |
unbd-sage15.smt2.6 |
sat |
209.2 |
unbd-sage15.smt2.8 |
sat |
2259.68 |
unbd-sage16.smt2.1 |
sat |
1586.370048 |
unbd-sage16.smt2.3 |
sat |
64.73 |
unbd-sage16.smt2.4 |
sat |
1404.729984 |
unbd-sage16.smt2.5 |
sat |
1727.629952 |
unbd-sage16.smt2.6 |
sat |
70.08 |
unbd-sage16.smt2.7 |
sat |
320.769984 |
unbd-sage16.smt2.8 |
sat |
228.22 |
unbd-sage16.smt2.9 |
sat |
174.92 |
unbd-sage17.smt2.2 |
sat |
163.98 |
unbd-sage17.smt2.4 |
sat |
129.31 |
unbd-sage18.smt2.10 |
sat |
211.77 |
unbd-sage18.smt2.6 |
sat |
26.86 |
unbd-sage18.smt2.7 |
sat |
1872.269952 |
unbd-sage19.smt2.10 |
sat |
112.66 |
unbd-sage19.smt2.2 |
sat |
507.790016 |
unbd-sage19.smt2.3 |
sat |
799.649984 |
unbd-sage19.smt2.4 |
sat |
9.65 |
unbd-sage19.smt2.6 |
sat |
1831.500032 |
unbd-sage19.smt2.9 |
sat |
12.91 |
unbd-sage2.smt2.1 |
sat |
27.72 |
unbd-sage2.smt2.2 |
sat |
23.14 |
unbd-sage2.smt2.7 |
sat |
287.910016 |
unbd-sage20.smt2.1 |
sat |
234.04 |
unbd-sage20.smt2.5 |
sat |
1121.650048 |
unbd-sage21.smt2.1 |
sat |
205.4 |
unbd-sage21.smt2.10 |
sat |
347.470016 |
unbd-sage21.smt2.6 |
sat |
2097.469952 |
unbd-sage21.smt2.9 |
sat |
363.990016 |
unbd-sage22.smt2.4 |
sat |
193.15 |
unbd-sage23.smt2.3 |
sat |
143.87 |
unbd-sage23.smt2.4 |
sat |
801.500032 |
unbd-sage24.smt2.1 |
sat |
40.15 |
unbd-sage24.smt2.4 |
sat |
1045.820032 |
unbd-sage24.smt2.7 |
sat |
34.07 |
unbd-sage24.smt2.8 |
sat |
7.46 |
unbd-sage3.smt2.1 |
sat |
14.79 |
unbd-sage3.smt2.10 |
sat |
2131.030016 |
unbd-sage3.smt2.3 |
sat |
60.73 |
unbd-sage3.smt2.7 |
sat |
285.150016 |
unbd-sage3.smt2.8 |
sat |
660.620032 |
unbd-sage4.smt2.1 |
sat |
251.15 |
unbd-sage4.smt2.2 |
sat |
1140.499968 |
unbd-sage4.smt2.3 |
sat |
568.16 |
unbd-sage4.smt2.5 |
sat |
27.39 |
unbd-sage4.smt2.6 |
sat |
823.249984 |
unbd-sage4.smt2.7 |
sat |
53.84 |
unbd-sage4.smt2.8 |
sat |
84.24 |
unbd-sage4.smt2.9 |
sat |
381.84 |
unbd-sage5.smt2.1 |
sat |
151.93 |
unbd-sage5.smt2.10 |
sat |
780.380032 |
unbd-sage5.smt2.2 |
sat |
308.329984 |
unbd-sage5.smt2.8 |
sat |
600.36 |
unbd-sage6.smt2.1 |
sat |
601.8 |
unbd-sage6.smt2.4 |
sat |
29.49 |
unbd-sage6.smt2.6 |
sat |
25.57 |
unbd-sage6.smt2.7 |
sat |
49.96 |
unbd-sage7.smt2.1 |
sat |
118.64 |
unbd-sage7.smt2.10 |
sat |
65.55 |
unbd-sage7.smt2.3 |
sat |
416.64 |
unbd-sage7.smt2.4 |
sat |
276.489984 |
unbd-sage7.smt2.5 |
sat |
17.86 |
unbd-sage7.smt2.6 |
sat |
1306.8 |
unbd-sage7.smt2.7 |
sat |
762.68 |
unbd-sage7.smt2.8 |
sat |
586.230016 |
unbd-sage7.smt2.9 |
sat |
945.510016 |
unbd-sage8.smt2.4 |
sat |
130 |
unbd-sage8.smt2.5 |
sat |
809.619968 |
unbd-sage8.smt2.6 |
sat |
581.150016 |
unbd-sage9.smt2.1 |
sat |
30.21 |
unbd-sage9.smt2.10 |
sat |
252.67 |
unbd-sage9.smt2.3 |
sat |
255.47 |
unbd-sage9.smt2.4 |
sat |
528.230016 |
unbd-sage9.smt2.9 |
sat |
2257.080064 |