x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 46.88 | heretiq | 336.77 | rareqs | 466.74 |
- | - | HQSpre_solver | 138.53 | AIGSolve | 364.81 | - | - |
- | - | Qute_opt500 | 195.54 | ijtihad_v1 | 375.17 | - | - |
- | - | caqe_2017_v2 | 195.67 | ijtihad_v2 | 377.92 | - | - |
- | - | Qute_random | 195.98 | - | - | - | - |
- | - | Qute_default | 196.88 | - | - | - | - |
QELL_default(44.55) | |
QELL_unit(46.88) | |
HQSpre_solver(138.53) | |
Qute_opt500(195.54) | |
caqe_2017_v2(195.67) | |
Qute_random(195.98) | |
Qute_default(196.88) | |
heretiq(336.77) | |
AIGSolve(364.81) | |
ijtihad_v1(375.17) | |
ijtihad_v2(377.92) | |
rareqs(466.74) |