x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | heretiq | 95.08 |
- | - | - | - | - | - | Qute_opt500 | 281.87 |
- | - | - | - | - | - | Qute_random | 288.38 |
- | - | - | - | - | - | qesto | 292.42 |
Qute_default(3.32) | |
heretiq(95.08) | |
Qute_opt500(281.87) | |
Qute_random(288.38) | |
qesto(292.42) | |
qbfrelay-limited-depqbf(800.44) |