{
  "experiment": "ci-run",
  "generated_at": "2026-05-03 16:59 UTC",
  "workload_docs": {
    "scientific": [
      {
        "mutations": [
          "floor_dangerously_small_negative_7d02b9d"
        ],
        "tasks": [
          {
            "property": "FloorDangerouslySmallNegative",
            "witnesses": [
              {
                "test_fn": "witness_floor_dangerously_small_negative_case_neg_one_e_neg_400",
                "note": "floor (scientific (-1) (-400)) must equal -1"
              },
              {
                "test_fn": "witness_floor_dangerously_small_negative_case_neg_seven_e_neg_500",
                "note": "floor (scientific (-7) (-500)) must equal -1"
              },
              {
                "test_fn": "witness_floor_dangerously_small_negative_case_pos_one_e_neg_400",
                "note": "floor (scientific 1 (-400)) must equal 0 (sanity)"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/basvandijk/scientific",
          "commits": [
            "7d02b9de9d10297be495aa23807457426a9d6163"
          ],
          "commit_subjects": [
            "Fix floor"
          ],
          "origin": "internal",
          "summary": "RealFrac.floor on a Scientific with a dangerously-small (e <<-limit) negative coefficient must equal -1, not 0. Original commit short-circuited to 0 unconditionally; the fix added a sign check so negative inputs return -1."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Scientific/Internal.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Scientific/Internal.hs",
              "line": 559,
              "symbol": "floor"
            }
          ],
          "patch": "patches/floor_dangerously_small_negative_7d02b9d.patch"
        },
        "bug": {
          "short_name": "floor_dangerously_small_negative",
          "invariant": "For any non-zero Scientific s with @-1 < s < 0@, @floor s == -1@.",
          "how_triggered": "Reverse-applying the patch deletes the @if c < 0 then -1 else 0@ branch, so the dangerouslySmall path always returns 0 — including for negative coefficients where -1 is correct."
        }
      },
      {
        "mutations": [
          "parse_empty_digit_string_b3af22f"
        ],
        "tasks": [
          {
            "property": "ParseEmptyDigitStringRejected",
            "witnesses": [
              {
                "test_fn": "witness_parse_empty_digit_string_rejected_case_empty",
                "note": "scientificP \"\" must produce no successful parse"
              },
              {
                "test_fn": "witness_parse_empty_digit_string_rejected_case_dot",
                "note": "scientificP \".\" must produce no successful parse"
              },
              {
                "test_fn": "witness_parse_empty_digit_string_rejected_case_plus_dot",
                "note": "scientificP \"+.\" must produce no successful parse"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/basvandijk/scientific",
          "commits": [
            "b3af22fc0617581d932bb82c65c0652f0632283d"
          ],
          "commit_subjects": [
            "Fix parsing of empty digit string (#21)"
          ],
          "origin": "internal",
          "summary": "scientificP must reject any string containing zero decimal digits. The original foldDigits accepted empty input by returning the accumulator z, so parsing \"\" or \".\" succeeded with Scientific 0 0. The fix forces foldDigits to consume at least one decimal character."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Scientific/Internal.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Scientific/Internal.hs",
              "line": 921,
              "symbol": "foldDigits"
            }
          ],
          "patch": "patches/parse_empty_digit_string_b3af22f.patch"
        },
        "bug": {
          "short_name": "parse_empty_digit_string",
          "invariant": "readP_to_S scientificP s == [] for any string s that contains no decimal digit.",
          "how_triggered": "Reverse-applying the patch removes the leading @ReadP.satisfy isDecimal@ from foldDigits, so scientificP accepts \"\", \".\", \"+.\", etc., as valid (zero) inputs."
        }
      },
      {
        "mutations": [
          "reads_unambiguous_8990216"
        ],
        "tasks": [
          {
            "property": "ReadsUnambiguous",
            "witnesses": [
              {
                "test_fn": "witness_reads_unambiguous_case_one_dot_zero",
                "note": "readP_to_S scientificP \"1.0\" must be a singleton"
              },
              {
                "test_fn": "witness_reads_unambiguous_case_two_dot_five",
                "note": "readP_to_S scientificP \"2.5\" must be a singleton"
              },
              {
                "test_fn": "witness_reads_unambiguous_case_long",
                "note": "readP_to_S scientificP \"12345.67890\" must be a singleton"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/basvandijk/scientific",
          "commits": [
            "8990216e351c56f8186ca12cffbc09af95238eef"
          ],
          "commit_subjects": [
            "Stop 'reads' from producing ambiguous parses."
          ],
          "origin": "internal",
          "summary": "scientificP must produce exactly one parse for any string that is a valid integer-followed-by-fraction. The original used 'mplus' between the optional fractional branch and the no-fraction continuation, returning two parses. The fix replaced 'mplus' with the left-biased 'ReadP.<++'."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Scientific/Internal.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Scientific/Internal.hs",
              "line": 893,
              "symbol": "scientificP"
            }
          ],
          "patch": "patches/reads_unambiguous_8990216.patch"
        },
        "bug": {
          "short_name": "reads_unambiguous",
          "invariant": "length (readP_to_S scientificP s) == 1 for any string of the form <digits>.<digits>.",
          "how_triggered": "Reverse-applying the patch swaps the optional-fraction combinator from '<++' (committed choice) back to 'mplus' (non-deterministic), producing two parses for any input with a fractional part — one consuming the fraction, one stopping at the integer."
        }
      },
      {
        "mutations": [
          "from_float_digits_zero_0f28347"
        ],
        "tasks": [
          {
            "property": "FromFloatDigitsRoundTrip",
            "witnesses": [
              {
                "test_fn": "witness_from_float_digits_round_trip_case_zero",
                "note": "fromFloatDigits (0 :: Double) must equal Scientific 0 0"
              },
              {
                "test_fn": "witness_from_float_digits_round_trip_case_one",
                "note": "fromFloatDigits (1 :: Double) must equal Scientific 1 0 (sanity)"
              },
              {
                "test_fn": "witness_from_float_digits_round_trip_case_neg_one",
                "note": "fromFloatDigits (-1 :: Double) must equal Scientific (-1) 0 (sanity)"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/basvandijk/scientific",
          "commits": [
            "0f28347b4a3221a741f76a48f18ffb9de961e856"
          ],
          "commit_subjects": [
            "Introduce a special case for 0 in fromFloatDigits"
          ],
          "origin": "internal",
          "summary": "fromFloatDigits 0 must equal @0 :: Scientific@. The original code went through Numeric.floatToDigits, which returned ([0], 0), and constructed an unnormalized Scientific 0 (-1). Under the structural Eq instance this is /= Scientific 0 0. The fix added a dedicated equation @fromFloatDigits 0 = 0@."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/Data/Scientific/Internal.hs"
          ],
          "locations": [
            {
              "file": "src/Data/Scientific/Internal.hs",
              "line": 692,
              "symbol": "fromFloatDigits"
            }
          ],
          "patch": "patches/from_float_digits_zero_0f28347.patch"
        },
        "bug": {
          "short_name": "from_float_digits_zero",
          "invariant": "fromFloatDigits (fromIntegral n :: Double) == fromInteger (toInteger n) for every Int n.",
          "how_triggered": "Reverse-applying the patch removes the @fromFloatDigits 0 = 0@ equation. The fall-through path produces Scientific 0 (-1), which is /= the canonical fromInteger 0 = Scientific 0 0."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.763029040+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "143us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 778945, faNeg = True, faE = 3217}floor (scientific -778946 -3617) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:43.886968784+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 122671, faNeg = True, faE = 3922}floor (scientific -122672 -4322) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.001042112+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 965411, faNeg = True, faE = 234}floor (scientific -965412 -634) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.125221273+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 951051, faNeg = True, faE = 1656}floor (scientific -951052 -2056) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.239288440+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 701787, faNeg = True, faE = 2410}floor (scientific -701788 -2810) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.353374733+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 997575, faNeg = True, faE = 3939}floor (scientific -997576 -4339) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.467712424+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "136us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 196678, faNeg = True, faE = 4609}floor (scientific -196679 -5009) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.581801772+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 498449, faNeg = True, faE = 434}floor (scientific -498450 -834) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.695870943+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 552468, faNeg = True, faE = 1817}floor (scientific -552469 -2217) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.810031464+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "FloorArgs {faC = 383763, faNeg = True, faE = 1822}floor (scientific -383764 -2222) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:44.924263459+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "984us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.038407819+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "967us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.152598928+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1010us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.266735773+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "873us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.380942401+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "969us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.495170007+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1016us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.609520993+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "884us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.723903879+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "970us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.838157593+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "865us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:45.952327923+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1071us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.066724173+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "82us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.181085799+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.295281396+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "88us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.419875209+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "91us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.534010343+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.648238470+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "84us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.762711934+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:46.887067152+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.001738595+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "76us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.126214209+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "falsify",
      "counterexample": "FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.240679248+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.354795214+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.469242697+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.583356397+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.697686062+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.812018539+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "66us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:47.936225769+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "43us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.050415882+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.164500107+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FloorDangerouslySmallNegative",
      "mutations": [
        "floor_dangerously_small_negative_7d02b9d"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:48.298533736+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"FloorArgs {faC = 0, faNeg = True, faE = 0}\"] (PropertyFalse Nothing)",
      "hash": "6c9a03a918166510d3c36acdd48c0d9db9063cf9"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.125881487+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \".\"}scientificP \".\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.239956695+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \"-.+e\"}scientificP \"-.+e\" accepted as [(0.0,\"-.+e\"),(0.0,\"+e\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.354355959+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "100us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \"\"}scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.468724725+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "115us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \"+--\"}scientificP \"+--\" accepted as [(0.0,\"+--\"),(0.0,\"--\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.582988332+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "112us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \" E\"}scientificP \" E\" accepted as [(0.0,\" E\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.697265287+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "120us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \"E  e+\"}scientificP \"E  e+\" accepted as [(0.0,\"E  e+\"),(0.0,\"  e+\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.811423846+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "113us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \" \"}scientificP \" \" accepted as [(0.0,\" \")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:56.935709070+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \" \"}scientificP \" \" accepted as [(0.0,\" \")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.049736940+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \". .EE\"}scientificP \". .EE\" accepted as [(0.0,\" .EE\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.153679668+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "NonDigitString {unNonDigit = \"+\"}scientificP \"+\" accepted as [(0.0,\"+\"),(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.268280427+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "797us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.382587158+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "782us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.496584573+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "804us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.611421812+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "827us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.725538338+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "803us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.839608006+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "818us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:57.943685746+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "812us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.057614893+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "817us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.171580428+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "819us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.285594884+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "822us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.400290950+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.514383978+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "110us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.629236236+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.743404692+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.857490828+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:58.971959571+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "106us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.086148805+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "89us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.220622686+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "105us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.334848215+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "86us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.449278177+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "107us",
      "error": null,
      "tool": "falsify",
      "counterexample": "NonDigitString {unNonDigit = \"\"}: scientificP \"\" accepted as [(0.0,\"\")]; expected no successful parse",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.574319609+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "48us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.688746474+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.803128084+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:58:59.917427337+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "50us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:00.040785447+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:00.155189535+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "44us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:00.269364173+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:00.383610789+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:00.497633113+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "46us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ParseEmptyDigitStringRejected",
      "mutations": [
        "parse_empty_digit_string_b3af22f"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:00.611652648+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"NonDigitString {unNonDigit = \\\"++++\\\"}\"] (PropertyFalse Nothing)",
      "hash": "dfb8d756b105023cc389687bb1d45151285405a4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.540862638+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "141us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"5824\", raFrac = \"66666\"}readP_to_S scientificP \"5824.66666\" returned 2 parses: [(5824.0,\".66666\"),(5824.66666,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.655407176+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"55163\", raFrac = \"7686\"}readP_to_S scientificP \"55163.7686\" returned 2 parses: [(55163.0,\".7686\"),(55163.7686,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.769427225+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"69\", raFrac = \"0117\"}readP_to_S scientificP \"69.0117\" returned 2 parses: [(69.0,\".0117\"),(69.0117,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.883517937+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "132us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"736\", raFrac = \"88\"}readP_to_S scientificP \"736.88\" returned 2 parses: [(736.0,\".88\"),(736.88,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:05.997592999+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"95\", raFrac = \"27141\"}readP_to_S scientificP \"95.27141\" returned 2 parses: [(95.0,\".27141\"),(95.27141,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.111647920+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "129us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"24\", raFrac = \"37\"}readP_to_S scientificP \"24.37\" returned 2 parses: [(24.0,\".37\"),(24.37,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.225575748+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"198\", raFrac = \"01365\"}readP_to_S scientificP \"198.01365\" returned 2 parses: [(198.0,\".01365\"),(198.01365,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.339533314+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "140us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"4118\", raFrac = \"55\"}readP_to_S scientificP \"4118.55\" returned 2 parses: [(4118.0,\".55\"),(4118.55,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.453658918+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "130us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"48\", raFrac = \"34\"}readP_to_S scientificP \"48.34\" returned 2 parses: [(48.0,\".34\"),(48.34,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.567730457+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "ReadsArgs {raInt = \"8025\", raFrac = \"1164\"}readP_to_S scientificP \"8025.1164\" returned 2 parses: [(8025.0,\".1164\"),(8025.1164,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.682323987+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "950us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.796359252+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "972us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:06.910551245+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1014us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.024784563+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "975us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.139208584+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "945us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.254108660+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1012us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.368228936+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "950us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.482228708+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "993us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.596310901+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1005us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.710279891+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "1004us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.824682983+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "123us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:07.938808455+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "135us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.052840304+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.166920863+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.280944074+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "133us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.395435811+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "146us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.509327908+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "126us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.613203812+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "131us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.727118601+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "118us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.841056555+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "117us",
      "error": null,
      "tool": "falsify",
      "counterexample": "ReadsArgs {raInt = \"0\", raFrac = \"0\"}: readP_to_S scientificP \"0.0\" returned 2 parses: [(0.0,\".0\"),(0.0,\"\")]; expected exactly 1",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:08.955542851+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.069530737+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "62us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.183845332+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.297924709+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.411942381+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.525906252+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.640007821+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "68us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.754232930+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.868303340+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "ReadsUnambiguous",
      "mutations": [
        "reads_unambiguous_8990216"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:09.982546913+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": "CounterExample [\"ReadsArgs {raInt = \\\"1\\\", raFrac = \\\"0\\\"}\"] (PropertyFalse Nothing)",
      "hash": "35827c4cb7009f7625c75ef58d55418f9ae8fce4"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.749608496+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "789us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.863820811+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "801us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:17.978043315+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "764us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.092438894+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "787us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.206646319+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "769us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.320843606+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "818us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.424801882+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "809us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.539139900+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "791us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.653321908+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "791us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "quickcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.777928554+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "768us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:18.892772356+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2319us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.017367889+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2311us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.141786804+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2379us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.255951770+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2319us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.369973661+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2291us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.484417206+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2345us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.598625322+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2396us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.712788294+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2412us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.826817386+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2345us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "hedgehog",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:19.940862094+00:00",
      "status": "passed",
      "tests": 200,
      "discards": 0,
      "time": "2277us",
      "error": null,
      "tool": "hedgehog",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.055514472+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "360us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.169487670+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "385us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.283538489+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "385us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.398002365+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "370us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.510954174+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "362us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.614914498+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "368us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.728949965+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "362us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.843026602+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "360us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:20.947084990+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "383us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "falsify",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.061245447+00:00",
      "status": "passed",
      "tests": 100,
      "discards": 0,
      "time": "380us",
      "error": null,
      "tool": "falsify",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.176166874+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "139us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.290175989+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.404548104+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.519068222+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.633197488+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.747225187+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.861140510+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "134us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:21.975132530+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "119us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:22.089642283+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    },
    {
      "experiment": "ci-run",
      "workload": "scientific",
      "language": "haskell",
      "strategy": "smallcheck",
      "property": "FromFloatDigitsRoundTrip",
      "mutations": [
        "from_float_digits_zero_0f28347"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-03T16:59:22.203702153+00:00",
      "status": "passed",
      "tests": 11,
      "discards": 0,
      "time": "121us",
      "error": null,
      "tool": "smallcheck",
      "counterexample": null,
      "hash": "ded1b62ff9fe3cb811e4a83e2806dedc41f5783d"
    }
  ]
}