x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
CADET_2017(0) | |
GhostQ-PG_plain(1.44) | |
GhostQ-PG_cegar(1.51) | |
Caqe-hqspre(4.88) | |
Iprover-HQSpre-Bloqqer(5.01) | |
depqbf_pre_QxQBH(5.85) | |
Qute_random(7) | |
Qute_default(7.07) | |
Qute_opt500(7.12) | |
predyndep(130.36) | |
PortfolioDepQBFGhostQRaReQSQute___pf(150.03) | |
Cued_2_2018(244.01) | |
Cued_3_2018(255.42) |