| MutableContext |   | 70% | | 62% | 115 | 274 | 183 | 707 | 11 | 72 | 0 | 1 |
| LinearSolver | | 73% | | 58% | 54 | 114 | 79 | 294 | 2 | 19 | 0 | 1 |
| SimplifierUtility | | 69% | | 59% | 45 | 105 | 58 | 230 | 7 | 27 | 0 | 1 |
| ContextExtractor | | 84% | | 72% | 40 | 107 | 41 | 293 | 1 | 20 | 0 | 1 |
| LinearVariableSet | | 75% | | 69% | 10 | 33 | 19 | 86 | 2 | 12 | 0 | 1 |
| SimplifierUtility.new Comparator() {...} | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 2 | 0 | 1 |
| LinearVariableSet.new BinaryPredicate() {...} | | 100% | | 83% | 1 | 5 | 0 | 4 | 0 | 2 | 0 | 1 |
| LinearVariableSet.new BinaryPredicate() {...} | | 100% | | 100% | 0 | 5 | 0 | 4 | 0 | 2 | 0 | 1 |
| SimplifierUtility.AffineExpr | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |
| ContextSubstituter | | 100% | | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 |
| Context | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| ContextExtractor.ArrayEquationSolution | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| ContextExtractor.ArrayDefinition | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| InconsistentContextException | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |