x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 1.35 | GhostQ-PG_plain | 3.93 | GhostQ-PG_cegar | 5.5 |
- | - | QELL_unit | 1.35 | - | - | - | - |
CADET_2017(0.53) | |
QELL_default(1.35) | |
QELL_unit(1.35) | |
GhostQ-PG_plain(3.93) | |
GhostQ-PG_cegar(5.5) |