| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,791 of 6,875 | 73% | 338 of 852 | 60% | 264 | 625 | 368 | 1,500 | 25 | 186 | 0 | 15 |
| Context.java | | 64% | | 53% | 73 | 150 | 138 | 394 | 9 | 50 | 0 | 1 |
| LinearSolver.java | | 72% | | 56% | 61 | 119 | 80 | 294 | 2 | 19 | 0 | 1 |
| SimplifierUtility.java | | 70% | | 57% | 51 | 114 | 59 | 241 | 6 | 30 | 0 | 3 |
| ContextExtractor.java | | 84% | | 72% | 40 | 110 | 38 | 287 | 1 | 22 | 0 | 3 |
| LinearVariableSet.java | | 75% | | 59% | 14 | 36 | 19 | 78 | 2 | 14 | 0 | 2 |
| 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 |