{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:58 UTC",
  "workload_docs": {
    "mod": [
      {
        "mutations": [
          "invert_mod_unit_86672749_1"
        ],
        "tasks": [
          {
            "property": "InvertModNaturalUnit",
            "witnesses": [
              {
                "test_fn": "witness_invert_mod_natural_unit_case_zero",
                "note": "Data.Mod.invertMod (0 :: Mod 1) must equal Just 0"
              },
              {
                "test_fn": "witness_invert_mod_natural_unit_case_seven",
                "note": "Data.Mod.invertMod (7 :: Mod 1) must equal Just 0 (7 reduces to 0 mod 1)"
              }
            ]
          },
          {
            "property": "InvertModWordUnit",
            "witnesses": [
              {
                "test_fn": "witness_invert_mod_word_unit_case_zero",
                "note": "Data.Mod.Word.invertMod (0 :: Mod 1) must equal Just 0"
              },
              {
                "test_fn": "witness_invert_mod_word_unit_case_seven",
                "note": "Data.Mod.Word.invertMod (7 :: Mod 1) must equal Just 0 (7 reduces to 0 mod 1)"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/Bodigrim/mod",
          "commits": [
            "86672749346f8b604972cdc8e69df2e25bcc593f"
          ],
          "commit_subjects": [
            "Fix invertMod (0 :: Mod 1)"
          ],
          "origin": "internal",
          "summary": "invertMod for the unit modulus (Mod 1) used to fall through to integerRecipMod#/invertModWordOdd, both of which return Nothing for x = 0. But Mod 1 has 0 as its only inhabitant and gcd(0, 1) = 1, so invertMod must return Just 0. The fix adds a special case for modulus 1 in both Data.Mod.invertModInternal and Data.Mod.Word.invertMod. See https://gitlab.haskell.org/ghc/ghc/-/issues/26017."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "Data/Mod.hs",
            "Data/Mod/Word.hs"
          ],
          "locations": [
            {
              "file": "Data/Mod.hs",
              "line": 354,
              "symbol": "invertModInternal"
            },
            {
              "file": "Data/Mod/Word.hs",
              "line": 337,
              "symbol": "invertMod"
            }
          ],
          "patch": "patches/invert_mod_unit_86672749_1.patch"
        },
        "bug": {
          "short_name": "invertMod_returns_Nothing_for_unit_modulus",
          "invariant": "For every x :: Mod 1 the call invertMod x must return Just y with x * y == fromInteger 1 (which equals 0 in Mod 1). The same holds for the Word-backed variant Data.Mod.Word.invertMod.",
          "how_triggered": "Reverse-applying the patch removes the explicit Mod 1 fallback in both Data.Mod.invertModInternal and Data.Mod.Word.invertMod. Calling invertMod (0 :: Mod 1) or Word.invertMod (0 :: Word.Mod 1) then returns Nothing instead of Just 0, violating the modular-inverse contract for the unit modulus."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:33.268412650+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "571us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:33.433482516+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "559us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:33.600077335+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "569us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:33.765810531+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "576us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:33.931228617+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "569us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:34.097227741+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "571us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:34.262954478+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "573us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:34.428672381+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "565us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:34.594407391+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "548us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:34.760212284+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "568us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:34.926130687+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1763us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:35.092844602+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1727us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:35.258589141+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1796us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:35.424323760+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1785us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:35.590103526+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1778us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:35.755803813+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1772us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:35.921793838+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1796us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:36.087414752+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1733us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:36.253446474+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1766us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:36.419130257+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1737us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:36.585012526+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "173us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:36.750706153+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "175us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:36.916260758+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "171us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:37.082657896+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "170us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:37.248384398+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "168us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:37.414174790+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "172us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:37.579944150+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "171us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:37.745685889+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "171us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:37.911413963+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "187us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.077329190+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "177us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.243484197+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.409236958+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "99us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.575002488+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.740886704+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:38.907031741+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.072892483+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.238805342+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "81us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.404562970+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.570352556+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModNaturalUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.736106688+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:39.902212356+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "541us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.068001461+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "647us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.234191614+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "555us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.399952367+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "552us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.565779449+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "545us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.731503506+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "544us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:40.897293202+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "534us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.062986504+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "561us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.228927215+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "557us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.394656952+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "555us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.560781738+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1785us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.726816199+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1798us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:41.892853795+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1801us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.058630371+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1794us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.224626685+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1806us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.390414308+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1822us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.556211966+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1750us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.721955753+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1804us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:42.887710757+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1794us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.053405421+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "1805us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.219827531+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "168us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.385542876+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "163us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.552077373+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.717738907+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "167us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.883462414+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "164us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.049164820+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "161us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.215207909+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.380827411+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "166us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.546434314+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "falsify",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.712691052+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "165us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.878669419+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.044560116+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.211080437+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.376752347+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.542543816+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.708263327+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.874021360+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.039774600+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.205556657+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    },
    {
      "experiment": "ci-run",
      "workload": "mod",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "InvertModWordUnit",
      "mutations": [
        "invert_mod_unit_86672749_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.371267664+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "dcaa627277883b3414f310d577c154b737421c35"
    }
  ]
}