{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 03:01 UTC",
  "workload_docs": {
    "chrono": [
      {
        "mutations": [
          "from_num_days_from_ce_overflow_f659719_1"
        ],
        "tasks": [
          {
            "property": "FromNumDaysFromCeNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_from_num_days_from_ce_no_panic_case_i32_max"
              },
              {
                "test_fn": "witness_from_num_days_from_ce_no_panic_case_i32_min"
              },
              {
                "test_fn": "witness_from_num_days_from_ce_no_panic_case_zero"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/chronotope/chrono",
          "commits": [
            "f6597197cd8a0230291a478bee2b9b8c696ad80e"
          ],
          "commit_subjects": [
            "Fix panic in from_num_days_from_ce_opt"
          ],
          "summary": "`NaiveDate::from_num_days_from_ce_opt` added 365 to its i32 input with a plain `+`, which panicked in debug mode (and silently wrapped in release) for inputs near `i32::MAX` / `i32::MIN`. The fix uses `checked_add(365)?`, returning `None` for out-of-range inputs."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/naive/date/mod.rs"
          ],
          "locations": [
            {
              "file": "src/naive/date/mod.rs",
              "line": 379,
              "symbol": "NaiveDate::from_num_days_from_ce_opt"
            }
          ],
          "patch": "patches/from_num_days_from_ce_overflow_f659719_1.patch"
        },
        "bug": {
          "short_name": "from_num_days_from_ce_overflow",
          "invariant": "For every `i32` argument `d`, `NaiveDate::from_num_days_from_ce_opt(d)` must complete without panicking. When the underlying day count `d + 365` would overflow `i32`, the function must return `None` rather than panic or wrap silently.",
          "how_triggered": "The buggy body computes `let days = days + 365`. For `d = i32::MAX` the addition overflows; in debug builds Rust's overflow checks turn this into a panic, while release builds wrap to a tiny negative day count and return a nonsensical `Some(date)`. The witness calls the function with `i32::MAX` and asserts no panic occurs and any returned date round-trips through `num_days_from_ce`."
        }
      },
      {
        "mutations": [
          "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
        ],
        "tasks": [
          {
            "property": "ParseRfc3339NoPanic",
            "witnesses": [
              {
                "test_fn": "witness_parse_rfc3339_no_panic_case_multibyte_offset"
              },
              {
                "test_fn": "witness_parse_rfc3339_no_panic_case_valid_utc"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/chronotope/chrono",
          "commits": [
            "5a6b2b40a781c19ad34a3593313468d922fceeea"
          ],
          "commit_subjects": [
            "Fix arbitrary string slicing in `parse_rfc3339_relaxed`"
          ],
          "summary": "`parse_rfc3339_relaxed` checked for the `UTC` literal with `&s[..3]`, which panics if byte 3 of the remaining input falls inside a multi-byte UTF-8 codepoint. The fix slices `s.as_bytes()` instead, performing the comparison on raw bytes and bypassing the UTF-8 boundary check."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/format/parse.rs"
          ],
          "locations": [
            {
              "file": "src/format/parse.rs",
              "line": 639,
              "symbol": "parse_rfc3339_relaxed"
            }
          ],
          "patch": "patches/parse_rfc3339_utc_str_slicing_5a6b2b4_1.patch"
        },
        "bug": {
          "short_name": "parse_rfc3339_utc_str_slicing",
          "invariant": "For any `&str` `s`, `<DateTime<FixedOffset> as FromStr>::from_str(s)` must complete without panicking. Malformed input is fine to surface as `Err(ParseError)`, but a panic from a UTF-8 boundary check is a defect.",
          "how_triggered": "After parsing the date and time portions, `parse_rfc3339_relaxed` checks for a literal `UTC` suffix via `&s[..3]`. When `s` begins with two two-byte UTF-8 characters (e.g. `ÄÄ` = `\\xC3\\x84\\xC3\\x84`), byte index 3 falls inside the second character; `&s[..3]` panics with `byte index 3 is not a char boundary`. The witness feeds `\"2024-01-01T00:00:00 ÄÄ\"` to `from_str`."
        }
      },
      {
        "mutations": [
          "duration_round_zero_panic_9a5f76c_1"
        ],
        "tasks": [
          {
            "property": "DurationRoundZeroNoPanic",
            "witnesses": [
              {
                "test_fn": "witness_duration_round_zero_no_panic_case_simple"
              },
              {
                "test_fn": "witness_duration_round_zero_no_panic_case_far_future"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/chronotope/chrono",
          "commits": [
            "9a5f76c9bb70647d1ab4abd88872e395a7c06c79"
          ],
          "commit_subjects": [
            "Fix issue #658 duration_round by zero panics (#659)"
          ],
          "summary": "`DurationRound::duration_round` reached `stamp % span` with `span == 0` when called with `Duration::zero()`, panicking with attempt to calculate the remainder with a divisor of zero. The fix rejects non-positive spans up front with `RoundingError::DurationExceedsLimit`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/round.rs"
          ],
          "locations": [
            {
              "file": "src/round.rs",
              "line": 229,
              "symbol": "duration_round"
            }
          ],
          "patch": "patches/duration_round_zero_panic_9a5f76c_1.patch"
        },
        "bug": {
          "short_name": "duration_round_zero_panic",
          "invariant": "For any `DateTime<Utc>` `dt`, `dt.duration_round(TimeDelta::zero())` must terminate with `Err(RoundingError::DurationExceedsLimit)`; it must never panic.",
          "how_triggered": "The buggy guard checks `if span < 0` instead of `if span <= 0`, allowing a zero span to flow into `let delta_down = stamp % span;` which panics with attempt to calculate the remainder with a divisor of zero. The witness rounds the UTC epoch to a zero `TimeDelta`."
        }
      },
      {
        "mutations": [
          "weekday_long_sunday_33516cc_1"
        ],
        "tasks": [
          {
            "property": "LongWeekdayParsesFullName",
            "witnesses": [
              {
                "test_fn": "witness_long_weekday_parses_full_name_case_sunday"
              },
              {
                "test_fn": "witness_long_weekday_parses_full_name_case_monday"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/chronotope/chrono",
          "commits": [
            "33516cc9f1ad1c78c214ca83c07d6c93785efb6c"
          ],
          "commit_subjects": [
            "Fix parsing LongWeekday for Sunday"
          ],
          "summary": "`short_or_long_weekday` indexed a per-weekday suffix table to consume the long-form name after the three-letter prefix. Sunday's entry was `\"sunday\"` rather than `\"day\"`, so parsing `\"Sunday\"` only consumed `\"Sun\"` and the literal `\"day\"` was treated as junk."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/format/scan.rs"
          ],
          "locations": [
            {
              "file": "src/format/scan.rs",
              "line": 150,
              "symbol": "short_or_long_weekday::LONG_WEEKDAY_SUFFIXES"
            }
          ],
          "patch": "patches/weekday_long_sunday_33516cc_1.patch"
        },
        "bug": {
          "short_name": "weekday_long_sunday",
          "invariant": "Parsing any of the seven full English weekday names through the `%A` strftime directive must fully consume the input and identify the correct `Weekday`.",
          "how_triggered": "With Sunday's suffix listed as `b\"sunday\"` instead of `b\"day\"`, the prefix-match check `s.as_bytes()[..suffix.len()].eq_ignore_ascii_case(b\"sunday\")` against the leftover input `\"day\"` fails (the input is shorter than the suffix), so the suffix is never consumed. The trailing `\"day\"` then makes the overall `%A` parse fail with `ParseError(TooLong)`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.186117944+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "140us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.187726802+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.189012329+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.190270590+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.191543643+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.192788950+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.194090797+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.195318861+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.196609623+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.197898087+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.199305505+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.200557791+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.201812453+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.203061745+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.204382312+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.205621522+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.206816455+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.208022833+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.209203048+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.210389760+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.211721589+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.212896899+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.214086461+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.215273624+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.216423212+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.217618058+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.218792403+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.219932417+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.221097724+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.222258287+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:56.223715290+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "973693us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:57.198823153+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "277883us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:57.478655828+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "278343us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:57.758887785+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "285866us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:58.046515263+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "280002us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:58.328206979+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "284477us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:58.614417454+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "286870us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:58.903186310+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "288681us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:59.193831958+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "275798us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "FromNumDaysFromCeNoPanic",
      "mutations": [
        "from_num_days_from_ce_overflow_f659719_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:00:59.471371573+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "285769us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "d491f61c4137aea420bccfd10eb9d8eb7a9cb046"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.547257478+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2690us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.551303857+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2647us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.555144348+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2714us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.559029025+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2713us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.562904632+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2722us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.566772828+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2685us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.570667140+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2667us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.574438194+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2703us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.578261082+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2680us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.582060720+00:00",
      "status": "passed",
      "tests": 256,
      "discards": 0,
      "time": "2708us",
      "error": null,
      "tool": "proptest",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.586300918+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "148us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.587586575+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.588880884+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.590133438+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.591403091+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.592740374+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.593980331+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.595339114+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "154us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.596609688+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.597873103+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.599452060+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "296us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.600983565+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "265us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.602450287+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "288us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.603879201+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "261us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.605287353+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "266us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.606755220+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "269us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.608176336+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "264us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.609607648+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "322us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.611048163+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "260us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.612425558+00:00",
      "status": "passed",
      "tests": 1000,
      "discards": 0,
      "time": "289us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:03.614216539+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "417021us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:04.032626226+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "301237us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:04.335789884+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "300882us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:04.638438750+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "302611us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:04.942902314+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "297855us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:05.242776249+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "302922us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:05.547726774+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "306865us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:05.856257320+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "305912us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:06.163902535+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "302995us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "ParseRfc3339NoPanic",
      "mutations": [
        "parse_rfc3339_utc_str_slicing_5a6b2b4_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:06.468852625+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "305640us",
      "error": null,
      "tool": "hegel",
      "counterexample": null,
      "hash": "c76646dc511d86c313243883328282bfcd7cd11c"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.536187631+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "323us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.537846341+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "264us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.539266920+00:00",
      "status": "failed",
      "tests": 63,
      "discards": 0,
      "time": "288us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.540737729+00:00",
      "status": "failed",
      "tests": 59,
      "discards": 0,
      "time": "260us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.542161654+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "290us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.543673887+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "272us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.545123603+00:00",
      "status": "failed",
      "tests": 61,
      "discards": 0,
      "time": "280us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.546562720+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "300us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.547995863+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "269us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.549397221+00:00",
      "status": "failed",
      "tests": 64,
      "discards": 0,
      "time": "300us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.551175049+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.552337771+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.553557795+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.554723322+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.555919101+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.557060483+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.558264708+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.559411861+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.560628597+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.561808348+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.563339296+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1752613703570140194)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.564532382+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8799862121151821238)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.565692407+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(8778817549706051212)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.566894800+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1145689414304519273)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.568078830+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(3739187135195146716)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.569289810+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(7659879345679272624)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.570429547+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(452978939461186591)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.571652929+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-4699727436139002528)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.572808857+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(-9077302142333464531)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.574016430+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(3907272899964545889)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.575593685+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160605us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.737551062+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162169us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:10.901287348+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160305us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:11.063179692+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159164us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:11.223973315+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "160254us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:11.385825327+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161856us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:11.549259987+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "163193us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:11.714026297+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "161593us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:11.877181151+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "162517us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "DurationRoundZeroNoPanic",
      "mutations": [
        "duration_round_zero_panic_9a5f76c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:12.041388397+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159876us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(0)",
      "hash": "b97b510339df2b7068b1455d5a205f6211831013"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.925206190+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(48)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.926742373+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(104)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.927972812+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(34)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.929229093+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(6)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.930431150+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(34)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.931670770+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(6)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.932889979+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(104)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.934091708+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(6)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.935308051+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(55)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "proptest",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.936540478+00:00",
      "status": "failed",
      "tests": 23,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(104)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.938193898+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(90)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.939364539+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(146)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.940620963+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(69)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.941753027+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(6)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.942906337+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(209)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.944066884+00:00",
      "status": "failed",
      "tests": 36,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(104)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.945255370+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(139)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.946392513+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(139)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.947629260+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(146)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.948760131+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(83)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.950403238+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(118)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.951610462+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(27)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.952776266+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(209)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.953898882+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(160)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.955108137+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(83)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.956220444+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(195)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.957384054+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(153)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.958575101+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(251)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.959700899+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(181)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.960838234+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(160)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:15.962615309+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "165109us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.129009395+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "165529us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.296080658+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "165869us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.463597695+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "165220us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.630577980+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "163301us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.795397397+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "163855us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:16.960812278+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "171366us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:17.133772395+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "163270us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:17.298639429+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "164355us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    },
    {
      "experiment": "ci-run",
      "workload": "chrono",
      "language": "rust",
      "strategy": "hegel",
      "property": "LongWeekdayParsesFullName",
      "mutations": [
        "weekday_long_sunday_33516cc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:17.464553185+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "168049us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(244)",
      "hash": "23190a8cefd67b7ee7b3b00ea0ac2703a728508a"
    }
  ]
}