{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:18 UTC",
  "workload_docs": {
    "rust-decimal": [
      {
        "mutations": [
          "abs_sub_returns_abs_dd711db_1"
        ],
        "tasks": [
          {
            "property": "AbsSubDifference",
            "witnesses": [
              {
                "test_fn": "witness_abs_sub_difference_case_123_122"
              },
              {
                "test_fn": "witness_abs_sub_difference_case_neg123_neg124"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "dd711dbee5081a243e8eae5b314ecd8b0505f3ef"
          ],
          "commit_subjects": [
            "Re-implement abs_sub function to match num-trait 0.1 behavior"
          ],
          "summary": "`<Decimal as num_traits::Signed>::abs_sub` returned `self.abs()` on the `self > other` branch instead of the arithmetic difference `self - other`, so `abs_sub(123, 122)` came out as `123` rather than `1`. The fix rewrites the impl to `max(a - b, 0)`, matching `num-traits 0.1` semantics."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/decimal.rs"
          ],
          "locations": [
            {
              "file": "src/decimal.rs"
            }
          ],
          "patch": "patches/abs_sub_returns_abs_dd711db_1.patch"
        },
        "bug": {
          "short_name": "abs_sub_returns_abs",
          "invariant": "`num_traits::Signed::abs_sub(a, b) == max(a - b, 0)`. When `a > b` the result is the arithmetic difference, not `|a|`.",
          "how_triggered": "`<Decimal as Signed>::abs_sub` returns `self.abs()` on the `self > other` branch. For `abs_sub(123, 122)` the correct answer is `1`, but the mutation returns `123`."
        }
      },
      {
        "mutations": [
          "is_integer_scale_decrement_951512d_1"
        ],
        "tasks": [
          {
            "property": "IsIntegerMatchesString",
            "witnesses": [
              {
                "test_fn": "witness_is_integer_matches_string_case_scale_10_nonzero_tail"
              },
              {
                "test_fn": "witness_is_integer_matches_string_case_scale_19_nonzero_high"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "951512d003a4b65724d6074a15630534994b40e6"
          ],
          "commit_subjects": [
            "Fix scale decrement in Decimal::is_integer"
          ],
          "summary": "`Decimal::is_integer` decremented `scale -= 10` per `div_by_u32(bits, 10^9)` iteration even though each iteration consumed only 9 digits of scale. For values whose low 9 digits were zero (e.g. `0.4000000000`) the loop exited early and reported \"integer\" when it wasn't. The fix uses `scale -= 9` so the accounting matches."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/decimal.rs"
          ],
          "locations": [
            {
              "file": "src/decimal.rs"
            }
          ],
          "patch": "patches/is_integer_scale_decrement_951512d_1.patch"
        },
        "bug": {
          "short_name": "is_integer_scale_decrement",
          "invariant": "`Decimal::is_integer()` agrees with the string form: true iff there are no non-zero digits after the decimal point.",
          "how_triggered": "`Decimal::is_integer` decrements `scale -= 10` per `div_by_u32(bits, 10^9)` iteration even though only 9 digits of scale were actually consumed. For values whose low 9 digits are zero (e.g. `0.4000000000` with scale 10, or `0.4000000000000000000` with scale 19), the loop exits early reporting \"integer\".\n"
        }
      },
      {
        "mutations": [
          "from_i128_negation_overflow_6f7d295_1"
        ],
        "tasks": [
          {
            "property": "FromI128Extremes",
            "witnesses": [
              {
                "test_fn": "witness_from_i128_no_panic_case_i128_min"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "6f7d295cd82571429064132265f907131841c60f"
          ],
          "commit_subjects": [
            "Fix overflow negating i128::MIN in FromPrimitive"
          ],
          "summary": "`<Decimal as FromPrimitive>::from_i128` negated the input via `-n as u128`, which panics on `i128::MIN` under overflow-checks (no non-negative representation exists for the minimum). The fix uses `n.unsigned_abs()`, which returns `2^127` for `i128::MIN` without going through a signed negation."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/decimal.rs"
          ],
          "locations": [
            {
              "file": "src/decimal.rs"
            }
          ],
          "patch": "patches/from_i128_negation_overflow_6f7d295_1.patch"
        },
        "bug": {
          "short_name": "from_i128_negation_overflow",
          "invariant": "`<Decimal as FromPrimitive>::from_i128(n)` never panics; it returns `None` when `n` is too large to represent.",
          "how_triggered": "The negative branch uses `-n as u128` instead of `n.unsigned_abs()`. For `n == i128::MIN` the literal negation overflows, panicking in debug builds."
        }
      },
      {
        "mutations": [
          "round_dp_early_return_reorder_c205456_1"
        ],
        "tasks": [
          {
            "property": "RoundDpPreservesWhenDpExceedsScale",
            "witnesses": [
              {
                "test_fn": "witness_round_dp_preserves_case_zero_scale_28_dp_32"
              },
              {
                "test_fn": "witness_round_dp_preserves_case_zero_scale_5_dp_15"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "c205456643a5f831396c2e98caa7fc91f96363bc"
          ],
          "commit_subjects": [
            "Reorder round_dp early returns to preserve scale when dp is larger"
          ],
          "summary": "`round_dp_with_strategy` checked the `value.is_zero()` short-circuit before the `old_scale <= dp` guard, so rounding zero to a larger scale replaced the original scale with `dp` (e.g. `Decimal::new(0, 5).round_dp(15)` became scale 15). The fix reorders the early-return blocks so the scale-preserving branch runs first."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/decimal.rs"
          ],
          "locations": [
            {
              "file": "src/decimal.rs"
            }
          ],
          "patch": "patches/round_dp_early_return_reorder_c205456_1.patch"
        },
        "bug": {
          "short_name": "round_dp_early_return_reorder",
          "invariant": "When `dp >= old_scale`, `round_dp_with_strategy` must return `*self` unchanged (preserving the original scale).",
          "how_triggered": "The zero short-circuit runs before the `old_scale <= dp` check, so zero values are rebuilt with `scale = dp` instead of retaining the original scale. E.g. `Decimal::new(0, 5).round_dp(15)` ends up with scale 15 instead of 5."
        }
      },
      {
        "mutations": [
          "checked_ln_zero_panic_092fdf8_1"
        ],
        "tasks": [
          {
            "property": "CheckedLnNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_checked_ln_no_panic_case_zero"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "092fdf8c8def5e2eb4ca5624ebfae731c3c40407"
          ],
          "commit_subjects": [
            "Avoid panic in checked_ln for zero input"
          ],
          "summary": "`ops::wide::ln_wide` guarded against negatives but not against `Decimal::ZERO`; on zero, the range-reduction loop multiplied by `E_INVERSE` without bound, overflowing the scale and panicking. The fix extends the guard to `|| value.is_zero()` so `checked_ln(0)` returns `None` instead."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/ops/wide.rs"
          ],
          "locations": [
            {
              "file": "src/ops/wide.rs"
            }
          ],
          "patch": "patches/checked_ln_zero_panic_092fdf8_1.patch"
        },
        "bug": {
          "short_name": "checked_ln_zero_panic",
          "invariant": "`Decimal::checked_ln()` must not panic for any input — zero/negative inputs are expected to return `None`.",
          "how_triggered": "`ops::wide::ln_wide` drops the `|| value.is_zero()` clause from its early-return guard. On `Decimal::ZERO` the range-reduction loop multiplies by `E_INVERSE` indefinitely, overflowing the scale and panicking."
        }
      },
      {
        "mutations": [
          "scientific_fmt_zero_d0f2a64_1"
        ],
        "tasks": [
          {
            "property": "ScientificFmtRoundtrip",
            "witnesses": [
              {
                "test_fn": "witness_scientific_fmt_roundtrip_case_zero"
              },
              {
                "test_fn": "witness_scientific_fmt_roundtrip_case_zero_scale_5"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "d0f2a64eb22391188b8984f973b3d4abf5720fd5"
          ],
          "commit_subjects": [
            "fix: scientific formatting of 0"
          ],
          "summary": "`fmt_scientific_notation` iterated over the mantissa digits, which is empty when the value is zero, so `format!(\"{:e}\", Decimal::ZERO)` produced `\"e0\"` — rejected when re-parsed through `from_scientific`. The fix adds an `if value.is_zero() { return f.write_str(\"0e0\"); }` short-circuit."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/str.rs"
          ],
          "locations": [
            {
              "file": "src/str.rs"
            }
          ],
          "patch": "patches/scientific_fmt_zero_d0f2a64_1.patch"
        },
        "bug": {
          "short_name": "scientific_fmt_zero",
          "invariant": "`format!(\"{:e}\", d)` must roundtrip through `Decimal::from_scientific_exact` for any Decimal.\n",
          "how_triggered": "`fmt_scientific_notation` drops the `if value.is_zero() { return f.write_str(\"0e0\"); }` short-circuit, so zero's mantissa digits iterate zero times and the buffer is just `\"e0\"`, which fails to re-parse.\n"
        }
      },
      {
        "mutations": [
          "scientific_scale_overflow_722af9f_1"
        ],
        "tasks": [
          {
            "property": "FromScientificNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_from_scientific_no_panic_case_neg_u32_max"
              },
              {
                "test_fn": "witness_from_scientific_no_panic_case_neg_u32_max_digit7"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "722af9f2c2829273f9c1b09e2fd989378f795cbc"
          ],
          "commit_subjects": [
            "fix: bounds check in Decimal::from_scientific on exponent"
          ],
          "summary": "`Decimal::from_scientific_exact` added the parsed exponent onto the current scale without bounds-checking, so inputs like `\"1e-4294967295\"` overflowed `u32` and panicked under overflow-checks. The fix adds `if exp > Self::MAX_SCALE { return Err(...) }` guards on both sign branches before the add."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/decimal.rs"
          ],
          "locations": [
            {
              "file": "src/decimal.rs"
            }
          ],
          "patch": "patches/scientific_scale_overflow_722af9f_1.patch"
        },
        "bug": {
          "short_name": "scientific_scale_overflow",
          "invariant": "`Decimal::from_scientific_exact(s)` must never panic; it returns `Err(ScaleExceedsMaximumPrecision)` for out-of-range exponents.",
          "how_triggered": "Both `if exp > Self::MAX_SCALE { return Err(...); }` guards are removed. For `\"d.d e-<u32::MAX>\"` the unchecked `current_scale + exp` overflows `u32` under overflow-checks, panicking.\n"
        }
      },
      {
        "mutations": [
          "div_remainder_overflow_a231fbf_1"
        ],
        "tasks": [
          {
            "property": "CheckedDivNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_checked_div_no_panic_case_issue_392"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/paupino/rust-decimal",
          "commits": [
            "a231fbf12c543534c6b300648e8c3a8b467968cf"
          ],
          "commit_subjects": [
            "fix: wrap remainder increment in Buf16 long division"
          ],
          "summary": "`Buf16`'s 128/64 long-division carry branch used `remainder += 1`, which could overflow `u64` for adversarial dividend/divisor pairs (issue #392) and panicked under overflow-checks. The fix swaps to `remainder = remainder.wrapping_add(1)` — the wrap is provably safe for the division algorithm but the compiler can't see it."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/ops/div.rs"
          ],
          "locations": [
            {
              "file": "src/ops/div.rs"
            }
          ],
          "patch": "patches/div_remainder_overflow_a231fbf_1.patch"
        },
        "bug": {
          "short_name": "div_remainder_overflow",
          "invariant": "`Decimal::checked_div(a, b)` must never panic; it returns `None` when the division would overflow.",
          "how_triggered": "`Buf16`'s 128/64 long-division carry branch reverts to plain `remainder += 1`. For the issue-392 reproducer (`-79228157791897.854723898738431 / 184512476.73336922111`), the remainder saturates `u64` and the unchecked add panics under overflow-checks."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.939464868+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.940711291+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.941740314+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.942666019+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.943616379+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.944543225+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "114us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.945478003+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 1 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.946396616+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9223372036854775807 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.947280726+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.948157487+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.949292620+00:00",
      "status": "failed",
      "tests": 315,
      "discards": 0,
      "time": "219us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.950335341+00:00",
      "status": "failed",
      "tests": 427,
      "discards": 0,
      "time": "254us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.951396667+00:00",
      "status": "failed",
      "tests": 162,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.952403766+00:00",
      "status": "failed",
      "tests": 54,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.953257760+00:00",
      "status": "failed",
      "tests": 638,
      "discards": 0,
      "time": "339us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(2 0 1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.954392440+00:00",
      "status": "failed",
      "tests": 675,
      "discards": 0,
      "time": "350us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.955601451+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.956475708+00:00",
      "status": "failed",
      "tests": 836,
      "discards": 0,
      "time": "421us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.957730101+00:00",
      "status": "failed",
      "tests": 90,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.958621554+00:00",
      "status": "failed",
      "tests": 231,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 -1 0)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.959694240+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-3462330338272304894 3785825967 -6107721223702524328 2485108910)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.960696822+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1390660729949019174 3812801571 -8016673587506467851 3277972394)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.961726192+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2139479739165428617 501843224 -3792371836534896979 1428855074)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.962591452+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(3546444401494363184 1843078467 -3365528430011872087 172018839)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.963458725+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-4758112725711302693 596496562 -1332204406634972000 1558311101)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.964291393+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1295658852199833234 975645931 -1918757974331693871 233085966)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.965148472+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1073017066596347671 1096415996 6261702575314256012 1156372029)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.965938775+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(191994522340431067 3086991094 -7029944223515850512 2144392384)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.966751874+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5685507782178736156 517074620 -8075454271364460164 3585571765)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.967608632+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-6986932897744313256 1664501923 -9154527472241297100 583084272)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:13.968569404+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "832487us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:14.802165257+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "202249us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:15.005729973+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "205035us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:15.212322111+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "201069us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:15.414715511+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "201889us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:15.618190167+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "203270us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:15.822747375+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "208724us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:16.032957957+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "205462us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:16.239670389+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "203229us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "AbsSubDifference",
      "mutations": [
        "abs_sub_returns_abs_dd711db_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:16.444437626+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "203291us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(1 0 1 1)",
      "hash": "99577fe486e094341d4754f9c0a9881a360b2675"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.156136920+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4000000000 10)",
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.157509542+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "502us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.159004254+00:00",
      "status": "failed",
      "tests": 149,
      "discards": 0,
      "time": "663us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4000000000 10)",
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.160496510+00:00",
      "status": "failed",
      "tests": 185,
      "discards": 0,
      "time": "735us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4000000000 10)",
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.162133082+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "913us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.163896608+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4000000000 10)",
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.164928202+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4000000000 10)",
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.165832802+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "146us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(4000000000 10)",
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.166791701+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "764us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.168364440+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "1010us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.170543645+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "668us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.172087172+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "713us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.173850226+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "714us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.175414394+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "677us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.176938992+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "691us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.178485601+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "671us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.180007261+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "688us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.181515017+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "686us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.183022960+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "736us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.184548103+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "664us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.186427090+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.187274377+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.188096889+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.188975747+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.189805823+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.190659685+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.191524174+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.192346919+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.193272458+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.194088966+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.195287183+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "309918us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.506253765+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "309342us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:20.817065966+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "311158us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:21.129633988+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "313823us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:21.444749757+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "309491us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:21.755568507+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "306580us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:22.063522621+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "311888us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:22.376806383+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "313831us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:22.691993739+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "317792us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "IsIntegerMatchesString",
      "mutations": [
        "is_integer_scale_decrement_951512d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:23.011131258+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "308041us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "dccde7c5b051436dc1b77681b05ab662788b2053"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.808314268+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(156)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.809549122+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(66)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.810590073+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(78)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.811537383+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(48)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.812713991+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(216)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.813683340+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(156)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.814595717+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(78)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.815562560+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(174)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.816443830+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(42)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.817319142+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(138)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.818652872+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.819560655+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.820437658+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.821260626+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.822114044+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.822925769+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.823779141+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.824642974+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.825800408+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.826656718+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.828253887+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(42)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.829105048+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(102)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.829922606+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(42)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.830762903+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(66)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.831568254+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(114)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.832469534+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(246)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.833310714+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(54)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.834183793+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(66)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.835046325+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(228)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.835841468+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(210)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.837243056+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157323us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:26.995555468+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157434us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.154284918+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159497us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.315279761+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159471us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.476145502+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160713us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.638180825+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160773us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.800287534+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160385us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:27.961921420+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159581us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:28.123068739+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160401us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromI128Extremes",
      "mutations": [
        "from_i128_negation_overflow_6f7d295_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:28.284756486+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160028us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "08fd3220fc0d9cf97992510ce641b324853400e8"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.988661750+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.989813588+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.990776811+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.991904144+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.992818752+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.993684192+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.994553059+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.995428619+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.996313403+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.997210468+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "proptest",
      "counterexample": "Unknown property for proptest: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.998652332+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:31.999526974+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.000371063+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.001876522+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.002743550+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.003578733+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.004421984+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.005231250+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.006037883+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.007885737+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Unknown property for quickcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.009264364+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.010148053+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.010956174+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.011804209+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.012684601+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.013484384+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.014299651+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.015111975+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.015897358+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.016707519+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "Unknown property for crabcheck: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.018584675+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.019471973+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.020322899+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.021180750+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.022032268+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.022848334+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.023689448+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.024543377+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.025523724+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "RoundDpPreservesWhenDpExceedsScale",
      "mutations": [
        "round_dp_early_return_reorder_c205456_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:32.026360675+00:00",
      "status": "failed",
      "tests": 0,
      "discards": 0,
      "time": "0us",
      "error": null,
      "tool": "hegel",
      "counterexample": "Unknown property for hegel: RoundDpPreservesWhenDpExceedsScale",
      "hash": "509dbb36c319dd274cd59f613b85825cbc8220e2"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.527349719+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "960us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.529450531+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "436us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.530810423+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "673us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.532329455+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "995us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.534151318+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "678us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.535640131+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "662us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.537181686+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "643us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.538651531+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "784us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.540255839+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "982us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.542049056+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "958us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.544330191+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "669us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.545800933+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "694us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.547298675+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "666us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.548777551+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "672us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.550275127+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "675us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.551732640+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "699us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.553252084+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "663us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.554685488+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "662us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.556167858+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "763us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.557726116+00:00",
      "status": "passed",
      "tests": 2000,
      "discards": 0,
      "time": "682us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.560055525+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.560879891+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.561667558+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.562494772+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.563356270+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.564191366+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.565029751+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.565813097+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.566614211+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.567440641+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.568871812+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "297136us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:35.867061851+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "314825us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:36.183181323+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "331724us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:36.516260823+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "313550us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:36.831183875+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "312003us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:37.144568070+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "316503us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:37.462428780+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "302052us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:37.765794053+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "309018us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.076137299+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "316846us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedLnNoPanic",
      "mutations": [
        "checked_ln_zero_panic_092fdf8_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:38.394586402+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "306668us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "af6cc3aa6083453fa07c6b66c565612a753f62ef"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.206747612+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.207925390+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.208881701+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.209867906+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.210861476+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.211833132+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.212772705+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "114us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.213713792+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.214621652+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.215566685+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.217271126+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.218161079+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.218996593+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.219839259+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.220683708+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.221550972+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.222371923+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.223242880+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.224057235+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.224886201+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.226644168+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.227660464+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.228640285+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.229651605+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.230600909+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "114us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.231589878+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.232515468+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "114us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.233481690+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.234443050+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.235476919+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.237256070+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159691us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.398032649+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161808us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.561354442+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161570us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.724435102+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159911us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:42.885810930+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162618us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:43.049739037+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162814us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:43.213816061+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "171473us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:43.386557768+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161286us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:43.549168098+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162447us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "ScientificFmtRoundtrip",
      "mutations": [
        "scientific_fmt_zero_d0f2a64_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:43.712796493+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161827us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0)",
      "hash": "7ed985aa254455783a5bfea0ae10e9f74315068f"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:47.374286454+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "4104425us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(32 0 5)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:01:51.480193247+00:00",
      "status": "failed",
      "tests": 49,
      "discards": 0,
      "time": "10257318us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 47)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:01.738750206+00:00",
      "status": "failed",
      "tests": 117,
      "discards": 0,
      "time": "16410928us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(32 0 85)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:18.150879228+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "8203824us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(32 0 133)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:26.355984393+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "6160285us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(32 0 31)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:32.517485439+00:00",
      "status": "failed",
      "tests": 68,
      "discards": 0,
      "time": "17973324us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(224 0 19)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:50.492063364+00:00",
      "status": "failed",
      "tests": 170,
      "discards": 0,
      "time": "26959008us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(224 0 187)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:17.452288431+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "12313137us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(32 0 151)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:29.766700577+00:00",
      "status": "failed",
      "tests": 82,
      "discards": 0,
      "time": "8226020us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(160 0 7)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:37.993935691+00:00",
      "status": "failed",
      "tests": 61,
      "discards": 0,
      "time": "10257717us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(96 0 103)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:03:48.253798658+00:00",
      "status": "failed",
      "tests": 126,
      "discards": 0,
      "time": "52193724us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 3)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:04:40.448867370+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "8231916us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 15)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:04:48.682086475+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "14358849us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 127)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:05:03.042186180+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "18490303us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 255)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:05:21.533788090+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "26883517us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 63)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:05:48.418548996+00:00",
      "status": "failed",
      "tests": 124,
      "discards": 0,
      "time": "25606229us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 31)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:06:14.026043060+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "42236347us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 3)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:06:56.263632764+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "31950986us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 3)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:07:28.215861195+00:00",
      "status": "failed",
      "tests": 62,
      "discards": 0,
      "time": "39366499us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 3)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:08:07.583544025+00:00",
      "status": "failed",
      "tests": 51,
      "discards": 0,
      "time": "21097082us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 3)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:08:28.684401610+00:00",
      "status": "failed",
      "tests": 194,
      "discards": 0,
      "time": "26675725us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(128 128 237)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:08:55.361806124+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(64 18 225)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:08:55.362934704+00:00",
      "status": "failed",
      "tests": 76,
      "discards": 0,
      "time": "6743246us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(96 15 109)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:02.107217986+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(96 182 189)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:02.108321177+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(64 20 223)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:02.109265623+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "12308375us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(128 245 101)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:14.418592011+00:00",
      "status": "failed",
      "tests": 67,
      "discards": 0,
      "time": "8255510us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(32 43 99)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:22.675286218+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 171 175)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:22.676374574+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(160 31 195)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:22.677315995+00:00",
      "status": "failed",
      "tests": 30,
      "discards": 0,
      "time": "4104371us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 107 179)",
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:09:26.783528451+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "53675327us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:10:20.460181721+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "53696746us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:11:14.158334724+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "53751496us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:12:07.911607956+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "53751957us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:13:01.665017135+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "58781735us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:14:00.448095900+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "58773129us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:14:59.222680761+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "53687225us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:15:52.911191531+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "53688572us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:16:46.601269615+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "53698738us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromScientificNoPanic",
      "mutations": [
        "scientific_scale_overflow_722af9f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:17:40.301435498+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "58768638us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "df2fd0c1a17f9c97a2b9810067c893a3d2439b72"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.497759049+00:00",
      "status": "failed",
      "tests": 96,
      "discards": 0,
      "time": "532us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 88)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.499364662+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "256us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 72)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.500536914+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "248us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 12)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.501635043+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "240us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 124)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.502729522+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "232us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 60)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.503811595+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "181us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 92)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.504794108+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "220us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 88)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.505851107+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "194us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 12)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.506833191+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "571us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 32)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "proptest",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.508199907+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "237us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 0 0 0 60)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.510124958+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.511003863+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.511879456+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.512765499+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.513617368+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.514516763+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.515400577+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.516260399+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.517118737+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.517992005+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.519810846+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(4847067109177372266 244 4105532530171836026 40 24)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.520669166+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8827407697873989883 4 8418617294521810674 176 180)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.521580943+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6776574313261869395 67 -6465639153866915989 183 4)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.522432143+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-8147863936172495041 236 -8774738099450393581 5 12)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.523289198+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-6222677331508073290 206 1009328185675832093 30 196)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.524122400+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(767741548697151922 216 -4179000040046191439 154 136)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.524936424+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1425919082375163788 215 -3529606575009038576 44 168)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.525833919+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-8695791176028278105 6 -3105569970471495513 107 144)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.526786192+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-4015325930304202642 213 5273098767701091127 40 144)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.527671296+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(6602661443118747103 58 2142012002004299257 131 44)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.530585618+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178695us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.710324698+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "182133us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:42.893737270+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180496us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:43.075445594+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177564us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:43.254504118+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "178645us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:43.434494156+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "175514us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:43.611312100+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177353us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:43.789860614+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "179750us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:43.971110399+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "176110us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    },
    {
      "experiment": "ci-run",
      "workload": "rust-decimal",
      "language": "rust",
      "strategy": "hegel",
      "property": "CheckedDivNoPanic",
      "mutations": [
        "div_remainder_overflow_a231fbf_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:18:44.148430018+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "180211us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 0 0 0 0)",
      "hash": "821571c8e3d308c76adb08be8cb88c8b1b7c8e68"
    }
  ]
}