x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 48.5 | Qute_opt500 | 237.15 | - | - |
- | - | HQSpre_solver | 176.18 | AIGSolve | 283.43 | - | - |
- | - | Qute_random | 229.69 | ijtihad_v1 | 420.08 | - | - |
- | - | caqe_2017_v2 | 231.84 | heretiq | 422.18 | - | - |
- | - | Qute_default | 234.07 | ijtihad_v2 | 430.16 | - | - |
- | - | - | - | rareqs | 459.81 | - | - |
QELL_default(47.13) | |
QELL_unit(48.5) | |
HQSpre_solver(176.18) | |
Qute_random(229.69) | |
caqe_2017_v2(231.84) | |
Qute_default(234.07) | |
Qute_opt500(237.15) | |
AIGSolve(283.43) | |
ijtihad_v1(420.08) | |
heretiq(422.18) | |
ijtihad_v2(430.16) | |
rareqs(459.81) |