| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 889 of 5,915 | 84% | 246 of 1,124 | 78% | 218 | 636 | 173 | 1,506 | 16 | 74 | 0 | 6 |
| IntervalUnionFactory.java | 79% | 73% | 115 | 287 | 114 | 703 | 3 | 27 | 0 | 1 | ||
| IntervalUnionSet.java | 91% | 82% | 89 | 315 | 44 | 709 | 3 | 31 | 0 | 1 | ||
| CommonContextPartition.java | 88% | 86% | 5 | 23 | 6 | 78 | 1 | 5 | 0 | 2 | ||
| IdentitySimplifier.java | 22% | n/a | 8 | 9 | 8 | 12 | 8 | 9 | 0 | 1 | ||
| IdentitySimplifierFactory.java | 46% | n/a | 1 | 2 | 1 | 4 | 1 | 2 | 0 | 1 |