{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:02 UTC",
  "workload_docs": {
    "num-bigint": [
      {
        "mutations": [
          "is_multiple_of_zero_016c04a_1"
        ],
        "tasks": [
          {
            "property": "IsMultipleOfZero",
            "witnesses": [
              {
                "test_fn": "witness_is_multiple_of_zero_case_zero"
              },
              {
                "test_fn": "witness_is_multiple_of_zero_case_nonzero_small"
              },
              {
                "test_fn": "witness_is_multiple_of_zero_case_nonzero_large"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-bigint",
          "commits": [
            "016c04ac4d6757d455578e1433b6001e35e73f71"
          ],
          "commit_subjects": [
            "Fix is_multiple_of with a 0 arg"
          ],
          "summary": "`BigUint::is_multiple_of(&0)` fell through to `(self % other).is_zero()`, triggering a divide-by-zero panic. The fix adds an explicit `if other.is_zero() { return self.is_zero(); }` early-return so the zero-argument case is answered without division."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/biguint.rs"
          ],
          "locations": [
            {
              "file": "src/biguint.rs"
            }
          ],
          "patch": "patches/is_multiple_of_zero_016c04a_1.patch"
        },
        "bug": {
          "short_name": "is_multiple_of_zero",
          "invariant": "`BigUint::is_multiple_of(&0)` returns `true` iff the receiver is zero, and never panics.",
          "how_triggered": "the explicit `if other.is_zero() { return self.is_zero(); }` guard is removed, so `self.is_multiple_of(&zero)` falls through to `(self % other).is_zero()`, which divides by zero and panics."
        }
      },
      {
        "mutations": [
          "mac3_all_zero_0940e50_1"
        ],
        "tasks": [
          {
            "property": "MulSquareAllOnes",
            "witnesses": [
              {
                "test_fn": "witness_mul_square_all_ones_case_32k"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-bigint",
          "commits": [
            "0940e509dca55d19197adbe7cb5c1d5423a390cf"
          ],
          "commit_subjects": [
            "Fix a mac3 panic when an operand is all-zero"
          ],
          "summary": "`mac3` called `.unwrap()` on `iter.position(|&d| d != 0)`, assuming at least one non-zero digit. During Karatsuba/Toom-3 recursion on very large operands a sub-slice can become entirely zero, so `position` returns `None` and the unwrap panics. The fix replaces the unwrap with an `if let Some(nz) … else { return }` branch."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/biguint/multiplication.rs"
          ],
          "locations": [
            {
              "file": "src/biguint/multiplication.rs"
            }
          ],
          "patch": "patches/mac3_all_zero_0940e50_1.patch"
        },
        "bug": {
          "short_name": "mac3_all_zero",
          "invariant": "`BigUint` multiplication never panics for finite, well-formed inputs.",
          "how_triggered": "`mac3` replaces the `if let Some(nz) = iter.position(|&d| d != 0) { … } else { return }` fallback with `.unwrap()`. During Karatsuba/Toom-3 recursion on very large operands (e.g. `(2^32768 − 1)^2`) a sub-slice ends up entirely zero, so `position` returns `None` and the `unwrap` panics."
        }
      },
      {
        "mutations": [
          "mul_undersized_buffer_8008707_1"
        ],
        "tasks": [
          {
            "property": "MulSquareAllOnes",
            "witnesses": [
              {
                "test_fn": "witness_mul_square_all_ones_case_32k"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-bigint",
          "commits": [
            "8008707fea97b9215f3b949a0eb6044aec709a31"
          ],
          "commit_subjects": [
            "Fix an undersized buffer panic in multiplication"
          ],
          "summary": "`mul3` allocated a product buffer of `x1.len() + y1.len()` digits, one digit short of what the Karatsuba recursion needs for an intermediate subtraction. The fix bumps the allocation to `x1.len() + y1.len() + 1` on both code paths."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/biguint/multiplication.rs"
          ],
          "locations": [
            {
              "file": "src/biguint/multiplication.rs"
            }
          ],
          "patch": "patches/mul_undersized_buffer_8008707_1.patch"
        },
        "bug": {
          "short_name": "mul_undersized_buffer",
          "invariant": "`(2^n − 1)^2 == 2^(2n) − 2·(2^n − 1) − 1`, computed without panicking, for any `n` up to the tested 32768 bits.",
          "how_triggered": "the product buffer size drops from `x1.len() + y1.len() + 1` to `x1.len() + y1.len()` in both `mul3` code paths, so at Karatsuba recursion the intermediate subtraction underflows or the buffer overruns."
        }
      },
      {
        "mutations": [
          "neg_isize_promotion_3b13d9a_1"
        ],
        "tasks": [
          {
            "property": "NegIsizeAddassign",
            "witnesses": [
              {
                "test_fn": "witness_neg_isize_addassign_case_small_negative"
              },
              {
                "test_fn": "witness_neg_isize_addassign_case_zero_negative"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-bigint",
          "commits": [
            "3b13d9a20e649c928282f88531af8a07f03ef092"
          ],
          "commit_subjects": [
            "Fix promotion of negative isize"
          ],
          "summary": "`promote_signed_scalars_assign!` routed the `isize` `AddAssign` impl through `UsizePromotion`, so a negative `isize` was reinterpreted as a huge positive `usize` before addition. The fix routes `isize` through `IsizePromotion`, preserving the sign."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/macros.rs"
          ],
          "locations": [
            {
              "file": "src/macros.rs"
            }
          ],
          "patch": "patches/neg_isize_promotion_3b13d9a_1.patch"
        },
        "bug": {
          "short_name": "neg_isize_promotion",
          "invariant": "`BigInt::from(a) += (b as isize)` equals `BigInt::from(a) + BigInt::from(b as i64)` for all `a: i64, b: i16`.",
          "how_triggered": "`promote_signed_scalars_assign!` is changed so the `isize` `AddAssign` impl promotes through `UsizePromotion` instead of `IsizePromotion`, casting a negative `isize` to a huge positive `usize`."
        }
      },
      {
        "mutations": [
          "scalar_div_zero_5dcf2a1_1"
        ],
        "tasks": [
          {
            "property": "ScalarDivByZeroPanics",
            "witnesses": [
              {
                "test_fn": "witness_scalar_div_by_zero_panics_case_zero"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/rust-num/num-bigint",
          "commits": [
            "5dcf2a1deb1b8e2e225521cb103ee90a8c70b666"
          ],
          "commit_subjects": [
            "Fix scalar divide-by-zero panics"
          ],
          "summary": "`BigUint / u32` code paths lacked an explicit divide-by-zero check; when the dividend had no digits (i.e. was zero) the code silently returned `BigUint::zero()` instead of panicking, diverging from primitive `u32 / 0` semantics. The fix re-adds the explicit guards."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/biguint/division.rs"
          ],
          "locations": [
            {
              "file": "src/biguint/division.rs"
            }
          ],
          "patch": "patches/scalar_div_zero_5dcf2a1_1.patch"
        },
        "bug": {
          "short_name": "scalar_div_zero",
          "invariant": "`BigUint / 0u32` must panic (mirroring `u32 / 0` semantics) regardless of the dividend.",
          "how_triggered": "the explicit divide-by-zero guards in the `BigUint / u32` paths are removed, so when the dividend has no digits (i.e. is zero) the code silently returns `BigUint::zero()` instead of panicking."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.883338557+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "287us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.885070291+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "234us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.886339560+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.887601200+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "251us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.888895877+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "277us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.890123033+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "244us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.891354231+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "247us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.892614479+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "245us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.893866516+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "308us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.895112677+00:00",
      "status": "failed",
      "tests": 65,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.896440265+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.897544041+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.898613478+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.899701095+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.900745466+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.901811622+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.902836206+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.903869071+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.904925153+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.905944262+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.907154902+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13794050733801755053)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.908176185+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16427761650741973443)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.909255411+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8339591959668924833)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.910283586+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16491523698304656425)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.911353936+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13828143745519037813)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.912372754+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(12149976075414510063)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.913418487+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(16304948204086650145)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.914438889+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5807882530989453929)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.915460737+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(4900475326371138973)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.916519390+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1043808142184916957)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:27.917788308+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "721655us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:28.640640159+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159889us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:28.801930849+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160137us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:28.963487418+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162842us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:29.127789431+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160848us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:29.290088593+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159320us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:29.451039717+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164215us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:29.616880135+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163017us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:29.781449479+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162019us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsMultipleOfZero",
      "mutations": [
        "is_multiple_of_zero_016c04a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:29.944891543+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "165199us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "89bf8242ec299281657d9679eb20e688c5cf00fe"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.200272291+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "284us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(231)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.201841841+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "349us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(55)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.203217529+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "378us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(23)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.204685352+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "429us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.206137291+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "440us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.207643226+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "295us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(167)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.209007863+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "471us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(71)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.210774403+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "374us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(71)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.212255304+00:00",
      "status": "failed",
      "tests": 52,
      "discards": 0,
      "time": "376us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(215)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.213639985+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "282us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(247)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.215234629+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.216471031+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(15)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.217645738+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(239)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.218864293+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(159)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.220021279+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "171us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.221182918+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.222347928+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.223517231+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(87)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.224724270+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(151)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.225858608+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "210us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(39)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.227498162+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(223)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.228596801+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(15)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.229750761+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(159)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.230937257+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "239us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(231)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.232140298+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "144us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(87)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.233300674+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "168us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(71)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.234492995+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(199)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.235617936+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(167)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.236828501+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(31)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.237978250+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.239510614+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162210us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.402905520+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162851us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.567329895+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162928us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.731646229+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "160874us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:34.894160031+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162418us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:35.058008013+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162991us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:35.222463063+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "161937us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:35.385826325+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162557us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:35.549838944+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "164866us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mac3_all_zero_0940e50_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:35.716139116+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162871us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "b722a2bef4baa8cbbc35e1ec6fa4987f1b9d2e13"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.808020710+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "244us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(71)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.809532553+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(71)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.810775646+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "312us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.812082097+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "184us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(151)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.813308549+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "229us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.814564166+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(103)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.815819471+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "245us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(247)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.817045783+00:00",
      "status": "failed",
      "tests": 29,
      "discards": 0,
      "time": "229us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(55)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.818311398+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "183us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(199)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.819499339+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "176us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(87)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.821077836+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(63)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.822204994+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(183)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.823362136+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "151us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(231)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.824536342+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.825731585+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(183)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.826828657+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.827995808+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(63)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.829127144+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(159)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.830350560+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.831504398+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(15)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.833039834+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(39)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.834133941+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(47)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.835286815+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(175)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.836447977+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(207)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.837548534+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(159)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.838632852+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(15)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.839760510+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "163us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.840926247+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(95)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.842095956+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(103)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.843228501+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(207)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:39.844782905+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162125us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:40.008092705+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "164069us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:40.173777017+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162681us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:40.338107949+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "163154us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:40.502755250+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "163014us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:40.667193110+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "164542us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:40.833245244+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162585us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:40.997348575+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162647us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:41.161420996+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "162387us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "MulSquareAllOnes",
      "mutations": [
        "mul_undersized_buffer_8008707_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:41.325204356+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "161219us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(7)",
      "hash": "6dea2e525600a35faf369f306ccb121d05f52693"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.430427295+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.431700161+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.432772598+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.433859290+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.434925453+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.436008819+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.437061337+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.438139233+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.439174869+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.440243347+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.441807316+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.442831402+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.443840699+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.444857582+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.445864354+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.446878531+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.447879453+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.448887930+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.449870177+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.450895374+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.452406575+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.453422225+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.454428557+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.455458433+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.456433858+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.457450159+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.458418480+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.459463545+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.460440512+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.461459087+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.463067088+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.464138682+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.465203773+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.466259398+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.467263726+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.468326814+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.469383219+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.470488475+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.471537246+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "NegIsizeAddassign",
      "mutations": [
        "neg_isize_promotion_3b13d9a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:45.472589484+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: NegIsizeAddassign",
      "hash": "4e55e081a5e1bd1c0a171ccfc78f4784d5d518da"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.415735455+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.492437723+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.568011312+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.665762117+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.776919886+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.871473115+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.981965930+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.096274742+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.220517985+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.362485885+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.493511717+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.633572258+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.761736357+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.885503134+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:51.040763633+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:51.200884866+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:51.344074799+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:51.475894866+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:51.615861162+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:51.770063983+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:51.932111018+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.076564574+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.233266102+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.411069162+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.571273048+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.829460802+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.010990918+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.160105810+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.327489260+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.627605922+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.818076420+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:54.253524270+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:54.698269540+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:55.072778368+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:55.447986307+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:55.816195362+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:56.195801285+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:56.555071978+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:56.968566749+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    },
    {
      "experiment": "ci-run",
      "workload": "num-bigint",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScalarDivByZeroPanics",
      "mutations": [
        "scalar_div_zero_5dcf2a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:57.301373108+00:00",
      "status": "aborted",
      "error": "Process failed with status: signal: 8 (SIGFPE) (core dumped)\nstderr: ",
      "hash": "0f1a879e5aeddfdf17e86f8c39cacaff5f2336ae"
    }
  ]
}