{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 19:38 UTC",
  "workload_docs": {
    "iso8601": [
      {
        "mutations": [
          "is_iso8601_returns_false_on_exception_fde429d_1"
        ],
        "tasks": [
          {
            "property": "IsIso8601RaisesOnInternalError",
            "witnesses": [
              {
                "test_fn": "witness_is_iso8601_raises_on_internal_error_case_bytes",
                "note": "is_iso8601(b'2007-01-25') must raise"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "fde429d40d82057d2507c657b9a7bbd30e369aa8"
          ],
          "commit_subjects": [
            "raise ParseError if we get an exception on is_iso8601()"
          ],
          "origin": "internal",
          "summary": "is_iso8601() used to swallow any exception raised inside re.match (e.g. when called with a bytes-like object) and silently return False, hiding caller misuse. The fix re-raises as ParseError."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 161,
              "symbol": "is_iso8601"
            }
          ],
          "patch": "patches/is_iso8601_returns_false_on_exception_fde429d_1.patch"
        },
        "bug": {
          "short_name": "is_iso8601_silent_on_error",
          "invariant": "is_iso8601(x) raises ParseError when the underlying regex match raises (e.g. bytes input); it must not silently return False.",
          "how_triggered": "Reverse-applying the patch swaps the ``except Exception as e: raise ParseError(e)`` body for ``except Exception: return False``. Calling ``is_iso8601(b'2007-01-25')`` then returns False instead of raising."
        }
      },
      {
        "mutations": [
          "year_unconstrained_dc7f577_1"
        ],
        "tasks": [
          {
            "property": "YearMustBeFourDigits",
            "witnesses": [
              {
                "test_fn": "witness_year_must_be_four_digits_case_three_digit",
                "note": "parse_date('999') must raise ParseError"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "dc7f577cff153b9890337645a4e5ca7ba35bd785"
          ],
          "commit_subjects": [
            "Raise error when parsing year with wrong number for years"
          ],
          "origin": "internal",
          "summary": "The ISO8601_REGEX year group used to be unconstrained (``[0-9]+``), so a 1-3 digit string parsed as a one-, two- or three-digit year and produced a valid datetime instead of raising ParseError. ISO 8601 requires four digits for the year."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 22,
              "symbol": "ISO8601_REGEX"
            }
          ],
          "patch": "patches/year_unconstrained_dc7f577_1.patch"
        },
        "bug": {
          "short_name": "year_unconstrained",
          "invariant": "parse_date(s) raises ParseError for any string s whose year portion is not exactly four digits.",
          "how_triggered": "Reverse-applying the patch relaxes ``(?P<year>[0-9]{4})`` to ``(?P<year>[0-9]+)``. ``parse_date('999')`` then returns ``datetime(999, 1, 1)`` instead of raising."
        }
      },
      {
        "mutations": [
          "regex_requires_full_date_6d33d31_1"
        ],
        "tasks": [
          {
            "property": "YearOnlyParses",
            "witnesses": [
              {
                "test_fn": "witness_year_only_parses_case_2007",
                "note": "parse_date('2007') must yield datetime(2007, 1, 1, ...)"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "6d33d31529dcc0217caf2febc3f2806cd1ed87e4"
          ],
          "commit_subjects": [
            "Fix parsing of YYYY-MM and add YYYY"
          ],
          "origin": "internal",
          "summary": "The regex used to require both month and day. Plain ``YYYY`` (and ``YYYY-MM``) failed to parse with ParseError. The fix made the month/day group optional via ``){0,1}  # YYYY only`` so a bare year string parses as January 1 of that year."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 57,
              "symbol": "ISO8601_REGEX"
            }
          ],
          "patch": "patches/regex_requires_full_date_6d33d31_1.patch"
        },
        "bug": {
          "short_name": "regex_requires_full_date",
          "invariant": "parse_date('YYYY') returns datetime(YYYY, 1, 1, tzinfo=UTC) for any 4-digit year; it must not raise ParseError.",
          "how_triggered": "Reverse-applying the patch removes the ``{0,1}`` quantifier from the outer ``# YYYY only`` group, making the month/day branch mandatory. ``parse_date('2007')`` then raises ParseError."
        }
      },
      {
        "mutations": [
          "z_uses_default_tz_704a58e_1"
        ],
        "tasks": [
          {
            "property": "ZIsAlwaysUtc",
            "witnesses": [
              {
                "test_fn": "witness_z_is_always_utc_case_plus_five_thirty",
                "note": "parse_date('...Z', default_timezone=FixedOffset(5,30,...)) utcoffset must be 0"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "704a58e77b61d3496b36a1d14836f75796d194eb"
          ],
          "commit_subjects": [
            "Z always specifies UTC now"
          ],
          "origin": "internal",
          "summary": "When the date string ended in ``Z`` the parser used to return ``default_timezone`` instead of UTC, so a non-UTC ``default_timezone`` argument silently overrode the explicit ``Z`` marker. The fix returns UTC unconditionally for ``Z``."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 86,
              "symbol": "parse_timezone"
            }
          ],
          "patch": "patches/z_uses_default_tz_704a58e_1.patch"
        },
        "bug": {
          "short_name": "z_uses_default_tz",
          "invariant": "parse_date(s, default_timezone=tz).utcoffset() == timedelta(0) whenever s ends in 'Z', for any tz.",
          "how_triggered": "Reverse-applying the patch flips ``return UTC`` back to ``return default_timezone`` inside the ``if tz == 'Z':`` branch of parse_timezone. Then a Z-suffixed date with a non-UTC default_timezone is parsed in that timezone."
        }
      },
      {
        "mutations": [
          "negative_tz_minutes_dropped_d724fec_1"
        ],
        "tasks": [
          {
            "property": "NegativeTimezoneMinutesNegated",
            "witnesses": [
              {
                "test_fn": "witness_negative_timezone_minutes_negated_case_minus_one_thirty",
                "note": "-01:30 must yield exactly -90 minutes"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "d724fec9ab004cf4e7fa8159764c12990a1050db"
          ],
          "commit_subjects": [
            "Handle negative timezone offsets correctly"
          ],
          "origin": "internal",
          "summary": "For negative timezone offsets the parser used to negate the hour but leave the minute positive, so an offset of ``-01:30`` resolved to ``-60 + 30 = -30`` minutes instead of ``-90``. The fix negates both."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 98,
              "symbol": "parse_timezone"
            }
          ],
          "patch": "patches/negative_tz_minutes_dropped_d724fec_1.patch"
        },
        "bug": {
          "short_name": "negative_tz_minutes_dropped",
          "invariant": "parse_date('...-HH:MM').utcoffset() == -timedelta(hours=HH, minutes=MM) for HH>=1 and MM>=1.",
          "how_triggered": "Reverse-applying the patch deletes the ``minutes = -minutes`` line in parse_timezone. ``parse_date('2007-01-25T12:00:00-01:30').utcoffset()`` then equals ``-timedelta(hours=1, minutes=-30)`` (i.e. -30 minutes)."
        }
      },
      {
        "mutations": [
          "microsecond_float_rounding_81ff287_1"
        ],
        "tasks": [
          {
            "property": "MicrosecondPreservesAllDigits",
            "witnesses": [
              {
                "test_fn": "witness_microsecond_preserves_all_digits_case_502099",
                "note": "fraction .502099 must produce microsecond=502099"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "81ff287384424cda10f087a25e2e104d2c02532a"
          ],
          "commit_subjects": [
            "Fix microsecond rounding issues"
          ],
          "origin": "internal",
          "summary": "The original microsecond computation used ``int(float('0.<frac>') * 1e6)``, whose binary float representation off-by-ones for many fractions (e.g. ``0.502099`` becomes 502098). The fix uses ``Decimal`` arithmetic to preserve all six digits."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 144,
              "symbol": "parse_date"
            }
          ],
          "patch": "patches/microsecond_float_rounding_81ff287_1.patch"
        },
        "bug": {
          "short_name": "microsecond_float_rounding",
          "invariant": "For any 6-digit fraction F, parse_date(f'2007-01-25T12:00:00.{F}Z').microsecond == int(F).",
          "how_triggered": "Reverse-applying the patch swaps the Decimal multiplication for ``int(float(...) * 1e6)``. ``parse_date('2007-01-25T12:00:00.502099Z').microsecond`` then equals 502098."
        }
      },
      {
        "mutations": [
          "parse_date_unwrapped_value_error_4e89389_1"
        ],
        "tasks": [
          {
            "property": "ParseDateWrapsValueError",
            "witnesses": [
              {
                "test_fn": "witness_parse_date_wraps_value_error_case_month_thirteen",
                "note": "month=13 must raise ParseError, not bare ValueError"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "4e893893e92f8383deffe8093877f13127fed4f3"
          ],
          "commit_subjects": [
            "Correctly raise ParseError for more invalid inputs"
          ],
          "origin": "internal",
          "summary": "When the regex matched but datetime construction itself raised (e.g. month=13 -> ValueError('month must be in 1..12')), the bare ValueError used to leak out of parse_date. The fix wraps it as ParseError so callers can use a single exception type."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 149,
              "symbol": "parse_date"
            }
          ],
          "patch": "patches/parse_date_unwrapped_value_error_4e89389_1.patch"
        },
        "bug": {
          "short_name": "parse_date_unwrapped_value_error",
          "invariant": "parse_date(s) raises only ParseError (or returns) for any string s — never bare ValueError or TypeError from the underlying datetime constructor.",
          "how_triggered": "Reverse-applying the patch flips the bottom ``except Exception as e: raise ParseError(e)`` body to ``raise e`` (re-raises the original). ``parse_date('2007-13-25')`` then raises ValueError, not ParseError."
        }
      },
      {
        "mutations": [
          "parse_error_not_value_error_4498905_1"
        ],
        "tasks": [
          {
            "property": "ParseErrorIsValueError",
            "witnesses": [
              {
                "test_fn": "witness_parse_error_is_value_error_case_garbage",
                "note": "ParseError must be caught by `except ValueError`"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/micktwomey/pyiso8601",
          "commits": [
            "4498905f0d6e1e3895ae24ea9b896a4a3a11b3a1"
          ],
          "commit_subjects": [
            "Derive `ParseError` from `ValueError`"
          ],
          "origin": "internal",
          "summary": "ParseError used to extend ``Exception`` directly, so callers using the stdlib-style ``except ValueError`` for ``strptime``/``json.loads`` did not catch ISO 8601 parse failures. The fix re-bases ParseError on ValueError to bring it in line with stdlib parsers."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "iso8601/iso8601.py"
          ],
          "locations": [
            {
              "file": "iso8601/iso8601.py",
              "line": 64,
              "symbol": "ParseError"
            }
          ],
          "patch": "patches/parse_error_not_value_error_4498905_1.patch"
        },
        "bug": {
          "short_name": "parse_error_not_value_error",
          "invariant": "iso8601.ParseError is a subclass of ValueError, so ``except ValueError`` catches every parse_date failure.",
          "how_triggered": "Reverse-applying the patch changes ``class ParseError(ValueError)`` to ``class ParseError(Exception)``. A caller doing ``try: parse_date('garbage') except ValueError`` then sees the ParseError propagate uncaught."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:40.943833838+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "246243us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:43.036575895+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "248372us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:43.500212886+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "241479us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:43.951812687+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "255973us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:44.416868413+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "244059us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:44.868789604+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "240838us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:45.323313675+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "241322us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:45.769967910+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "250339us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:46.232134104+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "257850us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:46.716001259+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "237237us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:47.166197398+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "1332881us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:48.738323626+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "819358us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:49.795049002+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "848808us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:50.877783436+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "840318us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:51.954771172+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "813334us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:52.997808684+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "808021us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:54.038883422+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "854526us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:55.126237553+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "814423us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:56.169087434+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "814434us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "IsIso8601RaisesOnInternalError",
      "mutations": [
        "is_iso8601_returns_false_on_exception_fde429d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:57.210288033+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "821569us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "b'\\x00'",
      "hash": "50af0006dceee66996614a5f34ab895ea94d600d"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:58.300778361+00:00",
      "status": "failed",
      "tests": 101,
      "discards": 0,
      "time": "233218us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:58.740635662+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "226872us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:59.172289703+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "234187us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:35:59.612287070+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "228476us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:00.046665737+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "237096us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:00.491585955+00:00",
      "status": "failed",
      "tests": 97,
      "discards": 0,
      "time": "238983us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:00.936871250+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "240948us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.390893265+00:00",
      "status": "failed",
      "tests": 88,
      "discards": 0,
      "time": "224040us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:01.823333970+00:00",
      "status": "failed",
      "tests": 100,
      "discards": 0,
      "time": "221775us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:02.254481931+00:00",
      "status": "failed",
      "tests": 95,
      "discards": 0,
      "time": "228288us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:02.690773637+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "582002us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:03.490929266+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "493562us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:04.207931854+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "493855us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:04.924385785+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "588380us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:05.737452433+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "487755us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:06.449610277+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "558258us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:07.229827639+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "496030us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:07.949014562+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "487240us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:08.658657629+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "488691us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearMustBeFourDigits",
      "mutations": [
        "year_unconstrained_dc7f577_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:09.368904040+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "495099us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "381be84217d859b7c35c8765453fe657d8059aca"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:10.131153677+00:00",
      "status": "failed",
      "tests": 99,
      "discards": 0,
      "time": "240470us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:10.579924673+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "258732us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.050371324+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "252489us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.516199330+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "240169us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:11.969158797+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "239735us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.416260274+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "235521us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:12.858128517+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "243672us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:13.310164799+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "251483us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:13.770684377+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "251513us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.237611872+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "242898us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:14.691215234+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "720654us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:15.639756345+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "732885us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:16.607826998+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "759049us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:17.601834176+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "736591us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:18.569729676+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "728790us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:19.527771890+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "741858us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:20.499152171+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "713845us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:21.446810079+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "716915us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:22.397295101+00:00",
      "status": "failed",
      "tests": 115,
      "discards": 0,
      "time": "735853us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "YearOnlyParses",
      "mutations": [
        "regex_requires_full_date_6d33d31_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:23.365911932+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "724400us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "1",
      "hash": "28b83155c890e858bf649a47072ea098b8a2d80c"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.366555883+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "202504us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:24.773077623+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "141940us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:25.118674411+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "141065us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:25.470208631+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "196150us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:25.869658071+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "140370us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:26.211723757+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "121663us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:26.538178634+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "131906us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:26.873742454+00:00",
      "status": "failed",
      "tests": 41,
      "discards": 0,
      "time": "200046us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:27.278153320+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "139544us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:27.618844255+00:00",
      "status": "failed",
      "tests": 39,
      "discards": 0,
      "time": "141676us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:27.966437549+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "1011815us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:29.205042014+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "1012961us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:30.445710639+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "978194us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:31.647677628+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "982175us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:32.852474641+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "994752us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:34.069833909+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "980681us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:35.268493288+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "1003932us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:36.501438892+00:00",
      "status": "failed",
      "tests": 46,
      "discards": 0,
      "time": "987808us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:37.712242425+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "1006733us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ZIsAlwaysUtc",
      "mutations": [
        "z_uses_default_tz_704a58e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:38.944141676+00:00",
      "status": "failed",
      "tests": 47,
      "discards": 0,
      "time": "983623us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(0, 1)",
      "hash": "d47c7e4f09938e166ddbdd6f4f8dac2ff0a184d2"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.199984164+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "270146us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:40.679329640+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "259687us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:41.147237896+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "258265us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:41.615360534+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "261478us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.090241559+00:00",
      "status": "failed",
      "tests": 105,
      "discards": 0,
      "time": "368073us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:42.666923606+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "319714us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:43.200565227+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "257746us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:43.670160123+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "254885us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:44.135954337+00:00",
      "status": "failed",
      "tests": 102,
      "discards": 0,
      "time": "248782us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:44.597960278+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "255677us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:45.067373175+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1032644us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:46.335665655+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1049545us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:47.615043736+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "1061766us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:48.906473504+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "1053614us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:50.192754099+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "1054941us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:51.476307630+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1056876us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:52.762979112+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "1035398us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:54.032279261+00:00",
      "status": "failed",
      "tests": 113,
      "discards": 0,
      "time": "1074744us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:55.333813477+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "1045947us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "NegativeTimezoneMinutesNegated",
      "mutations": [
        "negative_tz_minutes_dropped_d724fec_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:56.611443669+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "1073757us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 1)",
      "hash": "b28eae10885199a3c4b2c2b769ebc7762c64aef8"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:57.957961625+00:00",
      "status": "failed",
      "tests": 311,
      "discards": 0,
      "time": "265986us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "32767",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:58.425433828+00:00",
      "status": "failed",
      "tests": 411,
      "discards": 0,
      "time": "323120us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "32767",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:58.946022209+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "43021us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "8025",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.185190147+00:00",
      "status": "failed",
      "tests": 27,
      "discards": 0,
      "time": "67739us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "249",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.451224449+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "74111us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "502099",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:36:59.720850154+00:00",
      "status": "failed",
      "tests": 170,
      "discards": 0,
      "time": "169097us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "249",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.084641213+00:00",
      "status": "failed",
      "tests": 130,
      "discards": 0,
      "time": "141251us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "493",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.420758535+00:00",
      "status": "failed",
      "tests": 114,
      "discards": 0,
      "time": "132031us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "32031",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:00.747092987+00:00",
      "status": "failed",
      "tests": 164,
      "discards": 0,
      "time": "159595us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "261379",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.110912118+00:00",
      "status": "failed",
      "tests": 235,
      "discards": 0,
      "time": "210855us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "15915",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:01.521657336+00:00",
      "status": "failed",
      "tests": 174,
      "discards": 0,
      "time": "1806621us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "2021",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:03.539340766+00:00",
      "status": "failed",
      "tests": 98,
      "discards": 0,
      "time": "1761812us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "62729",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:05.515774065+00:00",
      "status": "failed",
      "tests": 133,
      "discards": 0,
      "time": "1769477us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "502099",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:07.498694223+00:00",
      "status": "failed",
      "tests": 131,
      "discards": 0,
      "time": "1780263us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "502099",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:09.496250521+00:00",
      "status": "failed",
      "tests": 226,
      "discards": 0,
      "time": "1882027us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "32683",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:11.599608645+00:00",
      "status": "failed",
      "tests": 94,
      "discards": 0,
      "time": "1764879us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "252831",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:13.584781976+00:00",
      "status": "failed",
      "tests": 89,
      "discards": 0,
      "time": "1785049us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "502099",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:15.589803900+00:00",
      "status": "failed",
      "tests": 85,
      "discards": 0,
      "time": "1792597us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "4055",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:17.604252112+00:00",
      "status": "failed",
      "tests": 180,
      "discards": 0,
      "time": "1861764us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "32767",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "MicrosecondPreservesAllDigits",
      "mutations": [
        "microsecond_float_rounding_81ff287_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:19.695870987+00:00",
      "status": "failed",
      "tests": 132,
      "discards": 0,
      "time": "1794837us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "125653",
      "hash": "6c30896a3608d8ca08fa360d0ff590b0c456dedb"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:21.752342542+00:00",
      "status": "failed",
      "tests": 272,
      "discards": 0,
      "time": "606988us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:22.586401152+00:00",
      "status": "failed",
      "tests": 192,
      "discards": 0,
      "time": "761154us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1, 32)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:23.570787988+00:00",
      "status": "failed",
      "tests": 280,
      "discards": 0,
      "time": "619823us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:24.423876594+00:00",
      "status": "failed",
      "tests": 282,
      "discards": 0,
      "time": "607391us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:25.267663787+00:00",
      "status": "failed",
      "tests": 187,
      "discards": 0,
      "time": "777787us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1, 32)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:26.272735721+00:00",
      "status": "failed",
      "tests": 180,
      "discards": 0,
      "time": "757002us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1, 32)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:27.258653143+00:00",
      "status": "failed",
      "tests": 174,
      "discards": 0,
      "time": "761552us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1, 32)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:28.250656229+00:00",
      "status": "failed",
      "tests": 176,
      "discards": 0,
      "time": "868652us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1, 32)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:29.347239184+00:00",
      "status": "failed",
      "tests": 180,
      "discards": 0,
      "time": "748371us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1, 32)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:30.323960381+00:00",
      "status": "failed",
      "tests": 184,
      "discards": 0,
      "time": "751728us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "(1, 1, 32)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:31.302819002+00:00",
      "status": "failed",
      "tests": 272,
      "discards": 0,
      "time": "1393312us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:32.963612428+00:00",
      "status": "failed",
      "tests": 266,
      "discards": 0,
      "time": "1373444us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:34.600074044+00:00",
      "status": "failed",
      "tests": 256,
      "discards": 0,
      "time": "1363473us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:36.224106631+00:00",
      "status": "failed",
      "tests": 261,
      "discards": 0,
      "time": "1393341us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:37.878131313+00:00",
      "status": "failed",
      "tests": 278,
      "discards": 0,
      "time": "1411882us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:39.556550071+00:00",
      "status": "failed",
      "tests": 266,
      "discards": 0,
      "time": "1367981us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:41.186658656+00:00",
      "status": "failed",
      "tests": 268,
      "discards": 0,
      "time": "1374554us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:42.825479348+00:00",
      "status": "failed",
      "tests": 268,
      "discards": 0,
      "time": "1404731us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:44.492495965+00:00",
      "status": "failed",
      "tests": 277,
      "discards": 0,
      "time": "1397025us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseDateWrapsValueError",
      "mutations": [
        "parse_date_unwrapped_value_error_4e89389_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:46.158467724+00:00",
      "status": "failed",
      "tests": 270,
      "discards": 0,
      "time": "1393008us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "(1, 13, 1)",
      "hash": "82f444bf888b250b6f9a714e15acf10e421b6044"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:47.859919819+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "253262us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:48.326287056+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "237765us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:48.778201402+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "241150us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:49.234783636+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "253690us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:49.704314872+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "253326us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:50.176793365+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "234888us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:50.633136772+00:00",
      "status": "failed",
      "tests": 106,
      "discards": 0,
      "time": "240541us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:51.089393907+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "246042us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:51.548362247+00:00",
      "status": "failed",
      "tests": 103,
      "discards": 0,
      "time": "224973us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "hypothesis",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:51.987271025+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "252806us",
      "error": null,
      "tool": "hypothesis",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:52.458308627+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "855659us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:53.559434800+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "848331us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:54.650763474+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "820558us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:55.707494192+00:00",
      "status": "failed",
      "tests": 108,
      "discards": 0,
      "time": "855212us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:56.802641706+00:00",
      "status": "failed",
      "tests": 112,
      "discards": 0,
      "time": "872757us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:57.915350097+00:00",
      "status": "failed",
      "tests": 111,
      "discards": 0,
      "time": "864370us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:37:59.018897240+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "827758us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:00.084921274+00:00",
      "status": "failed",
      "tests": 107,
      "discards": 0,
      "time": "846617us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:01.172882388+00:00",
      "status": "failed",
      "tests": 109,
      "discards": 0,
      "time": "856480us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    },
    {
      "experiment": "ci-run",
      "workload": "iso8601",
      "language": "python",
      "strategy": "crosshair",
      "property": "ParseErrorIsValueError",
      "mutations": [
        "parse_error_not_value_error_4498905_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T19:38:02.271814836+00:00",
      "status": "failed",
      "tests": 110,
      "discards": 0,
      "time": "857668us",
      "error": null,
      "tool": "crosshair",
      "counterexample": "0",
      "hash": "a640e3ba0dbf145afcb1029b185c98f7fc776234"
    }
  ]
}