{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:59 UTC",
  "workload_docs": {
    "chimera": [
      {
        "mutations": [
          "wheel210_table_non_monotone_73b5020a_1"
        ],
        "tasks": [
          {
            "property": "ToWheel210Monotonic",
            "witnesses": [
              {
                "test_fn": "witness_to_wheel210_monotonic_case_i11",
                "note": "buggy: toWheel210 11 = 1, toWheel210 12 = 0"
              },
              {
                "test_fn": "witness_to_wheel210_monotonic_case_i13",
                "note": "buggy: toWheel210 13 = 2, toWheel210 14 = 0"
              },
              {
                "test_fn": "witness_to_wheel210_monotonic_case_i17",
                "note": "buggy: toWheel210 17 = 3, toWheel210 18 = 0"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Bodigrim/chimera",
          "commits": [
            "73b5020ba01fce4589efcde32144ef2c91e9686d"
          ],
          "commit_subjects": [
            "Fix monotonicity of toWheel*"
          ],
          "origin": "internal",
          "summary": "The 48-position lookup table feeding `toWheel210` was originally a sparse array — every rough-number position carried its index, every other slot was zero. Because `toWheel210 i = q * 48 + table[i mod 210]`, that made the function non-monotone (e.g. table[11]=1 but table[12]=0, so toWheel210 12 < toWheel210 11). The fix replaces the table with the running maximum so the function becomes monotonically non-decreasing while still satisfying `toWheel210 . fromWheel210 == id` at the rough-number positions."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Chimera/WheelMapping.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Chimera/WheelMapping.hs",
              "line": 192,
              "symbol": "toWheel210Table"
            }
          ],
          "patch": "patches/wheel210_table_non_monotone_73b5020a_1.patch"
        },
        "bug": {
          "short_name": "wheel210_lookup_table_not_monotone",
          "invariant": "`toWheel210 (i + 1) >= toWheel210 i` for every Word `i` in the wheel-210 period [0, 209]. The function is documented as a left inverse of `fromWheel210` and is consumed by callers that assume monotonicity (e.g. wheel-sieve cache lookups).",
          "how_triggered": "Reverse-applying the patch swaps the modern monotone Addr# literal for the sparse pre-fix literal. Calling `toWheel210 12` then returns 0 while `toWheel210 11` returns 1, falsifying the monotonicity property."
        }
      },
      {
        "mutations": [
          "from_infinite_off_by_one_ecacbd14_1"
        ],
        "tasks": [
          {
            "property": "FromInfiniteIndexEqualsHead",
            "witnesses": [
              {
                "test_fn": "witness_from_infinite_index_equals_head_case_n0_k0",
                "note": "fromInfinite (cycle (0 :| [])) errors at construction in the buggy variant"
              },
              {
                "test_fn": "witness_from_infinite_index_equals_head_case_n42_k7",
                "note": "non-zero value + non-zero index; both error at fromInfinite construction"
              },
              {
                "test_fn": "witness_from_infinite_index_equals_head_case_n1000_k1023",
                "note": "larger index, still bounded; same construction-time error in the buggy variant"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Bodigrim/chimera",
          "commits": [
            "ecacbd147ed772a5e726fd12e97468968ba9220d"
          ],
          "commit_subjects": [
            "#40 Fix fromInfinite error"
          ],
          "origin": "internal",
          "summary": "`fromInfinite` builds an outer Array of `bits + 1 = 65` chunks via `GHC.Exts.fromListN (bits + 1)`. The pre-fix `go` recursed without a termination guard, so the chunk-list it produced was unbounded. `fromListN` is strict in spine length, so it raised `'fromListN' applied to a list with more elements than specified` and `fromInfinite` errored before returning. The fix adds `if k == bits then [] else ...` so exactly `bits + 1` chunks reach `fromListN`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Chimera/Internal.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Chimera/Internal.hs",
              "line": 583,
              "symbol": "fromInfinite"
            }
          ],
          "patch": "patches/from_infinite_off_by_one_ecacbd14_1.patch"
        },
        "bug": {
          "short_name": "from_infinite_unbounded_recursion",
          "invariant": "`Ch.index (Ch.fromInfinite (Inf.cycle (n :| [])) :: UChimera Word) k == n` for every Word `n` and every Word index `k`. Equivalently: `fromInfinite` must return a Chimera (not error) for any Infinite input, and indexing the result returns the corresponding stream element.",
          "how_triggered": "Reverse-applying the patch removes the `if k == bits then [] else ...` guard. Calling `Ch.fromInfinite stream` then evaluates `GHC.Exts.fromListN 65` on an unbounded chunk list, raising the runtime error 'fromListN' applied to a list with more elements than specified'. The runner's `try`/witness driver catches this and reports the witness as failed."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.191438812+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 71}toWheel210 71 = 16, toWheel210 72 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.347016626+00:00",
      "status": "failed",
      "tests": 21,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 163}toWheel210 163 = 36, toWheel210 164 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.460952310+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 187}toWheel210 187 = 42, toWheel210 188 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.584926350+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 137}toWheel210 137 = 30, toWheel210 138 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.698992777+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 113}toWheel210 113 = 26, toWheel210 114 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.823246748+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "110us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 179}toWheel210 179 = 40, toWheel210 180 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.947383611+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 89}toWheel210 89 = 20, toWheel210 90 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.071446356+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 131}toWheel210 131 = 29, toWheel210 132 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.195676542+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 67}toWheel210 67 = 15, toWheel210 68 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.319896589+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Wheel210Index {unWheel210Index = 127}toWheel210 127 = 28, toWheel210 128 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.444232682+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1067us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.568431500+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1309us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.692942779+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1369us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.817340377+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1129us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.942037734+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "991us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.066372626+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1098us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.190842019+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1001us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.315252542+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1094us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.439611268+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1079us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.563922357+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1019us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.689031420+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 127}: toWheel210 127 = 28, toWheel210 128 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.803852460+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 23}: toWheel210 23 = 5, toWheel210 24 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.928272892+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 127}: toWheel210 127 = 28, toWheel210 128 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.052590682+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 181}: toWheel210 181 = 41, toWheel210 182 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.176998551+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 29}: toWheel210 29 = 6, toWheel210 30 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.301332411+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 29}: toWheel210 29 = 6, toWheel210 30 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.425744246+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 127}: toWheel210 127 = 28, toWheel210 128 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.550096672+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 29}: toWheel210 29 = 6, toWheel210 30 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.674424120+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 29}: toWheel210 29 = 6, toWheel210 30 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.798703780+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Wheel210Index {unWheel210Index = 181}: toWheel210 181 = 41, toWheel210 182 = 0 (expected monotonically non-decreasing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.923145441+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.047502525+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.171879215+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.296311258+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.420546255+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.544772655+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.668894802+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.793305265+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.917801578+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ToWheel210Monotonic",
      "mutations": [
        "wheel210_table_non_monotone_73b5020a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.042249540+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Wheel210Index {unWheel210Index = 11}\"] (PropertyFalse Nothing)",
      "hash": "779ca87647b28c62cc517f196d246e05c17dd742"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.753530714+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5646us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.878234843+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5640us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.002534852+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5931us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.126845140+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5781us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.251687979+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5681us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.375985662+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5640us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.500407067+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5669us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.624719358+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6064us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.749321278+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5902us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.873742562+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "5672us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.998442435+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4667us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.122757852+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4698us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.247278382+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4890us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.371550479+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4857us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.495796076+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4904us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.620350588+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4744us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.744817027+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4854us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.869059398+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4673us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.993294566+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4650us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.117519876+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4852us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.242747680+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4199us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.367065871+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4142us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.491290319+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4261us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.615469804+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4045us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.739805679+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4127us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.864083897+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4042us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.989021762+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4172us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.113399695+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4083us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.238330859+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "4222us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.362843904+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "3928us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.487475680+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "362us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.612160444+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "353us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.736644836+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "381us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.860903006+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "374us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.985172007+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "357us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.109537327+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "355us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.233999167+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "355us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.358530666+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "355us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.482949346+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "376us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    },
    {
      "experiment": "ci-run",
      "workload": "chimera",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromInfiniteIndexEqualsHead",
      "mutations": [
        "from_infinite_off_by_one_ecacbd14_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.607947261+00:00",
      "status": "passed",
      "tests": 36,
      "discards": 0,
      "time": "385us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "67b4e9c1846b429613881dc02c1c2c00bc15b839"
    }
  ]
}