| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 296 of 1,415 | 79% | 64 of 134 | 52% | 84 | 268 | 68 | 385 | 31 | 201 | 0 | 8 |
| RelationProjectionRecovery.java | | 59% | | 38% | 30 | 62 | 34 | 97 | 6 | 35 | 0 | 2 |
| RelationEvidence.java | | 36% | | 50% | 17 | 25 | 16 | 26 | 16 | 24 | 0 | 1 |
| RelationDecisionProjectionCheckpoint.java | | 76% | | 53% | 18 | 39 | 11 | 51 | 5 | 23 | 0 | 1 |
| RelationDecisionProjection.java | | 93% | | 65% | 9 | 47 | 4 | 76 | 2 | 37 | 0 | 1 |
| RelationHypothesis.java | | 95% | | 64% | 6 | 47 | 2 | 69 | 1 | 40 | 0 | 1 |
| RelationProposal.java | | 97% | | 75% | 4 | 40 | 1 | 51 | 1 | 34 | 0 | 1 |
| RequirementCoverage.java | | 100% | n/a | 0 | 8 | 0 | 15 | 0 | 8 | 0 | 1 |