problem |
result |
overall_time |
unbd-sage0 |
sat |
0.25 |
unbd-sage1 |
sat |
0.45 |
unbd-sage10 |
sat |
0.23 |
unbd-sage11 |
sat |
0.31 |
unbd-sage12 |
sat |
0.32 |
unbd-sage13 |
sat |
0.24 |
unbd-sage14 |
sat |
0.24 |
unbd-sage15 |
sat |
0.47 |
unbd-sage16 |
sat |
0.43 |
unbd-sage17 |
sat |
0.21 |
unbd-sage18 |
sat |
0.57 |
unbd-sage19 |
sat |
0.56 |
unbd-sage2 |
sat |
1.23 |
unbd-sage20 |
sat |
1.74 |
unbd-sage21 |
sat |
0.31 |
unbd-sage22 |
sat |
0.5 |
unbd-sage23 |
sat |
0.42 |
unbd-sage24 |
sat |
0.26 |
unbd-sage3 |
sat |
0.28 |
unbd-sage4 |
sat |
0.22 |
unbd-sage5 |
sat |
0.6 |
unbd-sage6 |
sat |
0.67 |
unbd-sage7 |
sat |
0.25 |
unbd-sage8 |
sat |
0.22 |
unbd-sage9 |
sat |
0.29 |