x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Qute_default | 3.38 | Caqe-bloqqer | 16.85 | aspq3alt | 42.39 |
- | - | Qute_random | 3.47 | Rareqs_2018 | 19.88 | ASPQ_2018 | 42.45 |
- | - | Cued_2_2018 | 15.88 | aspq2v3 | 25.93 | predyndep | 47.06 |
- | - | Cued_3_2018 | 15.93 | - | - | ijtihad | 50.13 |
- | - | - | - | - | - | Heretiq-simple | 79.03 |
- | - | - | - | - | - | Heretiq-cube | 91.59 |
- | - | - | - | - | - | Caqe-bloqqer-qdo | 142.12 |
- | - | - | - | - | - | depqbf_pre_QxQBH | 236.33 |
Qute_opt500(3.31) | |
Qute_default(3.38) | |
Qute_random(3.47) | |
Cued_2_2018(15.88) | |
Cued_3_2018(15.93) | |
Caqe-bloqqer(16.85) | |
Rareqs_2018(19.88) | |
aspq2v3(25.93) | |
aspq3alt(42.39) | |
ASPQ_2018(42.45) | |
predyndep(47.06) | |
ijtihad(50.13) | |
Heretiq-simple(79.03) | |
Heretiq-cube(91.59) | |
Caqe-bloqqer-qdo(142.12) | |
depqbf_pre_QxQBH(236.33) |