{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 17:21 UTC",
  "workload_docs": {
    "memotrie": [
      {
        "mutations": [
          "integer_instance_word_overflow_1d65a86_1"
        ],
        "tasks": [
          {
            "property": "IntegerTrieRoundTrip",
            "witnesses": [
              {
                "test_fn": "witness_integer_trie_round_trip_case_neg_one",
                "note": "untrie (trie id) (-1) must equal -1"
              },
              {
                "test_fn": "witness_integer_trie_round_trip_case_neg_three",
                "note": "untrie (trie id) (-3) must equal -3"
              },
              {
                "test_fn": "witness_integer_trie_round_trip_case_neg_hundred",
                "note": "untrie (trie id) (-100) must equal -100"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/conal/MemoTrie",
          "commits": [
            "1d65a863579b91ee7c0d06cf1c2eb1b8ed9a44da"
          ],
          "commit_subjects": [
            "fixed Integer instance"
          ],
          "origin": "internal",
          "summary": "The bogus Integer instance encoded the trie as `Word :->: a`, mapping every Integer through `fromIntegral :: Integer -> Word`. For negative inputs that conversion wraps modulo 2^64, so `untrie (trie f) n` evaluates `f` at a huge positive Word index instead of `n`. The fix encodes Integer as `(sign, bits abs)` via the helper pair `bitsZ`/`unbitsZ`, which is total over Integer and round-trips through the trie."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/MemoTrie.hs"
          ],
          "locations": [
            {
              "file": "src/Data/MemoTrie.hs",
              "line": 499,
              "symbol": "instance HasTrie Integer"
            }
          ],
          "patch": "patches/integer_instance_word_overflow_1d65a86_1.patch"
        },
        "bug": {
          "short_name": "integer_trie_breaks_for_negatives",
          "invariant": "For every Integer n, `untrie (trie id) n == n`. Equivalently, the `HasTrie Integer` instance must round-trip every Integer including negatives — `untrie . trie == id`.",
          "how_triggered": "Reverse-applying the patch swaps the `(Bool,[Bool])`-based Integer trie back to the bogus `Word`-based form. Calling `untrie (trie id) (-1)` then returns `toInteger (maxBound :: Word)` (= 18446744073709551615 on a 64-bit machine) instead of `-1`."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:53.664664904+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "150us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -834}untrie (trie id) -834 == 18446744073709550782 /= -834",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:53.778630877+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "163us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -870}untrie (trie id) -870 == 18446744073709550746 /= -870",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:53.882449998+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "148us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -477}untrie (trie id) -477 == 18446744073709551139 /= -477",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:53.986396586+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -650}untrie (trie id) -650 == 18446744073709550966 /= -650",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.090245325+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -763}untrie (trie id) -763 == 18446744073709550853 /= -763",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.194068423+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -485}untrie (trie id) -485 == 18446744073709551131 /= -485",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.297914188+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "144us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -329}untrie (trie id) -329 == 18446744073709551287 /= -329",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.401741786+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "147us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -236}untrie (trie id) -236 == 18446744073709551380 /= -236",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.505628654+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "146us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -996}untrie (trie id) -996 == 18446744073709550620 /= -996",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.609497172+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "127us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "Args {getArg = -147}untrie (trie id) -147 == 18446744073709551469 /= -147",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.713547776+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "987us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.817391376+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "909us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:54.921279637+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "968us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.025164094+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "933us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.128974902+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "913us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.232850067+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "903us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.337055132+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "856us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.441117893+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "980us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.544952062+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1055us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.648757261+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "818us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.752817705+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "65us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.856679588+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:55.960538814+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.064400123+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.168674731+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.272677798+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "93us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.376555791+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.480919513+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "74us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.584890091+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "61us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "falsify",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.688800673+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "72us",
      "error": null,
      "tool": "falsify",
      "counterexample": "Args {getArg = -1000}: untrie (trie id) -1000 == 18446744073709550616 /= -1000",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.792861649+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:56.896614949+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.000430628+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.104478819+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.208399802+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.312378682+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.416856319+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.520763627+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.624656526+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    },
    {
      "experiment": "ci-run",
      "workload": "MemoTrie",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "IntegerTrieRoundTrip",
      "mutations": [
        "integer_instance_word_overflow_1d65a86_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T17:21:57.728596365+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "70us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"Args {getArg = -1}\"] (PropertyFalse Nothing)",
      "hash": "1c1edc384cb65a44ea3e8fa88814bef86282172e"
    }
  ]
}