| 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 | | 95% | | 88% | 18 | 119 | 10 | 272 | 0 | 23 | 0 | 1 |
| TemporalSubsumption | | 83% | | 74% | 16 | 50 | 7 | 58 | 0 | 4 | 0 | 1 |
| TemporalSubsumption.new Object() {...} | | 87% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | |
| TrivialTautologies | | 98% | | 94% | 2 | 21 | 1 | 28 | 0 | 4 | 0 | 1 |
| Normalization | | 95% | | 83% | 1 | 7 | 1 | 15 | 0 | 4 | 0 | 1 |
| AddTrivialConstraints | | 99% | | 97% | 1 | 22 | 1 | 51 | 0 | 5 | 0 | 1 |
| MinMaxUnfolding | | 100% | | 97% | 1 | 30 | 0 | 57 | 0 | 9 | 0 | 1 |
| Subsumption | | 100% | | 100% | 0 | 28 | 0 | 64 | 0 | 11 | 0 | 1 |
| TrivialContradictions | | 100% | | 86% | 5 | 23 | 0 | 32 | 0 | 4 | 0 | 1 |
| Subsumption.new Comparator() {...} | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 2 | 0 | 1 |
| AddTrivialConstraints.new Comparator() {...} | 100% | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 | ||
| SyntacticSubsumption | 100% | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |