x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | Quabs_2018 | 9.79 | GhostQ_PG___cegar_qcir_2018 | 28.21 |
- | - | - | - | - | - | GhostQ_PG___plain_qcir_2018 | 39.56 |
QFUN(1.07) | |
Quabs_2018(9.79) | |
GhostQ_PG___cegar_qcir_2018(28.21) | |
GhostQ_PG___plain_qcir_2018(39.56) | |
PortfolioGhostQQfunQuAbSQute___pf3(265.82) |