x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Quabs_2018 | 16.83 | GhostQ___cegar_qcir_2019 | 88.52 | GhostQ___plain_qcir_2019 | 426.41 |
- | - | PortfolioGhostQQfunQuAbSQute___pf3 | 46.83 | - | - | quabs___caqe-hqspre | 574.44 |
- | - | PortfolioGhostQQfunQuAbSQute___pfs | 47.25 | - | - | - | - |
- | - | PortfolioGhostQQfunQuAbSQute___pf2 | 47.95 | - | - | - | - |
QuAbS___quabs-caqe_2019(16.7) | |
Quabs_2018(16.83) | |
PortfolioGhostQQfunQuAbSQute___pf3(46.83) | |
PortfolioGhostQQfunQuAbSQute___pfs(47.25) | |
PortfolioGhostQQfunQuAbSQute___pf2(47.95) | |
GhostQ___cegar_qcir_2019(88.52) | |
GhostQ___plain_qcir_2019(426.41) | |
quabs___caqe-hqspre(574.44) |