problem |
result |
overall_time |
unbd-sage0 |
sat |
52.46 |
unbd-sage1 |
sat |
82.43 |
unbd-sage10 |
sat |
21.75 |
unbd-sage11 |
sat |
48.16 |
unbd-sage12 |
sat |
17.67 |
unbd-sage13 |
sat |
21.41 |
unbd-sage14 |
sat |
92.76 |
unbd-sage15 |
sat |
58.09 |
unbd-sage16 |
sat |
26.74 |
unbd-sage18 |
sat |
1118.899968 |
unbd-sage19 |
sat |
600.16 |
unbd-sage2 |
sat |
22.27 |
unbd-sage20 |
sat |
156.31 |
unbd-sage21 |
sat |
241.38 |
unbd-sage22 |
sat |
33.51 |
unbd-sage23 |
sat |
40.31 |
unbd-sage3 |
sat |
5.47 |
unbd-sage4 |
sat |
15.48 |
unbd-sage5 |
sat |
745.590016 |
unbd-sage6 |
sat |
31.74 |
unbd-sage7 |
sat |
20.14 |
unbd-sage8 |
sat |
9.79 |
unbd-sage9 |
sat |
126.49 |