| mpiBarrierStatement(CIVLSource, Location, LHSExpression, ArrayList) |  | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| mpiSendStatement(CIVLSource, Location, LHSExpression, ArrayList) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| mpiRecvStatement(CIVLSource, Location, LHSExpression, ArrayList) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| mpiIsendStatement(CIVLSource, Location, LHSExpression, ArrayList) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| mpiIrecvStatement(CIVLSource, Location, LHSExpression, ArrayList) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| mpiWaitStatement(CIVLSource, Location, LHSExpression, ArrayList) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| createProcsVariable(Scope, int, Expression) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| createStartVariable(Scope, int) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| callOrSpawnStatement(Location, boolean, LHSExpression, CIVLFunction, List) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| createRankVariable(int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| callOrSpawnStatement(Location, boolean, CIVLFunction, List) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| assignStatement(Location, LHSExpression, Expression, boolean) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| variable(CIVLType, Identifier, int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| scope(Scope, LinkedHashSet, CIVLFunction) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| location(Scope) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| identifier(String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| integerLiteralExpression(BigInteger) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| variableExpression(Variable) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| CommonMPIModelFactory(SymbolicUniverse) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setNumberOfProcs(Expression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| rankVariable() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| startVariable() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| procsVariable() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numberOfProcs() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |