{"accepted_two_dimensional_summaries":28,"all_passed":true,"cases":4608,"claim_boundary":"Finite two-level affine constant-store reference equivalence only; not general polyhedral analysis, LLVM construction latency, coverage, solver speed, defect yield, or end-to-end speedup","mutations_rejected":18,"rejected_unsupported_or_partial":4580,"runtime_complete_loads":1692,"runtime_load_vector_equivalences":608,"runtime_uninitialized_or_partial_loads":5252,"runtime_value_byte_equivalences":3384,"schema":"symcc-nested-loop-memoryphi-two-dimensional-affine-oracle-v1","sealed_last_write_cases":1020}