| 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, int) | | 92% | | 80% | 10 | 31 | 7 | 58 | 0 | 1 |
| memoryUnit(Expression, int) | | 81% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| impactMemoryUnitsOfAtomicBlock(Location, int) | | 98% | | 90% | 5 | 26 | 2 | 45 | 0 | 1 |
| impactMemoryUnits(ProcessState) | | 97% | | 100% | 0 | 5 | 2 | 14 | 0 | 1 |
| reachableMemoryUnits(ProcessState) | | 99% | | 92% | 1 | 7 | 1 | 22 | 0 | 1 |
| computeActiveProcesses() | | 100% | | 92% | 1 | 7 | 0 | 13 | 0 | 1 |
| AmpleSetWorker(State, Enabler, Evaluator, boolean, PrintStream) | | 100% | | n/a | 0 | 1 | 0 | 15 | 0 | 1 |
| preprocessing() | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| ampleProcessesWork() | | 100% | | 100% | 0 | 4 | 0 | 13 | 0 | 1 |
| ampleProcesses() | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |