x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Qute_default | 0.98 | Caqe-bloqqer | 8.45 | Caqe-bloqqer-qdo | 21.83 |
- | - | Qute_opt500 | 0.98 | - | - | Iprover-HQSpre-Bloqqer | 58.14 |
- | - | Caqe-hqspre | 1.06 | - | - | - | - |
Qute_random(0.95) | |
Qute_default(0.98) | |
Qute_opt500(0.98) | |
Caqe-hqspre(1.06) | |
Caqe-bloqqer(8.45) | |
Caqe-bloqqer-qdo(21.83) | |
Iprover-HQSpre-Bloqqer(58.14) | |
predyndep(209.06) | |
Rareqs_2018(365.09) |