problem |
result |
overall_time |
unbd-sage0 |
sat |
91.37 |
unbd-sage1 |
sat |
487.4 |
unbd-sage10 |
sat |
279.22 |
unbd-sage12 |
sat |
145.16 |
unbd-sage13 |
sat |
714.609984 |
unbd-sage14 |
sat |
27.03 |
unbd-sage15 |
sat |
184.05 |
unbd-sage16 |
sat |
1874.200064 |
unbd-sage17 |
sat |
77.46 |
unbd-sage19 |
sat |
294.84 |
unbd-sage2 |
sat |
889.590016 |
unbd-sage20 |
sat |
209.01 |
unbd-sage21 |
sat |
411.870016 |
unbd-sage22 |
sat |
40.02 |
unbd-sage23 |
sat |
14.56 |
unbd-sage24 |
sat |
54.93 |
unbd-sage3 |
sat |
132.09 |
unbd-sage4 |
sat |
1040.969984 |
unbd-sage5 |
sat |
58.33 |
unbd-sage6 |
sat |
0.05 |
unbd-sage8 |
sat |
60.41 |
unbd-sage9 |
sat |
848.950016 |