| impactMemoryUnitsOfMPIStatement(MPIStatement, int) |  | 0% | | 0% | 11 | 11 | 22 | 22 | 1 | 1 |
| impactMemoryUnitsOfStatement(Statement, int) |  | 85% | | 61% | 17 | 30 | 9 | 66 | 0 | 1 |
| printMemoryUnitsOfExpression(Expression, Set) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| ampleSetOfProcess(int) | | 91% | | 80% | 10 | 28 | 7 | 52 | 0 | 1 |
| impactMemoryUnitsOfAtomicBlock(Location, int) | | 95% | | 88% | 6 | 27 | 3 | 46 | 0 | 1 |
| preprocessing() | | 85% | | 75% | 1 | 3 | 1 | 9 | 0 | 1 |
| memoryUnit(Expression, int) | | 81% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| impactMemoryUnits(ProcessState) | | 97% | | 100% | 0 | 5 | 2 | 14 | 0 | 1 |
| reachableMemoryUnits(ProcessState) | | 99% | | 92% | 1 | 7 | 1 | 22 | 0 | 1 |
| computeActiveProcesses() | | 100% | | 95% | 1 | 12 | 0 | 23 | 0 | 1 |
| ampleProcessesWork() | | 100% | | 100% | 0 | 5 | 0 | 17 | 0 | 1 |
| AmpleSetWorker(State, Enabler, Evaluator, boolean, PrintStream) | | 100% | | n/a | 0 | 1 | 0 | 16 | 0 | 1 |
| ampleProcesses() | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |