{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:59 UTC",
  "workload_docs": {
    "pretty-simple": [
      {
        "mutations": [
          "parse_other_greedy_3adbc187_1"
        ],
        "tasks": [
          {
            "property": "IdentifierNotSplit",
            "witnesses": [
              {
                "test_fn": "witness_identifier_not_split_case_foo1",
                "note": "expressionParse \"foo1\" must equal [Other \"foo1\"]"
              },
              {
                "test_fn": "witness_identifier_not_split_case_bar123",
                "note": "expressionParse \"bar123\" must equal [Other \"bar123\"]"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/cdepillabout/pretty-simple",
          "commits": [
            "3adbc1874ca3a94729bc409bf4be62c8e8f5c173"
          ],
          "commit_subjects": [
            "fix issue with 'greediness' in parsing integers"
          ],
          "origin": "internal",
          "summary": "parseOther used to be `span (\\c -> notElem c \"{[()]}\\\"\\\",\" && not (isDigit c))`, which stopped at the first digit. For input `foo1` it produced `[Other \"foo\", NumberLit \"1\"]` instead of `[Other \"foo1\"]`. The fix tracks identifier context, so digits inside Haskell-style identifiers are absorbed into the surrounding `Other` token."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Text/Pretty/Simple/Internal/ExprParser.hs"
          ],
          "locations": [
            {
              "file": "src/Text/Pretty/Simple/Internal/ExprParser.hs",
              "line": 159,
              "symbol": "parseOther"
            }
          ],
          "patch": "patches/parse_other_greedy_3adbc187_1.patch"
        },
        "bug": {
          "short_name": "parseOther_greedy_on_idents",
          "invariant": "expressionParse on a Haskell-style identifier followed by digits (e.g. `foo1`, `bar123`) returns exactly one Other token whose payload is the full input. No NumberLit may appear in the result.",
          "how_triggered": "Reverse-applying the patch swaps the new identifier-tracking parseOther for the simple `span` definition. Calling expressionParse \"foo1\" then returns [Other \"foo\", NumberLit \"1\"] instead of [Other \"foo1\"]."
        }
      },
      {
        "mutations": [
          "parse_other_apostrophe_7639db45_1"
        ],
        "tasks": [
          {
            "property": "ApostropheInIdentifier",
            "witnesses": [
              {
                "test_fn": "witness_apostrophe_in_identifier_case_foo_prime",
                "note": "expressionParse \"foo'\" must equal [Other \"foo'\"]"
              },
              {
                "test_fn": "witness_apostrophe_in_identifier_case_node_double",
                "note": "expressionParse \"Node''\" must equal [Other \"Node''\"]"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/cdepillabout/pretty-simple",
          "commits": [
            "7639db45ac76b1fdc9bd8d4a591c8699be89b4e8"
          ],
          "commit_subjects": [
            "Fix parsing for identifiers containing \"'\""
          ],
          "origin": "internal",
          "summary": "parseOther used to treat `'` as a terminator (in `\"{[()]}\\\"'\\\",\"`) and didn't track apostrophes inside identifiers. For input `Node'` it produced `[Other \"Node\", CharLit \"\"]` instead of `[Other \"Node'\"]`. The fix removes `'` from the terminator set and adds `ignoreInIdent` so apostrophes are absorbed into the surrounding identifier."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Text/Pretty/Simple/Internal/ExprParser.hs"
          ],
          "locations": [
            {
              "file": "src/Text/Pretty/Simple/Internal/ExprParser.hs",
              "line": 169,
              "symbol": "parseOther"
            }
          ],
          "patch": "patches/parse_other_apostrophe_7639db45_1.patch"
        },
        "bug": {
          "short_name": "parseOther_splits_at_apostrophe",
          "invariant": "expressionParse on a Haskell-style identifier followed by one-or-more apostrophes (e.g. `foo'`, `Node''`) returns exactly one Other token whose payload is the full input. No CharLit may appear in the result.",
          "how_triggered": "Reverse-applying the patch puts `'` back in the terminator set and removes the `ignoreInIdent` helper. Calling expressionParse \"Node'\" then returns [Other \"Node\", CharLit \"\"] instead of [Other \"Node'\"]."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.306904256+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"_WgCGXl\", trailingDigits = \"53\"}expressionParse \"_WgCGXl53\" = [Other \"_WgCGXl\",NumberLit \"53\"]; expected [Other \"_WgCGXl53\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.604176523+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"UJNx\", trailingDigits = \"237\"}expressionParse \"UJNx237\" = [Other \"UJNx\",NumberLit \"237\"]; expected [Other \"UJNx237\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.902697696+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"zNKVN\", trailingDigits = \"171\"}expressionParse \"zNKVN171\" = [Other \"zNKVN\",NumberLit \"171\"]; expected [Other \"zNKVN171\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.191116524+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"PqqVBoM\", trailingDigits = \"1661\"}expressionParse \"PqqVBoM1661\" = [Other \"PqqVBoM\",NumberLit \"1661\"]; expected [Other \"PqqVBoM1661\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.479862916+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"Z\", trailingDigits = \"2331\"}expressionParse \"Z2331\" = [Other \"Z\",NumberLit \"2331\"]; expected [Other \"Z2331\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.778884750+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"Yk\", trailingDigits = \"02\"}expressionParse \"Yk02\" = [Other \"Yk\",NumberLit \"02\"]; expected [Other \"Yk02\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.067398718+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"HDFMQ_\", trailingDigits = \"9309\"}expressionParse \"HDFMQ_9309\" = [Other \"HDFMQ_\",NumberLit \"9309\"]; expected [Other \"HDFMQ_9309\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.366321836+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"Nmalt\", trailingDigits = \"4373\"}expressionParse \"Nmalt4373\" = [Other \"Nmalt\",NumberLit \"4373\"]; expected [Other \"Nmalt4373\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.665139237+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"unBoMZg\", trailingDigits = \"09\"}expressionParse \"unBoMZg09\" = [Other \"unBoMZg\",NumberLit \"09\"]; expected [Other \"unBoMZg09\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.964750902+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentDigitsArgs {identPrefix = \"EvDFl\", trailingDigits = \"5\"}expressionParse \"EvDFl5\" = [Other \"EvDFl\",NumberLit \"5\"]; expected [Other \"EvDFl5\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.263765746+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3562us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.562451541+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3658us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.851136682+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3657us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.141122212+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3529us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.439838659+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3616us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.738362813+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3654us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.027751840+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3578us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.326659020+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3521us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.625891721+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3545us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.914455358+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3495us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.213124836+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.512001070+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.800391361+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.089435889+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.388478569+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "140us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.686619366+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:53.985948749+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.285005831+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.583807029+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "148us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:54.882862548+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}: expressionParse \"a0\" = [Other \"a\",NumberLit \"0\"]; expected [Other \"a0\"]",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.174029989+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.473433874+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:55.772789206+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.072116436+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.370956246+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.659391704+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.949664253+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.248280292+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.536698971+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IdentifierNotSplit",
      "mutations": [
        "parse_other_greedy_3adbc187_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.825172122+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentDigitsArgs {identPrefix = \\\"a\\\", trailingDigits = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "f94e8d8c7b742f57af0d175dfc2363c1e4ef81ca"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:01.907325646+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"u\", apostropheCount = 1}expressionParse \"u'\" = [Other \"u\",CharLit \"\"]; expected [Other \"u'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:02.206107645+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"Ub\", apostropheCount = 3}expressionParse \"Ub'''\" = [Other \"Ub\",CharLit \"\",CharLit \"\"]; expected [Other \"Ub'''\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:02.504854902+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"W\", apostropheCount = 3}expressionParse \"W'''\" = [Other \"W\",CharLit \"\",CharLit \"\"]; expected [Other \"W'''\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:02.803875964+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"auLTWO\", apostropheCount = 1}expressionParse \"auLTWO'\" = [Other \"auLTWO\",CharLit \"\"]; expected [Other \"auLTWO'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:03.092555100+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "177us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"XIXa\", apostropheCount = 3}expressionParse \"XIXa'''\" = [Other \"XIXa\",CharLit \"\",CharLit \"\"]; expected [Other \"XIXa'''\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:03.391037065+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"ItiWgw\", apostropheCount = 1}expressionParse \"ItiWgw'\" = [Other \"ItiWgw\",CharLit \"\"]; expected [Other \"ItiWgw'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:03.679495139+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"DyJXl\", apostropheCount = 2}expressionParse \"DyJXl''\" = [Other \"DyJXl\",CharLit \"\"]; expected [Other \"DyJXl''\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:03.977395118+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"AYDP\", apostropheCount = 2}expressionParse \"AYDP''\" = [Other \"AYDP\",CharLit \"\"]; expected [Other \"AYDP''\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:04.276217942+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"gOqu\", apostropheCount = 1}expressionParse \"gOqu'\" = [Other \"gOqu\",CharLit \"\"]; expected [Other \"gOqu'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:04.575383072+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "IdentApostropheArgs {apostIdent = \"FDi\", apostropheCount = 2}expressionParse \"FDi''\" = [Other \"FDi\",CharLit \"\"]; expected [Other \"FDi''\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:04.875045807+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3694us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.163988373+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3717us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.462978494+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3755us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.762006346+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3704us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.061552617+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3712us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.350518715+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3691us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.649886181+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "4090us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.949043536+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3652us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.248208091+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3736us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.547347739+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3659us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.846598251+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.147229519+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.435758630+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.734586266+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.053848446+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.352574807+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.652095192+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.941251093+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.240593205+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.540116965+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "falsify",
      "counterexample": "IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}: expressionParse \"a'\" = [Other \"a\",CharLit \"\"]; expected [Other \"a'\"]",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:10.829423338+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.117743593+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.406699148+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.695196484+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:11.984128063+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:12.272909120+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:12.561302232+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:12.850563368+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:13.139643768+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    },
    {
      "experiment": "ci-run",
      "workload": "pretty-simple",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ApostropheInIdentifier",
      "mutations": [
        "parse_other_apostrophe_7639db45_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:13.428344896+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"IdentApostropheArgs {apostIdent = \\\"a\\\", apostropheCount = 1}\"] (PropertyFalse Nothing)",
      "hash": "0920ea6b97a3232c66a8e7d8cad2853bdad17b39"
    }
  ]
}