{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 17:02 UTC",
  "workload_docs": {
    "time": [
      {
        "mutations": [
          "duration_abs_saturation_0e99ae7_1"
        ],
        "tasks": [
          {
            "property": "DurationAbsMatchesModel",
            "witnesses": [
              {
                "test_fn": "witness_duration_abs_case_min_zero_nanos"
              },
              {
                "test_fn": "witness_duration_abs_case_min_negative_nanos"
              },
              {
                "test_fn": "witness_duration_abs_case_negative_one_second"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/time-rs/time",
          "commits": [
            "0e99ae76a8dbbbf34a4950be6e6396cc88cc6486"
          ],
          "commit_subjects": [
            "Fix saturating behavior of Duration::abs"
          ],
          "summary": "`Duration::abs` delegated to `i64::saturating_abs` on the seconds field and ignored the nanoseconds, so `Duration::new(-5, -500_000_000).abs()` leaked a negative sub-second component; the fix handles the sign on both fields and saturates the `i64::MIN` case to `Duration::MAX`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "time/src/duration.rs"
          ],
          "locations": [
            {
              "file": "time/src/duration.rs"
            }
          ],
          "patch": "patches/duration_abs_saturation_0e99ae7_1.patch"
        },
        "bug": {
          "short_name": "duration_abs_saturation",
          "invariant": "`Duration::abs` must return a non-negative duration whose magnitude equals `self`, saturating to `Duration::MAX` when `self.seconds == i64::MIN`; in particular `abs.subsec_nanoseconds() >= 0`.",
          "how_triggered": "The fix replaced `self.seconds.saturating_abs()` with a `match self.seconds.checked_abs()` that saturates to `Duration::MAX`. The variant patch reverts that change, so `abs` of a `Duration::new(i64::MIN, 0)` returns `(i64::MAX, 0)` but `abs` of `Duration::new(-5, -500_000_000)` leaks the negative nanoseconds field."
        }
      },
      {
        "mutations": [
          "duration_checked_div_8060100_1"
        ],
        "tasks": [
          {
            "property": "DurationCheckedDivMatchesModel",
            "witnesses": [
              {
                "test_fn": "witness_duration_checked_div_case_regression_one_ns"
              },
              {
                "test_fn": "witness_duration_checked_div_case_regression_eight_seconds"
              },
              {
                "test_fn": "witness_duration_checked_div_case_regression_negative"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/time-rs/time",
          "commits": [
            "80601003b3fbc993dc23e65d5c7c476970ba9053"
          ],
          "commit_subjects": [
            "Fix implementation of Duration::checked_div"
          ],
          "summary": "`Duration::checked_div` used `carry * 1_000_000_000 / rhs`, which truncated the remainder of both the seconds and the nanoseconds field; the fix reconstructs the quotient from both remainders so the answer drifts by at most one nanosecond instead of seconds."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "time/src/duration.rs"
          ],
          "locations": [
            {
              "file": "time/src/duration.rs"
            }
          ],
          "patch": "patches/duration_checked_div_8060100_1.patch"
        },
        "bug": {
          "short_name": "duration_checked_div",
          "invariant": "`Duration::checked_div(rhs)` must return a quotient `q` whose reconstruction `rhs * q` differs from `self` by at most `|rhs|` nanoseconds.",
          "how_triggered": "The fix rewrote the integer division so the remainder of `self.seconds % rhs` and the remainder of `self.nanoseconds % rhs` both contribute to the nanosecond field. The variant patch reverts to the old `carry * 1_000_000_000 / rhs` formula which truncates the remainder and produces a quotient that drifts by seconds rather than nanoseconds."
        }
      },
      {
        "mutations": [
          "utc_offset_ordering_3a60ceb_1"
        ],
        "tasks": [
          {
            "property": "UtcOffsetOrdering",
            "witnesses": [
              {
                "test_fn": "witness_utc_offset_ordering_case_neg_pos"
              },
              {
                "test_fn": "witness_utc_offset_ordering_case_negative_sixty_positive_sixty"
              },
              {
                "test_fn": "witness_utc_offset_ordering_case_negative_zero"
              },
              {
                "test_fn": "witness_utc_offset_ordering_case_pos_neg_seconds"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/time-rs/time",
          "commits": [
            "3a60ceba3f8677da34f28d56753a808812ea2a94"
          ],
          "commit_subjects": [
            "Fix ordering of UtcOffset"
          ],
          "summary": "`UtcOffset::cmp` reused the byte-packed `as_u32_for_equality` representation in which seconds are cast through `u8`, so `-1s` packed as `255` compared greater than `+1s` packed as `1`; the fix routes ordering through a signed packing that preserves the sign."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "time/src/utc_offset.rs"
          ],
          "locations": [
            {
              "file": "time/src/utc_offset.rs"
            }
          ],
          "patch": "patches/utc_offset_ordering_3a60ceb_1.patch"
        },
        "bug": {
          "short_name": "utc_offset_ordering",
          "invariant": "For sub-minute offsets (`|a|, |b| <= 59` so `hours == minutes == 0`), `UtcOffset::cmp` must agree with comparison of the whole-second inputs. `is_positive` / `is_negative` must agree with the sign of the whole-second value.",
          "how_triggered": "The fix introduced `as_i32_for_comparison` (signed packed `(h,m,s)`) and rerouted `Ord::cmp`, `is_positive`, and `is_negative` through it. The variant patch reverts `Ord::cmp` to the byte-packed `as_u32_for_equality`, whose ordering flips across zero because seconds are cast through `u8` (`-1 -> 255` compares greater than `1 -> 1`). Within the `[-59, 59]` sub-minute domain the fixed packing degenerates to raw-seconds ordering, so the packed-`u32` fault is the only observable difference."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.077888138+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "237us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-947836139 -270715176)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.079436951+00:00",
      "status": "failed",
      "tests": 38,
      "discards": 0,
      "time": "233us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-1837620488 -283666929)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.080805882+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-9223372036854775808 -999999999)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.082061524+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "211us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-283259826 -999999999)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.083345425+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "140us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -933)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.084598162+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "216us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-680145051 -88790184)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.085935472+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "160us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -999999999)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.087131603+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-9223372036854775808 -999999999)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.088351815+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.089636151+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-9223372036854775808 -999999999)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.091031785+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-9223372036854775808 -999999999)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.092094903+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -381)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.093146565+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-8063891820261134616 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.094232254+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-892995273320780716 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.095278937+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-9223372036854775808 -843)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.096612159+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-1 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.097661367+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.098702433+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-99 -543844009)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.099873240+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-1 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.100929154+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -741936234)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.102145343+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 -342247176)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.103188494+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.104261064+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.105311889+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.106411310+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 -175783364)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.107513872+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-546 -133)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.108584349+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-9223372036854775808 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.109696744+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 -1)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.110763248+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-128 -999999999)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.111859112+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-9223372036854775808 -310)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.113129497+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "858226us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:42.972566199+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "191560us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:43.165655703+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "187330us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:43.354549222+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "189421us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:43.545670075+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "184129us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:43.731326218+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "191879us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:43.924934606+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "183903us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:44.110377748+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "190725us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:44.302641730+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "190107us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationAbsMatchesModel",
      "mutations": [
        "duration_abs_saturation_0e99ae7_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:44.494302177+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "186509us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 0)",
      "hash": "3acbb6d62917f6a999c1d6f851f6aa932c94b799"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.670581215+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1 318800 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.671972769+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1 160323254 1160323254)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.673117423+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "183us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-5745979501290493087 -283282903 -2147483648)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.674364797+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1904336821068230460 194827673 -265111820)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.675526843+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-538283950303373304 -779341951 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.676687625+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-2885057291221306854 -656162946 2147483647)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.677878790+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1 46294768 1046294768)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.678981826+00:00",
      "status": "failed",
      "tests": 37,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-9223372036854775808 -999999999 -19230770)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.680139082+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-1 -999999999 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.681286300+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-2155067656825625592 -510939579 -2147483648)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.682667925+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-9223372036854775808 -676 -3)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.683715678+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-854642011262768478 -560155738 -2147483648)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.684838820+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-737 -999999999 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.685872360+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-1 -84222375 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.686886182+00:00",
      "status": "failed",
      "tests": 22,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-886944966079092532 -399311895 -2147483648)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.687977743+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-774 -999999999 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.689027168+00:00",
      "status": "failed",
      "tests": 55,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-9223372036854775808 -999999999 -617296203)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.690084871+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.691121750+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(2046021456374583033 466820813 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.692192164+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(278 999999999 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.693475096+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1 968712662 1914293944)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.694529941+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1 996862797 206058066)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.695568726+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(5211638842471489564 465357758 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.696657144+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-235079646798271921 -999999999 232777169)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.697688977+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1 833375269 -607878744)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.698774306+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-4374638357988287570 -999999999 -524291014)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.699868347+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.700902120+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-930 -550012365 -1996166752)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.701952389+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-9223372036854775808 -999999999 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.702972978+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-3143231772347473907 -999999999 -7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.704387778+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "218604us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:47.924319220+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "217557us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:48.143428667+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "221081us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:48.366037614+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "221494us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:48.589075370+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "217639us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:48.808226582+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "221731us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.031598937+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "218306us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.251430318+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "217934us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.471067646+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "220297us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationCheckedDivMatchesModel",
      "mutations": [
        "duration_checked_div_8060100_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:49.692945471+00:00",
      "status": "failed",
      "tests": 35,
      "discards": 0,
      "time": "215327us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(-9223372036854775808 -1 7)",
      "hash": "8e8024509675fc31c48e183789709c8bf7c74c5d"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.890645105+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "108us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-59 59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.892039532+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-1 0)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.893237407+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.894386195+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-59 0)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.895506245+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(-1 0)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.896620959+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.897759213+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.898866593+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "101us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.899977236+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "proptest",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.901067825+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "148us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.902654536+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-54 0)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.903663573+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(54 -59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.904694998+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-10 1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.905699746+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(59 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.906886300+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.907907149+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 -18)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.908973088+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-59 59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.909972457+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-35 59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.910971661+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(-6 1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.912014040+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(6 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.913490075+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-59 0)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.914535910+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(28 -59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.915547638+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-46 0)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.916612138+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-20 1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.917623655+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-59 59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.918683547+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-22 21)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.919688592+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(2 -59)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.920704361+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-14 47)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.921739232+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-1 1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.922748870+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-37 1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:52.924348095+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "187253us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.113056464+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "188176us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.303023178+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "193741us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.498300349+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "190480us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.690518734+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "189474us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:53.881554142+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "191822us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:54.075227663+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "186364us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:54.263222031+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "185595us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:54.450351924+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "191751us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    },
    {
      "experiment": "ci-run",
      "workload": "time",
      "language": "rust",
      "strategy": "hegel",
      "property": "UtcOffsetOrdering",
      "mutations": [
        "utc_offset_ordering_3a60ceb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T17:02:54.643860339+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "185790us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0 -1)",
      "hash": "afcf5b29d540c36fe9d4185163d53123f2600002"
    }
  ]
}