| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 262 of 737 | 64% | 32 of 64 | 50% | 44 | 103 | 51 | 166 | 21 | 71 | 0 | 11 |
| Negation.java | | 54% | | 31% | 10 | 17 | 10 | 28 | 3 | 9 | 0 | 1 |
| BinaryOperator.java | | 73% | | 55% | 9 | 16 | 8 | 30 | 1 | 6 | 0 | 1 |
| RequirementFactory.java | | 8% | n/a | 5 | 6 | 5 | 6 | 5 | 6 | 0 | 1 | |
| CachedFactory.java | | 63% | | 50% | 4 | 10 | 8 | 19 | 3 | 8 | 0 | 1 |
| Disjunction.java | | 54% | | 67% | 2 | 8 | 3 | 10 | 1 | 5 | 0 | 1 |
| Conjunction.java | | 54% | | 67% | 2 | 8 | 3 | 10 | 1 | 5 | 0 | 1 |
| Require.java | | 69% | | 33% | 5 | 12 | 6 | 22 | 2 | 9 | 0 | 1 |
| Nothing.java | | 69% | | 67% | 4 | 13 | 6 | 23 | 2 | 10 | 0 | 1 |
| Requirement.java | | 74% | n/a | 1 | 5 | 1 | 5 | 1 | 5 | 0 | 1 | |
| LogicalOperator.java | | 93% | n/a | 1 | 4 | 0 | 9 | 1 | 4 | 0 | 1 | |
| Factory.java | | 80% | n/a | 1 | 4 | 1 | 4 | 1 | 4 | 0 | 1 |