| Reasoning Strategy | ||
---|---|---|---|
Deductive Only | Deductive + Plausible (Without Expert's Verification) | Deductive + Plausible (With Expert’s Verification) | |
#Queries answered correctly | 144 | 149 | 147 |
#Queries answered incorrectly | 7 | 5 | 6 |
#Queries unanswered | 4 | 1 | 2 |
# Plausible rules used | N/A | 3 | 2 |
# Plausible facts used | N/A | 1 | 1 |
Coverage | 97% | 99% | 99% |
Correctness | 95% | 97% | 96% |