| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 881 of 5,843 | 84% | 190 of 1,016 | 81% | 164 | 582 | 173 | 1,504 | 16 | 74 | 0 | 6 |
| IntervalUnionFactory.java | 78% | 75% | 89 | 261 | 114 | 702 | 3 | 27 | 0 | 1 | ||
| IntervalUnionSet.java | 91% | 85% | 63 | 289 | 44 | 708 | 3 | 31 | 0 | 1 | ||
| CommonContextPartition.java | 89% | 90% | 3 | 21 | 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 |