| execute_domain_partition(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |   | 74% |   | 50% | 3 | 4 | 6 | 24 | 0 | 1 |
| execute(State, int, CallOrSpawnStatement, String) |   | 92% |   | 63% | 13 | 27 | 1 | 28 | 0 | 1 |
| execute_step_of_regular_range(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |  | 0% |  | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| domainPartition_round_robin(SymbolicExpression, int) |   | 93% |   | 80% | 2 | 6 | 2 | 33 | 0 | 1 |
| execute_range_of_rectangular_domain(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |  | 100% |   | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| execute_is_rectangular_domain(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |  | 100% |   | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| execute_is_regular_range(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |  | 100% |   | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| execute_dimension_of(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |  | 100% |   | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| execute_low_of_regular_range(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |  | 100% |   | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| execute_high_of_regular_range(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) |  | 100% |   | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| LibdomainExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |