| reachableMemoryUnits(ProcessState) |   | 64% | | 67% | 6 | 13 | 13 | 38 | 0 | 1 |
| impactMemoryUnits(ProcessState) | | 54% | | 60% | 6 | 11 | 12 | 30 | 0 | 1 |
| impactMemoryUnitsOfStatement(Statement, int) | | 82% | | 55% | 25 | 35 | 20 | 93 | 0 | 1 |
| impactMemoryUnitsOfAtomicBlock(Location, int) | | 92% | | 79% | 10 | 27 | 5 | 48 | 0 | 1 |
| ampleSetOfProcess(int, int) | | 95% | | 88% | 6 | 25 | 6 | 56 | 0 | 1 |
| computeActiveProcesses() | | 100% | | 100% | 0 | 7 | 0 | 14 | 0 | 1 |
| AmpleSetWorker(State, CommonEnabler, Evaluator, SymbolicAnalyzer, boolean, PrintStream) | | 100% | | n/a | 0 | 1 | 0 | 17 | 0 | 1 |
| preprocessing() | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| ampleProcessesWork() | | 100% | | 100% | 0 | 4 | 0 | 13 | 0 | 1 |
| memUnitPairs(Iterable, Iterable) | | 100% | | 100% | 0 | 4 | 0 | 8 | 0 | 1 |
| ampleProcesses() | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| memoryUnit(Expression, int) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |