x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Quabs_2018 | 7.13 | - | - | GhostQ___cegar_qcir_2019 | 83.3 |
- | - | PortfolioGhostQQfunQuAbSQute___pfs | 9.47 | - | - | GhostQ___plain_qcir_2019 | 100.56 |
- | - | PortfolioGhostQQfunQuAbSQute___pf3 | 9.48 | - | - | quabs___caqe-hqspre | 491.38 |
- | - | PortfolioGhostQQfunQuAbSQute___pf2 | 10.6 | - | - | - | - |
QuAbS___quabs-caqe_2019(7.12) | |
Quabs_2018(7.13) | |
PortfolioGhostQQfunQuAbSQute___pfs(9.47) | |
PortfolioGhostQQfunQuAbSQute___pf3(9.48) | |
PortfolioGhostQQfunQuAbSQute___pf2(10.6) | |
GhostQ___cegar_qcir_2019(83.3) | |
GhostQ___plain_qcir_2019(100.56) | |
quabs___caqe-hqspre(491.38) |