x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 68.56 | AIGSolve | 569.75 | heretiq | 698.31 |
- | - | HQSpre_solver | 223.45 | ijtihad_v2 | 630.78 | rareqs | 881.23 |
- | - | Qute_random | 278.53 | ijtihad_v1 | 640.47 | - | - |
- | - | Qute_default | 284.57 | - | - | - | - |
- | - | caqe_2017_v2 | 284.66 | - | - | - | - |
- | - | Qute_opt500 | 286.68 | - | - | - | - |
QELL_unit(67.4) | |
QELL_default(68.56) | |
HQSpre_solver(223.45) | |
Qute_random(278.53) | |
Qute_default(284.57) | |
caqe_2017_v2(284.66) | |
Qute_opt500(286.68) | |
AIGSolve(569.75) | |
ijtihad_v2(630.78) | |
ijtihad_v1(640.47) | |
heretiq(698.31) | |
rareqs(881.23) |