x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | GhostQ-PG_cegar | 7.38 | depqbf_pre_QxQBH | 37.75 | - | - |
- | - | predyndep | 18.73 | Qute_default | 38.92 | - | - |
- | - | Caqe-bloqqer-qdo | 19.31 | Qute_random | 39.17 | - | - |
- | - | Cued_2_2018 | 19.34 | Qute_opt500 | 39.3 | - | - |
- | - | Cued_3_2018 | 19.4 | - | - | - | - |
- | - | PortfolioDepQBFGhostQRaReQSQute___pf | 22.26 | - | - | - | - |
- | - | Caqe-hqspre | 34.74 | - | - | - | - |
- | - | Iprover-HQSpre-Bloqqer | 36.12 | - | - | - | - |
GhostQ-PG_plain(7.28) | |
GhostQ-PG_cegar(7.38) | |
predyndep(18.73) | |
Caqe-bloqqer-qdo(19.31) | |
Cued_2_2018(19.34) | |
Cued_3_2018(19.4) | |
PortfolioDepQBFGhostQRaReQSQute___pf(22.26) | |
Caqe-hqspre(34.74) | |
Iprover-HQSpre-Bloqqer(36.12) | |
depqbf_pre_QxQBH(37.75) | |
Qute_default(38.92) | |
Qute_random(39.17) | |
Qute_opt500(39.3) |