{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 03:01 UTC",
  "workload_docs": {
    "fast-float": [
      {
        "mutations": [
          "decimal_trailing_zeros_56ac048_1"
        ],
        "tasks": [
          {
            "property": "DecimalRoundtripF64",
            "witnesses": [
              {
                "test_fn": "witness_decimal_roundtrip_f64_case_9007199254740993_dot_800_zeros"
              },
              {
                "test_fn": "witness_decimal_roundtrip_f64_case_9007199254740993_dot_1000_zeros"
              },
              {
                "test_fn": "witness_decimal_roundtrip_f64_case_9007199254740997_dot_1000_zeros"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/aldanor/fast-float-rust",
          "commits": [
            "56ac048a96c10c014d5398bae9e548b929616228"
          ],
          "commit_subjects": [
            "Ignore trailing 0s when parsing decimals (fix #4)"
          ],
          "summary": "`parse_decimal` filled a fixed 768-byte digit buffer but never trimmed trailing `'0'` bytes before the MAX_DIGITS clamp fired. For inputs like `9007199254740993.` followed by >752 zeros, the clamp truncated genuine digits instead of zero padding, inflating `decimal_point` and rounding the result off by 1 ulp at the `2^53` boundary."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/decimal.rs"
          ],
          "locations": [
            {
              "file": "src/decimal.rs"
            }
          ],
          "patch": "patches/decimal_trailing_zeros_56ac048_1.patch"
        },
        "bug": {
          "short_name": "decimal_trailing_zeros",
          "invariant": "`fast_float::parse::<f64>(s).unwrap()` must be bit-equal to `s.parse::<f64>().unwrap()` for every ASCII decimal string both parsers accept.",
          "how_triggered": "`parse_decimal` fills `Decimal::digits` (a fixed `MAX_DIGITS = 768`-byte buffer) with the raw digit characters it scans. After the loop that reads the fractional part, the fixed version records the pre-fractional start pointer and, once `num_digits` is known to be non-zero, walks the last `num_digits` slice backwards and decrements `num_digits` for every trailing `'0'` byte. The mutation omits that trim. For inputs like `\"9007199254740993.\" + '0' * 1000`, `num_digits` sits at exactly 1000 + 16 = 1016 when the MAX_DIGITS clamp fires; the clamp discards the *last* 248 digit slots — but since all of them are trailing zeros in the fixed version, the clamp would be a no-op, whereas in the buggy version `num_digits` is still 1016 and `d.decimal_point += d.num_digits as i32` inflates the decimal exponent by the wrong offset. The resulting `Decimal` rounds off by 1 ulp from the stdlib reference (`fast_float` yields `0x4340000000000001`, stdlib yields `0x4340000000000000`). The witnesses pick mantissas at the `2^53` boundary where a 1-ulp swing flips the LSB visibly.\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.942079901+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "423us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740997 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.943663550+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "351us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740997 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.944953965+00:00",
      "status": "failed",
      "tests": 40,
      "discards": 0,
      "time": "523us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740993 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.946366792+00:00",
      "status": "failed",
      "tests": 26,
      "discards": 0,
      "time": "592us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740997 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.947919396+00:00",
      "status": "failed",
      "tests": 34,
      "discards": 0,
      "time": "866us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740993 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.949657591+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "238us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740997 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.950862716+00:00",
      "status": "failed",
      "tests": 25,
      "discards": 0,
      "time": "386us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740993 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.952131945+00:00",
      "status": "failed",
      "tests": 19,
      "discards": 0,
      "time": "260us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740997 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.953370648+00:00",
      "status": "failed",
      "tests": 45,
      "discards": 0,
      "time": "1013us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740993 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "proptest",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.955365498+00:00",
      "status": "failed",
      "tests": 16,
      "discards": 0,
      "time": "181us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(9007199254740993 800)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.956594438+00:00",
      "status": "failed",
      "tests": 638,
      "discards": 0,
      "time": "1755us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.959268161+00:00",
      "status": "failed",
      "tests": 477,
      "discards": 0,
      "time": "1325us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.961490427+00:00",
      "status": "failed",
      "tests": 422,
      "discards": 0,
      "time": "1214us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.963584176+00:00",
      "status": "failed",
      "tests": 397,
      "discards": 0,
      "time": "1063us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.965544042+00:00",
      "status": "failed",
      "tests": 385,
      "discards": 0,
      "time": "1122us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.967554546+00:00",
      "status": "failed",
      "tests": 481,
      "discards": 0,
      "time": "1270us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.969728191+00:00",
      "status": "failed",
      "tests": 505,
      "discards": 0,
      "time": "1519us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.972178227+00:00",
      "status": "failed",
      "tests": 510,
      "discards": 0,
      "time": "1432us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.974536447+00:00",
      "status": "failed",
      "tests": 285,
      "discards": 0,
      "time": "690us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.976146062+00:00",
      "status": "failed",
      "tests": 566,
      "discards": 0,
      "time": "1390us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.978606202+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "41us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741145 1383)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.979578035+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741161 1043)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.980514138+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741041 1335)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.981487664+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "40us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741093 901)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.982398489+00:00",
      "status": "failed",
      "tests": 11,
      "discards": 0,
      "time": "175us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741153 1472)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.983462815+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "35us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741009 1325)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.984398626+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "125us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741025 951)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.985402369+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "38us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741085 1363)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.986349893+00:00",
      "status": "failed",
      "tests": 9,
      "discards": 0,
      "time": "309us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741065 815)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.987566353+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(9007199254741137 1024)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:30.988699033+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "1008762us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:31.998772567+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "235152us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:32.235313219+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "221547us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:32.458197216+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "217433us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:32.676891728+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "219509us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:32.897713350+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "228898us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:33.127928319+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "216334us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:33.345765718+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "219287us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:33.566421666+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "218546us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    },
    {
      "experiment": "ci-run",
      "workload": "fast-float",
      "language": "rust",
      "strategy": "hegel",
      "property": "DecimalRoundtripF64",
      "mutations": [
        "decimal_trailing_zeros_56ac048_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:01:33.786272932+00:00",
      "status": "failed",
      "tests": 48,
      "discards": 0,
      "time": "222574us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(9007199254740993 753)",
      "hash": "f451c313c30648a027849389aa3bbfc3c1ee6be2"
    }
  ]
}