x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 38.59 | Qute_random | 212.9 | rareqs | 380.37 |
- | - | AIGSolve | 75.32 | caqe_2017_v2 | 214.21 | - | - |
- | - | HQSpre_solver | 146.65 | Qute_opt500 | 219.7 | - | - |
- | - | - | - | Qute_default | 219.75 | - | - |
- | - | - | - | caqe_2017_v3 | 222.55 | - | - |
- | - | - | - | ijtihad_v2 | 284.01 | - | - |
- | - | - | - | ijtihad_v1 | 307.93 | - | - |
- | - | - | - | heretiq | 308.51 | - | - |
- | - | - | - | caqe_2017_v1 | 345.62 | - | - |
QELL_unit(36.38) | |
QELL_default(38.59) | |
AIGSolve(75.32) | |
HQSpre_solver(146.65) | |
Qute_random(212.9) | |
caqe_2017_v2(214.21) | |
Qute_opt500(219.7) | |
Qute_default(219.75) | |
caqe_2017_v3(222.55) | |
ijtihad_v2(284.01) | |
ijtihad_v1(307.93) | |
heretiq(308.51) | |
caqe_2017_v1(345.62) | |
rareqs(380.37) |