| MiniMPParser |   | 79% |   | 62% | 1,791 | 3,184 | 1,913 | 9,151 | 20 | 175 | 0 | 1 |
| TreeParser |   | 76% |   | 68% | 216 | 532 | 311 | 1,636 | 5 | 88 | 0 | 1 |
| MiniMPLexer |   | 72% |   | 53% | 245 | 498 | 464 | 1,524 | 16 | 106 | 0 | 1 |
| MiniMPParser.DFA91 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
| MiniMPParser.DFA90 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
| MiniMPParser.DFA87 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
| MiniMPParser.DFA88 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
| MiniMPParser.DFA89 | | 53% | | 23% | 8 | 10 | 14 | 35 | 1 | 3 | 0 | 1 |
| MiniMPParser.DFA86 | | 74% | | 46% | 7 | 10 | 7 | 35 | 1 | 3 | 0 | 1 |
| NameTypePair | | 66% | | 50% | 2 | 5 | 2 | 10 | 0 | 3 | 0 | 1 |
| MiniMPParser.partial_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPParser.program_name_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPParser.define_list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPParser.list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPParser.partial_list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPParser.include_list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPParser.derivative_expr_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPParser.direct_abstract_declarator_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| MiniMPLexer.DFA36 | | 94% | | n/a | 1 | 2 | 1 | 12 | 1 | 2 | 0 | 1 |
| MiniMPLexer.DFA19 | | 94% | | n/a | 1 | 2 | 1 | 12 | 1 | 2 | 0 | 1 |
| MiniMPLexer.DFA26 | | 94% | | n/a | 1 | 2 | 1 | 12 | 1 | 2 | 0 | 1 |
| MiniMPParser.declaration_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.argument_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.assign_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.logical_or_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.function_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.prefix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.unary_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.skew_factor_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.declarator_suffix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.relational_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.invariant_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.correspondence_annotation_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.equality_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.body_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.choice_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.empty_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.expr_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.evaluated_function_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.declarator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.define_directive_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.ifThenElse_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.abstract_declarator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.postfix_expr_suffix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.collective_assert_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.abstract_function_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.pointer_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.return_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.spec_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.quantifier_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.program_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.initializer_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.assume_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.self_change_op_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.unary_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.declaration_body_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.recv_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.type_specifier_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.multi_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.statement_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.joint_assert_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.comm_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.postfix_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.primary_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.wildcard_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.relational_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.declaration_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.equality_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.loop_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.constant_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.parameter_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.include_directive_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.simple_type_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.additive_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.designator_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.iterative_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.multi_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.compound_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.designation_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.parameter_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.suffix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.call_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.additive_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.argument_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.initializer_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.select_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.quantifier_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.designator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.joint_invariant_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.assign_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.assert_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.program_element_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.allocate_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.condition_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.collective_invariant_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.logical_and_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.field_declaration_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.type_name_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.direct_declarator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.ignored_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.declaration_unit_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.send_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| MiniMPParser.statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |