x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qbfrelay | 9.8 | - | - | rev_qfun0.1 | 51.38 |
- | - | DynQBF-bloqqer-hqspre-it | 10.32 | - | - | GhostQ-PG_cegar | 86.7 |
- | - | dynQBF-bloqqer-hqspre | 10.39 | - | - | ghostq-cegar | 103.77 |
- | - | DynQBF-bloqqer-variant | 10.85 | - | - | - | - |
CADET_2017(3.54) | |
qbfrelay(9.8) | |
DynQBF-bloqqer-hqspre-it(10.32) | |
dynQBF-bloqqer-hqspre(10.39) | |
DynQBF-bloqqer-variant(10.85) | |
rev_qfun0.1(51.38) | |
GhostQ-PG_cegar(86.7) | |
ghostq-cegar(103.77) |