x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | DynQBF-bloqqer-variant | 3.82 | - | - | rev_qfun0.1 | 34.74 |
- | - | DynQBF-bloqqer-hqspre-it | 3.83 | - | - | GhostQ-PG_cegar | 43.06 |
- | - | iProver-qbf-bloqqer-2017-07-27-v3 | 3.86 | - | - | ghostq-cegar | 50.59 |
- | - | xb-qsts_xbqsts1.0 | 3.88 | - | - | qbfrelay-limited-depqbf | 78.48 |
- | - | xb-qsts_bqsts2.0 | 3.91 | - | - | - | - |
- | - | dynQBF-bloqqer-hqspre | 3.92 | - | - | - | - |
- | - | xb-qsts_xbqsts2.0 | 3.99 | - | - | - | - |
- | - | qbfrelay | 4.1 | - | - | - | - |
CADET_2017(2.2) | |
DynQBF-bloqqer-variant(3.82) | |
DynQBF-bloqqer-hqspre-it(3.83) | |
iProver-qbf-bloqqer-2017-07-27-v3(3.86) | |
xb-qsts_xbqsts1.0(3.88) | |
xb-qsts_bqsts2.0(3.91) | |
dynQBF-bloqqer-hqspre(3.92) | |
xb-qsts_xbqsts2.0(3.99) | |
qbfrelay(4.1) | |
rev_qfun0.1(34.74) | |
GhostQ-PG_cegar(43.06) | |
ghostq-cegar(50.59) | |
qbfrelay-limited-depqbf(78.48) |