x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | caqe_2017_v2 | 1.3 | dynQBF-bloqqer-hqspre | 5.95 | iProver-qbf-bloqqer-2017-07-27-v3 | 19.94 |
- | - | caqe_2017_v3 | 1.32 | DynQBF-bloqqer-hqspre-it | 5.97 | qbfrelay-limited-depqbf | 79.75 |
- | - | caqe_2017_v1 | 2.12 | qbfrelay | 6.31 | - | - |
- | - | - | - | rareqs | 6.59 | - | - |
ASPQ2(0.86) | |
caqe_2017_v2(1.3) | |
caqe_2017_v3(1.32) | |
caqe_2017_v1(2.12) | |
dynQBF-bloqqer-hqspre(5.95) | |
DynQBF-bloqqer-hqspre-it(5.97) | |
qbfrelay(6.31) | |
rareqs(6.59) | |
iProver-qbf-bloqqer-2017-07-27-v3(19.94) | |
qbfrelay-limited-depqbf(79.75) |