{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 17:45 UTC",
  "workload_docs": {
    "bytestring-trie": [
      {
        "mutations": [
          "mergeby_arg_order_68ef3934_1"
        ],
        "tasks": [
          {
            "property": "MergeByLeftBiased",
            "witnesses": [
              {
                "test_fn": "witness_merge_by_left_biased_case_epsilon_right",
                "note": "mergeBy const with right-side epsilon arc must return left's value at shared key 'a'"
              },
              {
                "test_fn": "witness_merge_by_left_biased_case_epsilon_left",
                "note": "symmetric case with epsilon arc on the left side"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/wrengr/bytestring-trie",
          "commits": [
            "68ef3934af3c6d7c91a4bae78cd07a44368637d8"
          ],
          "commit_subjects": [
            "Data.Trie.Internal: mergeBy argument order bugfix"
          ],
          "origin": "internal",
          "summary": "In mergeBy's `start` helper, the right-epsilon case @start t0 (Arc k1 (Just v1) s1) | S.null k1@ recursed with the trie arguments swapped (`go s1 t0` instead of `go t0 s1`). When the merge function is non-commutative (e.g. `\\\\x _ -> Just x` to take the left value on conflict), this caused values to be passed to it in the wrong order whenever the right input had an epsilon entry whose subtrie shared keys with the left."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Trie/Internal.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Trie/Internal.hs",
              "line": 2166,
              "symbol": "mergeBy"
            }
          ],
          "patch": "patches/mergeby_arg_order_68ef3934_1.patch"
        },
        "bug": {
          "short_name": "mergeBy_swaps_args_in_right_epsilon_case",
          "invariant": "For any tries a, b and any key k present in both, `lookup k (mergeBy (\\\\x _ -> Just x) a b)` must equal `lookup k a`. (Left-biased union picks the left value on conflict.)",
          "how_triggered": "Reverse-applying the patch swaps the order of arguments in `go t0 s1` to `go s1 t0` inside mergeBy's right-epsilon `start` arm. Calling `mergeBy (\\\\x _ -> Just x) (singleton \"a\" 1) (fromList [(\"\",99),(\"a\",2)])` then yields `[(\"\",99),(\"a\",2)]` instead of `[(\"\",99),(\"a\",1)]`."
        }
      },
      {
        "mutations": [
          "delete_submap_keeps_children_c7caacad_1"
        ],
        "tasks": [
          {
            "property": "DeleteSubmapRemovesAllPrefixed",
            "witnesses": [
              {
                "test_fn": "witness_delete_submap_removes_all_prefixed_case_two_children",
                "note": "deleting prefix \"a\" from {ab,ac} must leave the trie empty of any \"a*\" keys"
              },
              {
                "test_fn": "witness_delete_submap_removes_all_prefixed_case_deep",
                "note": "deleting prefix \"a\" from a trie with both shallow and deep \"a*\" keys leaves only \"b\""
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/wrengr/bytestring-trie",
          "commits": [
            "c7caacad932d17dc1538dfbaec58767600741151"
          ],
          "commit_subjects": [
            "Changed type of alterBy_, bugfix in deleteSubmap, more deleteSubmap tests"
          ],
          "origin": "internal",
          "summary": "deleteSubmap was implemented as `alterBy_ (\\\\_ _ _ t -> (Nothing, t))` which removed the value at the prefix node but kept the entire subtrie of children intact, leaving every key beginning with the prefix still present. The fix passes `empty` as the new subtree (`alterBy_ (\\\\_ _ -> (Nothing, empty))`), genuinely removing all prefixed keys."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Trie.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Trie.hs",
              "line": 179,
              "symbol": "deleteSubmap"
            }
          ],
          "patch": "patches/delete_submap_keeps_children_c7caacad_1.patch"
        },
        "bug": {
          "short_name": "deleteSubmap_keeps_children",
          "invariant": "For any trie t and prefix q, after `deleteSubmap q t` no key in the result starts with q.",
          "how_triggered": "Reverse-applying the patch replaces `(\\\\_ _ -> (Nothing, empty))` with `(\\\\_ t -> (Nothing, t))`, so the function returns the original subtree instead of an empty one. Calling `deleteSubmap \"a\" (fromList [(\"ab\",1),(\"ac\",2)])` then leaves both \"ab\" and \"ac\" in the result instead of producing the empty trie."
        }
      },
      {
        "mutations": [
          "merge_maybe_drops_left_only_10bfe2dd_1"
        ],
        "tasks": [
          {
            "property": "MergeByLeftBiased",
            "witnesses": [
              {
                "test_fn": "witness_merge_by_left_biased_case_left_only_at_intermediate",
                "note": "mergeBy const where right has an intermediate-node prefix must keep the left's value at that prefix"
              },
              {
                "test_fn": "witness_merge_by_left_biased_case_right_only_at_intermediate",
                "note": "symmetric scaffolding case (passes under the bug; included so the witness suite documents the asymmetry)"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/wrengr/bytestring-trie",
          "commits": [
            "10bfe2dd869420a8a1b46b22d21034cc465e5581"
          ],
          "commit_subjects": [
            "Data.Trie.Internal: Fixed another missing case bug in mergeBy. The bug is tripped when unioning two tries with epsilon keys"
          ],
          "origin": "internal",
          "summary": "Synthetic patch in the same family as the historical missing-case bug fixed by 10bfe2dd (which factored mergeMaybe out of mergeBy). Modern mergeMaybe handles all four (Maybe a, Maybe a) combinations explicitly. We re-introduce a missing-case-style bug by making the (Just _, Nothing) case return Nothing instead of preserving the left value, so unions drop left-only entries at any internal-Branch position where the right trie has an Arc with mv=Nothing at the same key."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Trie/Internal.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Trie/Internal.hs",
              "line": 2220,
              "symbol": "mergeMaybe"
            }
          ],
          "patch": "patches/merge_maybe_drops_left_only_10bfe2dd_1.patch"
        },
        "bug": {
          "short_name": "mergeMaybe_drops_left_only",
          "invariant": "For any tries a, b and any key k present in both, `lookup k (mergeBy (\\\\x _ -> Just x) a b)` must equal `lookup k a`. In particular, when @a@ has @k → v@ and @b@ has @k → ⊥@ (no value, only an intermediate Branch at that key), the merged trie must still map @k → v@.",
          "how_triggered": "Reverse-applying the patch changes mergeMaybe's `(Just _, Nothing) -> mv0` arm into `(Just _, Nothing) -> Nothing`. Computing `mergeBy const (singleton \"ab\" 1) (fromList [(\"abc\",2),(\"abd\",3)])` then loses the \"ab\"=>1 entry, since the right trie has an Arc \"ab\" Nothing intermediate node and mergeMaybe is invoked with mv0=Just 1 / mv1=Nothing in the (True,True) recursion case."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:41.688485780+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"d\",876)], mRight = [(\"ba\",422),(\"dacc\",130),(\"c\",947),(\"\",116),(\"ad\",101),(\"d\",554)]}MergeByLeftBiased: key \"d\" got Just 554 expected Just 876 (left=[(\"d\",876)] right=[(\"ba\",422),(\"dacc\",130),(\"c\",947),(\"\",116),(\"ad\",101),(\"d\",554)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:41.802221723+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "348us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"c\",778)], mRight = [(\"\",229),(\"\",578),(\"\",384),(\"bbaa\",671),(\"ca\",758),(\"bbdd\",269),(\"c\",932)]}MergeByLeftBiased: key \"c\" got Just 932 expected Just 778 (left=[(\"c\",778)] right=[(\"\",229),(\"\",578),(\"\",384),(\"bbaa\",671),(\"ca\",758),(\"bbdd\",269),(\"c\",932)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:41.905958703+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"b\",260)], mRight = [(\"b\",47),(\"\",10),(\"acda\",965),(\"\",254),(\"bb\",660),(\"adda\",61)]}MergeByLeftBiased: key \"b\" got Just 47 expected Just 260 (left=[(\"b\",260)] right=[(\"b\",47),(\"\",10),(\"acda\",965),(\"\",254),(\"bb\",660),(\"adda\",61)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.009702093+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "275us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"cbc\",403),(\"ab\",344),(\"cdb\",935),(\"a\",370),(\"bb\",861),(\"dcc\",636),(\"cc\",339)], mRight = [(\"a\",482),(\"dc\",108),(\"cbba\",991),(\"ca\",110),(\"\",829),(\"\",449),(\"c\",173)]}MergeByLeftBiased: key \"a\" got Just 482 expected Just 370 (left=[(\"cbc\",403),(\"ab\",344),(\"cdb\",935),(\"a\",370),(\"bb\",861),(\"dcc\",636),(\"cc\",339)] right=[(\"a\",482),(\"dc\",108),(\"cbba\",991),(\"ca\",110),(\"\",829),(\"\",449),(\"c\",173)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.113466404+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "287us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"bdad\",975),(\"adda\",5),(\"ddda\",775),(\"da\",617),(\"d\",40),(\"d\",139),(\"b\",547),(\"cdc\",276)], mRight = [(\"c\",609),(\"\",636),(\"d\",280),(\"caa\",418),(\"b\",889),(\"badd\",688)]}MergeByLeftBiased: key \"b\" got Just 889 expected Just 547 (left=[(\"bdad\",975),(\"adda\",5),(\"ddda\",775),(\"da\",617),(\"d\",40),(\"d\",139),(\"b\",547),(\"cdc\",276)] right=[(\"c\",609),(\"\",636),(\"d\",280),(\"caa\",418),(\"b\",889),(\"badd\",688)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.217318839+00:00",
      "status": "failed",
      "tests": 83,
      "discards": 0,
      "time": "1571us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"ab\",147)], mRight = [(\"c\",122),(\"ad\",335),(\"ab\",349),(\"bb\",511),(\"\",185)]}MergeByLeftBiased: key \"ab\" got Just 349 expected Just 147 (left=[(\"ab\",147)] right=[(\"c\",122),(\"ad\",335),(\"ab\",349),(\"bb\",511),(\"\",185)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.331341509+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "397us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"d\",400),(\"dbdd\",193),(\"c\",472)], mRight = [(\"ac\",393),(\"dabb\",987),(\"d\",246),(\"acaa\",511),(\"\",692),(\"\",698),(\"d\",137)]}MergeByLeftBiased: key \"d\" got Just 137 expected Just 400 (left=[(\"d\",400),(\"dbdd\",193),(\"c\",472)] right=[(\"ac\",393),(\"dabb\",987),(\"d\",246),(\"acaa\",511),(\"\",692),(\"\",698),(\"d\",137)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.445404514+00:00",
      "status": "failed",
      "tests": 56,
      "discards": 0,
      "time": "1014us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"b\",723),(\"ac\",43),(\"a\",730),(\"b\",731),(\"cabc\",693),(\"ca\",798)], mRight = [(\"b\",532),(\"ab\",987),(\"aac\",76),(\"accd\",896),(\"adb\",44),(\"c\",473),(\"dc\",446),(\"\",395)]}MergeByLeftBiased: key \"b\" got Just 532 expected Just 731 (left=[(\"b\",723),(\"ac\",43),(\"a\",730),(\"b\",731),(\"cabc\",693),(\"ca\",798)] right=[(\"b\",532),(\"ab\",987),(\"aac\",76),(\"accd\",896),(\"adb\",44),(\"c\",473),(\"dc\",446),(\"\",395)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.549226602+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "551us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"cdb\",116),(\"ba\",451),(\"ca\",0),(\"d\",352),(\"aadb\",80),(\"da\",735),(\"c\",756)], mRight = [(\"a\",838),(\"d\",70),(\"daa\",668),(\"cbdc\",749),(\"ac\",651),(\"\",787),(\"d\",508),(\"dbcc\",340)]}MergeByLeftBiased: key \"d\" got Just 508 expected Just 352 (left=[(\"cdb\",116),(\"ba\",451),(\"ca\",0),(\"d\",352),(\"aadb\",80),(\"da\",735),(\"c\",756)] right=[(\"a\",838),(\"d\",70),(\"daa\",668),(\"cbdc\",749),(\"ac\",651),(\"\",787),(\"d\",508),(\"dbcc\",340)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.653148247+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "714us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"d\",299),(\"da\",14)], mRight = [(\"\",864),(\"d\",224),(\"ada\",839),(\"b\",482),(\"abab\",314)]}MergeByLeftBiased: key \"d\" got Just 224 expected Just 299 (left=[(\"d\",299),(\"da\",14)] right=[(\"\",864),(\"d\",224),(\"ada\",839),(\"b\",482),(\"abab\",314)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.757111289+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "5028us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.870860328+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2836us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:42.974612037+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "5143us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.089175214+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "6272us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.192962638+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "4399us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.296785308+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "8478us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.401441758+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "5585us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.505202621+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "5347us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.608910989+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "4928us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.712585753+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "5369us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.816516765+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "6713us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"b\",0)], mRight = [(\"\",0),(\"b\",1)]}: MergeByLeftBiased: key \"b\" got Just 1 expected Just 0 (left=[(\"b\",0)] right=[(\"\",0),(\"b\",1)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:43.960328871+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2018us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"a\",1),(\"\",0)]}: MergeByLeftBiased: key \"a\" got Just 1 expected Just 0 (left=[(\"a\",0)] right=[(\"a\",1),(\"\",0)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:44.093662203+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "363us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"a\",1),(\"\",0)]}: MergeByLeftBiased: key \"a\" got Just 1 expected Just 0 (left=[(\"a\",0)] right=[(\"a\",1),(\"\",0)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:44.217498353+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "932us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"c\",0)], mRight = [(\"\",0),(\"c\",1)]}: MergeByLeftBiased: key \"c\" got Just 1 expected Just 0 (left=[(\"c\",0)] right=[(\"\",0),(\"c\",1)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:44.331286143+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "353us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"a\",1),(\"\",0)]}: MergeByLeftBiased: key \"a\" got Just 1 expected Just 0 (left=[(\"a\",0)] right=[(\"a\",1),(\"\",0)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:44.465245866+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "4656us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"\",0),(\"a\",1)]}: MergeByLeftBiased: key \"a\" got Just 1 expected Just 0 (left=[(\"a\",0)] right=[(\"\",0),(\"a\",1)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:44.589058346+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1750us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"b\",0)], mRight = [(\"b\",1),(\"\",0)]}: MergeByLeftBiased: key \"b\" got Just 1 expected Just 0 (left=[(\"b\",0)] right=[(\"b\",1),(\"\",0)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:44.743002011+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2710us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"b\",0)], mRight = [(\"\",0),(\"b\",1)]}: MergeByLeftBiased: key \"b\" got Just 1 expected Just 0 (left=[(\"b\",0)] right=[(\"\",0),(\"b\",1)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:44.887129334+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "688us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"b\",0)], mRight = [(\"\",0),(\"b\",1)]}: MergeByLeftBiased: key \"b\" got Just 1 expected Just 0 (left=[(\"b\",0)] right=[(\"\",0),(\"b\",1)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.021150643+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1011us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"b\",0)], mRight = [(\"b\",1),(\"\",0)]}: MergeByLeftBiased: key \"b\" got Just 1 expected Just 0 (left=[(\"b\",0)] right=[(\"b\",1),(\"\",0)])",
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.165236245+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "352us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.279130146+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "344us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.393037170+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "333us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.496834502+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "322us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.600589836+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "352us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.704348324+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "321us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.808305307+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "337us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:45.912054610+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "325us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:46.015834751+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "320us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "mergeby_arg_order_68ef3934_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:46.119529319+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "324us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "3dc688d63cacee21e39821cfc8e40b248225aaf4"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:52.872377815+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "140us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"ccd\",79),(\"ddda\",400),(\"\",776),(\"\",813),(\"\",124)], dPrefix = \"d\"}DeleteSubmapRemovesAllPrefixed: prefix \"d\" left over [(\"ddda\",400)] (entries=[(\"ccd\",79),(\"ddda\",400),(\"\",776),(\"\",813),(\"\",124)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:52.976198609+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "162us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"bc\",891),(\"dbc\",656),(\"b\",281),(\"cc\",750),(\"bdc\",702),(\"dd\",331),(\"abd\",247),(\"aada\",740)], dPrefix = \"b\"}DeleteSubmapRemovesAllPrefixed: prefix \"b\" left over [(\"bc\",891),(\"bdc\",702)] (entries=[(\"bc\",891),(\"dbc\",656),(\"b\",281),(\"cc\",750),(\"bdc\",702),(\"dd\",331),(\"abd\",247),(\"aada\",740)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.079887556+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "179us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"cb\",729),(\"ccb\",384),(\"ccc\",997),(\"caa\",761),(\"addc\",70),(\"b\",404)], dPrefix = \"c\"}DeleteSubmapRemovesAllPrefixed: prefix \"c\" left over [(\"caa\",761),(\"cb\",729),(\"ccb\",384),(\"ccc\",997)] (entries=[(\"cb\",729),(\"ccb\",384),(\"ccc\",997),(\"caa\",761),(\"addc\",70),(\"b\",404)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.183725322+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"cd\",749),(\"ccd\",634),(\"\",716),(\"bb\",623)], dPrefix = \"\"}DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"bb\",623),(\"ccd\",634),(\"cd\",749)] (entries=[(\"cd\",749),(\"ccd\",634),(\"\",716),(\"bb\",623)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.287459416+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"\",951),(\"acb\",824),(\"\",805),(\"dbb\",312),(\"\",324)], dPrefix = \"\"}DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"acb\",824),(\"dbb\",312)] (entries=[(\"\",951),(\"acb\",824),(\"\",805),(\"dbb\",312),(\"\",324)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.401372773+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "177us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"b\",89),(\"bcca\",944),(\"b\",620),(\"a\",964),(\"aa\",209),(\"b\",886),(\"\",540),(\"cb\",538)], dPrefix = \"\"}DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",964),(\"aa\",209),(\"b\",886),(\"bcca\",944),(\"cb\",538)] (entries=[(\"b\",89),(\"bcca\",944),(\"b\",620),(\"a\",964),(\"aa\",209),(\"b\",886),(\"\",540),(\"cb\",538)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.515229904+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "231us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"b\",172),(\"bcca\",904),(\"a\",265),(\"dbad\",715),(\"acab\",510)], dPrefix = \"a\"}DeleteSubmapRemovesAllPrefixed: prefix \"a\" left over [(\"acab\",510)] (entries=[(\"b\",172),(\"bcca\",904),(\"a\",265),(\"dbad\",715),(\"acab\",510)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.629031622+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"ccb\",315),(\"aa\",393),(\"\",644)], dPrefix = \"\"}DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"aa\",393),(\"ccb\",315)] (entries=[(\"ccb\",315),(\"aa\",393),(\"\",644)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.742813592+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"c\",127),(\"bc\",495),(\"acad\",760),(\"cc\",598),(\"ccdb\",252)], dPrefix = \"ac\"}DeleteSubmapRemovesAllPrefixed: prefix \"ac\" left over [(\"acad\",760)] (entries=[(\"c\",127),(\"bc\",495),(\"acad\",760),(\"cc\",598),(\"ccdb\",252)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.846598089+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DelArgs {dEntries = [(\"cad\",102),(\"bac\",853),(\"aad\",869),(\"addb\",642),(\"a\",84)], dPrefix = \"\"}DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",84),(\"aad\",869),(\"addb\",642),(\"bac\",853),(\"cad\",102)] (entries=[(\"cad\",102),(\"bac\",853),(\"aad\",869),(\"addb\",642),(\"a\",84)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:53.950698806+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1727us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.054409855+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1584us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.168454887+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1514us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.282319681+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1848us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.396172546+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1625us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.499967617+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1535us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.603812122+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1761us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.717626236+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1708us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.821400968+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1698us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:54.925149298+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1559us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.029269383+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "325us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.133165163+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "353us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.236831170+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1222us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.340502307+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "273us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.444156663+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.547915014+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "275us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.662236706+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "458us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.786280510+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "780us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:55.890242907+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "632us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.004059205+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "273us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DelArgs {dEntries = [(\"a\",0)], dPrefix = \"\"}: DeleteSubmapRemovesAllPrefixed: prefix \"\" left over [(\"a\",0)] (entries=[(\"a\",0)])",
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.108474694+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1676us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.212186518+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1658us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.315926073+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1640us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.419660299+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1674us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.533511175+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1671us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.637333285+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1688us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.741051643+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1684us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.844978349+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1683us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:56.949402531+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1673us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteSubmapRemovesAllPrefixed",
      "mutations": [
        "delete_submap_keeps_children_c7caacad_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:44:57.053441916+00:00",
      "status": "passed",
      "tests": 84,
      "discards": 0,
      "time": "1683us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "be29acbf05c19bdf2c5b0db69b0a01787de50578"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:03.957888656+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "371us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"ac\",154)], mRight = [(\"accd\",958),(\"acd\",494),(\"cdbd\",850),(\"cda\",571),(\"bdd\",768),(\"cab\",723),(\"daad\",970)]}MergeByLeftBiased: key \"ac\" got Nothing expected Just 154 (left=[(\"ac\",154)] right=[(\"accd\",958),(\"acd\",494),(\"cdbd\",850),(\"cda\",571),(\"bdd\",768),(\"cab\",723),(\"daad\",970)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.071921895+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "330us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"dcd\",38),(\"b\",112)], mRight = [(\"bdac\",364),(\"cbd\",158),(\"\",715),(\"\",560),(\"bc\",245)]}MergeByLeftBiased: key \"b\" got Nothing expected Just 112 (left=[(\"dcd\",38),(\"b\",112)] right=[(\"bdac\",364),(\"cbd\",158),(\"\",715),(\"\",560),(\"bc\",245)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.185983159+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "726us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"bbda\",103),(\"d\",896),(\"ba\",204),(\"\",698),(\"cd\",240)], mRight = [(\"b\",591),(\"cccc\",362),(\"dd\",684),(\"dcac\",335)]}MergeByLeftBiased: key \"d\" got Nothing expected Just 896 (left=[(\"bbda\",103),(\"d\",896),(\"ba\",204),(\"\",698),(\"cd\",240)] right=[(\"b\",591),(\"cccc\",362),(\"dd\",684),(\"dcac\",335)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.299939677+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "636us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"c\",43),(\"cd\",221),(\"acb\",817),(\"b\",929),(\"abbc\",916),(\"cdb\",819),(\"cbcc\",877),(\"\",177)], mRight = [(\"cdbd\",970),(\"cdc\",807),(\"acbb\",104),(\"cc\",250),(\"bab\",167)]}MergeByLeftBiased: key \"c\" got Nothing expected Just 43 (left=[(\"c\",43),(\"cd\",221),(\"acb\",817),(\"b\",929),(\"abbc\",916),(\"cdb\",819),(\"cbcc\",877),(\"\",177)] right=[(\"cdbd\",970),(\"cdc\",807),(\"acbb\",104),(\"cc\",250),(\"bab\",167)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.403753426+00:00",
      "status": "failed",
      "tests": 75,
      "discards": 0,
      "time": "1338us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"d\",229),(\"ad\",474),(\"bc\",899),(\"\",479),(\"cad\",403),(\"da\",108),(\"\",410)], mRight = [(\"a\",30),(\"dda\",999),(\"\",344),(\"bbb\",110),(\"ac\",713),(\"\",40),(\"bdc\",598),(\"dac\",84)]}MergeByLeftBiased: key \"d\" got Nothing expected Just 229 (left=[(\"d\",229),(\"ad\",474),(\"bc\",899),(\"\",479),(\"cad\",403),(\"da\",108),(\"\",410)] right=[(\"a\",30),(\"dda\",999),(\"\",344),(\"bbb\",110),(\"ac\",713),(\"\",40),(\"bdc\",598),(\"dac\",84)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.507622237+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "440us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"bccd\",61),(\"dd\",192),(\"\",484),(\"dab\",87),(\"ccbd\",460),(\"ba\",426),(\"a\",982)], mRight = [(\"cbc\",368),(\"b\",509),(\"dddc\",551),(\"ad\",32),(\"ddcd\",18)]}MergeByLeftBiased: key \"dd\" got Nothing expected Just 192 (left=[(\"bccd\",61),(\"dd\",192),(\"\",484),(\"dab\",87),(\"ccbd\",460),(\"ba\",426),(\"a\",982)] right=[(\"cbc\",368),(\"b\",509),(\"dddc\",551),(\"ad\",32),(\"ddcd\",18)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.621445588+00:00",
      "status": "failed",
      "tests": 14,
      "discards": 0,
      "time": "393us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"adb\",671),(\"ac\",921),(\"add\",843),(\"abba\",79),(\"aaba\",889),(\"bcab\",666),(\"cbba\",193),(\"b\",545)], mRight = [(\"dca\",517),(\"bb\",239),(\"\",55),(\"cc\",116),(\"ad\",953),(\"caa\",561),(\"bcb\",391),(\"acbc\",750)]}MergeByLeftBiased: key \"b\" got Nothing expected Just 545 (left=[(\"adb\",671),(\"ac\",921),(\"add\",843),(\"abba\",79),(\"aaba\",889),(\"bcab\",666),(\"cbba\",193),(\"b\",545)] right=[(\"dca\",517),(\"bb\",239),(\"\",55),(\"cc\",116),(\"ad\",953),(\"caa\",561),(\"bcb\",391),(\"acbc\",750)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.735390444+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "596us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"cac\",867),(\"ab\",736),(\"dbdc\",118),(\"caa\",338),(\"ccb\",819),(\"bccc\",828),(\"a\",490)], mRight = [(\"dbdd\",13),(\"dcb\",900),(\"ad\",927),(\"b\",659),(\"\",542),(\"aada\",68)]}MergeByLeftBiased: key \"a\" got Nothing expected Just 490 (left=[(\"cac\",867),(\"ab\",736),(\"dbdc\",118),(\"caa\",338),(\"ccb\",819),(\"bccc\",828),(\"a\",490)] right=[(\"dbdd\",13),(\"dcb\",900),(\"ad\",927),(\"b\",659),(\"\",542),(\"aada\",68)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.849242295+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "182us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"aaa\",322),(\"c\",286),(\"db\",466),(\"dacb\",372)], mRight = [(\"a\",333),(\"cd\",479),(\"\",706),(\"aab\",227),(\"cbd\",709),(\"aada\",81),(\"ddac\",791)]}MergeByLeftBiased: key \"c\" got Nothing expected Just 286 (left=[(\"aaa\",322),(\"c\",286),(\"db\",466),(\"dacb\",372)] right=[(\"a\",333),(\"cd\",479),(\"\",706),(\"aab\",227),(\"cbd\",709),(\"aada\",81),(\"ddac\",791)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:04.953021986+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "579us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MergeArgs {mLeft = [(\"\",827),(\"aaa\",643),(\"d\",390),(\"accd\",502),(\"ab\",277),(\"dcc\",843),(\"c\",796)], mRight = [(\"aa\",936),(\"ccca\",406),(\"a\",889),(\"ccba\",446),(\"cac\",759),(\"\",898)]}MergeByLeftBiased: key \"c\" got Nothing expected Just 796 (left=[(\"\",827),(\"aaa\",643),(\"d\",390),(\"accd\",502),(\"ab\",277),(\"dcc\",843),(\"c\",796)] right=[(\"aa\",936),(\"ccca\",406),(\"a\",889),(\"ccba\",446),(\"cac\",759),(\"\",898)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.057166302+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "7574us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.171111314+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "9013us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.285294202+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "7063us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.399421087+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "8472us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.513430231+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "8970us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.627296718+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "7259us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.741373999+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "5356us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.855527914+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "8964us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:05.969619412+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "5990us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:06.083807452+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "7704us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:06.198337297+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "645us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"c\",0)], mRight = [(\"ca\",0),(\"cb\",0)]}: MergeByLeftBiased: key \"c\" got Nothing expected Just 0 (left=[(\"c\",0)] right=[(\"ca\",0),(\"cb\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:06.372296588+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "901us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"aa\",0),(\"ab\",0)]}: MergeByLeftBiased: key \"a\" got Nothing expected Just 0 (left=[(\"a\",0)] right=[(\"aa\",0),(\"ab\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:06.526233096+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1170us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"aa\",0),(\"ab\",0)]}: MergeByLeftBiased: key \"a\" got Nothing expected Just 0 (left=[(\"a\",0)] right=[(\"aa\",0),(\"ab\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:06.690183827+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1292us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"aa\",0),(\"ab\",0)]}: MergeByLeftBiased: key \"a\" got Nothing expected Just 0 (left=[(\"a\",0)] right=[(\"aa\",0),(\"ab\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:06.834078909+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "418us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"c\",0)], mRight = [(\"cb\",0),(\"ca\",0)]}: MergeByLeftBiased: key \"c\" got Nothing expected Just 0 (left=[(\"c\",0)] right=[(\"cb\",0),(\"ca\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:06.997979435+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "813us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"aa\",0),(\"ab\",0)]}: MergeByLeftBiased: key \"a\" got Nothing expected Just 0 (left=[(\"a\",0)] right=[(\"aa\",0),(\"ab\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:07.121907111+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "432us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"b\",0)], mRight = [(\"ba\",0),(\"bb\",0)]}: MergeByLeftBiased: key \"b\" got Nothing expected Just 0 (left=[(\"b\",0)] right=[(\"ba\",0),(\"bb\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:07.285720955+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "946us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"c\",0)], mRight = [(\"ca\",0),(\"cb\",0)]}: MergeByLeftBiased: key \"c\" got Nothing expected Just 0 (left=[(\"c\",0)] right=[(\"ca\",0),(\"cb\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:07.499523543+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "483us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"aa\",0),(\"ab\",0)]}: MergeByLeftBiased: key \"a\" got Nothing expected Just 0 (left=[(\"a\",0)] right=[(\"aa\",0),(\"ab\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:07.653457594+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3315us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MergeArgs {mLeft = [(\"a\",0)], mRight = [(\"aa\",0),(\"ab\",0)]}: MergeByLeftBiased: key \"a\" got Nothing expected Just 0 (left=[(\"a\",0)] right=[(\"aa\",0),(\"ab\",0)])",
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:07.798003461+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "355us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:07.901891585+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "326us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.015883467+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "339us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.120196570+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "331us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.223941796+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "330us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.327812849+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "324us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.431992458+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "327us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.535870474+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "347us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.649717886+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "329us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    },
    {
      "experiment": "ci-run",
      "workload": "bytestring-trie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MergeByLeftBiased",
      "mutations": [
        "merge_maybe_drops_left_only_10bfe2dd_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:45:08.753483983+00:00",
      "status": "passed",
      "tests": 16,
      "discards": 0,
      "time": "329us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "842f023a4ef8d966f149b0b97429a282798064fe"
    }
  ]
}