x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 12.05 | rareqs | 61.39 | heretiq | 67.35 |
- | - | - | - | ijtihad_v2 | 66.16 | rev_qfun0.1 | 162.54 |
- | - | - | - | ijtihad_v1 | 67 | caqe_2017_v1 | 172.61 |
QELL_default(6.71) | |
QELL_unit(12.05) | |
rareqs(61.39) | |
ijtihad_v2(66.16) | |
ijtihad_v1(67) | |
heretiq(67.35) | |
rev_qfun0.1(162.54) | |
caqe_2017_v1(172.61) |