x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Qute_opt500 | 3.65 | Caqe-bloqqer | 25.63 | - | - |
- | - | Rareqs_2018 | 10.42 | - | - | - | - |
- | - | depqbf_pre_QxQBH | 11.74 | - | - | - | - |
- | - | aspq3alt | 12.06 | - | - | - | - |
- | - | ASPQ_2018 | 12.24 | - | - | - | - |
- | - | Cued_2_2018 | 12.89 | - | - | - | - |
- | - | Cued_3_2018 | 12.89 | - | - | - | - |
- | - | predyndep | 14.73 | - | - | - | - |
- | - | aspq2v3 | 16.51 | - | - | - | - |
Qute_random(3.63) | |
Qute_opt500(3.65) | |
Rareqs_2018(10.42) | |
depqbf_pre_QxQBH(11.74) | |
aspq3alt(12.06) | |
ASPQ_2018(12.24) | |
Cued_2_2018(12.89) | |
Cued_3_2018(12.89) | |
predyndep(14.73) | |
aspq2v3(16.51) | |
Caqe-bloqqer(25.63) | |
ijtihad(663.27) |