x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 19.64 | HQSpre_solver | 106.83 | ijtihad_v1 | 235.02 |
- | - | AIGSolve | 62.01 | Qute_default | 166.61 | heretiq | 238.53 |
- | - | - | - | caqe_2017_v2 | 166.98 | ijtihad_v2 | 243.94 |
- | - | - | - | Qute_random | 168.13 | caqe_2017_v1 | 254.47 |
- | - | - | - | caqe_2017_v3 | 169.99 | rareqs | 288.56 |
- | - | - | - | Qute_opt500 | 170.22 | - | - |
QELL_default(19.05) | |
QELL_unit(19.64) | |
AIGSolve(62.01) | |
HQSpre_solver(106.83) | |
Qute_default(166.61) | |
caqe_2017_v2(166.98) | |
Qute_random(168.13) | |
caqe_2017_v3(169.99) | |
Qute_opt500(170.22) | |
ijtihad_v1(235.02) | |
heretiq(238.53) | |
ijtihad_v2(243.94) | |
caqe_2017_v1(254.47) | |
rareqs(288.56) |