x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 19.67 | HQSpre_solver | 107.26 | heretiq | 227.26 |
- | - | AIGSolve | 63.05 | Qute_default | 173.37 | ijtihad_v2 | 242.82 |
- | - | - | - | caqe_2017_v3 | 177.3 | ijtihad_v1 | 244.17 |
- | - | - | - | Qute_opt500 | 180.01 | caqe_2017_v1 | 256.46 |
- | - | - | - | Qute_random | 180.45 | rareqs | 288.29 |
- | - | - | - | caqe_2017_v2 | 182.84 | - | - |
QELL_default(19.08) | |
QELL_unit(19.67) | |
AIGSolve(63.05) | |
HQSpre_solver(107.26) | |
Qute_default(173.37) | |
caqe_2017_v3(177.3) | |
Qute_opt500(180.01) | |
Qute_random(180.45) | |
caqe_2017_v2(182.84) | |
heretiq(227.26) | |
ijtihad_v2(242.82) | |
ijtihad_v1(244.17) | |
caqe_2017_v1(256.46) | |
rareqs(288.29) |