{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 17:00 UTC",
  "workload_docs": {
    "pretty-show": [
      {
        "mutations": [
          "relax_parser_atoms_879d764d_1"
        ],
        "tasks": [
          {
            "property": "AtomSequenceParses",
            "witnesses": [
              {
                "test_fn": "witness_atom_sequence_parses_case_1_2_3",
                "note": "parseValue \"1 2 3\" must be Just _"
              },
              {
                "test_fn": "witness_atom_sequence_parses_case_42_99",
                "note": "parseValue \"42 99\" must be Just _"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "879d764dff30595c0fcdedd07fa7f4bbfbc3d389"
          ],
          "commit_subjects": [
            "Relax the parser a bit to support lists of atoms."
          ],
          "origin": "internal",
          "summary": "The buggy app_value rule required a leading constructor (`con list1(avalue)` or a single `avalue`), so a sequence of atoms with no leading constructor (e.g. `1 2 3`, useful for `Show` instances like `StdGen`) failed to parse. The fix replaces the rule with `list1(avalue) { mkValue $1 }` and introduces an `mkValue` helper that wraps bare atom sequences in `Con \"\" [...]`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Parser.y"
          ],
          "locations": [
            {
              "file": "Text/Show/Parser.y",
              "line": 62,
              "symbol": "app_value"
            }
          ],
          "patch": "patches/relax_parser_atoms_879d764d_1.patch"
        },
        "bug": {
          "short_name": "app_value_rejects_atom_lists",
          "invariant": "parseValue applied to a whitespace-separated sequence of two or more decimal integer literals (e.g. `\"1 2 3\"`) returns `Just _`, never `Nothing`.",
          "how_triggered": "Reverse-applying the patch restores the pre-fix `app_value : con list1(avalue) { Con $1 $2 } | avalue { $1 } | '-' avalue { Neg $2 }` rule. Calling `parseValue \"1 2 3\"` then returns `Nothing` instead of `Just (Con \"\" [Integer \"1\", Integer \"2\", Integer \"3\"])`."
        }
      },
      {
        "mutations": [
          "ratio_round_trip_a0e39e1c_1"
        ],
        "tasks": [
          {
            "property": "RatioRoundTrip",
            "witnesses": [
              {
                "test_fn": "witness_ratio_round_trip_case_1_over_2",
                "note": "Ratio 1/2 must round-trip as Ratio _ _"
              },
              {
                "test_fn": "witness_ratio_round_trip_case_7_over_3",
                "note": "Ratio 7/3 must round-trip as Ratio _ _"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "a0e39e1c26bd7f82156d4db0831a8540a72c871c"
          ],
          "commit_subjects": [
            "Pretty-print Ratios so they can be Read back"
          ],
          "origin": "internal",
          "summary": "valToDoc rendered a `Ratio x y` as `ppCon \"(%)\" [x,y]`, producing output like `(%) 1 2`. That string parses back as `Con \"(%)\" [Integer \"1\", Integer \"2\"]`, not as a Ratio, so the Show round-trip via parseValue is broken. The fix renders Ratio as `x % y` directly."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Pretty.hs"
          ],
          "locations": [
            {
              "file": "Text/Show/Pretty.hs",
              "line": 177,
              "symbol": "valToDoc"
            }
          ],
          "patch": "patches/ratio_round_trip_a0e39e1c_1.patch"
        },
        "bug": {
          "short_name": "ratio_pretty_loses_ratio_constructor",
          "invariant": "Pretty-printing a `Ratio (Integer n) (Integer d)` and re-parsing the result yields `Just (Ratio _ _)` (the same shape, not a regular constructor application).",
          "how_triggered": "Reverse-applying the patch restores `Ratio x y -> ppCon \"(%)\" [x,y]`. Calling `parseValue (valToStr (Ratio 1 2))` then returns `Just (Con \"(%)\" [Integer \"1\", Integer \"2\"])` instead of `Just (Ratio (Integer \"1\") (Integer \"2\"))`."
        }
      },
      {
        "mutations": [
          "unary_minus_precedence_aefc6dfc_1"
        ],
        "tasks": [
          {
            "property": "NegInRatioParses",
            "witnesses": [
              {
                "test_fn": "witness_neg_in_ratio_parses_case_1_neg2",
                "note": "parseValue \"1 % -2\" must be Just (Ratio _ (Neg _))"
              },
              {
                "test_fn": "witness_neg_in_ratio_parses_case_5_neg9",
                "note": "parseValue \"5 % -9\" must be Just (Ratio _ (Neg _))"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "aefc6dfc6ec75607471af90df8b8ee4bc50dfe80"
          ],
          "commit_subjects": [
            "Make unary minus have high precedence."
          ],
          "origin": "internal",
          "summary": "The buggy grammar puts `'-' avalue { Neg $2 }` at the `value` level, so a unary minus cannot appear in any context that requires `app_value` (notably the right-hand side of a Ratio: `1 % -2`). The fix moves the rule down so it lives at the `app_value` level (after later restructurings)."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Parser.y"
          ],
          "locations": [
            {
              "file": "Text/Show/Parser.y",
              "line": 54,
              "symbol": "value"
            },
            {
              "file": "Text/Show/Parser.y",
              "line": 62,
              "symbol": "app_value"
            }
          ],
          "patch": "patches/unary_minus_precedence_aefc6dfc_1.patch"
        },
        "bug": {
          "short_name": "unary_minus_low_precedence",
          "invariant": "parseValue applied to a Ratio expression with a negated denominator (e.g. `\"1 % -2\"`) returns `Just (Ratio _ (Neg _))`.",
          "how_triggered": "Reverse-applying the patch moves `'-' avalue` from app_value back to value. The right-hand side of `value '%' app_value` then cannot start with `-`, so `parseValue \"1 % -2\"` returns `Nothing`."
        }
      },
      {
        "mutations": [
          "reserved_op_infix_122936f1_1"
        ],
        "tasks": [
          {
            "property": "ReservedOpInfixParses",
            "witnesses": [
              {
                "test_fn": "witness_reserved_op_infix_parses_case_FooBar",
                "note": "parseValue \"Foo .. Bar\" must be Just (InfixCons _ [(\"..\", _)])"
              },
              {
                "test_fn": "witness_reserved_op_infix_parses_case_AaBb",
                "note": "parseValue \"Aa .. Bb\" must be Just (InfixCons _ [(\"..\", _)])"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "122936f1e67774ca433c6d884ce78053376c154c"
          ],
          "commit_subjects": [
            "Treat reserved operators as infix constructors."
          ],
          "origin": "internal",
          "summary": "The buggy `infixcon` rule does not include `RESOP` (Haskell reserved operators such as `..`, `::`, `=>`). Show output that uses one of these as an infix operator (e.g. `Foo .. Bar`) fails to parse. The fix adds `RESOP { $1 }` as an alternative."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Parser.y"
          ],
          "locations": [
            {
              "file": "Text/Show/Parser.y",
              "line": 97,
              "symbol": "infixcon"
            }
          ],
          "patch": "patches/reserved_op_infix_122936f1_1.patch"
        },
        "bug": {
          "short_name": "infixcon_drops_reserved_op",
          "invariant": "parseValue applied to `\"<ConA> .. <ConB>\"` returns `Just (InfixCons (Con A []) [(\"..\", Con B [])])`.",
          "how_triggered": "Reverse-applying the patch removes the `RESOP { $1 }` alternative from infixcon. `parseValue \"Foo .. Bar\"` then returns `Nothing` because `..` lexes as a Reservedop and no infixcon production matches."
        }
      },
      {
        "mutations": [
          "varsym_infix_4a810ee5_1"
        ],
        "tasks": [
          {
            "property": "VarsymInfixParses",
            "witnesses": [
              {
                "test_fn": "witness_varsym_infix_parses_case_FooBar",
                "note": "parseValue \"Foo + Bar\" must be Just (InfixCons _ [(\"+\", _)])"
              },
              {
                "test_fn": "witness_varsym_infix_parses_case_AlphaBeta",
                "note": "parseValue \"Alpha + Beta\" must be Just (InfixCons _ [(\"+\", _)])"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "4a810ee5ec8c55c026c353d28ae94c11071e80bb"
          ],
          "commit_subjects": [
            "Allow varsyms to be used as infix constructors."
          ],
          "origin": "internal",
          "summary": "The buggy `infixcon` rule does not include `VARSYM` or `QVARSYM`. Show output that uses a variable symbol as an infix operator (e.g. `Foo + Bar`, `Foo <> Bar`) fails to parse. The fix adds `VARSYM`/`QVARSYM` as alternatives."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Parser.y"
          ],
          "locations": [
            {
              "file": "Text/Show/Parser.y",
              "line": 97,
              "symbol": "infixcon"
            }
          ],
          "patch": "patches/varsym_infix_4a810ee5_1.patch"
        },
        "bug": {
          "short_name": "infixcon_drops_varsym",
          "invariant": "parseValue applied to `\"<ConA> + <ConB>\"` returns `Just (InfixCons (Con A []) [(\"+\", Con B [])])`.",
          "how_triggered": "Reverse-applying the patch removes the `VARSYM { $1 }` and `QVARSYM { $1 }` alternatives. `parseValue \"Foo + Bar\"` then returns `Nothing` because `+` lexes as a Varsym and no infixcon production matches."
        }
      },
      {
        "mutations": [
          "reserved_id_con_cfb8b434_1"
        ],
        "tasks": [
          {
            "property": "ReservedIdConParses",
            "witnesses": [
              {
                "test_fn": "witness_reserved_id_con_parses_case_data",
                "note": "parseValue \"data\" must be Just (Con \"data\" [])"
              },
              {
                "test_fn": "witness_reserved_id_con_parses_case_module",
                "note": "parseValue \"module\" must be Just (Con \"module\" [])"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "cfb8b4344084fe6b427b5287b8a24f98361a3e67"
          ],
          "commit_subjects": [
            "Allow keywords as the names of constructors"
          ],
          "origin": "internal",
          "summary": "The buggy `con` rule does not include `RESID` (Haskell reserved identifiers such as `data`, `case`, `module`). A Show instance whose constructor name happens to be a Haskell keyword fails to parse. The fix adds `RESID { $1 }` as an alternative."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Parser.y"
          ],
          "locations": [
            {
              "file": "Text/Show/Parser.y",
              "line": 83,
              "symbol": "con"
            }
          ],
          "patch": "patches/reserved_id_con_cfb8b434_1.patch"
        },
        "bug": {
          "short_name": "con_drops_reserved_id",
          "invariant": "parseValue applied to a single Haskell reserved identifier (e.g. `\"data\"`, `\"module\"`) returns `Just (Con <word> [])`.",
          "how_triggered": "Reverse-applying the patch removes the `RESID { $1 }` alternative from `con`. `parseValue \"data\"` then returns `Nothing` because `data` lexes as a Reservedid and no `con` production accepts it."
        }
      },
      {
        "mutations": [
          "constructor_extra_args_6fb39a38_1"
        ],
        "tasks": [
          {
            "property": "ConstructorExtraArgs",
            "witnesses": [
              {
                "test_fn": "witness_constructor_extra_args_case_Foo123",
                "note": "parseValue \"(Foo 1) 2 3\" must equal Con Foo [1,2,3]"
              },
              {
                "test_fn": "witness_constructor_extra_args_case_Node567",
                "note": "parseValue \"(Node 5) 6 7\" must equal Con Node [5,6,7]"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "6fb39a3839119079a05404e07e3186c4c7f75049"
          ],
          "commit_subjects": [
            "If a constructor is applied to more values, add them as children."
          ],
          "origin": "internal",
          "summary": "The buggy `mkValue` clause `mkValue (Con x [] : vs) = Con x vs` only handles a leading constructor with no arguments. When the leading element of an `app_value` list already has arguments (because of extra parens, e.g. `(Foo 1) 2 3`), the trailing atoms are not folded into the leading Con; they fall through to `mkFakeCon` and get wrapped in an empty-named `Con \"\"`. The fix generalises the clause to `Con x as` and concatenates the trailing values onto `as`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Parser.y"
          ],
          "locations": [
            {
              "file": "Text/Show/Parser.y",
              "line": 147,
              "symbol": "mkValue"
            }
          ],
          "patch": "patches/constructor_extra_args_6fb39a38_1.patch"
        },
        "bug": {
          "short_name": "mkValue_drops_existing_args",
          "invariant": "parseValue on `\"(<lead> <leadArg>) <a> <b>\"` returns `Just (Con <lead> [Integer <leadArg>, Integer <a>, Integer <b>])`.",
          "how_triggered": "Reverse-applying the patch restores `mkValue (Con x [] : vs) = Con x vs`. The non-empty case falls through to `mkFakeCon`, so `parseValue \"(Foo 1) 2 3\"` returns `Just (Con \"\" [Con \"Foo\" [Integer \"1\"], Integer \"2\", Integer \"3\"])` instead of `Just (Con \"Foo\" [Integer \"1\", Integer \"2\", Integer \"3\"])`."
        }
      },
      {
        "mutations": [
          "hex_literal_join_546f1862_1"
        ],
        "tasks": [
          {
            "property": "HexLiteralJoin",
            "witnesses": [
              {
                "test_fn": "witness_hex_literal_join_case_4ab",
                "note": "parseValue \"4ab\" must be Just (Integer \"4ab\")"
              },
              {
                "test_fn": "witness_hex_literal_join_case_12def",
                "note": "parseValue \"12def\" must be Just (Integer \"12def\")"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/yav/pretty-show",
          "commits": [
            "546f1862ef2d0d9211ec4637987efacc38498bba"
          ],
          "commit_subjects": [
            "Merge together a literal followed immediately by some hex-digits into a single token."
          ],
          "origin": "internal",
          "summary": "Without the joinTokens pass, `lexerPass0 \"4ab\"` produces `[IntLit \"4\", Varid \"ab\"]`; the parser then assembles a constructor-application Value instead of a single `Integer \"4ab\"`. The fix adds a token-stream post-processing step that merges an `IntLit` followed by all-hex-digit chars into one `IntLit`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Text/Show/Pretty.hs"
          ],
          "locations": [
            {
              "file": "Text/Show/Pretty.hs",
              "line": 84,
              "symbol": "parseValue"
            }
          ],
          "patch": "patches/hex_literal_join_546f1862_1.patch"
        },
        "bug": {
          "short_name": "lexer_splits_hex_run",
          "invariant": "parseValue on a digit-prefix immediately followed by hex letters (e.g. `\"4ab\"`) returns `Just (Integer \"4ab\")` (a single Integer Value, not a constructor application).",
          "how_triggered": "Reverse-applying the patch removes the `foldr joinTokens [] .` pass and the joinTokens helper. `parseValue \"4ab\"` then returns `Just (Con \"\" [Integer \"4\", Con \"ab\" []])` instead of `Just (Integer \"4ab\")`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.911735279+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [950,223]}parseValue \"950 223\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.055927080+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [594,710,600,863,32]}parseValue \"594 710 600 863 32\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.170555594+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [738,203,477,486]}parseValue \"738 203 477 486\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.284753361+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [920,401]}parseValue \"920 401\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.409243439+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [612,959,722,236,392]}parseValue \"612 959 722 236 392\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.533946463+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [53,670,346,978,769]}parseValue \"53 670 346 978 769\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.658708217+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [148,872,851,432]}parseValue \"148 872 851 432\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.772877982+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [837,491]}parseValue \"837 491\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.887330114+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [12,744,41]}parseValue \"12 744 41\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.001700003+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "AtomSeqArgs {atomSeqInts = [860,950,343,105]}parseValue \"860 950 343 105\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.115915373+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "864us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.229949246+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "842us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.344035435+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "852us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.458248238+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "848us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.583067689+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "861us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.697215925+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "875us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.811351344+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "829us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.925759440+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "880us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.039853431+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "853us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.154047367+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "821us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.268474489+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.392976749+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.507167873+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.621230408+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.735298440+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.849262461+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.963973617+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.078183216+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "159us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.192359493+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.306440361+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "falsify",
      "counterexample": "AtomSeqArgs {atomSeqInts = [0,0]}: parseValue \"0 0\" = Nothing; expected Just _",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.420985004+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.545206578+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.669665163+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.793989247+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.908155823+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.022356795+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.136467871+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.250636223+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.364767806+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "67us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "AtomSequenceParses",
      "mutations": [
        "relax_parser_atoms_879d764d_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.478898958+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"AtomSeqArgs {atomSeqInts = [0,0]}\"] (PropertyFalse Nothing)",
      "hash": "9bd50e7d47911828f8854f42362c5859731aabcb"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.623635543+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 829, ratioDen = 705}valToStr (Ratio 829 705) = \"(%) 829 705\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.737345685+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 941, ratioDen = 736}valToStr (Ratio 941 736) = \"(%) 941 736\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.851399528+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 672, ratioDen = 459}valToStr (Ratio 672 459) = \"(%) 672 459\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.975721872+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 99, ratioDen = 423}valToStr (Ratio 99 423) = \"(%) 99 423\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.089832029+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 591, ratioDen = 871}valToStr (Ratio 591 871) = \"(%) 591 871\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.214019592+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 570, ratioDen = 923}valToStr (Ratio 570 923) = \"(%) 570 923\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.328192076+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 899, ratioDen = 140}valToStr (Ratio 899 140) = \"(%) 899 140\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.442515882+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 872, ratioDen = 383}valToStr (Ratio 872 383) = \"(%) 872 383\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.567536627+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 282, ratioDen = 405}valToStr (Ratio 282 405) = \"(%) 282 405\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.692020071+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "RatioArgs {ratioNum = 3, ratioDen = 114}valToStr (Ratio 3 114) = \"(%) 3 114\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.806523682+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "868us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.920578116+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "868us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.035111653+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "902us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.149211722+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "860us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.263344552+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "849us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.377494844+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "868us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.491645658+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "871us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.605711343+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "843us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.719800561+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "833us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.833898406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "844us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.948346283+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.073269697+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.187456538+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.301657946+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.415810923+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.529888240+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.643947212+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.757953175+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.872052565+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.986377793+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "falsify",
      "counterexample": "RatioArgs {ratioNum = 0, ratioDen = 1}: valToStr (Ratio 0 1) = \"(%) 0 1\"; parseValue = Nothing; expected Just (Ratio _ _)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.112368477+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.236864022+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.351021327+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.465135414+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.579242797+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.693327787+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.807375178+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.921451443+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:12.036066960+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "RatioRoundTrip",
      "mutations": [
        "ratio_round_trip_a0e39e1c_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:12.150593045+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"RatioArgs {ratioNum = 0, ratioDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "3213533dcf1901d8637436013eb59df4332d6a64"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.135427548+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 198, negDen = 658}parseValue \"198 % -658\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.249696817+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 386, negDen = 831}parseValue \"386 % -831\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.364274508+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 484, negDen = 384}parseValue \"484 % -384\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.478393197+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 660, negDen = 883}parseValue \"660 % -883\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.602667221+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 346, negDen = 182}parseValue \"346 % -182\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.727006256+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 853, negDen = 70}parseValue \"853 % -70\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.841134823+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 160, negDen = 179}parseValue \"160 % -179\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:26.955974154+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 978, negDen = 163}parseValue \"978 % -163\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.070154329+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 207, negDen = 782}parseValue \"207 % -782\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.184229727+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NegRatioArgs {negNum = 933, negDen = 19}parseValue \"933 % -19\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.299181265+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "841us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.413696723+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "841us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.527913875+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "830us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.642196018+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "827us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.756329043+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "833us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.870727555+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "930us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:27.985055138+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "873us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.109557322+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "854us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.234094426+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "865us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.348255513+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "865us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.473218461+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.597804486+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.712035564+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.836561517+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:28.950873125+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.065165507+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.179531106+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.293736646+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.407897353+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.532477698+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NegRatioArgs {negNum = 0, negDen = 1}: parseValue \"0 % -1\" = Nothing; expected Just (Ratio _ (Neg _))",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.657642401+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.782222175+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:29.896425801+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:30.011049772+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:30.125250310+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:30.249833811+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:30.363919167+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:30.478153752+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:30.592447927+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "NegInRatioParses",
      "mutations": [
        "unary_minus_precedence_aefc6dfc_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:30.716823470+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NegRatioArgs {negNum = 0, negDen = 1}\"] (PropertyFalse Nothing)",
      "hash": "404c1032b11c7239c9ed99cb984804f4a7258891"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.753325811+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"Fh4\", resOpRight = \"F\"}parseValue \"Fh4 .. F\" = Nothing; expected Just (InfixCons (Con \"Fh4\") [(\"..\", Con \"F\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.867448126+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"Sl\", resOpRight = \"T1\"}parseValue \"Sl .. T1\" = Nothing; expected Just (InfixCons (Con \"Sl\") [(\"..\", Con \"T1\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:35.981820408+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"Ae0W\", resOpRight = \"VgK\"}parseValue \"Ae0W .. VgK\" = Nothing; expected Just (InfixCons (Con \"Ae0W\") [(\"..\", Con \"VgK\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.095952231+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"XO\", resOpRight = \"OYZj\"}parseValue \"XO .. OYZj\" = Nothing; expected Just (InfixCons (Con \"XO\") [(\"..\", Con \"OYZj\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.210091557+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "176us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"L6\", resOpRight = \"LW\"}parseValue \"L6 .. LW\" = Nothing; expected Just (InfixCons (Con \"L6\") [(\"..\", Con \"LW\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.324226874+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"LW\", resOpRight = \"GjUV9\"}parseValue \"LW .. GjUV9\" = Nothing; expected Just (InfixCons (Con \"LW\") [(\"..\", Con \"GjUV9\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.448584064+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"UIcjj\", resOpRight = \"NvDbl\"}parseValue \"UIcjj .. NvDbl\" = Nothing; expected Just (InfixCons (Con \"UIcjj\") [(\"..\", Con \"NvDbl\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.573103386+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"UU\", resOpRight = \"RFhAv\"}parseValue \"UU .. RFhAv\" = Nothing; expected Just (InfixCons (Con \"UU\") [(\"..\", Con \"RFhAv\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.697703719+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"Q4U\", resOpRight = \"H6X84\"}parseValue \"Q4U .. H6X84\" = Nothing; expected Just (InfixCons (Con \"Q4U\") [(\"..\", Con \"H6X84\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.822293333+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "157us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"YpI\", resOpRight = \"QG\"}parseValue \"YpI .. QG\" = Nothing; expected Just (InfixCons (Con \"YpI\") [(\"..\", Con \"QG\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:36.937225376+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "987us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.051445534+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "955us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.176106219+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "995us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.300622846+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "949us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.414856919+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "963us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.529011073+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "965us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.643105236+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "962us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.757307048+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "944us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.871378679+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "965us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:37.985866475+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "989us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.100986529+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.215180998+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "177us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.330077175+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.444771914+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.568953870+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.683198333+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "145us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.797363728+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "146us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:38.911489419+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.025697263+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.139829436+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResOpInfixArgs {resOpLeft = \"A\", resOpRight = \"A\"}: parseValue \"A .. A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"..\", Con \"A\")])",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.255141348+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.379559251+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.493778417+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.607850279+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.722722332+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.847108420+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:39.971687245+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:40.085891544+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:40.200115771+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedOpInfixParses",
      "mutations": [
        "reserved_op_infix_122936f1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:40.324577755+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResOpInfixArgs {resOpLeft = \\\"A\\\", resOpRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "91d8518d52bd85f643164b1eb867a76c3e699f7d"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:45.379758742+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"N\", varSymRight = \"IW\"}parseValue \"N + IW\" = Nothing; expected Just (InfixCons (Con \"N\") [(\"+\", Con \"IW\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:45.504094501+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"Yi\", varSymRight = \"MF\"}parseValue \"Yi + MF\" = Nothing; expected Just (InfixCons (Con \"Yi\") [(\"+\", Con \"MF\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:45.628508395+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"T\", varSymRight = \"W6\"}parseValue \"T + W6\" = Nothing; expected Just (InfixCons (Con \"T\") [(\"+\", Con \"W6\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:45.742702954+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "157us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"QKMx\", varSymRight = \"LaJC\"}parseValue \"QKMx + LaJC\" = Nothing; expected Just (InfixCons (Con \"QKMx\") [(\"+\", Con \"LaJC\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:45.856746370+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"MABSY\", varSymRight = \"Rok\"}parseValue \"MABSY + Rok\" = Nothing; expected Just (InfixCons (Con \"MABSY\") [(\"+\", Con \"Rok\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:45.970803823+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"FD\", varSymRight = \"T\"}parseValue \"FD + T\" = Nothing; expected Just (InfixCons (Con \"FD\") [(\"+\", Con \"T\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.085022056+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"Q1FeP\", varSymRight = \"N5Xf\"}parseValue \"Q1FeP + N5Xf\" = Nothing; expected Just (InfixCons (Con \"Q1FeP\") [(\"+\", Con \"N5Xf\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.199042650+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"M1\", varSymRight = \"L4m\"}parseValue \"M1 + L4m\" = Nothing; expected Just (InfixCons (Con \"M1\") [(\"+\", Con \"L4m\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.313119920+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"V6XRe\", varSymRight = \"Gu\"}parseValue \"V6XRe + Gu\" = Nothing; expected Just (InfixCons (Con \"V6XRe\") [(\"+\", Con \"Gu\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.427205686+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"IZmV\", varSymRight = \"VUx\"}parseValue \"IZmV + VUx\" = Nothing; expected Just (InfixCons (Con \"IZmV\") [(\"+\", Con \"VUx\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.542190126+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "974us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.666586679+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1002us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.791114886+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "960us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:46.905567756+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1007us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.030031892+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1010us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.154570899+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "982us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.268969598+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "983us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.383095068+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "961us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.497183559+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "941us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.611329523+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "956us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.726339156+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "145us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.850770670+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:47.995654202+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "154us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.119955803+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.244680383+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "144us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.369071171+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "148us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.493546266+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.607737964+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.721937651+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.836673351+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "falsify",
      "counterexample": "VarSymInfixArgs {varSymLeft = \"A\", varSymRight = \"A\"}: parseValue \"A + A\" = Nothing; expected Just (InfixCons (Con \"A\") [(\"+\", Con \"A\")])",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:48.951935856+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.076593100+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.190806249+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.305094601+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.419254811+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.533695283+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.647849963+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.761877266+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.875995277+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "VarsymInfixParses",
      "mutations": [
        "varsym_infix_4a810ee5_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:49.990270101+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"VarSymInfixArgs {varSymLeft = \\\"A\\\", varSymRight = \\\"A\\\"}\"] (PropertyFalse Nothing)",
      "hash": "e8c129923f6c69b07697c3572ad7fd8979966e26"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.117057762+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "148us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"of\"}parseValue \"of\" = Nothing; expected Just (Con \"of\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.231221188+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"import\"}parseValue \"import\" = Nothing; expected Just (Con \"import\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.345398891+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"newtype\"}parseValue \"newtype\" = Nothing; expected Just (Con \"newtype\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.459720873+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.573868717+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.687946640+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"else\"}parseValue \"else\" = Nothing; expected Just (Con \"else\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.802052734+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"of\"}parseValue \"of\" = Nothing; expected Just (Con \"of\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:55.916166824+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"where\"}parseValue \"where\" = Nothing; expected Just (Con \"where\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.030115348+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"module\"}parseValue \"module\" = Nothing; expected Just (Con \"module\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.144121016+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ResIdConArgs {resIdConWord = \"deriving\"}parseValue \"deriving\" = Nothing; expected Just (Con \"deriving\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.269877522+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "908us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.383915720+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "889us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.497967203+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "828us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.612015103+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "877us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.726109366+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "883us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.840213427+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "918us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:56.954314062+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "855us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.068414386+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "889us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.192809677+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "862us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.317179331+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "860us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.442531566+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.556675752+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.681135584+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.805512852+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:57.919714635+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.033855535+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.147948455+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.262176979+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.386403365+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.500688885+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ResIdConArgs {resIdConWord = \"case\"}: parseValue \"case\" = Nothing; expected Just (Con \"case\" [])",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.615839867+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.729912119+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.843955908+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:58.958447328+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:59.072522024+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:59.186490603+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:59.300467397+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:59.414560257+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:59.529329672+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReservedIdConParses",
      "mutations": [
        "reserved_id_con_cfb8b434_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:59.643455082+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ResIdConArgs {resIdConWord = \\\"case\\\"}\"] (PropertyFalse Nothing)",
      "hash": "38932f89f5e7eaa2c9e32422d0cf6fc4bae61f3f"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.873817955+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "177us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"Ap7\", conLeadArg = 319, conTrailA = 58, conTrailB = 54}parseValue \"(Ap7 319) 58 54\" = Just (Con \"\" [Con \"Ap7\" [Integer \"319\"],Integer \"58\",Integer \"54\"]); expected Just Con \"Ap7\" [Integer \"319\",Integer \"58\",Integer \"54\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.988333512+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "186us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"J\", conLeadArg = 590, conTrailA = 808, conTrailB = 956}parseValue \"(J 590) 808 956\" = Just (Con \"\" [Con \"J\" [Integer \"590\"],Integer \"808\",Integer \"956\"]); expected Just Con \"J\" [Integer \"590\",Integer \"808\",Integer \"956\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.102507222+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "176us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"HRM4l\", conLeadArg = 307, conTrailA = 521, conTrailB = 169}parseValue \"(HRM4l 307) 521 169\" = Just (Con \"\" [Con \"HRM4l\" [Integer \"307\"],Integer \"521\",Integer \"169\"]); expected Just Con \"HRM4l\" [Integer \"307\",Integer \"521\",Integer \"169\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.216566860+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "175us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"NXjWJ\", conLeadArg = 159, conTrailA = 374, conTrailB = 936}parseValue \"(NXjWJ 159) 374 936\" = Just (Con \"\" [Con \"NXjWJ\" [Integer \"159\"],Integer \"374\",Integer \"936\"]); expected Just Con \"NXjWJ\" [Integer \"159\",Integer \"374\",Integer \"936\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.330644962+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "175us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"Ty\", conLeadArg = 251, conTrailA = 51, conTrailB = 541}parseValue \"(Ty 251) 51 541\" = Just (Con \"\" [Con \"Ty\" [Integer \"251\"],Integer \"51\",Integer \"541\"]); expected Just Con \"Ty\" [Integer \"251\",Integer \"51\",Integer \"541\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.444727682+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "174us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"CzZAs\", conLeadArg = 264, conTrailA = 249, conTrailB = 199}parseValue \"(CzZAs 264) 249 199\" = Just (Con \"\" [Con \"CzZAs\" [Integer \"264\"],Integer \"249\",Integer \"199\"]); expected Just Con \"CzZAs\" [Integer \"264\",Integer \"249\",Integer \"199\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.558875687+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "176us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"OIsvM\", conLeadArg = 516, conTrailA = 266, conTrailB = 521}parseValue \"(OIsvM 516) 266 521\" = Just (Con \"\" [Con \"OIsvM\" [Integer \"516\"],Integer \"266\",Integer \"521\"]); expected Just Con \"OIsvM\" [Integer \"516\",Integer \"266\",Integer \"521\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.672956895+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "174us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"USO\", conLeadArg = 180, conTrailA = 862, conTrailB = 137}parseValue \"(USO 180) 862 137\" = Just (Con \"\" [Con \"USO\" [Integer \"180\"],Integer \"862\",Integer \"137\"]); expected Just Con \"USO\" [Integer \"180\",Integer \"862\",Integer \"137\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.787127479+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"E\", conLeadArg = 95, conTrailA = 157, conTrailB = 910}parseValue \"(E 95) 157 910\" = Just (Con \"\" [Con \"E\" [Integer \"95\"],Integer \"157\",Integer \"910\"]); expected Just Con \"E\" [Integer \"95\",Integer \"157\",Integer \"910\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.901236589+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "174us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ConsExtraArgs {conLeadName = \"S\", conLeadArg = 407, conTrailA = 714, conTrailB = 395}parseValue \"(S 407) 714 395\" = Just (Con \"\" [Con \"S\" [Integer \"407\"],Integer \"714\",Integer \"395\"]); expected Just Con \"S\" [Integer \"407\",Integer \"714\",Integer \"395\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.016710142+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1019us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.130938934+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1019us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.244959269+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1026us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.359919933+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1045us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.474111406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "988us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.598323587+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1035us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.712787107+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "990us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.826863406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1142us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.951089613+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1032us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.075359431+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1050us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.200720163+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.314789679+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "181us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.428700259+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.542813877+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "148us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.666996693+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.781171866+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:07.905356736+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.019775693+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "144us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.133782943+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.247761299+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ConsExtraArgs {conLeadName = \"A\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}: parseValue \"(A 0) 0 0\" = Just (Con \"\" [Con \"A\" [Integer \"0\"],Integer \"0\",Integer \"0\"]); expected Just Con \"A\" [Integer \"0\",Integer \"0\",Integer \"0\"]",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.363073301+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.487257469+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.601393068+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.715492540+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.829702849+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "85us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:08.954451960+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:09.078941899+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:09.203314699+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:09.317446331+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ConstructorExtraArgs",
      "mutations": [
        "constructor_extra_args_6fb39a38_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:09.431538209+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ConsExtraArgs {conLeadName = \\\"A\\\", conLeadArg = 0, conTrailA = 0, conTrailB = 0}\"] (PropertyFalse Nothing)",
      "hash": "13215a4269381b52ecc519f2b5b8a652b567d9ba"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:23.458505105+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1062us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:23.572703574+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1083us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:23.696788610+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1101us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:23.810758593+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1083us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:23.925295092+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1072us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.039193212+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1110us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.153197258+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1085us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.277408459+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1076us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.391586760+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1091us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.505563196+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1074us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.621010993+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4414us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.735158478+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4658us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.859417086+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4482us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:24.973822862+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4404us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.087851956+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4339us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.201824584+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4479us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.315830915+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4361us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.429843818+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4321us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.543869986+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4395us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.657799564+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "4490us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.773190636+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2186us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:25.887183162+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2211us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.001578117+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2208us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.115705654+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2231us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.229789179+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2167us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.343921064+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2131us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.458073848+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2072us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.572208508+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2111us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.686969413+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2135us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "falsify",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.801059180+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2137us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.916998804+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "613us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.031175993+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "626us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.155638733+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "660us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.280406173+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "611us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.394650598+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "630us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.508729083+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "720us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.622802328+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "635us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.737043596+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "627us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.851186791+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "605us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-show",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "HexLiteralJoin",
      "mutations": [
        "hex_literal_join_546f1862_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.965747835+00:00",
      "status": "passed",
      "tests": 144,
      "discards": 0,
      "time": "638us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "454989feb51bcc5282725eb939d1ea9c230a1f23"
    }
  ]
}