R1 {"cases": 15, "claims": 20, "mismatches": 0, "invalid_cases": 23, "invalid_accepted": 0, "unresolved_cases": 1, "unresolved_accepted": 0}
R2 {"cases": 4, "mismatches": 0, "invalid_cases": 10, "invalid_accepted": 0}
R3 {"tree_sizes": 32, "inclusion_proofs": 528, "consistency_proofs": 528, "leaf_examples": 2, "mismatches": 0, "invalid_proofs": 17, "invalid_accepted": 0}
R4 {"cases": 4, "mismatches": 0, "invalid_cases": 7, "invalid_accepted": 0}
R5 {"claims": 20, "naive_mismatches": 3, "canonical_mismatches": 0}
R6 {"operators": 3, "observers": 2, "entries": 3, "mismatches": 0, "invalid_cases": 6, "invalid_accepted": 0}