x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 0.52 | GhostQ-PG_plain | 2.89 | - | - |
- | - | QELL_unit | 0.52 | GhostQ-PG_cegar | 2.97 | - | - |
CADET_2017(0.38) | |
QELL_default(0.52) | |
QELL_unit(0.52) | |
GhostQ-PG_plain(2.89) | |
GhostQ-PG_cegar(2.97) | |
DynQBF-bloqqer-variant(62.81) |