x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 2.99 | - | - | - | - |
- | - | CADET_2017 | 4.06 | - | - | - | - |
- | - | GhostQ-PG_plain | 5.43 | - | - | - | - |
- | - | GhostQ-PG_cegar | 8.19 | - | - | - | - |
QELL_default(2.99) | |
QELL_unit(2.99) | |
CADET_2017(4.06) | |
GhostQ-PG_plain(5.43) | |
GhostQ-PG_cegar(8.19) |