| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 136 of 3,374 | 95% | 53 of 461 | 88% | 44 | 308 | 20 | 584 | 0 | 71 | 0 | 12 |
| BoundsInference.java | | 95% | | 88% | 18 | 119 | 10 | 272 | 0 | 23 | 0 | 1 |
| TemporalSubsumption.java | | 84% | | 74% | 16 | 51 | 7 | 58 | 0 | 5 | 0 | 2 |
| TrivialTautologies.java | | 98% | | 94% | 2 | 21 | 1 | 28 | 0 | 4 | 0 | 1 |
| Normalization.java | | 95% | | 83% | 1 | 7 | 1 | 15 | 0 | 4 | 0 | 1 |
| AddTrivialConstraints.java | | 99% | | 97% | 1 | 24 | 1 | 52 | 0 | 7 | 0 | 2 |
| Subsumption.java | | 100% | | 100% | 0 | 31 | 0 | 68 | 0 | 13 | 0 | 2 |
| MinMaxUnfolding.java | | 100% | | 97% | 1 | 30 | 0 | 57 | 0 | 9 | 0 | 1 |
| TrivialContradictions.java | | 100% | | 86% | 5 | 23 | 0 | 32 | 0 | 4 | 0 | 1 |
| SyntacticSubsumption.java | 100% | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |