{"baseline": "fresh-target-cvc5-cpc-generation-plus-ethos", "baseline_median_us": 102011, "baseline_p95_us": 109551, "baseline_total_us": 6595236, "claim_scope": "mechanism-only; not a fuzzing coverage claim", "cold_reuse": "fresh-consumer-ethos-replay-plus-exact-substitution", "cold_reuse_us": 119787, "formula_clause_count": 2, "padding_clauses": 0, "record_clause_count": 2, "record_node_count": 5, "reuse": "verified-source-core-cache-plus-exact-substitution", "reuse_median_us": 7432, "reuse_p95_us": 8166, "reuse_total_us": 475796, "rounds": 64, "schema": "symcc-qfbv-substitution-core-benchmark-v1", "status": "complete", "total_speedup": 13.861478448746942}