{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 17:01 UTC",
  "workload_docs": {
    "nonempty-containers": [
      {
        "mutations": [
          "delete_max_nemap_singleton_ccc4283_1"
        ],
        "tasks": [
          {
            "property": "DeleteMaxNeMapKeysShrink",
            "witnesses": [
              {
                "test_fn": "witness_delete_max_nemap_keys_shrink_case_singleton",
                "note": "deleteMax (singleton 5 'a') must equal M.empty"
              },
              {
                "test_fn": "witness_delete_max_nemap_keys_shrink_case_two_elem",
                "note": "deleteMax (fromList ((5,'a') :| [(3,'b')])) must equal M.singleton 3 'b'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "ccc4283f48592efe47b41d2f44330cbadfa73e4d"
          ],
          "commit_subjects": [
            "v0.3.4.3 fix functions on singleton containers (NEMap.deleteMax slice)"
          ],
          "origin": "internal",
          "summary": "deleteMax was implemented as `insertMinMap k v . M.deleteMax`. On a singleton NEMap whose inner Map is empty, M.deleteMax is a no-op and the head (k,v) is re-inserted, so the result is the singleton itself instead of the empty Map. The fix uses M.maxView to detect the empty-inner case and short-circuits to M.empty."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Map/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Map/NonEmpty.hs",
              "line": 2228,
              "symbol": "deleteMax"
            }
          ],
          "patch": "patches/delete_max_nemap_singleton_ccc4283_1.patch"
        },
        "bug": {
          "short_name": "deleteMax_returns_singleton",
          "invariant": "For any non-empty NEMap, NEMap.deleteMax must return a Map whose key-set is the original key-set minus the maximum key. In particular, deleteMax (singleton k v) must equal M.empty.",
          "how_triggered": "Reverse-applying the patch swaps the case-on-maxView definition for `insertMinMap k v . M.deleteMax`. Calling deleteMax on a singleton then yields M.singleton k v instead of M.empty."
        }
      },
      {
        "mutations": [
          "delete_max_neintmap_singleton_ccc4283_2"
        ],
        "tasks": [
          {
            "property": "DeleteMaxNeIntMapKeysShrink",
            "witnesses": [
              {
                "test_fn": "witness_delete_max_neintmap_keys_shrink_case_singleton",
                "note": "deleteMax (singleton 5 'a') must equal IM.empty"
              },
              {
                "test_fn": "witness_delete_max_neintmap_keys_shrink_case_two_elem",
                "note": "deleteMax (fromList ((5,'a') :| [(3,'b')])) must equal IM.singleton 3 'b'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "ccc4283f48592efe47b41d2f44330cbadfa73e4d"
          ],
          "commit_subjects": [
            "v0.3.4.3 fix functions on singleton containers (NEIntMap.deleteMax slice)"
          ],
          "origin": "internal",
          "summary": "Same bug shape as Variant 1, but in NEIntMap rather than NEMap. The buggy `insertMinMap k v . M.deleteMax` pattern returns the singleton instead of the empty IntMap when the inner IntMap is empty."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/IntMap/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/IntMap/NonEmpty.hs",
              "line": 1822,
              "symbol": "deleteMax"
            }
          ],
          "patch": "patches/delete_max_neintmap_singleton_ccc4283_2.patch"
        },
        "bug": {
          "short_name": "deleteMax_neintmap_returns_singleton",
          "invariant": "For any non-empty NEIntMap, NEIntMap.deleteMax must return an IntMap whose key-set is the original key-set minus the maximum key. In particular, deleteMax (singleton k v) must equal IM.empty.",
          "how_triggered": "Reverse-applying the patch reintroduces the buggy insertMinMap-after-deleteMax pattern. deleteMax on a singleton then returns IM.singleton k v instead of IM.empty."
        }
      },
      {
        "mutations": [
          "delete_max_neset_singleton_ccc4283_3"
        ],
        "tasks": [
          {
            "property": "DeleteMaxNeSetShrink",
            "witnesses": [
              {
                "test_fn": "witness_delete_max_neset_shrink_case_singleton",
                "note": "deleteMax (singleton 5) must equal S.empty"
              },
              {
                "test_fn": "witness_delete_max_neset_shrink_case_two_elem",
                "note": "deleteMax (fromList (5 :| [3])) must equal S.singleton 3"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "ccc4283f48592efe47b41d2f44330cbadfa73e4d"
          ],
          "commit_subjects": [
            "v0.3.4.3 fix functions on singleton containers (NESet.deleteMax slice)"
          ],
          "origin": "internal",
          "summary": "Set analogue of Variant 1. `insertMinSet x . S.deleteMax` returns the singleton when the inner Set is empty rather than S.empty."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Set/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Set/NonEmpty.hs",
              "line": 994,
              "symbol": "deleteMax"
            }
          ],
          "patch": "patches/delete_max_neset_singleton_ccc4283_3.patch"
        },
        "bug": {
          "short_name": "deleteMax_neset_returns_singleton",
          "invariant": "For any non-empty NESet, NESet.deleteMax must return a Set whose elements are the originals minus the maximum. In particular, deleteMax (singleton x) must equal S.empty.",
          "how_triggered": "Reverse-applying the patch makes deleteMax (singleton x) yield S.singleton x instead of S.empty."
        }
      },
      {
        "mutations": [
          "delete_max_neintset_singleton_ccc4283_4"
        ],
        "tasks": [
          {
            "property": "DeleteMaxNeIntSetShrink",
            "witnesses": [
              {
                "test_fn": "witness_delete_max_neintset_shrink_case_singleton",
                "note": "deleteMax (singleton 5) must equal IS.empty"
              },
              {
                "test_fn": "witness_delete_max_neintset_shrink_case_two_elem",
                "note": "deleteMax (fromList (5 :| [3])) must equal IS.singleton 3"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "ccc4283f48592efe47b41d2f44330cbadfa73e4d"
          ],
          "commit_subjects": [
            "v0.3.4.3 fix functions on singleton containers (NEIntSet.deleteMax slice)"
          ],
          "origin": "internal",
          "summary": "IntSet analogue of Variant 1."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/IntSet/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/IntSet/NonEmpty.hs",
              "line": 709,
              "symbol": "deleteMax"
            }
          ],
          "patch": "patches/delete_max_neintset_singleton_ccc4283_4.patch"
        },
        "bug": {
          "short_name": "deleteMax_neintset_returns_singleton",
          "invariant": "For any non-empty NEIntSet, NEIntSet.deleteMax must return an IntSet whose elements are the originals minus the maximum. In particular, deleteMax (singleton x) must equal IS.empty.",
          "how_triggered": "Reverse-applying the patch makes deleteMax (singleton x) yield IS.singleton x instead of IS.empty."
        }
      },
      {
        "mutations": [
          "neseq_intersperse_singleton_90ad8f2_1"
        ],
        "tasks": [
          {
            "property": "IntersperseLengthInvariant",
            "witnesses": [
              {
                "test_fn": "witness_intersperse_length_invariant_case_singleton",
                "note": "intersperse 0 (singleton 5) must have length 1"
              },
              {
                "test_fn": "witness_intersperse_length_invariant_case_two_elem",
                "note": "intersperse 0 (fromList (5 :| [7])) must have length 3"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "90ad8f20e1dfeb164766825d8744e8cafea537a6"
          ],
          "commit_subjects": [
            "fix NESeq.intersperse"
          ],
          "origin": "internal",
          "summary": "NESeq.intersperse on a singleton inserted a stray separator. The buggy form `intersperse z (x :<|| xs) = x :<|| (z Seq.<| Seq.intersperse z xs)` unconditionally cons'd the separator z. For a singleton (x :<|| Seq.Empty), it produced (x, z) instead of just (x). The fix case-splits on xs and only intersperses when xs is non-empty."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Sequence/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Sequence/NonEmpty.hs",
              "line": 957,
              "symbol": "intersperse"
            }
          ],
          "patch": "patches/neseq_intersperse_singleton_90ad8f2_1.patch"
        },
        "bug": {
          "short_name": "intersperse_inserts_stray_separator_on_singleton",
          "invariant": "intersperse z (singleton x) must equal singleton x. More generally, intersperse must produce a sequence of length 2*n - 1 for input length n, never 2*n.",
          "how_triggered": "Reverse-applying the patch makes intersperse z (singleton x) produce a length-2 NESeq (x, z) instead of length-1 (x)."
        }
      },
      {
        "mutations": [
          "nemap_split_gt_9d516da_1"
        ],
        "tasks": [
          {
            "property": "SplitLeftPartitionAtUpperBound",
            "witnesses": [
              {
                "test_fn": "witness_split_left_partition_at_upper_bound_case_three",
                "note": "split 100 (fromList ((5,'a') :| [(3,'b'), (7,'c')])) must keep all 3 entries on the left side"
              },
              {
                "test_fn": "witness_split_left_partition_at_upper_bound_case_two",
                "note": "split 50 (fromList ((5,'a') :| [(3,'b')])) must keep both entries on the left"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "9d516da493bb02edfefc66fba03b2736f19b50ab"
          ],
          "commit_subjects": [
            "fix the bugs! (NEMap.split GT branch slice)"
          ],
          "origin": "internal",
          "summary": "In the GT branch of NEMap.split (k > k0), when M.split's right side is empty but the left side is non-empty, the buggy code returned the entire input NEMap (`This n`). The corrected behaviour rebuilds just the left side from m1 with the original head re-inserted at the minimum position."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Map/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Map/NonEmpty.hs",
              "line": 1901,
              "symbol": "split"
            }
          ],
          "patch": "patches/nemap_split_gt_9d516da_1.patch"
        },
        "bug": {
          "short_name": "split_gt_returns_unsplit_map",
          "invariant": "For any NEMap n and key k strictly larger than every key in n, split k n must return Just (This (NEMap with head k0 and original tail keys < k)).",
          "how_triggered": "Reverse-applying the patch makes split k n in the (Just _, Nothing) case yield `This n` instead of `This (insertMapMin k0 v m1)`. The two values can differ when M.split removes a maximal-key entry equal to or greater than the upper neighbours that the original map had."
        }
      },
      {
        "mutations": [
          "nemap_issubmap_swap_967de8b_1"
        ],
        "tasks": [
          {
            "property": "IsSubmapOfReflexiveAndKeyExists",
            "witnesses": [
              {
                "test_fn": "witness_is_submap_of_reflexive_and_key_exists_case_self_singleton",
                "note": "isSubmapOfBy (==) (singleton 1 'a') (singleton 1 'a') must equal True"
              },
              {
                "test_fn": "witness_is_submap_of_reflexive_and_key_exists_case_disjoint_keys",
                "note": "isSubmapOfBy (==) (singleton 1 'a') (singleton 2 'b') must equal False"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "967de8bd14a008fe155152b8a8d596680a3196d6"
          ],
          "commit_subjects": [
            "fixed all stability errors exposed by tests! (NEMap.isSubmapOfBy slice)"
          ],
          "origin": "internal",
          "summary": "isSubmapOfBy was destructuring the wrong argument: it kept the first as a Map (toMap) and pulled the head off the second (NEMap k v m1). The lookup probed the wrong map, the M.isSubmapOfBy call ran with arguments swapped, and the f-comparison ran with operands flipped. Net effect: the function tested the inverse relation."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Map/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Map/NonEmpty.hs",
              "line": 1982,
              "symbol": "isSubmapOfBy"
            }
          ],
          "patch": "patches/nemap_issubmap_swap_967de8b_1.patch"
        },
        "bug": {
          "short_name": "isSubmapOfBy_argument_order_swapped",
          "invariant": "For any NEMap a, isSubmapOfBy (==) a a must be True (every map is a submap of itself). Additionally, if a's head key is not in b's keys, isSubmapOfBy (==) a b must be False.",
          "how_triggered": "Reverse-applying the patch reintroduces the swapped operand pattern. isSubmapOfBy (==) (singleton 1 'a') (singleton 2 'b') yields True (incorrect — head 1 is not in the second map's keys) and isSubmapOfBy (==) (singleton 1 'a') (singleton 1 'a') yields False (incorrect — anything is a submap of itself)."
        }
      },
      {
        "mutations": [
          "neintmap_updlookup_return_23a26d6_1"
        ],
        "tasks": [
          {
            "property": "UpdateLookupReturnsOriginal",
            "witnesses": [
              {
                "test_fn": "witness_update_lookup_returns_original_case_delete",
                "note": "updateLookupWithKey (\\_ _ -> Nothing) 5 (singleton 5 'a') must yield (Just 'a', _) — original value, not Nothing"
              },
              {
                "test_fn": "witness_update_lookup_returns_original_case_update",
                "note": "updateLookupWithKey (\\_ _ -> Just 'z') 5 (singleton 5 'a') must yield (Just 'a', _) — original 'a', not updated 'z'"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/mstksg/nonempty-containers",
          "commits": [
            "23a26d6ebed7ea58cb76c73f5f4fc8d7ea3d960c"
          ],
          "commit_subjects": [
            "fix all tests (NEIntMap.updateLookupWithKey return value slice)"
          ],
          "origin": "internal",
          "summary": "NEIntMap.updateLookupWithKey in the EQ branch returned `f k0 v` (the post-update value, i.e. Nothing if f deletes or Just newValue otherwise). The Data.Map convention is to return `Just v` — the *original* value at the key — regardless. The fix evaluates `f k0 v` once for the new map and returns `Just v` for the lookup component."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/IntMap/NonEmpty.hs"
          ],
          "locations": [
            {
              "file": "src/Data/IntMap/NonEmpty.hs",
              "line": 680,
              "symbol": "updateLookupWithKey"
            }
          ],
          "patch": "patches/neintmap_updlookup_return_23a26d6_1.patch"
        },
        "bug": {
          "short_name": "updateLookupWithKey_returns_post_update_value",
          "invariant": "For any NEIntMap n with k present, updateLookupWithKey f k n must return (Just v_original, _) where v_original is n's value at k, irrespective of what f returns.",
          "how_triggered": "Reverse-applying the patch makes updateLookupWithKey return `f k0 v` for the lookup slot — Nothing when f decides to delete, or `Just (newValue)` when f decides to update — instead of the original `Just v`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:00.208072615+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "162us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((2,'r') :| [])deleteMax [(2,'r')] = [(2,'r')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:00.362501295+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "264us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((0,'d') :| [])deleteMax [(0,'d')] = [(0,'d')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:00.517597537+00:00",
      "status": "failed",
      "tests": 15,
      "discards": 0,
      "time": "301us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((8,'a') :| [])deleteMax [(8,'a')] = [(8,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:00.682775645+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "194us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((11,'f') :| [])deleteMax [(11,'f')] = [(11,'f')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:00.837874852+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "174us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((12,'c') :| [])deleteMax [(12,'c')] = [(12,'c')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:00.993041554+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "201us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((10,'f') :| [])deleteMax [(10,'f')] = [(10,'f')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:01.148322649+00:00",
      "status": "failed",
      "tests": 24,
      "discards": 0,
      "time": "394us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((9,'h') :| [])deleteMax [(9,'h')] = [(9,'h')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:01.303721123+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "222us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((11,'a') :| [])deleteMax [(11,'a')] = [(11,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:01.458852369+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "233us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((7,'a') :| [])deleteMax [(7,'a')] = [(7,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:01.614326874+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "170us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeMapPairs ((4,'o') :| [])deleteMax [(4,'o')] = [(4,'o')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:01.769782373+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1586us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:01.924930341+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1594us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:02.080022314+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1560us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:02.235217320+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2089us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:02.411536327+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1684us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:02.566931103+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1496us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:02.722584788+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1601us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:02.877890158+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1547us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:03.034171587+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1545us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:03.189497976+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1580us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:03.345297432+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "606us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:03.500478406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "170us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:03.655761695+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "211us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:03.811167277+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "343us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:03.966395082+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.121527084+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "193us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.276661761+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.431635423+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.587431846+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.742762898+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:04.898176193+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.053523325+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.208615392+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.363696129+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.519128920+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.674292250+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.829590552+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:05.984777857+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.140643728+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeMapKeysShrink",
      "mutations": [
        "delete_max_nemap_singleton_ccc4283_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:06.295954352+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "a8cda087a0a7cbb0d37fefa40eb5243443b02614"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:13.839611276+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "215us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((11,'e') :| [])deleteMax [(11,'e')] = [(11,'e')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:13.995074257+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((8,'a') :| [])deleteMax [(8,'a')] = [(8,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:14.160270437+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "238us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((6,'h') :| [])deleteMax [(6,'h')] = [(6,'h')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:14.315623624+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((8,'s') :| [])deleteMax [(8,'s')] = [(8,'s')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:14.481778568+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "251us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((1,'p') :| [])deleteMax [(1,'p')] = [(1,'p')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:14.637222812+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "375us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((9,'u') :| [])deleteMax [(9,'u')] = [(9,'u')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:14.792549430+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((0,'z') :| [])deleteMax [(0,'z')] = [(0,'z')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:14.947705410+00:00",
      "status": "failed",
      "tests": 18,
      "discards": 0,
      "time": "301us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((3,'p') :| [])deleteMax [(3,'p')] = [(3,'p')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:15.103001742+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "318us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((10,'t') :| [])deleteMax [(10,'t')] = [(10,'t')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:15.258412346+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "170us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntMapPairs ((3,'b') :| [])deleteMax [(3,'b')] = [(3,'b')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:15.414051675+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1504us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:15.569956157+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1448us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:15.725089535+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1594us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:15.880401896+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1463us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:16.035650159+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1470us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:16.190786763+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1535us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:16.346043060+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1480us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:16.501542519+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1621us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:16.656981716+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1610us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:16.812081802+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1496us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:16.967534605+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "384us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:17.122928838+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "209us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:17.278203178+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "208us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:17.434055235+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "290us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:17.589373498+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "449us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:17.744564834+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:17.900043594+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:18.056294158+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "372us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:18.221927209+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "919us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:18.387531037+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "159us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntMapPairs ((0,'a') :| []): deleteMax [(0,'a')] = [(0,'a')]; expected []",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:18.553871915+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:18.719282673+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:18.874695591+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:19.040307433+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:19.206504864+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:19.371844240+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:19.527408419+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "55us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:19.682772757+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:19.838293696+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "57us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntMapKeysShrink",
      "mutations": [
        "delete_max_neintmap_singleton_ccc4283_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:20.004319340+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntMapPairs ((0,'a') :| [])\"] (PropertyFalse Nothing)",
      "hash": "ea477d5ab5de2f63f8797039eb1c19f6183e14e1"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.729175921+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "278us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (2 :| [])deleteMax [2] = [2]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:26.885533288+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "195us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (9 :| [])deleteMax [9] = [9]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.040933865+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (8 :| [])deleteMax [8] = [8]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.196821648+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "154us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (2 :| [])deleteMax [2] = [2]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.352451701+00:00",
      "status": "failed",
      "tests": 13,
      "discards": 0,
      "time": "244us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (1 :| [])deleteMax [1] = [1]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.508448987+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (8 :| [])deleteMax [8] = [8]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.663674899+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (5 :| [])deleteMax [5] = [5]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.818984827+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "151us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (9 :| [])deleteMax [9] = [9]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:27.974299308+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "162us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (1 :| [])deleteMax [1] = [1]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:28.130064672+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "174us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSetElems (1 :| [])deleteMax [1] = [1]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:28.286457914+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1445us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:28.452204587+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1514us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:28.607687566+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1441us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:28.763801577+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1302us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:28.919339938+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1430us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:29.074876478+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1359us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:29.230361120+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1462us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:29.385872071+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1454us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:29.541714056+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1346us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:29.697380706+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1511us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:29.853400002+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "263us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:30.008712985+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "212us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:30.163894823+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "254us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:30.319355881+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "215us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:30.475219818+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:30.630640411+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:30.786039563+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:30.941419189+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "593us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:31.096577915+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "261us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:31.252589755+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "264us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:31.408302303+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:31.564491733+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:31.719897258+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:31.875053268+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:32.030830404+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:32.186370940+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:32.341885249+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:32.497953414+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:32.653421665+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeSetShrink",
      "mutations": [
        "delete_max_neset_singleton_ccc4283_3"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:32.808906307+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "5ce04cd8db706069f75700f0ef86e2d0a2f39f04"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:38.773872403+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "308us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (8 :| [])deleteMax [8] = [8]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:38.929653997+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (8 :| [])deleteMax [8] = [8]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:39.085219053+00:00",
      "status": "failed",
      "tests": 17,
      "discards": 0,
      "time": "278us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (2 :| [])deleteMax [2] = [2]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:39.240439936+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (0 :| [])deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:39.395956078+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (0 :| [])deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:39.551107302+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (5 :| [])deleteMax [5] = [5]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:39.706773934+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "205us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (9 :| [])deleteMax [9] = [9]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:39.861910951+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "154us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (7 :| [])deleteMax [7] = [7]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:40.017472909+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (3 :| [])deleteMax [3] = [3]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:40.172667313+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeIntSetElems (3 :| [])deleteMax [3] = [3]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:40.328530852+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1400us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:40.483983115+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1438us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:40.639495039+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1365us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:40.795006082+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1453us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:40.950278581+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1386us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:41.105693103+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1400us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:41.261031615+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1473us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:41.416283117+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1476us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:41.571452725+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1424us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:41.726896323+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1428us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:41.882791480+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:42.038047849+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:42.193954698+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "234us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:42.349307667+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "200us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:42.505007308+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:42.660434666+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:42.815934600+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "286us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:42.971076927+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "253us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:43.126561100+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:43.281723184+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "278us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeIntSetElems (0 :| []): deleteMax [0] = [0]; expected []",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:43.437640813+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:43.592972432+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:43.748219915+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:43.903447911+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:44.058770965+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:44.213986381+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:44.369280585+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:44.524810957+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "49us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:44.680331190+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeleteMaxNeIntSetShrink",
      "mutations": [
        "delete_max_neintset_singleton_ccc4283_4"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:44.835949667+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeIntSetElems (0 :| [])\"] (PropertyFalse Nothing)",
      "hash": "7ecc06331edff0f12351b073107206cff7752bff"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:52.933189544+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 20 :| [], neSeqSep = 22}intersperse 22 [20] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:53.088431438+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 45 :| [], neSeqSep = 21}intersperse 21 [45] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:53.243651200+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 26 :| [], neSeqSep = 69}intersperse 69 [26] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:53.398821991+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 28 :| [], neSeqSep = 61}intersperse 61 [28] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:53.553949171+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 98 :| [], neSeqSep = 63}intersperse 63 [98] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:53.709303263+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "114us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 44 :| [], neSeqSep = 71}intersperse 71 [44] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:53.864742192+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 48 :| [], neSeqSep = 5}intersperse 5 [48] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:54.019960031+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 26 :| [], neSeqSep = 72}intersperse 72 [26] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:54.175384253+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 44 :| [], neSeqSep = 95}intersperse 95 [44] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:54.330828623+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NeSeqElems {neSeqElems = 39 :| [], neSeqSep = 76}intersperse 76 [39] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:54.487006407+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "979us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:54.642222331+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "964us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:54.797743412+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "956us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:54.953256680+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "969us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:55.109013563+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "935us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:55.265081169+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1029us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:55.420611128+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "940us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:55.576395560+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1123us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:55.733764033+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1094us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:55.889024275+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "959us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:56.045344794+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:56.200614915+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:56.356122462+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:56.512539270+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:56.678360806+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "110us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:56.833894381+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:56.989420733+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:57.144975629+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:57.300554719+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "102us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:57.456094616+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}: intersperse 0 [0] has length 2; expected 1",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:57.625872528+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:57.781781031+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:57.936963003+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:58.092194327+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:58.248359612+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:58.403506809+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:58.559952225+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:58.716071284+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "52us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:58.871583460+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "51us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntersperseLengthInvariant",
      "mutations": [
        "neseq_intersperse_singleton_90ad8f2_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:00:59.026872832+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NeSeqElems {neSeqElems = 0 :| [], neSeqSep = 0}\"] (PropertyFalse Nothing)",
      "hash": "d69027619580ce4128c933e95571ef1a10c9e6d3"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:09.241660628+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (5,'g') :| [(1,'k'),(9,'m'),(6,'m'),(11,'n')]}split 11 [(1,'k'),(5,'g'),(6,'m'),(9,'m'),(11,'n')] left side = [(1,'k'),(5,'g'),(6,'m'),(9,'m'),(11,'n')]; expected [(1,'k'),(5,'g'),(6,'m'),(9,'m')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:09.397737224+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (5,'r') :| [(3,'g'),(9,'l'),(0,'d'),(12,'j')]}split 12 [(0,'d'),(3,'g'),(5,'r'),(9,'l'),(12,'j')] left side = [(0,'d'),(3,'g'),(5,'r'),(9,'l'),(12,'j')]; expected [(0,'d'),(3,'g'),(5,'r'),(9,'l')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:09.554468449+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (12,'a') :| [(2,'t'),(0,'d'),(9,'a'),(5,'t'),(8,'h')]}split 12 [(0,'d'),(2,'t'),(5,'t'),(8,'h'),(9,'a'),(12,'a')] left side = [(0,'d'),(2,'t'),(5,'t'),(8,'h'),(9,'a'),(12,'a')]; expected [(0,'d'),(2,'t'),(5,'t'),(8,'h'),(9,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:09.711177204+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "159us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (8,'r') :| [(6,'f'),(2,'g'),(7,'a')]}split 8 [(2,'g'),(6,'f'),(7,'a'),(8,'r')] left side = [(2,'g'),(6,'f'),(7,'a'),(8,'r')]; expected [(2,'g'),(6,'f'),(7,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:09.866397498+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "189us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (3,'k') :| [(11,'k'),(10,'f'),(2,'e'),(4,'u'),(7,'v')]}split 11 [(2,'e'),(3,'k'),(4,'u'),(7,'v'),(10,'f'),(11,'k')] left side = [(2,'e'),(3,'k'),(4,'u'),(7,'v'),(10,'f'),(11,'k')]; expected [(2,'e'),(3,'k'),(4,'u'),(7,'v'),(10,'f')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:10.021959037+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "158us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (9,'t') :| [(11,'e'),(10,'r'),(1,'m'),(6,'d')]}split 11 [(1,'m'),(6,'d'),(9,'t'),(10,'r'),(11,'e')] left side = [(1,'m'),(6,'d'),(9,'t'),(10,'r'),(11,'e')]; expected [(1,'m'),(6,'d'),(9,'t'),(10,'r')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:10.177401545+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (3,'j') :| [(7,'f'),(1,'p')]}split 7 [(1,'p'),(3,'j'),(7,'f')] left side = [(1,'p'),(3,'j'),(7,'f')]; expected [(1,'p'),(3,'j')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:10.332984665+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "156us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (7,'h') :| [(9,'g'),(3,'y'),(10,'d')]}split 10 [(3,'y'),(7,'h'),(9,'g'),(10,'d')] left side = [(3,'y'),(7,'h'),(9,'g'),(10,'d')]; expected [(3,'y'),(7,'h'),(9,'g')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:10.489033751+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (12,'i') :| [(3,'u'),(11,'d'),(7,'d')]}split 12 [(3,'u'),(7,'d'),(11,'d'),(12,'i')] left side = [(3,'u'),(7,'d'),(11,'d'),(12,'i')]; expected [(3,'u'),(7,'d'),(11,'d')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:10.644511424+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SplitArgs {splitPairs = (5,'n') :| [(12,'r'),(0,'g'),(6,'v')]}split 12 [(0,'g'),(5,'n'),(6,'v'),(12,'r')] left side = [(0,'g'),(5,'n'),(6,'v'),(12,'r')]; expected [(0,'g'),(5,'n'),(6,'v')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:10.800885424+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3438us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:10.966444323+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3542us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:11.121978822+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3803us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:11.277534771+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3717us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:11.433266436+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3752us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:11.589245051+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3454us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:11.744770834+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3713us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:11.900078892+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3553us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:12.055474723+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3384us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:12.210734712+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "3520us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:12.367798454+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:12.533513413+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:12.688748415+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:12.843901445+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "154us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:12.999048453+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:13.154590747+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:13.309800883+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:13.464984680+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:13.620430642+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:13.775561130+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}: split 2 [(0,'a'),(1,'a'),(2,'a')] left side = [(0,'a'),(1,'a'),(2,'a')]; expected [(0,'a'),(1,'a')]",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:13.932067296+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:14.087330681+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:14.243043141+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:14.408636203+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:14.564457267+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:14.719955228+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:14.875318403+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:15.030921469+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:15.196421890+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "SplitLeftPartitionAtUpperBound",
      "mutations": [
        "nemap_split_gt_9d516da_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:15.361991889+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SplitArgs {splitPairs = (0,'a') :| [(1,'a'),(2,'a')]}\"] (PropertyFalse Nothing)",
      "hash": "22018c10806290f8e23acf2598c846ada55ca877"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:24.532812851+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (9,'r') :| [], submapB = (2,'p') :| []}isSubmapOfBy (==) m m == False for m = [(9,'r')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:24.688445611+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "153us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (0,'q') :| [(8,'n'),(3,'b'),(1,'y')], submapB = (9,'k') :| [(0,'h'),(8,'t')]}isSubmapOfBy (==) m m == False for m = [(0,'q'),(1,'y'),(3,'b'),(8,'n')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:24.843699814+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "145us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (3,'j') :| [], submapB = (4,'o') :| [(2,'t'),(9,'q'),(8,'x')]}isSubmapOfBy (==) m m == False for m = [(3,'j')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:24.998964791+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (4,'s') :| [(9,'c')], submapB = (1,'n') :| [(3,'o'),(6,'h')]}isSubmapOfBy (==) m m == False for m = [(4,'s'),(9,'c')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:25.154180288+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (5,'d') :| [(0,'i'),(7,'u')], submapB = (4,'f') :| [(9,'o')]}isSubmapOfBy (==) m m == False for m = [(0,'i'),(5,'d'),(7,'u')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:25.309311616+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (2,'x') :| [(7,'d')], submapB = (7,'r') :| [(0,'e'),(4,'q'),(8,'d')]}isSubmapOfBy (==) m m == False for m = [(2,'x'),(7,'d')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:25.464639196+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "145us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (3,'k') :| [], submapB = (7,'s') :| [(2,'t'),(9,'e'),(0,'b')]}isSubmapOfBy (==) m m == False for m = [(3,'k')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:25.619798717+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (9,'r') :| [(5,'b')], submapB = (2,'v') :| [(1,'u'),(5,'n')]}isSubmapOfBy (==) m m == False for m = [(5,'b'),(9,'r')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:25.775113125+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (4,'k') :| [(3,'a')], submapB = (6,'h') :| [(8,'n'),(9,'d')]}isSubmapOfBy (==) m m == False for m = [(3,'a'),(4,'k')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:25.930461697+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "169us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "SubmapArgs {submapA = (5,'y') :| [(4,'s'),(0,'z')], submapB = (0,'r') :| [(2,'q'),(6,'w')]}isSubmapOfBy (==) m m == False for m = [(0,'z'),(4,'s'),(5,'y')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:26.087071013+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1971us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:26.242638775+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2113us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:26.398009679+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2153us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:26.554472432+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2221us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:26.709702143+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2098us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:26.865181699+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1899us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:27.020329668+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1992us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:27.175519505+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2241us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:27.330703771+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1955us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:27.485851069+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2223us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:27.642226658+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:27.797892330+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:27.953185950+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:28.108400322+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "128us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:28.263612540+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:28.418877878+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:28.574116064+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:28.729382083+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:28.884585505+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "145us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:29.040123319+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "falsify",
      "counterexample": "SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}: isSubmapOfBy (==) m m == False for m = [(0,'a')]",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:29.197076134+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:29.352330811+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:29.508583406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:29.664058153+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:29.819696524+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:29.975115635+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:30.130410677+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:30.285556442+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:30.440916568+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IsSubmapOfReflexiveAndKeyExists",
      "mutations": [
        "nemap_issubmap_swap_967de8b_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:30.596806085+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"SubmapArgs {submapA = (0,'a') :| [], submapB = (0,'a') :| []}\"] (PropertyFalse Nothing)",
      "hash": "138967d9707f3e64a9fbd80f6d71fef22d585568"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:39.474030057+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1636us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:39.629648861+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1636us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:39.784817268+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1563us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:39.941008966+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1530us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:40.096272097+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1550us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:40.251658986+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1526us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:40.407116798+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1552us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:40.562741450+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1559us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:40.718218067+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1526us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:40.873386200+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "1533us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:41.029822692+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6729us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:41.185412068+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6664us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:41.340903963+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6644us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:41.497093886+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6595us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:41.653216534+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6713us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:41.808483220+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6626us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:41.964288187+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6782us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:42.119898573+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6664us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:42.275496515+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6689us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:42.431067848+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "6689us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:42.588032311+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2954us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:42.743677211+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2941us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:42.899251790+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2990us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:43.054538042+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2744us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:43.210218378+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2929us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:43.365504931+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2944us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:43.522076820+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "3225us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:43.677689269+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "3333us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:43.833307920+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2995us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "falsify",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:43.988862131+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "2990us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:44.145459111+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:44.302094176+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:44.457656302+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:44.613095259+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:44.768652605+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "104us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:44.923836778+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:45.079108514+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:45.234247242+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:45.389602403+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    },
    {
      "experiment": "ci-run",
      "workload": "nonempty-containers",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "UpdateLookupReturnsOriginal",
      "mutations": [
        "neintmap_updlookup_return_23a26d6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:01:45.545932260+00:00",
      "status": "passed",
      "tests": 28,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "414453708000d3480c928d85cb723a8a59545d54"
    }
  ]
}