{"accepted_piecewise_affine_summaries":48,"all_passed":true,"cases":96,"claim_boundary":"Finite two-level i16 guard-specialized piecewise-affine reference equivalence only; not general path merging, LLVM construction latency, coverage, solver time, defect yield, or speedup","mutations_rejected":22,"predicate_order_endian_configurations":48,"rejected_unsupported":48,"runtime_complete_loads":29376,"runtime_load_vector_equivalences":6144,"runtime_uninitialized_or_partial_loads":111936,"runtime_value_byte_equivalences":58752,"schema":"symcc-nested-loop-memoryphi-piecewise-affine-value-oracle-v1"}