{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:58 UTC",
  "workload_docs": {
    "pqueue": [
      {
        "mutations": [
          "mapmaybe_buggy_8fd23ba6_1"
        ],
        "tasks": [
          {
            "property": "MapMaybeMinMatchesList",
            "witnesses": [
              {
                "test_fn": "witness_map_maybe_min_matches_list_case_neg_odds",
                "note": "Min.mapMaybe (negate-odd, drop-even) on [3,1,2,5,4,7,6,8,9] must equal sort [-3,-1,-5,-7,-9]."
              },
              {
                "test_fn": "witness_map_maybe_min_matches_list_case_powers_of_two",
                "note": "Min.mapMaybe (negate-odd, drop-even) on [1,2,4,8,16,3,7,15,31] must equal sort [-1,-3,-7,-15,-31]."
              }
            ]
          },
          {
            "property": "MapEitherMinPartitions",
            "witnesses": [
              {
                "test_fn": "witness_map_either_min_partitions_case_mod3",
                "note": "Min.mapEither (Left if mod 3==0 else Right, all negated) on [9,1,6,4,3,2,12,7,0] must split into two sorted queues."
              },
              {
                "test_fn": "witness_map_either_min_partitions_case_dense",
                "note": "Min.mapEither on [1,3,2,6,5,9,4,12,11] must split into two sorted queues."
              }
            ]
          },
          {
            "property": "PrioMapMaybeWithKey",
            "witnesses": [
              {
                "test_fn": "witness_prio_map_maybe_with_key_case_descending_keys",
                "note": "PMin.mapMaybeWithKey (drop even keys, negate odd) on key-descending input [(9,0),(7,1),(5,2),(3,3),(1,4),(8,5),(4,6)] must return sorted-by-key pairs."
              },
              {
                "test_fn": "witness_prio_map_maybe_with_key_case_runs",
                "note": "PMin.mapMaybeWithKey on [(1,10),(2,20),(3,30),(4,40),(5,50),(8,80),(7,70)] must return sorted-by-key pairs."
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/lspitzner/pqueue",
          "commits": [
            "8fd23ba629b226bbb08c0799b5279a9c9ef3dfa1"
          ],
          "commit_subjects": [
            "Fix mapMaybe and mapEither (#111)"
          ],
          "origin": "internal",
          "summary": "Min.mapMaybe / Min.mapEither / PMin.mapMaybeWithKey re-fed their result through fromAscList from heap-order-traversal output. For non-monotonic transforms this violates fromAscList's precondition and produces a queue whose toAscList is no longer sorted."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/PQueue/Internals.hs",
            "src/Data/PQueue/Prio/Internals.hs"
          ],
          "locations": [
            {
              "file": "src/Data/PQueue/Internals.hs",
              "line": 182,
              "symbol": "mapMaybe"
            },
            {
              "file": "src/Data/PQueue/Internals.hs",
              "line": 189,
              "symbol": "mapEither"
            },
            {
              "file": "src/Data/PQueue/Prio/Internals.hs",
              "line": 332,
              "symbol": "mapMaybeWithKey"
            }
          ],
          "patch": "patches/mapmaybe_buggy_8fd23ba6_1.patch"
        },
        "bug": {
          "short_name": "mapmaybe_breaks_heap_invariant",
          "invariant": "For any list xs and Maybe-returning transform f, Min.toAscList (Min.mapMaybe f (Min.fromList xs)) equals List.sort [y | x <- xs, Just y <- [f x]]. Analogous statements hold for Min.mapEither and PMin.mapMaybeWithKey.",
          "how_triggered": "Reverse-applying the patch swaps the BinomialQueue.insertEager-driven implementations of mapMaybe / mapEither / mapMaybeWithKey for naive `fromAscList . filter . toListU` versions. For any non-monotonic transform on a queue with at least two elements that survive the filter, the result heap's order invariant is broken and toAscList returns the elements in heap order rather than sorted order."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.490224121+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-96,80,-13,74,-90,-54,-4,-11,52,66,96,-84,-48,-1,85]}Min.mapMaybe [-96,80,-13,74,-90,-54,-4,-11,52,66,96,-84,-48,-1,85]: got [-85,11,13,1], expected [-85,1,11,13]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.614140105+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [33,9,17,61,68,86,-44,10,-78,-35,-59,-53,34,66,86,-14,-52,66,91,94,6,42,90,-55,-10,-66,-33,-25,38,94,-36]}Min.mapMaybe [33,9,17,61,68,86,-44,10,-78,-35,-59,-53,34,66,86,-14,-52,66,91,94,6,42,90,-55,-10,-66,-33,-25,38,94,-36]: got [35,-33,-91,59,33,25,53,55,-17,-61,-9], expected [-91,-61,-33,-17,-9,25,33,35,53,55,59]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.728227823+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [82,61,-30,75,58,57,100,-69,-7,-88,-10,72,50,-11,49,17,-25,21,15,-54,17,10,-62,-49,68,-75,-2,-39,-44,45,-58,-37]}Min.mapMaybe [82,61,-30,75,58,57,100,-69,-7,-88,-10,72,50,-11,49,17,-25,21,15,-54,17,10,-62,-49,68,-75,-2,-39,-44,45,-58,-37]: got [7,11,-61,-75,-57,-49,-17,25,-21,-15,-17,49,-45,37,39,69,75], expected [-75,-61,-57,-49,-45,-21,-17,-17,-15,7,11,25,37,39,49,69,75]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.842644736+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [33,22,93,98,25,50,42,91]}Min.mapMaybe [33,22,93,98,25,50,42,91]: got [-33,-93,-91,-25], expected [-93,-91,-33,-25]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.956638028+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "194us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-4,58,87,7,92,56,57,65,8,91,-6,-81,51,-39,-81,-64,79,-50,89,-91,21,74,4,1,-52,74,-22,-53,89,69,15,87,-67,89,-86,2,-16,-80,29,-19,47,-55]}Min.mapMaybe [-4,58,87,7,92,56,57,65,8,91,-6,-81,51,-39,-81,-64,79,-50,89,-91,21,74,4,1,-52,74,-22,-53,89,69,15,87,-67,89,-86,2,-16,-80,29,-19,47,-55]: got [91,-89,-79,-65,-91,-87,-51,-47,-15,-89,-87,-69,-7,-1,-21,19,-29,39,53,55,67,-89,81,81,-57], expected [-91,-89,-89,-89,-87,-87,-79,-69,-65,-57,-51,-47,-29,-21,-15,-7,-1,19,39,53,55,67,81,81,91]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.070661045+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "137us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-1,69,11,-92,33,-97,26,80,21,14,-69,80,-13,-30,-10,87,-32,-91]}Min.mapMaybe [-1,69,11,-92,33,-97,26,80,21,14,-69,80,-13,-30,-10,87,-32,-91]: got [97,-33,-87,-21,-11,1,-69,13,69,91], expected [-87,-69,-33,-21,-11,1,13,69,91,97]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.184775703+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [77,-86,99,74,15,-41,29,-59,52,-39,-28,-45,71,-46]}Min.mapMaybe [77,-86,99,74,15,-41,29,-59,52,-39,-28,-45,71,-46]: got [-77,-99,-71,39,-15,-29,41,59,45], expected [-99,-77,-71,-29,-15,39,41,45,59]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.299017959+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "173us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [96,-75,54,-77,68,42,-24,24,88,-32,-78,21,100,74,-24,-79,-78,-72,87,13,-77,54,52,-77,-45,-16,73,-57,31,100,-98,-29,57,72,-77,-49,-22,-50,-47,80,-69,-90,60,59,65,52,-22]}Min.mapMaybe [96,-75,54,-77,68,42,-24,24,88,-32,-78,21,100,74,-24,-79,-78,-72,87,13,-77,54,52,-77,-45,-16,73,-57,31,100,-98,-29,57,72,-77,-49,-22,-50,-47,80,-69,-90,60,59,65,52,-22]: got [29,-31,-73,-65,-59,-21,57,45,69,77,75,77,-57,47,49,77,-13,-87,77,79], expected [-87,-73,-65,-59,-57,-31,-21,-13,29,45,47,49,57,69,75,77,77,77,77,79]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.413152053+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "185us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [71,18,88,52,-85,23,-64,-14,78,25,-37,-16,17,-28,-67,-50,-74,89,30,-36,-28,73,55,97,34,-61,16,3,-10,-77,1,-18,64,21,34,-11,-47,6,-45,-5,-19,66,-1,-41,27,-44]}Min.mapMaybe [71,18,88,52,-85,23,-64,-14,78,25,-37,-16,17,-28,-67,-50,-74,89,30,-36,-28,73,55,97,34,-61,16,3,-10,-77,1,-18,64,21,34,-11,-47,6,-45,-5,-19,66,-1,-41,27,-44]: got [85,-55,-97,-73,-89,-23,-27,-1,19,1,41,-71,47,-21,5,-25,-17,11,37,45,61,-3,77,67], expected [-97,-89,-73,-71,-55,-27,-25,-23,-21,-17,-3,-1,1,5,11,19,37,41,45,47,61,67,77,85]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.527251483+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "142us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-66,-38,41,70,20,-72,46,63,-52,68,85,35,69,-34,-76,-27,-71,-82,61,-74,90,58,100]}Min.mapMaybe [-66,-38,41,70,20,-72,46,63,-52,68,85,35,69,-34,-76,-27,-71,-82,61,-74,90,58,100]: got [71,-85,-69,-61,-63,-41,-35,27], expected [-85,-69,-63,-61,-41,-35,27,71]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.641398251+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1153us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.755456013+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1161us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.869512172+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1224us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.983555847+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1229us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.097600265+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1542us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.211953136+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1386us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.326079596+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1254us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.440149170+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1233us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.554200651+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1228us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.668268161+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1303us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.782505237+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.896575292+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-97,-99]}: Min.mapMaybe [-97,-99]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.010656678+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.124722274+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "265us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.239093370+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "209us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.352435236+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "191us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.466484903+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "208us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.580508651+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "260us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.694553509+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.808669450+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "244us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapMaybeArgs {mapMaybeXs = [-99,-97]}: Min.mapMaybe [-99,-97]: got [99,97], expected [97,99]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.922968581+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.037326373+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.151621547+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.265661025+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.379741509+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.494555533+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.608689948+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.722730918+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.836765327+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapMaybeMinMatchesList",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.950764259+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapMaybeArgs {mapMaybeXs = [-3,-1]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.065065966+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [-85,-45,-87,92,-47]}Min.mapEither [-85,-45,-87,92,-47]: got ([87,45],[85,47,-92]), expected ([45,87],[-92,47,85])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.179073133+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [-7,-63,-58,1,52,-91,57,1,48,-63,-52,3,81,-46,-22,56,-98,53,-34,44,-57,-79,-6,-5,19,-49,-7,-83,-35,1,-21,-15,67,-37,-14,54,-82,-69,-7,-93,10,29]}Min.mapEither [-7,-63,-58,1,52,-91,57,1,48,-63,-52,3,81,-46,-22,56,-98,53,-34,44,-57,-79,-6,-5,19,-49,-7,-83,-35,1,-21,-15,67,-37,-14,54,-82,-69,-7,-93,10,29]: got ([6,21,-54,15,57,-3,-48,63,-57,63,-81,69,93],[98,-53,-52,-29,-44,5,14,-67,34,-10,35,-1,46,-56,22,49,-19,7,37,52,58,-1,7,-1,79,82,7,83,91]), expected ([-81,-57,-54,-48,-3,6,15,21,57,63,63,69,93],[-67,-56,-53,-52,-44,-29,-19,-10,-1,-1,-1,5,7,7,7,14,22,34,35,37,46,49,52,58,79,82,83,91,98])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.293139562+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "226us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [96,62,85,-12,77,-74,43,-80,19,-82,13,-63,96,76,-26,-18,-25,13,69,-27,-17,-29,-6,-11,87,-39,-87,23,18,-36,26,70,85,-15,-51,-50,-78,100,-74,-82,-12,55,-54,-82,-15,68,-65,59,15]}Min.mapEither [96,62,85,-12,77,-74,43,-80,19,-82,13,-63,96,76,-26,-18,-25,13,69,-27,-17,-29,-6,-11,87,-39,-87,23,18,-36,26,70,85,-15,-51,-50,-78,100,-74,-82,-12,55,-54,-82,-15,68,-65,59,15]: got ([87,15,12,39,-69,6,12,-96,-96,18,27,36,-18,-15,-87,54,63,15,51,78],[29,-76,-85,-100,-19,-13,25,-26,-70,-23,-13,11,17,50,65,-68,-59,-55,74,82,82,82,-62,-85,74,-77,-43,26,80]), expected ([-96,-96,-87,-69,-18,-15,6,12,12,15,15,18,27,36,39,51,54,63,78,87],[-100,-85,-85,-77,-76,-70,-68,-62,-59,-55,-43,-26,-23,-19,-13,-13,11,17,25,26,29,50,65,74,74,80,82,82,82])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.407185482+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "163us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [65,-58,-13,-20,17,52,-6,92,-27,-21,-54,36,90,46,-80,-97,-78,67,100,38,-96,-59,-38,-24,-4]}Min.mapEither [65,-58,-13,-20,17,52,-6,92,-27,-21,-54,36,90,46,-80,-97,-78,67,100,38,-96,-59,-38,-24,-4]: got ([54,27,-36,-90,21,96,6,78,24],[97,-67,13,-65,-38,-100,38,59,80,-46,-17,-92,-52,4,20,58]), expected ([-90,-36,6,21,24,27,54,78,96],[-100,-92,-67,-65,-52,-46,-38,-17,4,13,20,38,58,59,80,97])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.521284881+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [10,-31,-33,-13,37,8,94,-35,13,-58,34,-16,14]}Min.mapEither [10,-31,-33,-13,37,8,94,-35,13,-58,34,-16,14]: got ([33],[58,-94,-8,-37,16,-14,-34,-13,35,-10,13,31]), expected ([33],[-94,-37,-34,-14,-13,-10,-8,13,16,31,35,58])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.635354214+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "163us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [65,43,-36,73,-35,-45,86,-52,5,-20,-36,-81,-40,34,-53,79,78,-67,-81,-18,0,-1,78,86,2,18]}Min.mapEither [65,43,-36,73,-35,-45,86,-52,5,-20,-36,-81,-40,34,-53,79,78,-67,-81,-18,0,-1,78,86,2,18]: got ([81,18,-78,-78,0,-18,36,36,45,81],[67,-86,-79,-5,1,-86,-43,-73,-65,-2,20,35,40,-34,52,53]), expected ([-78,-78,-18,0,18,36,36,45,81,81],[-86,-86,-79,-73,-65,-43,-34,-5,-2,1,20,35,40,52,53,67])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.749399613+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "209us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [-81,-49,0,97,34,86,-9,36,-44,-48,-46,-56,35,-40,-68,62,-97,14,41,-19,40,-65,-5,23,43,0,-14,47,-64,21,94,-26,95,11,-46,12,45,-91,-46,-46,-37,-66,51,98,64,-36,-82,83,6,90]}Min.mapEither [-81,-49,0,97,34,86,-9,36,-44,-48,-46,-56,35,-40,-68,62,-97,14,41,-19,40,-65,-5,23,43,0,-14,47,-64,21,94,-26,95,11,-46,12,45,-91,-46,-46,-37,-66,51,98,64,-36,-82,83,6,90]: got ([0,-45,-21,-90,-6,48,-36,0,9,66,-51,36,-12,81],[97,-95,-14,-43,-47,19,-41,-40,5,-23,26,-94,44,-62,-86,-97,-34,40,-35,46,46,46,49,-98,-64,-83,37,46,-11,64,14,65,68,56,82,91]), expected ([-90,-51,-45,-36,-21,-12,-6,0,0,9,36,48,66,81],[-98,-97,-95,-94,-86,-83,-64,-62,-47,-43,-41,-40,-35,-34,-23,-14,-11,5,14,19,26,37,40,44,46,46,46,46,49,56,64,65,68,82,91,97])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.863448338+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [-38,-41,27,3,-33,-45,80,-42,7,49,-88,-31,17,-26,52,91,7,-34,73,84,-39]}Min.mapEither [-38,-41,27,3,-33,-45,80,-42,7,49,-88,-31,17,-26,52,91,7,-34,73,84,-39]: got ([39,42,33,45,-84,-3,-27],[88,-80,-73,-7,-7,-49,26,-91,-52,-17,31,34,41,38]), expected ([-84,-27,-3,33,39,42,45],[-91,-80,-73,-52,-49,-17,-7,-7,26,31,34,38,41,88])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.977507784+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "199us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [33,86,66,36,-39,-93,58,-49,-22,-6,-11,-94,20,-30,-55,5,-45,49,20,30,85,84,-89,44,53,-70,-39,-44,64,-44,58,62,92,74,62,-62,-95,-7,-27,50,75,-14,37,15,74,-4]}Min.mapEither [33,86,66,36,-39,-93,58,-49,-22,-6,-11,-94,20,-30,-55,5,-45,49,20,30,85,84,-89,44,53,-70,-39,-44,64,-44,58,62,92,74,62,-62,-95,-7,-27,50,75,-14,37,15,74,-4]: got ([27,-36,-66,-15,-75,-30,-84,6,39,30,39,45,93,-33],[95,-64,-53,-49,-85,-44,-86,-20,-5,7,-92,-74,-62,-50,4,11,22,44,49,-58,55,-20,62,-37,-74,14,70,-58,-62,44,94,89]), expected ([-84,-75,-66,-36,-33,-30,-15,6,27,30,39,39,45,93],[-92,-86,-85,-74,-74,-64,-62,-62,-58,-58,-53,-50,-49,-44,-37,-20,-20,-5,4,7,11,14,22,44,44,49,55,62,70,89,94,95])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.091578951+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "214us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MapEitherArgs {mapEitherXs = [60,39,-30,43,-41,51,-65,-43,-95,92,-41,74,26,-78,-8,22,-4,-30,0,20,25,-53,17,65,-92,26,-42,90,92,-73,62,-61,0,-47,41,-69,-46,-18,88,88,-67,-70,43,99,63]}Min.mapEither [60,39,-30,43,-41,51,-65,-43,-95,92,-41,74,26,-78,-8,22,-4,-30,0,20,25,-53,17,65,-92,26,-42,90,92,-73,62,-61,0,-47,41,-69,-46,-18,88,88,-67,-70,43,99,63]: got ([-63,-90,0,0,30,42,78,-99,-39,-60,-51,18,69,30],[95,-92,-88,-41,-26,-25,-20,-17,-65,4,41,-92,-74,-43,-26,8,-22,41,43,46,-88,47,53,61,-62,65,-43,67,70,73,92]), expected ([-99,-90,-63,-60,-51,-39,0,0,18,30,30,42,69,78],[-92,-92,-88,-88,-74,-65,-62,-43,-43,-41,-26,-26,-25,-22,-20,-17,4,8,41,41,43,46,47,53,61,65,67,70,73,92,95])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.206021219+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1231us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.320066047+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1333us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.434077713+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1533us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.548381231+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1267us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.662482213+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1344us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.777343345+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1457us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.891646732+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1276us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.005689206+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1495us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.119723154+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1341us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.233879914+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1174us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.348305261+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "175us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [84,30]}: Min.mapEither [84,30]: got ([-30,-84],[]), expected ([-84,-30],[])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.462291494+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-100,-92]}: Min.mapEither [-100,-92]: got ([],[100,92]), expected ([],[92,100])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.576356847+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "251us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-75,-72]}: Min.mapEither [-75,-72]: got ([75,72],[]), expected ([72,75],[])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.690387905+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "257us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-100,-92]}: Min.mapEither [-100,-92]: got ([],[100,92]), expected ([],[92,100])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.804481209+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "240us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-75,-30]}: Min.mapEither [-75,-30]: got ([75,30],[]), expected ([30,75],[])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.918517487+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "288us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-100,-92]}: Min.mapEither [-100,-92]: got ([],[100,92]), expected ([],[92,100])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.032620700+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-100,-92]}: Min.mapEither [-100,-92]: got ([],[100,92]), expected ([],[92,100])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.147256144+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "255us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-100,-92]}: Min.mapEither [-100,-92]: got ([],[100,92]), expected ([],[92,100])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.261312009+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "273us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-75,-66]}: Min.mapEither [-75,-66]: got ([75,66],[]), expected ([66,75],[])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.375430188+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "280us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MapEitherArgs {mapEitherXs = [-30,-75]}: Min.mapEither [-30,-75]: got ([75,30],[]), expected ([30,75],[])",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.489903360+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.603969804+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "111us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.718032241+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.832444772+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.946433582+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "95us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.060469910+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.174925560+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.288998927+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.403031598+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MapEitherMinPartitions",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.517100117+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MapEitherArgs {mapEitherXs = [-3,0]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.631645413+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "186us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(55,87),(17,-8),(-50,80),(25,-21),(89,66),(-28,-96),(-37,99),(94,-1),(1,36),(64,43),(-89,11),(-58,-6),(-51,-93),(-65,62),(-4,7),(-40,96),(-17,54),(-39,51),(-13,-11),(-34,58),(-54,92),(-70,-57),(47,73)]}PMin.mapMaybeWithKey [(55,87),(17,-8),(-50,80),(25,-21),(89,66),(-28,-96),(-37,99),(94,-1),(1,36),(64,43),(-89,11),(-58,-6),(-51,-93),(-65,62),(-4,7),(-40,96),(-17,54),(-39,51),(-13,-11),(-34,58),(-54,92),(-70,-57),(47,73)]: got [(-89,89),(-17,17),(-51,51),(-65,65),(-39,39),(47,-47),(1,-1),(55,-55),(17,-17),(25,-25),(-13,13),(89,-89),(-37,37)], expected [(-89,89),(-65,65),(-51,51),(-39,39),(-37,37),(-17,17),(-13,13),(1,-1),(17,-17),(25,-25),(47,-47),(55,-55),(89,-89)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.745776844+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "226us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-88,-93),(-91,79),(-74,-85),(100,-24),(8,-43),(-99,49),(4,57),(13,100),(-51,21),(-26,-77),(3,-84),(-6,79),(94,81),(58,-90),(-77,-25),(-86,18),(-47,92),(64,47),(58,-93),(66,65),(-5,-16),(-53,-61),(-59,-15),(-91,64),(96,8),(21,-72),(41,-14),(81,-63),(42,-76),(-90,91),(52,-85),(-99,-20),(-45,88),(-59,70)]}PMin.mapMaybeWithKey [(-88,-93),(-91,79),(-74,-85),(100,-24),(8,-43),(-99,49),(4,57),(13,100),(-51,21),(-26,-77),(3,-84),(-6,79),(94,81),(58,-90),(-77,-25),(-86,18),(-47,92),(64,47),(58,-93),(66,65),(-5,-16),(-53,-61),(-59,-15),(-91,64),(96,8),(21,-72),(41,-14),(81,-63),(42,-76),(-90,91),(52,-85),(-99,-20),(-45,88),(-59,70)]: got [(-99,99),(81,-81),(-59,59),(-59,59),(-91,91),(-77,77),(-91,91),(-47,47),(-5,5),(-53,53),(3,-3),(-51,51),(13,-13),(-99,99),(21,-21),(-45,45),(41,-41)], expected [(-99,99),(-99,99),(-91,91),(-91,91),(-77,77),(-59,59),(-59,59),(-53,53),(-51,51),(-47,47),(-45,45),(-5,5),(3,-3),(13,-13),(21,-21),(41,-41),(81,-81)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.860053801+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "263us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(53,-95),(20,-90),(-36,55),(30,86),(-70,-38),(-68,44),(-29,49),(-94,-79),(33,56),(-22,14),(78,-11),(75,51),(81,-4),(44,86),(54,56),(52,4),(-35,-75),(24,-41),(45,24),(-88,-86),(-72,53),(-70,-8),(-89,68),(42,37),(-83,41),(17,-97),(-52,-13),(21,-86),(10,-16),(19,38),(92,-35),(-64,-36),(57,61),(21,73),(59,97),(-67,0),(26,98),(-14,-28),(55,47),(-45,-47),(-25,-25),(-30,12),(-96,23),(12,11),(86,-17),(43,-57),(-96,-88),(-19,39),(14,-52),(-43,-89)]}PMin.mapMaybeWithKey [(53,-95),(20,-90),(-36,55),(30,86),(-70,-38),(-68,44),(-29,49),(-94,-79),(33,56),(-22,14),(78,-11),(75,51),(81,-4),(44,86),(54,56),(52,4),(-35,-75),(24,-41),(45,24),(-88,-86),(-72,53),(-70,-8),(-89,68),(42,37),(-83,41),(17,-97),(-52,-13),(21,-86),(10,-16),(19,38),(92,-35),(-64,-36),(57,61),(21,73),(59,97),(-67,0),(26,98),(-14,-28),(55,47),(-45,-47),(-25,-25),(-30,12),(-96,23),(12,11),(86,-17),(43,-57),(-96,-88),(-19,39),(14,-52),(-43,-89)]: got [(-19,19),(-29,29),(55,-55),(-45,45),(-25,25),(-83,83),(-35,35),(19,-19),(21,-21),(17,-17),(45,-45),(-89,89),(57,-57),(21,-21),(59,-59),(-67,67),(43,-43),(-43,43),(81,-81),(33,-33),(53,-53),(75,-75)], expected [(-89,89),(-83,83),(-67,67),(-45,45),(-43,43),(-35,35),(-29,29),(-25,25),(-19,19),(17,-17),(19,-19),(21,-21),(21,-21),(33,-33),(43,-43),(45,-45),(53,-53),(55,-55),(57,-57),(59,-59),(75,-75),(81,-81)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.974119834+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "228us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(30,46),(2,-53),(-45,-44),(-68,37),(6,-99),(44,-44),(42,-57),(-36,33),(43,8),(30,-22),(-33,49),(96,-72),(15,42),(21,-35),(-25,-44),(59,47),(6,-84),(-29,84),(74,-32),(-17,-40),(98,-82),(91,67),(16,-4),(87,76),(-63,-97),(-19,-38),(86,-28),(69,59),(-20,-40),(4,17),(100,83),(-62,94),(88,-22),(-44,37)]}PMin.mapMaybeWithKey [(30,46),(2,-53),(-45,-44),(-68,37),(6,-99),(44,-44),(42,-57),(-36,33),(43,8),(30,-22),(-33,49),(96,-72),(15,42),(21,-35),(-25,-44),(59,47),(6,-84),(-29,84),(74,-32),(-17,-40),(98,-82),(91,67),(16,-4),(87,76),(-63,-97),(-19,-38),(86,-28),(69,59),(-20,-40),(4,17),(100,83),(-62,94),(88,-22),(-44,37)]: got [(-45,45),(-63,63),(-17,17),(-29,29),(21,-21),(15,-15),(43,-43),(-33,33),(59,-59),(-25,25),(69,-69),(-19,19),(91,-91),(87,-87)], expected [(-63,63),(-45,45),(-33,33),(-29,29),(-25,25),(-19,19),(-17,17),(15,-15),(21,-21),(43,-43),(59,-59),(69,-69),(87,-87),(91,-91)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.088222346+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "210us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-40,96),(26,86),(-16,-91),(-33,-69),(13,-47),(3,-13),(39,49),(60,-66),(-34,-54),(-31,-34),(-67,-22),(-59,29),(38,90),(-9,-46),(-1,46),(47,-58),(-9,5),(-37,-64),(22,-2),(-7,82),(89,-9),(90,72),(6,71),(59,-73),(-2,-53),(-5,3),(27,-14),(20,96),(-56,70),(83,54)]}PMin.mapMaybeWithKey [(-40,96),(26,86),(-16,-91),(-33,-69),(13,-47),(3,-13),(39,49),(60,-66),(-34,-54),(-31,-34),(-67,-22),(-59,29),(38,90),(-9,-46),(-1,46),(47,-58),(-9,5),(-37,-64),(22,-2),(-7,82),(89,-9),(90,72),(6,71),(59,-73),(-2,-53),(-5,3),(27,-14),(20,96),(-56,70),(83,54)]: got [(-67,67),(-59,59),(-33,33),(-31,31),(-5,5),(-1,1),(-9,9),(47,-47),(83,-83),(27,-27),(89,-89),(-37,37),(-7,7),(-9,9),(13,-13),(3,-3),(39,-39),(59,-59)], expected [(-67,67),(-59,59),(-37,37),(-33,33),(-31,31),(-9,9),(-9,9),(-7,7),(-5,5),(-1,1),(3,-3),(13,-13),(27,-27),(39,-39),(47,-47),(59,-59),(83,-83),(89,-89)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.202340426+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "265us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(19,-15),(6,100),(-83,-75),(-92,69),(40,44),(-27,21),(32,48),(95,11),(88,-62),(-81,-76),(-96,96),(-35,8),(-35,-51),(-48,-55),(10,59),(-74,86),(55,42),(62,-64),(-19,-33),(-5,72),(66,-27),(-65,36),(5,34),(1,-7),(-26,77),(-41,40),(-67,-21),(63,72),(0,-36),(73,-64),(-1,88),(-11,29),(55,34),(53,-85),(67,67),(-70,-93),(-15,3)]}PMin.mapMaybeWithKey [(19,-15),(6,100),(-83,-75),(-92,69),(40,44),(-27,21),(32,48),(95,11),(88,-62),(-81,-76),(-96,96),(-35,8),(-35,-51),(-48,-55),(10,59),(-74,86),(55,42),(62,-64),(-19,-33),(-5,72),(66,-27),(-65,36),(5,34),(1,-7),(-26,77),(-41,40),(-67,-21),(63,72),(0,-36),(73,-64),(-1,88),(-11,29),(55,34),(53,-85),(67,67),(-70,-93),(-15,3)]: got [(-15,15),(-35,35),(-81,81),(-19,19),(1,-1),(-65,65),(5,-5),(19,-19),(-83,83),(55,-55),(-5,5),(67,-67),(-35,35),(73,-73),(-11,11),(-41,41),(-1,1),(63,-63),(-67,67),(55,-55),(53,-53),(95,-95),(-27,27)], expected [(-83,83),(-81,81),(-67,67),(-65,65),(-41,41),(-35,35),(-35,35),(-27,27),(-19,19),(-15,15),(-11,11),(-5,5),(-1,1),(1,-1),(5,-5),(19,-19),(53,-53),(55,-55),(55,-55),(63,-63),(67,-67),(73,-73),(95,-95)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.316479406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "247us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(72,88),(-69,100),(-87,32),(-66,-88),(-40,26),(-63,32),(-91,-36),(78,-72),(60,-37),(54,12),(-63,88),(10,-15),(83,33),(-41,81),(-12,-19),(36,3),(-23,51),(-66,-29),(-96,1),(-29,-16),(75,25),(32,-81),(-35,-13),(-6,-29),(86,-72),(20,15),(45,-33),(-49,-96),(-2,-61),(31,77),(46,71),(3,92),(-69,72),(81,76),(-52,-60),(-55,-85),(71,47)]}PMin.mapMaybeWithKey [(72,88),(-69,100),(-87,32),(-66,-88),(-40,26),(-63,32),(-91,-36),(78,-72),(60,-37),(54,12),(-63,88),(10,-15),(83,33),(-41,81),(-12,-19),(36,3),(-23,51),(-66,-29),(-96,1),(-29,-16),(75,25),(32,-81),(-35,-13),(-6,-29),(86,-72),(20,15),(45,-33),(-49,-96),(-2,-61),(31,77),(46,71),(3,92),(-69,72),(81,76),(-52,-60),(-55,-85),(71,47)]: got [(71,-71),(-63,63),(-91,91),(-29,29),(-55,55),(-69,69),(-41,41),(-69,69),(-87,87),(-63,63),(-23,23),(3,-3),(31,-31),(45,-45),(-49,49),(75,-75),(-35,35),(81,-81),(83,-83)], expected [(-91,91),(-87,87),(-69,69),(-69,69),(-63,63),(-63,63),(-55,55),(-49,49),(-41,41),(-35,35),(-29,29),(-23,23),(3,-3),(31,-31),(45,-45),(71,-71),(75,-75),(81,-81),(83,-83)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.430641418+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "218us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-13,50),(68,-50),(2,-20),(-92,-30),(-29,44),(-56,29),(99,-94),(65,-95),(28,-18),(-74,96),(38,0),(46,-97),(71,-100),(48,34),(-22,36),(-74,-42),(52,85),(-90,61),(-56,-52),(94,-51),(-96,99),(-98,4),(78,-56),(-35,-3),(67,-28),(-64,14),(-35,65),(59,-24),(29,-57),(-41,-42),(55,-97),(72,59),(-70,-98),(52,-64),(59,79),(81,44),(-82,-43),(68,-18)]}PMin.mapMaybeWithKey [(-13,50),(68,-50),(2,-20),(-92,-30),(-29,44),(-56,29),(99,-94),(65,-95),(28,-18),(-74,96),(38,0),(46,-97),(71,-100),(48,34),(-22,36),(-74,-42),(52,85),(-90,61),(-56,-52),(94,-51),(-96,99),(-98,4),(78,-56),(-35,-3),(67,-28),(-64,14),(-35,65),(59,-24),(29,-57),(-41,-42),(55,-97),(72,59),(-70,-98),(52,-64),(59,79),(81,44),(-82,-43),(68,-18)]: got [(-35,35),(-13,13),(55,-55),(-41,41),(-35,35),(29,-29),(59,-59),(67,-67),(71,-71),(65,-65),(-29,29),(81,-81),(59,-59),(99,-99)], expected [(-41,41),(-35,35),(-35,35),(-29,29),(-13,13),(29,-29),(55,-55),(59,-59),(59,-59),(65,-65),(67,-67),(71,-71),(81,-81),(99,-99)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.544757214+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "176us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(82,-11),(-73,-77),(91,18),(-100,7),(-65,-42),(-88,-72),(21,-16),(49,34),(60,99),(88,-67),(98,-98),(-22,-92),(-41,3),(-5,-100),(98,-3),(-11,-5),(37,-85),(-25,4)]}PMin.mapMaybeWithKey [(82,-11),(-73,-77),(91,18),(-100,7),(-65,-42),(-88,-72),(21,-16),(49,34),(60,99),(88,-67),(98,-98),(-22,-92),(-41,3),(-5,-100),(98,-3),(-11,-5),(37,-85),(-25,4)]: got [(91,-91),(-65,65),(-11,11),(-41,41),(-25,25),(-73,73),(-5,5),(37,-37),(49,-49),(21,-21)], expected [(-73,73),(-65,65),(-41,41),(-25,25),(-11,11),(-5,5),(21,-21),(37,-37),(49,-49),(91,-91)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.658951938+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "212us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-67,-45),(-60,-20),(-100,-56),(-89,43),(4,59),(-64,-83),(22,70),(34,-32),(-27,-9),(64,66),(-40,48),(72,77),(99,-17),(-43,-67),(-16,11),(76,-56),(9,-99),(100,35),(-14,70),(-50,-77),(87,-38),(-11,32),(-27,-79),(-14,-74),(-82,55),(42,-1),(39,-63),(92,-70),(-24,43),(-98,54),(97,24),(61,85),(-37,-10),(-97,-14)]}PMin.mapMaybeWithKey [(-67,-45),(-60,-20),(-100,-56),(-89,43),(4,59),(-64,-83),(22,70),(34,-32),(-27,-9),(64,66),(-40,48),(72,77),(99,-17),(-43,-67),(-16,11),(76,-56),(9,-99),(100,35),(-14,70),(-50,-77),(87,-38),(-11,32),(-27,-79),(-14,-74),(-82,55),(42,-1),(39,-63),(92,-70),(-24,43),(-98,54),(97,24),(61,85),(-37,-10),(-97,-14)]: got [(-89,89),(-27,27),(-27,27),(-43,43),(-67,67),(-37,37),(-97,97),(9,-9),(39,-39),(61,-61),(87,-87),(-11,11),(97,-97),(99,-99)], expected [(-97,97),(-89,89),(-67,67),(-43,43),(-37,37),(-27,27),(-27,27),(-11,11),(9,-9),(39,-39),(61,-61),(87,-87),(97,-97),(99,-99)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.773713798+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2442us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.888180448+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1781us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.002422580+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1932us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.116586065+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1921us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.230894280+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2092us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.345540525+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2974us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.459727694+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2192us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.573744428+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1859us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.687765938+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "2297us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.801920507+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1971us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:49.916605805+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "169us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-99,-100),(-100,-100),(-97,-100)]}: PMin.mapMaybeWithKey [(-99,-100),(-100,-100),(-97,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.030655698+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "309us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-100,-100),(-79,-100),(-99,-100)]}: PMin.mapMaybeWithKey [(-100,-100),(-79,-100),(-99,-100)]: got [(-79,79),(-99,99)], expected [(-99,99),(-79,79)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.144685724+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "305us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-100,-100),(-99,-100),(-97,-100)]}: PMin.mapMaybeWithKey [(-100,-100),(-99,-100),(-97,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.258749694+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "334us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-99,-100),(-97,-100),(-100,-100)]}: PMin.mapMaybeWithKey [(-99,-100),(-97,-100),(-100,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.372994110+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "310us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-99,-100),(-97,-100),(-100,-100)]}: PMin.mapMaybeWithKey [(-99,-100),(-97,-100),(-100,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.487035638+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "343us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-99,-100),(-97,-100),(-100,-100)]}: PMin.mapMaybeWithKey [(-99,-100),(-97,-100),(-100,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.611260365+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "278us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-99,-100),(-100,-100),(-97,-100)]}: PMin.mapMaybeWithKey [(-99,-100),(-100,-100),(-97,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.735356322+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "183us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-100,-100),(-99,-100),(-97,-100)]}: PMin.mapMaybeWithKey [(-100,-100),(-99,-100),(-97,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.849501213+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "223us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-99,-100),(-100,-100),(-97,-100)]}: PMin.mapMaybeWithKey [(-99,-100),(-100,-100),(-97,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "falsify",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:50.963633319+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "261us",
      "error": null,
      "tool": "falsify",
      "counterexample": "PrioMapMaybeArgs {prioMapMaybeXs = [(-100,-100),(-99,-100),(-97,-100)]}: PMin.mapMaybeWithKey [(-100,-100),(-99,-100),(-97,-100)]: got [(-97,97),(-99,99)], expected [(-99,99),(-97,97)]",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.088450330+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4308us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.202543043+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4332us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.316656054+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4402us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.430738008+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4285us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.544056458+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4397us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.658068811+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4369us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.772109648+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4335us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:51.886313688+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4358us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.000408956+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4296us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    },
    {
      "experiment": "ci-run",
      "workload": "pqueue",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "PrioMapMaybeWithKey",
      "mutations": [
        "mapmaybe_buggy_8fd23ba6_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:52.114470592+00:00",
      "status": "failed",
      "tests": 2466,
      "discards": 0,
      "time": "4326us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"PrioMapMaybeArgs {prioMapMaybeXs = [(-3,-3),(-3,-3),(-1,-3)]}\"] (PropertyFalse Nothing)",
      "hash": "3a9976d905df31a918b7d0babca5399ff9dd8b1f"
    }
  ]
}