{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 04:58 UTC",
  "workload_docs": {
    "num-rational": [
      {
        "mutations": [
          "recip_zero_panic_and_sign_norm_8c75506_1"
        ],
        "tasks": [
          {
            "property": "RecipZeroPanicAndSignNorm",
            "witnesses": [
              {
                "test_fn": "witness_recip_zero_panic_and_sign_norm_case_zero_panics"
              },
              {
                "test_fn": "witness_recip_zero_panic_and_sign_norm_case_neg_one_half"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-rational",
          "commits": [
            "8c75506f2275c215d45dcccf52340da8717c6fa5"
          ],
          "commit_subjects": [
            "Ratio::recip now corrects sign and fails for zero"
          ],
          "summary": "Pre-fix `Ratio::recip` simply swapped numerator and denominator with `Ratio::new_raw(self.denom, self.numer)`. That returns `1/0` (a malformed ratio) when called on zero rather than panicking, and leaves the denominator negative for negative inputs (`(-1/2).recip()` produces `2/-1` instead of `-2/1`)."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "Ratio::into_recip"
            }
          ],
          "patch": "patches/recip_zero_panic_and_sign_norm_8c75506_1.patch"
        },
        "bug": {
          "short_name": "recip_zero_panic_and_sign_norm",
          "invariant": "`Ratio::recip` must panic when called on a zero ratio (no meaningful reciprocal exists) and must return a reciprocal whose denominator is positive — i.e. `recip` is total over nonzero ratios and produces a normalized result.",
          "how_triggered": "The buggy body is `Ratio::new_raw(self.denom, self.numer)`. For `Ratio::new(0, 1)` this returns `1/0` and never panics, violating the panic-on-zero contract. For `Ratio::new(-1, 2)` this returns `2/-1`, leaving the sign on the denominator."
        }
      },
      {
        "mutations": [
          "is_pos_neg_zero_excluded_c22e3bf_1"
        ],
        "tasks": [
          {
            "property": "IsPosNegZeroExcluded",
            "witnesses": [
              {
                "test_fn": "witness_is_pos_neg_zero_excluded_case_zero"
              },
              {
                "test_fn": "witness_is_pos_neg_zero_excluded_case_neg_one_half"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-rational",
          "commits": [
            "c22e3bf9a2733274a2a6d422cbd35b5a135d63ff"
          ],
          "commit_subjects": [
            "Correct Ratio::is_negative and Ratio::is_positive"
          ],
          "summary": "Pre-fix `Signed::is_positive` for `Ratio<T>` was implemented as `!self.is_negative()` and `is_negative` as `self.numer.is_negative() ^ self.denom.is_negative()`. That made zero report as positive (because zero is also not negative), violating the contract that zero is neither positive nor negative."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "Signed::is_positive"
            }
          ],
          "patch": "patches/is_pos_neg_zero_excluded_c22e3bf_1.patch"
        },
        "bug": {
          "short_name": "is_pos_neg_zero_excluded",
          "invariant": "For `Ratio<i32>`, both `is_positive` and `is_negative` return `false` on zero, agreeing with the integer `Signed` impl. For nonzero values exactly one of the two returns `true`.",
          "how_triggered": "The buggy `is_positive` body is `!self.is_negative()`. On zero, `is_negative` returns `false`, so `is_positive` returns `true` — the property catches this by checking the canonical zero case `Ratio::new(0, 1)`."
        }
      },
      {
        "mutations": [
          "cmp_zero_numer_equal_e10ca81_1"
        ],
        "tasks": [
          {
            "property": "CmpZeroNumerEqual",
            "witnesses": [
              {
                "test_fn": "witness_cmp_zero_numer_equal_case_one_two"
              },
              {
                "test_fn": "witness_cmp_zero_numer_equal_case_three_five"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-rational",
          "commits": [
            "e10ca814e7b1f4d5fcc42ed5e7ceb39f8443ef5c"
          ],
          "commit_subjects": [
            "Fix #49"
          ],
          "summary": "Pre-fix `Ord::cmp` had a special case for equal numerators that compared denominators inversely. It did not special-case zero numerators, so two zero ratios with distinct denominators (e.g. `Ratio::new_raw(0, 1)` and `Ratio::new_raw(0, 2)`) were reported as unequal."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "Ratio::cmp"
            }
          ],
          "patch": "patches/cmp_zero_numer_equal_e10ca81_1.patch"
        },
        "bug": {
          "short_name": "cmp_zero_numer_equal",
          "invariant": "Two `Ratio` values with equal numerators that are zero compare `Equal`, regardless of their denominators.",
          "how_triggered": "The buggy body removes the `if self.numer.is_zero() { return Equal; }` guard. For `Ratio::new_raw(0, 1).cmp(&Ratio::new_raw(0, 2))` the equal-numerators branch falls through to the denominator comparison and reports `Greater` (since for nonneg numerators the denominators are reverse-compared)."
        }
      },
      {
        "mutations": [
          "cmp_overflow_safe_4e66bbe_1"
        ],
        "tasks": [
          {
            "property": "CmpOverflowSafe",
            "witnesses": [
              {
                "test_fn": "witness_cmp_overflow_safe_case_big_vs_small"
              },
              {
                "test_fn": "witness_cmp_overflow_safe_case_close_pairs"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-rational",
          "commits": [
            "4e66bbe6a7560c788ec94369e33decc7d3d41648"
          ],
          "commit_subjects": [
            "Avoid overflows in Ratio's Ord::cmp"
          ],
          "summary": "Pre-fix `Ord::cmp`, `PartialOrd`, `PartialEq`, and `Eq` were generated by a `cmp_impl!` macro that compared `a*d` with `b*c`. For fixed-size integer types like `i8` the cross product silently overflows and produces the wrong ordering — issue #7 demonstrated the bug with `128/1` vs `1/128`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/lib.rs"
          ],
          "locations": [
            {
              "file": "src/lib.rs",
              "symbol": "Ratio::cmp"
            }
          ],
          "patch": "patches/cmp_overflow_safe_4e66bbe_1.patch"
        },
        "bug": {
          "short_name": "cmp_overflow_safe",
          "invariant": "`Ratio::cmp` on `Ratio<i8>` must agree with the mathematically correct ordering of the rationals for every quadruple `(a, b, c, d): i8` with `b != 0`, `d != 0`, none equal to `i8::MIN`. In particular, comparing `127/1` with `1/127` must return `Greater`.",
          "how_triggered": "The buggy body is `(self.numer * other.denom).cmp(&(self.denom * other.numer))`. For `i8` inputs whose cross product exceeds `i8::MAX` the multiplication overflows, panics in debug mode, and silently wraps in release mode."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.190862467+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.192053308+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.192957093+00:00",
      "status": "failed",
      "tests": 61,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.193880226+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.194768047+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.195674084+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.196556176+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.197491148+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.198386860+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.199310424+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.200267499+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.201117552+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.201975458+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.202793223+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.203689827+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.204536225+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.205420670+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.206258896+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.207105885+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.207927315+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.208853374+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-3 3)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.209693081+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.210532369+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 -1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.211392668+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.212227629+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.213068338+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-3 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.213867105+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.214764770+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1 -1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.215588995+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.216446209+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 1)",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.217391436+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "773260us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:04.991763469+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "163067us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:05.156404618+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "165543us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:05.323308355+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "161485us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:05.486184405+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "163136us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:05.650668853+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "167882us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:05.819886983+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "159906us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:05.981182735+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "158645us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:06.141203634+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "161231us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "RecipZeroPanicAndSignNorm",
      "mutations": [
        "recip_zero_panic_and_sign_norm_8c75506_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:06.303839667+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "160762us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "23b574403f1873cdebf2fbfbaeb2ba80c0c98d8a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.651257047+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.652527428+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.653586371+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.654649130+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.655677812+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.656753820+00:00",
      "status": "failed",
      "tests": 60,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((0, -1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.657733384+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.658739527+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.659723442+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "114us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.660750212+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.661994078+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.662846154+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.663707906+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.664560072+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.665412259+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.666258006+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.667137434+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.667940958+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.668783060+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.669703890+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 1)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.670822137+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.671694203+00:00",
      "status": "failed",
      "tests": 136,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 48)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.672525639+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 -20)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.673405297+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.674231084+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.675092405+00:00",
      "status": "failed",
      "tests": 81,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 -32)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.675900285+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.676714525+00:00",
      "status": "failed",
      "tests": 165,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 -121)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.677576296+00:00",
      "status": "failed",
      "tests": 170,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 43)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.678404837+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 5)",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.679553100+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "250390us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:08.931018208+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "247764us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:09.180279706+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "249012us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:09.430761215+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "246285us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:09.678524614+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "244528us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:09.924500035+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "249488us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:10.175686464+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "244198us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:10.421256725+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "250487us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:10.673167661+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "252696us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsPosNegZeroExcluded",
      "mutations": [
        "is_pos_neg_zero_excluded_c22e3bf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:10.927287548+00:00",
      "status": "failed",
      "tests": 204,
      "discards": 0,
      "time": "246734us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((0, 1))",
      "hash": "ccd1395448a64b5f7a7fe15541f498bb69e26b1a"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.602771736+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.603915596+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.604820876+00:00",
      "status": "failed",
      "tests": 70,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.605771831+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((3, 1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.606692520+00:00",
      "status": "failed",
      "tests": 71,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.607604245+00:00",
      "status": "failed",
      "tests": 72,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.608514769+00:00",
      "status": "failed",
      "tests": 73,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.609413805+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.610290428+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.611173340+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((1, 2))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.612473950+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-1 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.613345826+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 -1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.614193785+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 -1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.615037769+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(2 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.615849869+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 -1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.616712301+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-1 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.617558999+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 2)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.618474259+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 2)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.619302179+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 2)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.620148716+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(2 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.621329126+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.622168062+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 2)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.622999126+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-2 -1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.623843771+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.624678715+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 -2)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.625544848+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.626400133+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2 -1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.627253276+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1 2)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.628097554+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2 1)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.628994493+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 -2)",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.630247436+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "147127us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.778382654+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "145727us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:13.925512725+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "144496us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:14.071375352+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "143466us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:14.216232296+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "143703us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:14.361331530+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "145667us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:14.508377390+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "149264us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:14.659110082+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "146379us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:14.807003596+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "146460us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpZeroNumerEqual",
      "mutations": [
        "cmp_zero_numer_equal_e10ca81_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:14.954806650+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "146330us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((1, -1))",
      "hash": "870ab6f27e69109f4b66eea18579285d17be598f"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.295665608+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((-13, -1, 1, 50))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.296805002+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((-11, 12, 1, -12))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.297694099+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((5, 26, -9, -1))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.298583211+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((63, 26, 27, -4))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.299475178+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((-29, 3, 43, 1))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.300358632+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((31, 4, -33, 45))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.301242887+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((-9, 100, 84, 85))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.302100052+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((-1, 67, 74, 76))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.302942514+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((-9, 48, -28, -9))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "proptest",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.303843434+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "proptest",
      "counterexample": "((24, -29, 20, -53))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.305113049+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 64 2 1)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.306009508+00:00",
      "status": "failed",
      "tests": 49,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 2 64 3)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.306832465+00:00",
      "status": "failed",
      "tests": 136,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(32 3 1 4)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.307769890+00:00",
      "status": "failed",
      "tests": 189,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 65 2 -1)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.308711311+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-1 32 4 3)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.309616979+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-1 43 3 1)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.311548674+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(2 1 1 64)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.312465418+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-2 -3 1 64)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.313360706+00:00",
      "status": "failed",
      "tests": 169,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 2 64 1)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.314273959+00:00",
      "status": "failed",
      "tests": 146,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 2 64 3)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.315622378+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(127 75 56 73)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.316439887+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(88 58 126 49)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.317268924+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(31 55 106 1)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.318092363+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(24 -121 -12 41)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.318879477+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-7 52 -62 102)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.319684768+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(3 62 -19 104)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.320536490+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-9 -49 36 -101)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.321341931+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-124 -36 53 10)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.322212991+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-34 33 51 16)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.323013285+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(120 112 -121 107)",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.324261783+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "228792us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.554097437+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "221399us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:17.777008396+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "222038us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:18.000331143+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "221554us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:18.223663820+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "223082us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:18.448105122+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "232919us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:18.682390217+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "224335us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:18.908167484+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "223110us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:19.132706113+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "223418us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    },
    {
      "experiment": "ci-run",
      "workload": "num-rational",
      "language": "rust",
      "strategy": "hegel",
      "property": "CmpOverflowSafe",
      "mutations": [
        "cmp_overflow_safe_4e66bbe_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T04:58:19.357567993+00:00",
      "status": "failed",
      "tests": 139,
      "discards": 0,
      "time": "227755us",
      "error": null,
      "tool": "hegel",
      "counterexample": "((5, 1, 1, 26))",
      "hash": "4187d609ecc54cee95ee3f683178ddd9766dbf75"
    }
  ]
}