{"cases": 512, "elapsed_us": 128756, "mismatches": 0, "negative": 218, "non_injective_positive": 97, "positive": 294, "schema": "symcc-qfbv-substitution-core-oracle-v1", "seed": 62513}