| 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 | 57% | 38% | 30 | 61 | 34 | 93 | 6 | 34 | 0 | 1 | ||
| RelationEvidence | 36% | 50% | 17 | 25 | 16 | 26 | 16 | 24 | 0 | 1 | ||
| RelationDecisionProjectionCheckpoint | 76% | 53% | 18 | 39 | 11 | 51 | 5 | 23 | 0 | 1 | ||
| RelationDecisionProjection | 93% | 65% | 9 | 47 | 4 | 76 | 2 | 37 | 0 | 1 | ||
| RelationHypothesis | 95% | 64% | 6 | 47 | 2 | 69 | 1 | 40 | 0 | 1 | ||
| RelationProposal | 97% | 75% | 4 | 40 | 1 | 51 | 1 | 34 | 0 | 1 | ||
| RequirementCoverage | 100% | n/a | 0 | 8 | 0 | 15 | 0 | 8 | 0 | 1 | ||
| RelationProjectionRecovery.RecoveryStatus | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |