x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 8.44 | GhostQ-PG_cegar | 27.76 | QELL_default | 60.3 |
- | - | - | - | ghostq-cegar | 27.84 | - | - |
rev_qfun0.1(3.89) | |
QELL_unit(8.44) | |
GhostQ-PG_cegar(27.76) | |
ghostq-cegar(27.84) | |
QELL_default(60.3) |