x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
Rareqs_2018(0) | |
Heretiq-cube(1.25) | |
Heretiq-simple(1.26) | |
ijtihad(1.26) | |
Caqe-hqspre(1.66) | |
Caqe-bloqqer-qdo(5.65) | |
GhostQ-PG_cegar(12.21) | |
Caqe-bloqqer(22.31) | |
PortfolioDepQBFGhostQRaReQSQute___pf(38.45) | |
depqbf_prefix_opt_qdo(180.9) |