| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,480 of 1,480 | 0% | 198 of 198 | 0% | 215 | 215 | 326 | 326 | 116 | 116 | 13 | 13 |
| TriplePattern.java | | 0% | | 0% | 85 | 85 | 105 | 105 | 22 | 22 | 1 | 1 |
| BaseInfGraph.java | | 0% | | 0% | 56 | 56 | 102 | 102 | 46 | 46 | 4 | 4 |
| ReasonerRegistry.java | | 0% | | 0% | 27 | 27 | 52 | 52 | 17 | 17 | 1 | 1 |
| FinderUtil.java | | 0% | | 0% | 16 | 16 | 20 | 20 | 8 | 8 | 2 | 2 |
| StandardValidityReport.java | | 0% | | 0% | 12 | 12 | 17 | 17 | 8 | 8 | 1 | 1 |
| FGraph.java | | 0% | | 0% | 8 | 8 | 11 | 11 | 5 | 5 | 1 | 1 |
| ValidityReport.java | | 0% | | 0% | 8 | 8 | 13 | 13 | 7 | 7 | 1 | 1 |
| ReasonerException.java | | 0% | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 | |
| IllegalParameterException.java | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |