| { | |
| "claim1_remove_inheritance_edge": { | |
| "checker_rejected_mutant": true, | |
| "expected_edges": 94, | |
| "expected_nodes": 67, | |
| "mutant_edges": 93, | |
| "observed_nodes": 67 | |
| }, | |
| "claim2_remove_all_inheritance": { | |
| "lemma1_converse_failures_without_inheritance": 0, | |
| "tested": 477840 | |
| }, | |
| "claim3_delete_selection_clique": { | |
| "agreement": 0.931087811819856, | |
| "mismatches": 98787, | |
| "tested": 1433520 | |
| }, | |
| "claim4_reverse_compelled_orientation": { | |
| "checker_fired": 328, | |
| "corrupted_models_tested": 328 | |
| }, | |
| "claim5_omit_changed_selection_ancestor_expansion": { | |
| "configurations": 269328, | |
| "orientation_soundness_violations": 583356 | |
| }, | |
| "claim6_mutate_source_and_data": { | |
| "data_byte_mutation_detected_by_sha256": true, | |
| "mutated_dgrp_oriented_percent": 49.148936170212764, | |
| "source_arithmetic_mutation_detected": true, | |
| "unmutated_source_arithmetic_mismatches": 0 | |
| } | |
| } | |