| executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[]) |   | 24% |   | 11% | 8 | 9 | 13 | 18 | 0 | 1 |
| execute_domain_partition(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |   | 75% |   | 50% | 2 | 3 | 6 | 27 | 0 | 1 |
| execute_range_of_rectangular_domain(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| execute_is_rectangular_domain(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| execute_is_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| execute_dimension_of(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| execute_step_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| execute_low_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| execute_high_of_regular_range(State, int, String, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| domainPartition_round_robin(SymbolicExpression, int) |   | 95% |   | 90% | 1 | 6 | 1 | 40 | 0 | 1 |
| LibdomainExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |