x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | depqbf_prefix_opt_qdo | 5.46 | Qute_random | 8.86 |
- | - | - | - | - | - | Qute_opt500 | 8.93 |
- | - | - | - | - | - | Qute_default | 9.2 |
- | - | - | - | - | - | Heretiq-simple | 37.53 |
- | - | - | - | - | - | Heretiq-cube | 37.78 |
Rareqs_2018(0.83) | |
depqbf_prefix_opt_qdo(5.46) | |
Qute_random(8.86) | |
Qute_opt500(8.93) | |
Qute_default(9.2) | |
Heretiq-simple(37.53) | |
Heretiq-cube(37.78) | |
predyndep(171.47) | |
depqbf_pre_QxQBH(232.71) |