x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
CADET_2017(0) | |
GhostQ-PG_cegar(5.62) | |
GhostQ-PG_plain(7.5) | |
aspq3alt(14.02) | |
ASPQ_2018(14.11) | |
Caqe-bloqqer-qdo(14.19) | |
Cued_2_2018(14.21) | |
Cued_3_2018(14.41) | |
predyndep(14.81) | |
Caqe-hqspre(146.67) | |
Iprover-HQSpre-Bloqqer(148.14) | |
Qute_opt500(153.04) | |
Qute_random(164.46) | |
Qute_default(164.48) | |
PortfolioDepQBFGhostQRaReQSQute___pf(196.39) | |
depqbf_pre_QxQBH(198.76) |