x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | GhostQ-PG_plain | 7.21 |
- | - | - | - | - | - | qbfrelay | 13.11 |
- | - | - | - | - | - | GhostQ-PG_cegar | 15.85 |
- | - | - | - | - | - | DynQBF-bloqqer-hqspre-it | 16.45 |
- | - | - | - | - | - | dynQBF-bloqqer-hqspre | 16.49 |
CADET_2017(0.24) | |
GhostQ-PG_plain(7.21) | |
qbfrelay(13.11) | |
GhostQ-PG_cegar(15.85) | |
DynQBF-bloqqer-hqspre-it(16.45) | |
dynQBF-bloqqer-hqspre(16.49) | |
caqe_2017_v3(38.81) | |
caqe_2017_v2(39.15) | |
qbfrelay-limited-depqbf(100.42) |