x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qbfrelay | 9.01 | - | - | rev_qfun0.1 | 57.57 |
- | - | DynQBF-bloqqer-variant | 12.48 | - | - | ghostq-cegar | 70.75 |
- | - | dynQBF-bloqqer-hqspre | 13.09 | - | - | GhostQ-PG_cegar | 73.88 |
- | - | DynQBF-bloqqer-hqspre-it | 13.12 | - | - | - | - |
CADET_2017(3.38) | |
qbfrelay(9.01) | |
DynQBF-bloqqer-variant(12.48) | |
dynQBF-bloqqer-hqspre(13.09) | |
DynQBF-bloqqer-hqspre-it(13.12) | |
rev_qfun0.1(57.57) | |
ghostq-cegar(70.75) | |
GhostQ-PG_cegar(73.88) |