problem |
result |
overall_time |
unbd-sage0 |
sat |
13.29 |
unbd-sage1 |
sat |
5.36 |
unbd-sage10 |
sat |
5.3 |
unbd-sage11 |
sat |
2.38 |
unbd-sage12 |
sat |
2.18 |
unbd-sage13 |
sat |
1.8 |
unbd-sage14 |
sat |
1.25 |
unbd-sage15 |
sat |
1.18 |
unbd-sage16 |
sat |
0.92 |
unbd-sage17 |
sat |
1.35 |
unbd-sage18 |
sat |
1.76 |
unbd-sage19 |
sat |
2.32 |
unbd-sage2 |
sat |
15.81 |
unbd-sage20 |
sat |
14 |
unbd-sage21 |
sat |
10.03 |
unbd-sage22 |
sat |
1.58 |
unbd-sage23 |
sat |
2.16 |
unbd-sage24 |
sat |
18.13 |
unbd-sage3 |
sat |
7.4 |
unbd-sage4 |
sat |
1.12 |
unbd-sage5 |
sat |
2.04 |
unbd-sage6 |
sat |
26.58 |
unbd-sage7 |
sat |
1.27 |
unbd-sage8 |
sat |
0.02 |
unbd-sage9 |
sat |
3.73 |