{"accepted_value_summaries":496,"all_passed":true,"cases":3456,"claim_boundary":"Finite constant-store reference-model value and last-write equivalence only; not symbolic-value summaries, LLVM build cost, coverage, solver speed, defect yield, or end-to-end speedup","mutations_rejected":18,"rejected_unsupported_or_partial":2960,"runtime_complete_loads":43212,"runtime_load_vector_equivalences":16416,"runtime_uninitialized_or_partial_loads":57572,"runtime_value_byte_equivalences":62112,"schema":"symcc-nested-loop-memoryphi-value-summary-oracle-v1","sealed_last_write_cases":5520}