| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,923 of 7,433 | 74% | 347 of 957 | 63% | 265 | 653 | 380 | 1,635 | 23 | 163 | 0 | 14 |
| MutableContext.java | | 70% | | 62% | 115 | 274 | 183 | 707 | 11 | 72 | 0 | 1 |
| LinearSolver.java | | 73% | | 58% | 54 | 114 | 79 | 294 | 2 | 19 | 0 | 1 |
| SimplifierUtility.java | | 70% | | 59% | 45 | 109 | 58 | 241 | 7 | 30 | 0 | 3 |
| ContextExtractor.java | | 84% | | 72% | 40 | 109 | 41 | 295 | 1 | 22 | 0 | 3 |
| LinearVariableSet.java | | 78% | | 74% | 11 | 43 | 19 | 92 | 2 | 16 | 0 | 3 |
| ContextSubstituter.java | 100% | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 | ||
| Context.java | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | ||
| InconsistentContextException.java | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |