x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 51.16 | ijtihad_v2 | 363.35 | rareqs | 607.61 |
- | - | HQSpre_solver | 181.21 | heretiq | 385.9 | - | - |
- | - | caqe_2017_v2 | 200.36 | ijtihad_v1 | 393.2 | - | - |
- | - | Qute_random | 207.29 | - | - | - | - |
- | - | Qute_opt500 | 209.14 | - | - | - | - |
- | - | Qute_default | 209.36 | - | - | - | - |
QELL_default(49.64) | |
QELL_unit(51.16) | |
HQSpre_solver(181.21) | |
caqe_2017_v2(200.36) | |
Qute_random(207.29) | |
Qute_opt500(209.14) | |
Qute_default(209.36) | |
ijtihad_v2(363.35) | |
heretiq(385.9) | |
ijtihad_v1(393.2) | |
rareqs(607.61) |