{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:52 UTC",
  "workload_docs": {
    "aeson": [
      {
        "mutations": [
          "parse_qoy_lowercase_only_f625f493_1"
        ],
        "tasks": [
          {
            "property": "QuarterOfYearCaseInsensitive",
            "witnesses": [
              {
                "test_fn": "witness_quarter_of_year_case_insensitive_case_upper_q4",
                "note": "parseQuarterOfYear \"Q4\" must equal Right Q4"
              },
              {
                "test_fn": "witness_quarter_of_year_case_insensitive_case_upper_q1",
                "note": "parseQuarterOfYear \"Q1\" must equal Right Q1"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/haskell/aeson",
          "commits": [
            "f625f493ba6ee1356f00e32baa2aa2ed772d858d"
          ],
          "commit_subjects": [
            "Fix bug in FromJSON QuarterOfYear instance"
          ],
          "origin": "internal",
          "summary": "parseQuarterOfYear_ accepts both 'Q' and 'q' as the prefix character. The original aeson bug typo'd 'q4' as 'e4 ' rejecting all Q4 inputs; the modern text-iso8601 implementation uses a single guard `'Q' == c || 'q' == c`. The injected bug drops the `'Q' == c ||` clause so uppercase variants are rejected."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "text-iso8601/src/Data/Time/FromText.hs"
          ],
          "locations": [
            {
              "file": "text-iso8601/src/Data/Time/FromText.hs",
              "line": 365,
              "symbol": "parseQuarterOfYear_"
            }
          ],
          "patch": "patches/parse_qoy_lowercase_only_f625f493_1.patch"
        },
        "bug": {
          "short_name": "parseQuarterOfYear_lowercase_only",
          "invariant": "parseQuarterOfYear accepts both `Qn` and `qn` for n in {1,2,3,4}, returning the corresponding QuarterOfYear value.",
          "how_triggered": "Reverse-applying the patch removes the `'Q' == c ||` clause from parseQuarterOfYear_'s guard. parseQuarterOfYear \"Q1\" then returns Left \"Unexpected character ...\" instead of Right Q1."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:19.977086032+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "145us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:20.132266921+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q4, qoyUpper = True}parseQuarterOfYear \"Q4\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q4",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:20.288477586+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q3, qoyUpper = True}parseQuarterOfYear \"Q3\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q3",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:20.444161179+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q4, qoyUpper = True}parseQuarterOfYear \"Q4\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q4",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:20.599939565+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:20.755485451+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q4, qoyUpper = True}parseQuarterOfYear \"Q4\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q4",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:20.911098658+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q2, qoyUpper = True}parseQuarterOfYear \"Q2\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q2",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:21.066700078+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:21.222599786+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:21.378881037+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "QoyArgs {qoyValue = Q4, qoyUpper = True}parseQuarterOfYear \"Q4\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q4",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:21.534717630+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "998us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:21.690257438+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "957us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:21.845930936+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "988us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:22.001499736+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "913us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:22.157501598+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "924us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:22.313539073+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "965us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:22.469195706+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1008us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:22.624776955+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "976us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:22.780487959+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "968us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:22.936041097+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "993us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:23.091799142+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:23.247332720+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:23.403016493+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:23.558757553+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:23.714417560+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:23.870099120+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:24.025700520+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:24.181330663+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:24.336983160+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "falsify",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:24.492758441+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "falsify",
      "counterexample": "QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear \"Q1\" = Left \"Unexpected 'Q', expecting QuarterOfYear\"; expected Right Q1",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:24.648751168+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:24.804335924+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:24.959912175+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:25.115405082+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:25.271821717+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:25.427782296+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:25.583536055+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:25.739227370+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "42us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:25.894924022+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    },
    {
      "experiment": "ci-run",
      "workload": "aeson",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "QuarterOfYearCaseInsensitive",
      "mutations": [
        "parse_qoy_lowercase_only_f625f493_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:52:26.050479413+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"QoyArgs {qoyValue = Q1, qoyUpper = True}\"] (PropertyFalse Nothing)",
      "hash": "21880176d502bf466294ade4f8ff532e2fde9e29"
    }
  ]
}