x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
CADET_2017(0) | |
GhostQ-PG_plain(5.42) | |
GhostQ-PG_cegar(5.51) | |
Qute_opt500(7.1) | |
Qute_default(7.12) | |
Qute_random(7.19) | |
Caqe-hqspre(15.02) | |
Iprover-HQSpre-Bloqqer(15.59) | |
depqbf_pre_QxQBH(16.61) | |
Rareqs_2018(17.9) | |
PortfolioDepQBFGhostQRaReQSQute___pf(20.01) | |
predyndep(109.32) |