x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
CADET_2017(0) | |
aspq2v3(2.15) | |
Caqe-bloqqer(2.2) | |
Rareqs_2018(2.21) | |
GhostQ-PG_cegar(2.89) | |
Cued_3_2018(4.05) | |
aspq3alt(4.09) | |
ASPQ_2018(4.13) | |
Cued_2_2018(4.21) | |
Caqe-bloqqer-qdo(4.28) | |
predyndep(4.84) | |
GhostQ-PG_plain(6.02) | |
ijtihad(10.19) | |
Heretiq-simple(10.22) | |
Heretiq-cube(10.49) | |
PortfolioDepQBFGhostQRaReQSQute___pf(12.37) | |
Qute_opt500(13.16) | |
Qute_random(13.24) | |
Qute_default(13.39) | |
Caqe-hqspre(18.04) | |
Iprover-HQSpre-Bloqqer(18.57) | |
depqbf_pre_QxQBH(19.77) |