x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
Rareqs_2018(0) | |
Caqe-bloqqer-qdo(1.1) | |
Caqe-hqspre(2.27) | |
Heretiq-cube(2.27) | |
Heretiq-simple(2.31) | |
ijtihad(2.4) | |
Caqe-bloqqer(3.11) | |
GhostQ-PG_cegar(6.79) | |
PortfolioDepQBFGhostQRaReQSQute___pf(33.18) | |
depqbf_prefix_opt_qdo(402.79) |