x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | predyndep | 11.68 |
- | - | - | - | - | - | Caqe-bloqqer-qdo | 26.9 |
- | - | - | - | - | - | Caqe-bloqqer | 30.26 |
depqbf_prefix_opt_qdo(0.76) | |
predyndep(11.68) | |
Caqe-bloqqer-qdo(26.9) | |
Caqe-bloqqer(30.26) | |
depqbf_pre_QxQBH(185.21) | |
Caqe-hqspre(205.69) | |
Iprover-HQSpre-Bloqqer(239.09) | |
Qute_default(319.38) | |
Qute_random(359.02) | |
Qute_opt500(525.41) |