| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,705 of 6,946 | 75% | 310 of 834 | 62% | 245 | 618 | 348 | 1,522 | 25 | 188 | 0 | 16 |
| Context.java | | 68% | | 56% | 69 | 147 | 117 | 394 | 9 | 50 | 0 | 1 |
| LinearSolver.java | | 73% | | 58% | 54 | 114 | 79 | 294 | 2 | 19 | 0 | 1 |
| SimplifierUtility.java | | 70% | | 58% | 46 | 109 | 59 | 241 | 6 | 30 | 0 | 3 |
| ContextExtractor.java | | 84% | | 72% | 39 | 109 | 40 | 295 | 1 | 22 | 0 | 3 |
| LinearVariableSet.java | | 78% | | 72% | 12 | 43 | 19 | 92 | 2 | 16 | 0 | 3 |
| SubContext.java | | 69% | | 58% | 10 | 26 | 19 | 73 | 3 | 14 | 0 | 1 |
| IdealSimplifierWorker.java | | 87% | | 72% | 14 | 54 | 14 | 105 | 1 | 22 | 0 | 1 |
| IdealSimplifier.java | | 95% | | 100% | 1 | 13 | 1 | 22 | 1 | 12 | 0 | 1 |
| IdealSimplifierFactory.java | | 100% | n/a | 0 | 2 | 0 | 4 | 0 | 2 | 0 | 1 | |
| InconsistentContextException.java | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |