{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 17:36 UTC",
  "workload_docs": {
    "algebraic-graphs": [
      {
        "mutations": [
          "de_bruijn_dim_zero_8e1591a1_1"
        ],
        "tasks": [
          {
            "property": "DeBruijnZeroSelfLoop",
            "witnesses": [
              {
                "test_fn": "witness_de_bruijn_zero_self_loop_case_alphabet_two",
                "note": "deBruijn 0 [1,2] must equal edge [] []"
              },
              {
                "test_fn": "witness_de_bruijn_zero_self_loop_case_empty_alphabet",
                "note": "deBruijn 0 [] must equal edge [] []"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/snowleopard/alga",
          "commits": [
            "8e1591a1d4ad435f766dac4672da66d733816293"
          ],
          "commit_subjects": [
            "Fix deBruijn graphs"
          ],
          "origin": "internal",
          "summary": "deBruijn 0 used to return `vertex []` (a graph with one vertex, no edges). The fix returns `edge [] []` (the self-loop on the empty word), restoring the family invariant `edgeCount (deBruijn n xs) == (length (nub xs))^(n+1)` at n=0 — at n=0 this is 1, matching one self-loop."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Algebra/Graph.hs"
          ],
          "locations": [
            {
              "file": "src/Algebra/Graph.hs",
              "line": 1032,
              "symbol": "deBruijn"
            }
          ],
          "patch": "patches/de_bruijn_dim_zero_8e1591a1_1.patch"
        },
        "bug": {
          "short_name": "debruijn_zero_no_self_loop",
          "invariant": "deBruijn 0 alphabet returns the De Bruijn graph of dimension 0, namely a single self-loop on the empty word. AdjacencyMap.edgeList of (deBruijn 0 xs) must equal [([], [])] for every alphabet xs (including []).",
          "how_triggered": "Reverse-applying the patch swaps `edge [] []` for `vertex []` at src/Algebra/Graph.hs:1032. The graph then has 0 edges, so edgeList = []."
        }
      },
      {
        "mutations": [
          "show_no_parens_f2a9683f_1"
        ],
        "tasks": [
          {
            "property": "ShowWithParens",
            "witnesses": [
              {
                "test_fn": "witness_show_with_parens_case_two_vertices",
                "note": "show (Just (vertices [1,2])) must equal \"Just (vertices [1,2])\""
              },
              {
                "test_fn": "witness_show_with_parens_case_single_edge",
                "note": "show (Just (edges [(1,2)])) must equal \"Just (edge 1 2)\""
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/snowleopard/alga",
          "commits": [
            "f2a9683f1c22a7e82715ac4dbb37052e12078e26"
          ],
          "commit_subjects": [
            "Fix Show instances to insert parens (#142)"
          ],
          "origin": "internal",
          "summary": "The Show instance for AdjacencyMap (and Relation, AdjacencyIntMap, etc.) defined `show` directly with `++`. This left `showsPrec p` at the default `\\_ x s -> show x ++ s`, so any context that called `showsPrec p g` with `p > 10` (e.g. inside `Just g`) skipped the surrounding parens, producing unparseable output like `\"Just edge 1 2\"` instead of `\"Just (edge 1 2)\"`. The fix switches to `showsPrec` + `showParen (p > 10)`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Algebra/Graph/AdjacencyMap.hs"
          ],
          "locations": [
            {
              "file": "src/Algebra/Graph/AdjacencyMap.hs",
              "line": 176,
              "symbol": "Show AdjacencyMap"
            }
          ],
          "patch": "patches/show_no_parens_f2a9683f_1.patch"
        },
        "bug": {
          "short_name": "show_adjmap_missing_parens",
          "invariant": "For any non-empty AdjacencyMap g (whose `show g` is more than the atomic token `\"empty\"`), `show (Just g)` must equal `\"Just (\" ++ show g ++ \")\"`. This is what `showsPrec` at prec 11 buys you; `show g` alone never lies, but the surrounding context's `showsPrec` does.",
          "how_triggered": "Reverse-applying the patch swaps the `showsPrec p ... = showParen (p > 10) $ ...` instance for the old `show ... = \"...\"` instance. Default `showsPrec` then ignores the precedence and prints `Just edge 1 2` without parens."
        }
      },
      {
        "mutations": [
          "minimum_mempty_pure_e0aa4bee_1"
        ],
        "tasks": [
          {
            "property": "MinimumMonoidIdentity",
            "witnesses": [
              {
                "test_fn": "witness_minimum_monoid_identity_case_five",
                "note": "mempty <> pure (Sum 5) must equal pure (Sum 5)"
              },
              {
                "test_fn": "witness_minimum_monoid_identity_case_seven",
                "note": "mempty <> pure (Sum 7) must equal pure (Sum 7)"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/snowleopard/alga",
          "commits": [
            "e0aa4beec88d1c1fa746603d4af8b6061e643886"
          ],
          "commit_subjects": [
            "Fix various instances in Algebra.Graph.Label and add tests (#232)"
          ],
          "origin": "internal",
          "summary": "The Monoid instance for Minimum had `mempty = pure mempty` (i.e. Finite of the inner monoid's identity, which is the SMALLEST value, not the largest). Combined with `(<>) = liftA2 min`, the left-identity law `mempty <> x == x` failed: `pure (Sum 0) <> pure (Sum 5) = pure (Sum 0)`. The fix sets `mempty = noMinimum` (Infinite, the absorbing element of `min`) and `(<>) = min`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Algebra/Graph/Label.hs"
          ],
          "locations": [
            {
              "file": "src/Algebra/Graph/Label.hs",
              "line": 325,
              "symbol": "Monoid (Minimum a)"
            }
          ],
          "patch": "patches/minimum_mempty_pure_e0aa4bee_1.patch"
        },
        "bug": {
          "short_name": "minimum_monoid_identity_violated",
          "invariant": "Minimum's Monoid satisfies the left-identity law: `mempty <> x == x` for every x. Concretely, `mempty <> pure (Sum n) == pure (Sum n)` for every n > 0.",
          "how_triggered": "Reverse-applying the patch reinstates `mempty = pure mempty` and `(<>) = liftA2 min`. For any positive n, `mempty <> pure (Sum n) = liftA2 min (pure (Sum 0)) (pure (Sum n)) = pure (Sum 0)`, which is not equal to `pure (Sum n)`."
        }
      },
      {
        "mutations": [
          "extended_zero_times_infinity_e0aa4bee_2"
        ],
        "tasks": [
          {
            "property": "ExtendedZeroTimesInfinity",
            "witnesses": [
              {
                "test_fn": "witness_extended_zero_times_infinity_case_zero",
                "note": "Finite 0 * Infinite == Finite 0 and Infinite * Finite 0 == Finite 0"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/snowleopard/alga",
          "commits": [
            "e0aa4beec88d1c1fa746603d4af8b6061e643886"
          ],
          "commit_subjects": [
            "Fix various instances in Algebra.Graph.Label and add tests (#232)"
          ],
          "origin": "internal",
          "summary": "Extended's Num instance had `(*) = liftM2 (*)`. By Extended's Monad, `Finite 0 * Infinite = Finite 0 >>= \\_ -> Infinite >>= ... = Infinite`, violating the semiring annihilator law `0 * x == 0`. The fix special-cases `Finite 0 * _ = Finite 0` and `_ * Finite 0 = Finite 0` before falling back to `liftM2 (*)`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Algebra/Graph/Label.hs"
          ],
          "locations": [
            {
              "file": "src/Algebra/Graph/Label.hs",
              "line": 284,
              "symbol": "Num (Extended a)"
            }
          ],
          "patch": "patches/extended_zero_times_infinity_e0aa4bee_2.patch"
        },
        "bug": {
          "short_name": "extended_zero_times_infinity",
          "invariant": "Extended's Num instance satisfies the semiring annihilator law: `Finite 0 * Infinite == Finite 0` and `Infinite * Finite 0 == Finite 0`.",
          "how_triggered": "Reverse-applying the patch removes the `Finite 0 * _` and `_ * Finite 0` pattern matches, leaving `(*) = liftM2 (*)`. The Monad on Extended makes `Finite 0 * Infinite` equal `Infinite`, not `Finite 0`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:38.415700992+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [1,0,2,2]}deBruijn 0 [1,0,2,2]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:38.539571416+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [4,5]}deBruijn 0 [4,5]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:38.653508854+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [3]}deBruijn 0 [3]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:38.767457182+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [1]}deBruijn 0 [1]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:38.881433403+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [1]}deBruijn 0 [1]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:38.995405756+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [5]}deBruijn 0 [5]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.109384210+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.223325135+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [3,2,5,3]}deBruijn 0 [3,2,5,3]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.337375133+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [3,0,1]}deBruijn 0 [3,0,1]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.451350762+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = [0,0,2]}deBruijn 0 [0,0,2]: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.565402354+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "782us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.679368816+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "756us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.793421709+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "781us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:39.907456880+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "793us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.021453168+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "784us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.135424239+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "778us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.249396547+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "797us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.363289753+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1126us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.487868793+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "801us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.612143075+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "789us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.726415803+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.840318787+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:40.964722455+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.078717841+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.192920935+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "97us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.306905852+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.420840996+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.534806065+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.648710908+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.762593283+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "falsify",
      "counterexample": "DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.876731847+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:41.991180616+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.105156255+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.219519017+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.333518+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.447470216+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.561421039+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.675361783+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.789323647+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "DeBruijnZeroSelfLoop",
      "mutations": [
        "de_bruijn_dim_zero_8e1591a1_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:42.903288366+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "39us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"DeBruijnZeroArgs {dbAlphabet = []}\"] (PropertyFalse Nothing)",
      "hash": "ea57f5edae5c3b5f7ea8264c39c27b7d68317100"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.191442716+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "146us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [-2,2,-1,2], spEdges = [(1,-1),(-2,-2),(2,3),(-2,0)]}show g = \"edges [(-2,-2),(-2,0),(1,-1),(2,3)]\"; show (Just g) = \"Just edges [(-2,-2),(-2,0),(1,-1),(2,3)]\"; expected \"Just (edges [(-2,-2),(-2,0),(1,-1),(2,3)])\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.305428395+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(0,2),(2,1),(-1,2)]}show g = \"edges [(-1,2),(0,2),(2,1)]\"; show (Just g) = \"Just edges [(-1,2),(0,2),(2,1)]\"; expected \"Just (edges [(-1,2),(0,2),(2,1)])\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.419329114+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [2,-2,0,3], spEdges = [(3,-1),(3,0)]}show g = \"overlay (vertices [-2,2]) (edges [(3,-1),(3,0)])\"; show (Just g) = \"Just overlay (vertices [-2,2]) (edges [(3,-1),(3,0)])\"; expected \"Just (overlay (vertices [-2,2]) (edges [(3,-1),(3,0)]))\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.533196947+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "162us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [0,-3,0], spEdges = [(-2,-1),(0,0),(1,-3),(2,-3)]}show g = \"edges [(-2,-1),(0,0),(1,-3),(2,-3)]\"; show (Just g) = \"Just edges [(-2,-1),(0,0),(1,-3),(2,-3)]\"; expected \"Just (edges [(-2,-1),(0,0),(1,-3),(2,-3)])\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.647084480+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(1,0),(0,0),(0,-2)]}show g = \"edges [(0,-2),(0,0),(1,0)]\"; show (Just g) = \"Just edges [(0,-2),(0,0),(1,0)]\"; expected \"Just (edges [(0,-2),(0,0),(1,0)])\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.761017618+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [2], spEdges = [(1,-1)]}show g = \"overlay (vertex 2) (edge 1 -1)\"; show (Just g) = \"Just overlay (vertex 2) (edge 1 -1)\"; expected \"Just (overlay (vertex 2) (edge 1 -1))\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.875086049+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [2], spEdges = [(3,3)]}show g = \"overlay (vertex 2) (edge 3 3)\"; show (Just g) = \"Just overlay (vertex 2) (edge 3 3)\"; expected \"Just (overlay (vertex 2) (edge 3 3))\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:35:59.988990885+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [1,2,3,-1], spEdges = []}show g = \"vertices [-1,1,2,3]\"; show (Just g) = \"Just vertices [-1,1,2,3]\"; expected \"Just (vertices [-1,1,2,3])\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.103015203+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [3,3,0], spEdges = []}show g = \"vertices [0,3]\"; show (Just g) = \"Just vertices [0,3]\"; expected \"Just (vertices [0,3])\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.217342627+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "155us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ShowParensArgs {spVertices = [1,0], spEdges = [(-1,1),(-3,3),(3,3),(2,2)]}show g = \"overlay (vertex 0) (edges [(-3,3),(-1,1),(2,2),(3,3)])\"; show (Just g) = \"Just overlay (vertex 0) (edges [(-3,3),(-1,1),(2,2),(3,3)])\"; expected \"Just (overlay (vertex 0) (edges [(-3,3),(-1,1),(2,2),(3,3)]))\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.332027571+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1220us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.445976278+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1274us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.559894859+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1288us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.673802340+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1266us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.787758170+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1280us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:00.901692070+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1234us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.015729804+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1219us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.129679332+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1288us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.243591639+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1287us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.357483741+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1235us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.471767834+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.585710780+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.699637827+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "124us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.813578871+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [-3], spEdges = []}: show g = \"vertex -3\"; show (Just g) = \"Just vertex -3\"; expected \"Just (vertex -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:01.927586468+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.041530186+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.155494723+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "111us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.269471703+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.383387549+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [-3], spEdges = []}: show g = \"vertex -3\"; show (Just g) = \"Just vertex -3\"; expected \"Just (vertex -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.497373646+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = \"edge -3 -3\"; show (Just g) = \"Just edge -3 -3\"; expected \"Just (edge -3 -3)\"",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.611708113+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.725651080+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.839790122+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:02.953707822+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:03.067744102+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:03.181879929+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:03.295844275+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:03.409762165+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:03.523678743+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ShowWithParens",
      "mutations": [
        "show_no_parens_f2a9683f_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:03.637660552+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ShowParensArgs {spVertices = [], spEdges = [(0,0)]}\"] (PropertyFalse Nothing)",
      "hash": "11ea1cf1a96d56d00dc42c440889980d04dfa2f3"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:20.964404109+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 10}mempty <> Minimum(pure (Sum 10)) = Sum {getSum = 0}; expected Sum {getSum = 10}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.078573208+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 28}mempty <> Minimum(pure (Sum 28)) = Sum {getSum = 0}; expected Sum {getSum = 28}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.192663470+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 88}mempty <> Minimum(pure (Sum 88)) = Sum {getSum = 0}; expected Sum {getSum = 88}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.306639188+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 32}mempty <> Minimum(pure (Sum 32)) = Sum {getSum = 0}; expected Sum {getSum = 32}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.420572838+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 90}mempty <> Minimum(pure (Sum 90)) = Sum {getSum = 0}; expected Sum {getSum = 90}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.534553976+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 87}mempty <> Minimum(pure (Sum 87)) = Sum {getSum = 0}; expected Sum {getSum = 87}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.648541333+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 44}mempty <> Minimum(pure (Sum 44)) = Sum {getSum = 0}; expected Sum {getSum = 44}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.762455045+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 63}mempty <> Minimum(pure (Sum 63)) = Sum {getSum = 0}; expected Sum {getSum = 63}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.876397161+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 55}mempty <> Minimum(pure (Sum 55)) = Sum {getSum = 0}; expected Sum {getSum = 55}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:21.990365485+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "MinimumIdentityArgs {miValue = 4}mempty <> Minimum(pure (Sum 4)) = Sum {getSum = 0}; expected Sum {getSum = 4}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.104700634+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "801us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.218725757+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "827us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.333033362+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "801us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.447041791+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "945us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.560967476+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "796us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.674890576+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "788us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.788861234+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "800us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:22.902818050+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "801us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.016880860+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "848us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.131389470+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "816us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.246013348+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.360023420+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.474086093+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.588031324+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.701967702+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.815956760+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:23.930527580+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.044528550+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.158446735+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.272371502+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "falsify",
      "counterexample": "MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.386927928+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.500902741+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.614878644+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.728822878+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.843010684+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:24.956875880+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:25.070911223+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:25.184881899+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:25.298881977+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "MinimumMonoidIdentity",
      "mutations": [
        "minimum_mempty_pure_e0aa4bee_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:25.412829397+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"MinimumIdentityArgs {miValue = 1}\"] (PropertyFalse Nothing)",
      "hash": "76820a6fc54c33fef6ff65e186d78d0ebfc2b7fd"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:33.605506370+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:33.719552887+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:33.833546866+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:33.947486434+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.061573530+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.175828206+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.289823898+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "92us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.403858982+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.518300406+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.632170334+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.746638639+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "832us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.860525338+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "817us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:34.974435979+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "837us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.088399332+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "858us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.202587173+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "814us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.316566615+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "824us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.430603835+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "822us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.544617972+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "839us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.658535892+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "832us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.772466864+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "817us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:35.887012022+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "56us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.000946761+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.115440983+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.229425255+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.343396071+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.457317265+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.571211137+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "60us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.685251874+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.799234232+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:36.913218593+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.026944512+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.141490582+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.255404251+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.369481256+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.483398191+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.597289620+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "37us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.711245548+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.825228086+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "47us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:37.939162885+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    },
    {
      "experiment": "ci-run",
      "workload": "algebraic-graphs",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ExtendedZeroTimesInfinity",
      "mutations": [
        "extended_zero_times_infinity_e0aa4bee_2"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:36:38.053088897+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ExtendedZeroArgs {ezSeed = 0}\"] (PropertyFalse Nothing)",
      "hash": "3846c0b3bb2ae4d9f61db0b7b072288eb33cae75"
    }
  ]
}