problem |
result |
overall_time |
unbd-sage0 |
sat |
17.9 |
unbd-sage1 |
sat |
4.98 |
unbd-sage10 |
sat |
110.7 |
unbd-sage11 |
sat |
139.84 |
unbd-sage12 |
sat |
130.87 |
unbd-sage13 |
sat |
998.13 |
unbd-sage14 |
sat |
14.56 |
unbd-sage15 |
sat |
13.08 |
unbd-sage16 |
sat |
129.58 |
unbd-sage17 |
sat |
29.91 |
unbd-sage18 |
sat |
24.72 |
unbd-sage19 |
sat |
40.91 |
unbd-sage2 |
sat |
135.37 |
unbd-sage20 |
sat |
2.71 |
unbd-sage21 |
sat |
256.43 |
unbd-sage22 |
sat |
79.5 |
unbd-sage23 |
sat |
2.07 |
unbd-sage24 |
sat |
37.14 |
unbd-sage3 |
sat |
3.22 |
unbd-sage4 |
sat |
8.69 |
unbd-sage5 |
sat |
1.73 |
unbd-sage6 |
sat |
3.21 |
unbd-sage7 |
sat |
11.48 |
unbd-sage8 |
sat |
19.1 |
unbd-sage9 |
sat |
1.96 |