x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Caqe-bloqqer-qdo | 8.69 | - | - | Caqe-hqspre | 48.8 |
- | - | - | - | - | - | Heretiq-simple | 112.23 |
- | - | - | - | - | - | Heretiq-cube | 116.18 |
- | - | - | - | - | - | Qute_opt500 | 119 |
- | - | - | - | - | - | Qute_random | 120.88 |
- | - | - | - | - | - | Qute_default | 127.98 |
- | - | - | - | - | - | Rareqs_2018 | 269.15 |
- | - | - | - | - | - | predyndep | 341.44 |
Caqe-bloqqer(4.51) | |
Caqe-bloqqer-qdo(8.69) | |
Caqe-hqspre(48.8) | |
Heretiq-simple(112.23) | |
Heretiq-cube(116.18) | |
Qute_opt500(119) | |
Qute_random(120.88) | |
Qute_default(127.98) | |
Rareqs_2018(269.15) | |
predyndep(341.44) | |
depqbf_prefix_opt_qdo(808.4) |