[ { "id": "odkcollect-Rep1", "app": "odkcollect", "rep": "Rep1", "states": 49, "edges": 261, "entry_executions": 121, "entry_sources": 1, "entry_mapped_executions": 121, "entry_unmapped_executions": 0, "selected_header": "g16s70", "best_header": "g16s70", "C_reference_size": 9, "cut_edges": 4, "expanded_cut_edges": 4, "collisions": 0, "pending_entry_executions": 0, "removed_return_edges": 45, "A_selected": { "size": 4, "reference_overlap": 4, "reference_missed": 5, "outside_reference": 0 }, "A_best_single": { "size": 4, "reference_overlap": 4, "reference_missed": 5, "outside_reference": 0 }, "A_target_subtree_union": { "size": 6, "reference_overlap": 6, "reference_missed": 3, "outside_reference": 0 }, "B_original": { "size": 0, "reference_overlap": 0, "reference_missed": 9, "outside_reference": 0 }, "B_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 9, "outside_reference": 0 }, "B_safe_original": { "size": 0, "reference_overlap": 0, "reference_missed": 9, "outside_reference": 0 }, "B_expanded_original": { "size": 0, "reference_overlap": 0, "reference_missed": 9, "outside_reference": 0 }, "B_expanded_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 9, "outside_reference": 0 }, "B_pending_original": { "size": 0, "reference_overlap": 0, "reference_missed": 9, "outside_reference": 0 }, "B_pending_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 9, "outside_reference": 0 } }, { "id": "odkcollect-Rep2", "app": "odkcollect", "rep": "Rep2", "states": 55, "edges": 298, "entry_executions": 109, "entry_sources": 3, "entry_mapped_executions": 109, "entry_unmapped_executions": 0, "selected_header": "g11s38", "best_header": "g11s38", "C_reference_size": 5, "cut_edges": 4, "expanded_cut_edges": 4, "collisions": 0, "pending_entry_executions": 0, "removed_return_edges": 47, "A_selected": { "size": 2, "reference_overlap": 2, "reference_missed": 3, "outside_reference": 0 }, "A_best_single": { "size": 2, "reference_overlap": 2, "reference_missed": 3, "outside_reference": 0 }, "A_target_subtree_union": { "size": 3, "reference_overlap": 3, "reference_missed": 2, "outside_reference": 0 }, "B_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_safe_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_expanded_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_expanded_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_pending_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_pending_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 } }, { "id": "activitydiary-Rep1", "app": "activitydiary", "rep": "Rep1", "states": 110, "edges": 1054, "entry_executions": 56, "entry_sources": 28, "entry_mapped_executions": 41, "entry_unmapped_executions": 15, "selected_header": "g21s63", "best_header": "g21s63", "C_reference_size": 5, "cut_edges": 27, "expanded_cut_edges": 32, "collisions": 0, "pending_entry_executions": 0, "removed_return_edges": 121, "A_selected": { "size": 5, "reference_overlap": 1, "reference_missed": 4, "outside_reference": 4 }, "A_best_single": { "size": 5, "reference_overlap": 1, "reference_missed": 4, "outside_reference": 4 }, "A_target_subtree_union": { "size": 8, "reference_overlap": 3, "reference_missed": 2, "outside_reference": 5 }, "B_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_safe_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_expanded_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_expanded_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_pending_original": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 }, "B_pending_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 5, "outside_reference": 0 } }, { "id": "activitydiary-Rep2", "app": "activitydiary", "rep": "Rep2", "states": 123, "edges": 1310, "entry_executions": 63, "entry_sources": 31, "entry_mapped_executions": 44, "entry_unmapped_executions": 19, "selected_header": "g27s96", "best_header": "g27s96", "C_reference_size": 4, "cut_edges": 22, "expanded_cut_edges": 38, "collisions": 0, "pending_entry_executions": 0, "removed_return_edges": 95, "A_selected": { "size": 2, "reference_overlap": 2, "reference_missed": 2, "outside_reference": 0 }, "A_best_single": { "size": 2, "reference_overlap": 2, "reference_missed": 2, "outside_reference": 0 }, "A_target_subtree_union": { "size": 7, "reference_overlap": 3, "reference_missed": 1, "outside_reference": 4 }, "B_original": { "size": 0, "reference_overlap": 0, "reference_missed": 4, "outside_reference": 0 }, "B_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 4, "outside_reference": 0 }, "B_safe_original": { "size": 0, "reference_overlap": 0, "reference_missed": 4, "outside_reference": 0 }, "B_expanded_original": { "size": 2, "reference_overlap": 1, "reference_missed": 3, "outside_reference": 1 }, "B_expanded_forward": { "size": 2, "reference_overlap": 1, "reference_missed": 3, "outside_reference": 1 }, "B_pending_original": { "size": 0, "reference_overlap": 0, "reference_missed": 4, "outside_reference": 0 }, "B_pending_forward": { "size": 0, "reference_overlap": 0, "reference_missed": 4, "outside_reference": 0 } }, { "id": "wikipedia-Rep1", "app": "wikipedia", "rep": "Rep1", "states": 438, "edges": 1719, "entry_executions": 29, "entry_sources": 19, "entry_mapped_executions": 29, "entry_unmapped_executions": 0, "selected_header": "g41s212", "best_header": "g42s213", "C_reference_size": 26, "cut_edges": 27, "expanded_cut_edges": 27, "collisions": 0, "pending_entry_executions": 8, "removed_return_edges": 179, "A_selected": { "size": 1, "reference_overlap": 1, "reference_missed": 25, "outside_reference": 0 }, "A_best_single": { "size": 4, "reference_overlap": 2, "reference_missed": 24, "outside_reference": 2 }, "A_target_subtree_union": { "size": 30, "reference_overlap": 13, "reference_missed": 13, "outside_reference": 17 }, "B_original": { "size": 5, "reference_overlap": 3, "reference_missed": 23, "outside_reference": 2 }, "B_forward": { "size": 12, "reference_overlap": 6, "reference_missed": 20, "outside_reference": 6 }, "B_safe_original": { "size": 5, "reference_overlap": 3, "reference_missed": 23, "outside_reference": 2 }, "B_expanded_original": { "size": 5, "reference_overlap": 3, "reference_missed": 23, "outside_reference": 2 }, "B_expanded_forward": { "size": 12, "reference_overlap": 6, "reference_missed": 20, "outside_reference": 6 }, "B_pending_original": { "size": 6, "reference_overlap": 3, "reference_missed": 23, "outside_reference": 3 }, "B_pending_forward": { "size": 13, "reference_overlap": 6, "reference_missed": 20, "outside_reference": 7 } }, { "id": "wikipedia-Rep2", "app": "wikipedia", "rep": "Rep2", "states": 409, "edges": 1851, "entry_executions": 55, "entry_sources": 35, "entry_mapped_executions": 53, "entry_unmapped_executions": 2, "selected_header": "g26s116", "best_header": "g86s411", "C_reference_size": 39, "cut_edges": 45, "expanded_cut_edges": 45, "collisions": 0, "pending_entry_executions": 4, "removed_return_edges": 211, "A_selected": { "size": 4, "reference_overlap": 3, "reference_missed": 36, "outside_reference": 1 }, "A_best_single": { "size": 4, "reference_overlap": 4, "reference_missed": 35, "outside_reference": 0 }, "A_target_subtree_union": { "size": 33, "reference_overlap": 27, "reference_missed": 12, "outside_reference": 6 }, "B_original": { "size": 5, "reference_overlap": 5, "reference_missed": 34, "outside_reference": 0 }, "B_forward": { "size": 8, "reference_overlap": 7, "reference_missed": 32, "outside_reference": 1 }, "B_safe_original": { "size": 5, "reference_overlap": 5, "reference_missed": 34, "outside_reference": 0 }, "B_expanded_original": { "size": 5, "reference_overlap": 5, "reference_missed": 34, "outside_reference": 0 }, "B_expanded_forward": { "size": 8, "reference_overlap": 7, "reference_missed": 32, "outside_reference": 1 }, "B_pending_original": { "size": 6, "reference_overlap": 5, "reference_missed": 34, "outside_reference": 1 }, "B_pending_forward": { "size": 9, "reference_overlap": 7, "reference_missed": 32, "outside_reference": 2 } } ]