{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:59 UTC",
  "workload_docs": {
    "prettyprinter": [
      {
        "mutations": [
          "ribbon_width_round_d4cd9e1f_1"
        ],
        "tasks": [
          {
            "property": "RibbonWidthFloor",
            "witnesses": [
              {
                "test_fn": "witness_ribbon_width_floor_case_lineLen3",
                "note": "lineLength=3, ribbon=0.5: floor=1 forces newline; round=2 keeps flat"
              },
              {
                "test_fn": "witness_ribbon_width_floor_case_lineLen7",
                "note": "lineLength=7, ribbon=0.5: floor=3 keeps flat; round=4 also keeps flat - this case demonstrates the property holds at non-discriminating widths"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/quchen/prettyprinter",
          "commits": [
            "f289c1782e564b24aa967f2cf42e65a0496e29d5"
          ],
          "commit_subjects": [
            "Compute ribbon width with `floor` instead of `round` (#160)"
          ],
          "origin": "internal",
          "summary": "Before #160, the ribbon-width clamp used `round` (banker's rounding). For half-integer products like `pageWidth * 0.5 = 1.5`, this rounded *up* to 2 instead of *down* to 1, letting documents occupy one extra column inside the ribbon. The fix swaps `round` for `floor`, so the ribbon never exceeds its nominal fraction."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "prettyprinter/src/Prettyprinter/Internal.hs"
          ],
          "locations": [
            {
              "file": "prettyprinter/src/Prettyprinter/Internal.hs",
              "line": 1897,
              "symbol": "remainingWidth"
            }
          ],
          "patch": "patches/ribbon_width_round_d4cd9e1f_1.patch"
        },
        "bug": {
          "short_name": "ribbon_width_uses_round",
          "invariant": "Rendering `\"a\" <> softline' <> \"b\"` with `AvailablePerLine n 0.5` produces a layout consistent with `ribbonWidth = floor (n * 0.5)`. Equivalently, `softline'` becomes a hard newline iff `floor (n * 0.5) < 2`.",
          "how_triggered": "Reverse-applying the patch swaps `floor` for `round` in `remainingWidth`. For `n = 3` the ribbon goes from 1 (correct) to 2 (buggy), so `softline'` no longer breaks the line and the output becomes `SChar 'a' (SChar 'b' SEmpty)` instead of the expected `SChar 'a' (SLine 0 (SChar 'b' SEmpty))`."
        }
      },
      {
        "mutations": [
          "fuse_annotated_drops_content_b2c0a91e_1"
        ],
        "tasks": [
          {
            "property": "FuseAnnotatedDocs",
            "witnesses": [
              {
                "test_fn": "witness_fuse_annotated_docs_case_a",
                "note": "annotate 'A' (Empty<>Empty) must render as `<A></A>` both before and after fuse"
              },
              {
                "test_fn": "witness_fuse_annotated_docs_case_z",
                "note": "same with annotation 'Z'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/quchen/prettyprinter",
          "commits": [
            "ff555e19b7b17a74f16e6fb062256a57dabe4d92"
          ],
          "commit_subjects": [
            "Fix fusion of annotated documents (#114)"
          ],
          "origin": "internal",
          "summary": "Before #114, `fuse` matched `Annotated _ Empty -> Empty`, dropping the annotation entirely whenever the body fused (or already was) `Empty`. Renderers that translate annotations into structured output (e.g. terminal colour codes, tree renderers, the `renderSimplyDecorated` stack machine) silently lost annotation boundaries on documents containing empty annotated children. The fix changes the case to `Annotated ann x -> Annotated ann (go x)`, so fusion descends into the body and never strips the annotation."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "prettyprinter/src/Prettyprinter/Internal.hs"
          ],
          "locations": [
            {
              "file": "prettyprinter/src/Prettyprinter/Internal.hs",
              "line": 1666,
              "symbol": "fuse"
            }
          ],
          "patch": "patches/fuse_annotated_drops_content_b2c0a91e_1.patch"
        },
        "bug": {
          "short_name": "fuse_drops_annotation_on_empty_body",
          "invariant": "For every annotated document `d`, the rendered output of `d` (using a renderer that emits start/end markers around annotations) equals the rendered output of `fuse Shallow d` and of `fuse Deep d`.",
          "how_triggered": "Reverse-applying the patch reinstates the `Annotated _ Empty -> Empty` rewrite. A doc like `annotate ann (Empty <> Empty)` rewrites to `Empty` after fusion, so `renderSimplyDecorated` sees no `SAnnPush`/`SAnnPop` and emits an empty string, while the un-fused doc emits `<TAG></TAG>`."
        }
      },
      {
        "mutations": [
          "alter_annotations_unbalanced_a3fc77b1_1"
        ],
        "tasks": [
          {
            "property": "AlterAnnotationsBalanced",
            "witnesses": [
              {
                "test_fn": "witness_alter_annotations_balanced_case_a",
                "note": "stripping annotations from `annotate 'A' (pretty 'x')` panics under the bug"
              },
              {
                "test_fn": "witness_alter_annotations_balanced_case_b",
                "note": "same with annotation 'B'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/quchen/prettyprinter",
          "commits": [
            "5729c19b2a319e21635e92a5bdbf9b1ee4d48052"
          ],
          "commit_subjects": [
            "Fix alterAnnotationsS removing only pushes, but not pops"
          ],
          "origin": "internal",
          "summary": "Before this fix, `alterAnnotationsS` (and therefore `unAnnotateS`, which is `alterAnnotationsS (const Nothing)`) dropped every `SAnnPush` whose annotation mapped to `Nothing`, but kept the matching `SAnnPop`. The unbalanced output crashed the StackMachine renderer with `panicPeekedEmpty`. The fix tracks a `[Remove|DontRemove]` stack so each removed push also drops its corresponding pop. The patch reverse-applies by removing the `Remove:` track for the `Nothing` branch."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "prettyprinter/src/Prettyprinter/Internal.hs"
          ],
          "locations": [
            {
              "file": "prettyprinter/src/Prettyprinter/Internal.hs",
              "line": 1584,
              "symbol": "alterAnnotationsS"
            }
          ],
          "patch": "patches/alter_annotations_unbalanced_a3fc77b1_1.patch"
        },
        "bug": {
          "short_name": "alter_annotations_drops_only_pushes",
          "invariant": "For any annotated document `d`, `alterAnnotationsS (const Nothing) (layoutSmart def d)` produces a stream containing no `SAnnPush` and no `SAnnPop`. Equivalently, `unAnnotateS` does not panic on any well-formed annotated layout.",
          "how_triggered": "Reverse-applying the patch changes the `Nothing` branch from `go (Remove:stack) rest` to `go stack rest`. On a layout like `SAnnPush 'A' (SChar 'x' (SAnnPop SEmpty))`, the push is dropped but no `Remove` is recorded, so the matching pop sees an empty stack and triggers `panicPeekedEmpty`. The runner catches the exception via `try @SomeException` and reports `failed` with the panic message."
        }
      },
      {
        "mutations": [
          "rtw_indent_carries_to_blank_e7d52f8a_1"
        ],
        "tasks": [
          {
            "property": "RtwIndentBlankLines",
            "witnesses": [
              {
                "test_fn": "witness_rtw_indent_blank_lines_case_2_0",
                "note": "(i1=2, i2=0): leading SLine indent must zero out"
              },
              {
                "test_fn": "witness_rtw_indent_blank_lines_case_3_1",
                "note": "(i1=3, i2=1): both intermediate indents must zero out"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/quchen/prettyprinter",
          "commits": [
            "6ffbc8912c246329e8a811c97e266bea63315841",
            "9ea5da0a4cd05cdbddcc98a8edd62f4d0bb45219"
          ],
          "commit_subjects": [
            "Fix #93: rTW restores indentation in the wrong spot",
            "Fix stripping of empty lines for real this time :-)"
          ],
          "origin": "internal",
          "summary": "Before #93 (and the earlier blank-line fix), `removeTrailingWhitespace` could re-emit the withheld indentation onto every intermediate empty `SLine` it produced from a run of blank lines, instead of zeroing them out. The historical patches edited an older `commitSpaces` shape that no longer exists; we synthesise an analogous mutation against the modern `prependEmptyLines` helper. Reverse-applying it makes intermediate blank lines carry the original indent again, so trailing whitespace re-appears in pretty output that goes through `removeTrailingWhitespace`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "prettyprinter/src/Prettyprinter/Internal.hs"
          ],
          "locations": [
            {
              "file": "prettyprinter/src/Prettyprinter/Internal.hs",
              "line": 1743,
              "symbol": "removeTrailingWhitespace.prependEmptyLines"
            }
          ],
          "patch": "patches/rtw_indent_carries_to_blank_e7d52f8a_1.patch"
        },
        "bug": {
          "short_name": "rtw_propagates_indent_on_blank_lines",
          "invariant": "After `removeTrailingWhitespace`, every `SLine i rest` whose `rest` begins with another `SLine` (i.e. the line is blank) has indentation `i = 0`.",
          "how_triggered": "Reverse-applying the patch changes `prependEmptyLines is = foldr (\\_ sds -> SLine 0 sds) sds0 is` to `foldr (\\i sds -> SLine i sds) sds0 is`. Then `removeTrailingWhitespace (SLine 2 (SLine 0 (SChar 'x' SEmpty)))` returns `SLine 2 (SLine 0 (SChar 'x' SEmpty))` (with leading SLine indent 2) instead of the expected `SLine 0 (SLine 0 (SChar 'x' SEmpty))`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:23.493077061+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:23.637033702+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:23.771075821+00:00",
      "status": "failed",
      "tests": 42,
      "discards": 0,
      "time": "238us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:23.905100992+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "177us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.039047368+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "162us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.173578368+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.307624996+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "180us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.441675711+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "184us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.575696554+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.709706539+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.843809292+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1160us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:24.977778758+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1019us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:25.111725805+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1079us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:25.245892419+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1111us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:25.380006758+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1129us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:25.513981289+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1026us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:25.647960286+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1024us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:25.782034886+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1027us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:25.916107974+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1082us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.050387053+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1073us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.184629920+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.318651036+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.453091767+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.587025402+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.720973243+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.855018228+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:26.989350704+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:27.123452586+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "162us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:27.257717896+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:27.391736681+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RibbonArgs {ribbonLineLen = 3}: lineLength=3: expected SChar 'a' (SLine 0 (SChar 'b' SEmpty)), got SChar 'a' (SChar 'b' SEmpty)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:27.525872937+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:27.659866746+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:27.793798111+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:27.927747623+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:28.061889235+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:28.195798656+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:28.329843968+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:28.463797315+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:28.597752241+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RibbonWidthFloor",
      "mutations": [
        "ribbon_width_round_d4cd9e1f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:28.731703160+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RibbonArgs {ribbonLineLen = 3}\"] (PropertyFalse Nothing)",
      "hash": "edc39c951f18c1c105b8e61eb6afb59e567e97e4"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.935684852+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "140us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'G'}ann='G'; original=\"<G></G>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.069972985+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'Y'}ann='Y'; original=\"<Y></Y>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.203903564+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'B'}ann='B'; original=\"<B></B>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.337828713+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'T'}ann='T'; original=\"<T></T>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.471824773+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'I'}ann='I'; original=\"<I></I>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.605811207+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'X'}ann='X'; original=\"<X></X>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.739763447+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'O'}ann='O'; original=\"<O></O>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.883773851+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'Q'}ann='Q'; original=\"<Q></Q>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.017846348+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'Q'}ann='Q'; original=\"<Q></Q>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.162010771+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FuseArgs {fuseAnn = 'K'}ann='K'; original=\"<K></K>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.296416704+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "820us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.430513206+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "837us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.564514611+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "834us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.698558343+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "839us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.832609929+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "845us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.966637974+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "831us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.100636550+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "844us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.235361989+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "852us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.369234899+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "850us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.503227544+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "845us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.637628379+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.771699956+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.905744170+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.040392321+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.174384575+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.308458104+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.442560068+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.576568184+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.710513641+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.844483805+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FuseArgs {fuseAnn = 'A'}: ann='A'; original=\"<A></A>\"; fuseShallow=\"\"; fuseDeep=\"\"",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.978966725+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.113327062+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.247350136+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.381364494+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.516144455+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.650146418+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.784121663+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.918133104+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.052556012+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FuseAnnotatedDocs",
      "mutations": [
        "fuse_annotated_drops_content_b2c0a91e_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.186460139+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FuseArgs {fuseAnn = 'A'}\"] (PropertyFalse Nothing)",
      "hash": "bd8922e1e8d7787fc0612d6b298f7f20ff5fee37"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:14.479197111+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'F'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:14.623472143+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "197us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'S'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:14.757714778+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "195us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'F'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:14.891750306+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "196us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'I'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.026004513+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "210us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'M'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.159912457+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "197us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'H'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.294027433+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "198us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'C'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.428041540+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "197us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'W'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.562090179+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "193us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'N'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.695993546+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "209us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AlterAnnArgs {alterAnnTag = 'S'}",
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.830452367+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "804us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:15.964391818+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "800us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:16.098485723+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "827us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:16.232686267+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "798us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:16.366597193+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "809us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:16.500570309+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "801us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:16.634522647+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "811us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:16.768528542+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "812us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:16.902604032+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "815us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.037074205+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "804us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.171519228+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "67us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.305512563+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.440016878+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "67us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.574044368+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.708040655+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.842196888+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.976599060+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "67us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.110669781+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.244660861+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.378765393+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "falsify",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.513399834+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.647418416+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.781482201+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.915582097+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.049962308+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.184412513+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.328601651+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.462697628+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.596780148+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AlterAnnotationsBalanced",
      "mutations": [
        "alter_annotations_unbalanced_a3fc77b1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.730723098+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": "Peeked an empty style stack! Please report this as a bug.\nCallStack (from HasCallStack):\n  error, called at src/Prettyprinter/Render/Util/Panic.hs:38:15 in prettyprinter-1.7.2-inplace:Prettyprinter.Render.Util.Panic",
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "8832be092c0bbce40a9e5cc89397e0abe5a315db"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:32.504533689+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "505us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:32.638570375+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "509us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:32.772620013+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "512us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:32.906631743+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "528us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.040733370+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "521us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.175066556+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "516us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.309008581+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "528us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.443081356+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "536us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.577063588+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "542us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.711118388+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "509us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.845833013+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2051us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:33.990147435+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2196us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:34.123833841+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2123us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:34.257845688+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2115us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:34.391887403+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2098us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:34.525972140+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2088us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:34.660047980+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2116us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:34.794067274+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2144us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:34.928040598+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2182us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.062077516+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2100us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.197107762+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "284us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.331145972+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "294us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.465268951+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "287us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.599396147+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "290us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.733562146+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "288us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.867869125+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "306us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.002521811+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "291us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.136542897+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "303us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.270529929+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "291us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.404656154+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "305us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.539394622+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.673513779+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.807658242+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.941779186+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.075957946+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.209900378+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.344195520+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.478265589+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.612385488+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    },
    {
      "experiment": "ci-run",
      "workload": "prettyprinter",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RtwIndentBlankLines",
      "mutations": [
        "rtw_indent_carries_to_blank_e7d52f8a_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.746436454+00:00",
      "status": "passed",
      "tests": 25,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ec5b8b407c3d8127db92f51a61eef65d67de0c62"
    }
  ]
}