x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | Heretiq-cube | 0.61 |
- | - | - | - | - | - | Heretiq-simple | 0.61 |
- | - | - | - | - | - | ijtihad | 0.61 |
- | - | - | - | - | - | Caqe-bloqqer | 0.76 |
- | - | - | - | - | - | Rareqs_2018 | 1.94 |
- | - | - | - | - | - | Caqe-bloqqer-qdo | 2.49 |
- | - | - | - | - | - | Cued_2_2018 | 2.55 |
- | - | - | - | - | - | Cued_3_2018 | 2.56 |
- | - | - | - | - | - | predyndep | 2.56 |
depqbf_prefix_opt_qdo(0.03) | |
Heretiq-cube(0.61) | |
Heretiq-simple(0.61) | |
ijtihad(0.61) | |
Caqe-bloqqer(0.76) | |
Rareqs_2018(1.94) | |
Caqe-bloqqer-qdo(2.49) | |
Cued_2_2018(2.55) | |
Cued_3_2018(2.56) | |
predyndep(2.56) | |
Qute_random(7.11) | |
Qute_default(7.14) | |
Caqe-hqspre(7.2) | |
Qute_opt500(7.44) | |
Iprover-HQSpre-Bloqqer(9.04) | |
depqbf_pre_QxQBH(9.63) | |
PortfolioDepQBFGhostQRaReQSQute___pf(197.72) |