| computeImpactMemoryUnitsOfStatement(Set, Scope, Statement, Set, Set) |   | 77% |   | 84% | 3 | 17 | 6 | 37 | 0 | 1 |
| computeImpactMemoryUnitsOfExpression(Set, Expression, Set, int) |   | 95% |   | 87% | 8 | 53 | 7 | 107 | 0 | 1 |
| computeReachableMemoryUnitsOfLocation(Location) |  | 98% |   | 91% | 1 | 7 | 1 | 24 | 0 | 1 |
| computeImpactMemoryUnitsOfAtomicAndAtom(Set, Location, Set, Set) |  | 100% |   | 80% | 6 | 16 | 0 | 29 | 0 | 1 |
| computeImpactMemoryUnitsOfLocation(Location) |  | 100% |  | 100% | 0 | 4 | 0 | 14 | 0 | 1 |
| isLowerThan(Scope, Scope) |  | 100% |   | 92% | 1 | 8 | 0 | 13 | 0 | 1 |
| memoryUnitAnalysis(Model) |  | 100% |  | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| computeImpactMemoryUnitsOfExpression(Set, Expression, Set) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| MemoryUnitExpressionAnalyzer(ModelFactory) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |