{
  "experiment": "ci-run",
  "generated_at": "2026-04-30 16:43 UTC",
  "workload_docs": {
    "memchr": [
      {
        "mutations": [
          "memchr_iter_offbyone_8313aeb_1"
        ],
        "tasks": [
          {
            "property": "MemchrIterMatchesNaive",
            "witnesses": [
              {
                "test_fn": "witness_memchr_iter_matches_naive_case_multi_hit"
              },
              {
                "test_fn": "witness_memchr_iter_matches_naive_case_single_hit"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/memchr",
          "commits": [
            "8313aebad08af00dbd7090114f2a70a1842b6f45"
          ],
          "commit_subjects": [
            "Fix Memchr iterators to use 0-based positions"
          ],
          "summary": "`Memchr::next` post-shifted every match index by `+1`, so `memchr_iter(needle, haystack)` reported positions one ahead of their true offsets. The fix removes the shift so iterator positions match the naive byte scan."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/memchr.rs"
          ],
          "locations": [
            {
              "file": "src/memchr.rs"
            }
          ],
          "patch": "patches/memchr_iter_offbyone_8313aeb_1.patch"
        },
        "bug": {
          "short_name": "memchr_iter_offbyone",
          "invariant": "The positions yielded by `memchr_iter(needle, haystack)` match the indices yielded by the naive `haystack.iter().enumerate().filter(|(_, b)| **b == needle).map(|(i, _)| i)` scan, in order.",
          "how_triggered": "The buggy forward iterator post-shifts every output via `.map(|i| i + 1)`, so every hit is reported at `index + 1` instead of `index`. A haystack with a match at index 0 gets reported at 1; off-by-one is detected on the very first yielded position."
        }
      },
      {
        "mutations": [
          "memrchr_iter_forward_1b37466_1"
        ],
        "tasks": [
          {
            "property": "MemrchrIterMatchesNaive",
            "witnesses": [
              {
                "test_fn": "witness_memrchr_iter_matches_naive_case_multi_hit"
              },
              {
                "test_fn": "witness_memrchr_iter_matches_naive_case_two_separated"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/BurntSushi/memchr",
          "commits": [
            "1b37466ed6f79fcc40692beccfd16b199830b147"
          ],
          "commit_subjects": [
            "Modify DoubleEndedIterator to use rposition instead of just position"
          ],
          "summary": "`Memchr::next_back` dispatched the reverse scan through `memchr_raw`, so it returned the leftmost match each time instead of the rightmost. The fix routes `next_back` through `memrchr_raw` so the `DoubleEndedIterator` yields match positions from the end of the haystack."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/memchr.rs"
          ],
          "locations": [
            {
              "file": "src/memchr.rs"
            }
          ],
          "patch": "patches/memrchr_iter_forward_1b37466_1.patch"
        },
        "bug": {
          "short_name": "memrchr_iter_forward",
          "invariant": "`memrchr_iter(needle, haystack).collect::<Vec<_>>()` equals the reverse of `memchr_iter(needle, haystack).collect::<Vec<_>>()` (i.e. the reverse iterator yields match positions from the end of the haystack).",
          "how_triggered": "The buggy `next_back` dispatches the reverse scan through `memchr_raw` instead of `memrchr_raw`, so it returns the *first* (leftmost) match every time it's called. The first `.next_back()` of `b\"aabaabaab\"` searching for `b` yields 2 (leftmost hit) instead of 8 (rightmost hit).\n"
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.045875494+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "222us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [122, 0, 99, 97, 0, 1, 97, 127, 122, 122, 99, 99, 122, 99, 32, 46, 97, 99, 98, 99, 98, 122, 99, 95])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.047410182+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "354us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [98, 255, 99, 95, 95, 46, 98, 255, 122, 95, 0, 46, 97, 99, 99, 97, 97, 99, 97, 95, 46, 0, 127, 1, 98, 32, 122, 97, 97, 98, 32, 97, 98, 99, 0, 1, 0, 46, 95, 46, 127, 32, 0, 98, 99, 1, 99, 99, 122, 98, 255, 95, 32, 0, 255, 46, 97, 97, 1, 98, 97, 46, 0, 97, 127, 46, 1, 32, 127, 97, 98, 46, 127, 32, 0, 122, 255, 46, 0, 122, 255, 127, 0, 32, 32, 95, 95, 95, 32, 97, 32, 255, 1, 97, 98])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.048834464+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "298us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [255, 98, 127, 122, 95, 0, 122, 97, 97, 97, 1, 98, 127, 97, 99, 97, 97, 0, 46, 1, 97, 1, 0, 97, 0, 127, 97, 97, 0, 0, 46, 97, 127, 98, 1, 99, 97, 0, 97, 99, 97, 122, 98, 97, 255, 97, 127, 97, 97, 97, 97, 97, 95, 46, 0, 97, 32, 0, 0, 1, 97, 122, 98])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.050206224+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "138us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [97, 255])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.051367449+00:00",
      "status": "failed",
      "tests": 32,
      "discards": 0,
      "time": "152us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.052510560+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "54us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(1 [1])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.053544527+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "359us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [46, 97, 97, 97, 0, 255, 1, 1, 97, 1, 46, 1, 32, 32, 0, 97, 99, 122, 99, 97, 127, 95, 99, 97, 95, 97, 122, 127, 255, 99, 255, 122, 0, 97, 95, 32, 97, 97, 122, 122, 32, 0, 99, 97, 97, 97, 127, 97, 97, 1, 97, 0, 97, 97, 97, 99, 46, 95, 97, 99, 95, 97, 46, 0, 0, 0, 255, 0, 97, 32, 97, 32, 122, 97, 98, 97, 98, 97, 99, 122, 255, 46, 98, 97, 99, 97, 127, 46, 122, 32, 255, 46, 97, 0])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.054958305+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "231us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [1, 46, 98, 97, 255, 46, 122, 255, 95, 122, 97, 97, 127, 97, 1, 99, 32, 99, 99, 97, 97, 0, 98, 255, 95, 0, 97, 0, 1, 97, 127, 95, 255, 122, 99, 32, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.056164154+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "317us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [95, 98, 127, 127, 0, 98, 97, 97, 127, 32, 122, 99, 127, 97, 1, 46, 98, 122, 0, 127, 97, 99, 255, 97, 32, 98, 122, 97, 127, 255, 99, 99, 127, 32, 122, 95, 127, 0, 46, 122, 127, 122, 98, 0, 95, 1, 127, 97, 127, 95, 99, 97, 98, 95, 95, 95, 98, 255, 99, 97, 127, 0, 99, 0, 97, 99, 0, 1, 46, 1, 127, 1, 122, 32])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.057501218+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "252us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [95, 99, 99, 32, 122, 122, 95, 97, 0, 98, 97, 95, 122, 0, 97, 97, 99, 1, 1, 122, 99, 98, 255, 99, 0, 46, 46, 97, 97, 97, 97, 99, 0, 99, 99, 1, 97, 46, 122, 97, 122, 97, 1, 0, 46, 97, 99, 1, 99, 46, 99, 99, 1])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.058825408+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 [1, 98, 255, 97, 127, 97, 97, 46, 99, 99, 122, 46, 97, 0, 97, 99, 95, 95, 46, 97, 98, 46, 122])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.059867671+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 [0, 97, 127, 95, 122, 97, 0, 255, 95, 98, 97, 0, 122, 97, 97, 127, 122, 95, 99, 46, 97, 122, 98, 46, 95, 32, 97, 99, 255, 46, 97, 1, 255, 46, 46, 46, 99, 98, 97, 99, 95, 127, 255, 46, 0])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.060972945+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255 [95, 32, 97, 98, 127, 122, 0, 255, 127, 46, 46, 95, 255, 122, 0, 95, 99, 127, 122, 122, 97, 99, 32, 46, 1, 1, 127, 95, 97, 1, 127, 99, 1, 97, 97, 0, 122, 97, 97, 99, 99, 0, 46, 97, 122, 95, 97, 122, 97, 122, 0, 99, 97, 46])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.061983896+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 [255, 1, 99, 32, 122, 99, 122, 122, 1, 122, 97, 1, 1, 95, 32, 99, 46, 32, 32, 32, 0, 122, 97, 97, 97, 97, 1, 97, 0, 98, 1, 32, 127, 0, 97, 1, 1, 97, 97, 127, 98, 99, 0])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.063028316+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 [127, 46, 0, 255, 95, 32, 127, 122, 99, 122, 0, 97, 0, 46, 97, 46, 99, 99, 95, 46, 32, 1, 127, 97, 97, 97, 99, 1, 32, 32, 98, 99, 97, 127, 97, 1, 98, 122, 0, 46, 1, 99, 1, 127, 46, 95, 32, 127, 1, 0, 32, 97, 97, 122, 95, 255, 255, 46, 127, 97, 127, 95, 95, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.064036272+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(99 [255, 98, 1, 127, 97, 95, 99, 95, 97, 32, 255, 97, 98, 97, 97, 127, 97, 95, 1, 32, 97, 0, 0, 46, 127, 1, 127, 97, 127, 1])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.065110578+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "28us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(122 [97, 1, 98, 98, 46, 122, 1, 97, 1, 95, 122, 95, 98, 127, 122, 32, 0, 1, 255, 1, 46, 46, 97, 95, 122, 255, 98, 46, 46, 255, 97, 0, 46, 98])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.066113545+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(255 [122, 95, 97, 97, 97, 99, 97, 127, 0, 97, 32, 32, 95, 95, 32, 97, 99, 32, 97, 97, 99, 255, 1, 97, 122, 97, 32, 98, 46, 1, 97, 99, 46, 95, 255, 95, 1, 255, 99, 46, 98, 98, 99, 97, 99, 1, 95, 98, 97, 97, 97, 97, 255, 97, 122, 46, 98, 97, 99, 0, 95, 97, 97, 46, 127, 97, 98, 98, 98, 32, 255, 0, 95, 255, 97, 97, 95, 122, 99, 97, 98, 46, 98, 97, 122, 255, 99, 97, 99, 0, 99, 99, 95, 1, 97, 32, 97, 0, 99, 97, 46, 46, 97, 122, 46, 97, 127, 0, 97, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.067215191+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(122 [98, 97, 1, 46, 0, 127, 0, 97, 255, 0, 98, 46, 1, 98, 98, 95, 46, 1, 1, 32, 0, 97, 98, 127, 0, 99, 46, 95, 46, 127, 97, 97, 98, 95, 255, 127, 99, 97, 127, 99, 255, 255, 97, 46, 255, 1, 1, 97, 0, 122, 46, 1, 46, 0, 99, 99, 97, 255, 127, 46, 99, 97, 1, 0, 1, 0, 32, 255, 97, 46, 97, 1, 255, 255, 0, 32, 127])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.068242985+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "32us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(98 [99, 97, 97, 97, 0, 99, 97, 46, 1, 127, 95, 0, 0, 98, 97, 99, 97, 97, 1, 1, 0, 98, 97, 98, 97, 97, 99, 1, 0, 99, 99, 97, 46, 97, 122, 255, 97, 99, 99, 95, 127, 255, 97, 255, 0, 97, 98, 97, 99, 97, 122, 97, 97, 98, 97, 0, 0, 127, 1, 46, 127, 95, 255, 97, 122, 95, 255, 0, 98, 97, 97, 127, 255, 1, 97, 32, 97, 122, 97, 98, 99, 32, 255, 95, 99, 99, 255, 122, 127, 127, 97, 1, 46, 32, 97, 127, 127, 0, 32, 32, 255])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.069425644+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 [32, 0, 122, 98, 95, 32, 32, 97, 127, 97, 127])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.070438508+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1 [98, 0, 95, 99, 32, 97, 127, 0, 255, 46, 127, 122, 32, 95, 1, 99, 97, 97, 0, 46, 255, 127, 1, 1, 97, 127, 127, 1, 99, 97, 97, 127, 127, 32, 97, 97, 255, 97, 127, 95, 46, 98, 97, 98, 99, 122, 97, 122, 1, 98, 32, 1, 97, 122, 46, 46, 32, 99, 99, 95, 127, 122, 122, 46, 97, 46, 98, 97, 127, 0, 122, 46, 97, 32])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.071429619+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(122 [46, 99, 97, 97, 127, 255, 46, 98, 122, 255, 122, 97, 46, 95, 46, 255, 127, 32, 255, 46, 122, 97, 99, 0, 97, 46, 1, 0, 97, 1, 97, 95, 97, 122, 255, 97, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.072437885+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(97 [95, 1, 255, 32, 95, 46, 0, 46, 95, 99, 97, 99, 97, 127, 32, 122, 97, 1, 46, 255, 1, 0, 99, 98, 97, 122, 32, 0, 46, 97, 46, 99, 0, 97, 127, 97, 98, 127, 97, 1, 255, 98, 0, 98, 99, 97, 122, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.073424738+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(127 [97, 122, 95, 255, 255, 122, 1, 122, 97, 97, 98, 98, 255, 32, 127, 99, 1, 97, 98, 1, 99, 255, 1, 127, 46, 99, 127, 95, 127, 97, 1, 32, 97, 97, 95, 95, 46, 97, 127, 127, 99, 99, 127, 95, 46, 127, 97, 97, 127, 97, 97, 32, 95, 97, 99, 122, 95, 32, 98, 97, 0, 122, 98, 122, 97, 95, 127, 95, 32, 99, 95, 46, 0, 127, 255, 32, 99, 127, 127, 1, 0, 97, 97, 97, 97, 32, 0, 46, 0, 32, 97, 32, 122, 122, 97, 95, 98, 0, 95, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.074423066+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(97 [1, 97, 99, 0, 99, 97, 0])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.075426940+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(99 [97, 1, 0, 99, 97, 255, 99, 32, 0, 95, 32, 0, 99, 97, 32, 97, 95, 98, 0, 46, 1, 127, 122, 46, 97, 95, 32, 1, 99, 99, 1, 1, 0, 46, 127, 98, 95, 1, 97, 97, 97, 97, 127, 0, 127, 95, 97, 95, 0, 99, 32, 95, 97, 122, 99, 1, 1, 127, 98, 0, 122, 32, 1, 97, 99, 99, 97, 98, 1, 97, 97, 46, 97, 97, 98, 97, 97, 97, 127, 1, 0, 122, 1, 1, 1, 95, 98, 255, 1, 95, 97, 255, 32, 0, 127, 97, 97, 32, 122, 95])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.076418084+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(122 [95, 98, 46, 32, 98, 0, 0, 97, 46, 97, 99, 127, 1, 95, 255, 127, 122, 97, 46, 97, 97, 122, 99, 97, 32, 127, 99, 0, 32, 95, 98, 122, 97, 127, 255, 122, 97, 98, 98, 46, 97, 97, 1, 122, 255, 0, 46, 97, 99, 97, 99, 97, 1, 98, 97, 46, 97, 98, 98, 95, 1, 99, 122, 99, 0, 127, 97, 46, 0, 46, 98, 46, 1, 99, 95, 97, 98, 127, 122, 97, 97, 46, 97, 122, 99, 46, 127, 46, 97, 0, 1, 97, 98, 1, 99, 255, 97, 98, 97, 0, 97, 97, 46, 32, 32, 98, 97, 98, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.077421698+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(1 [32, 1, 97, 32, 122, 0, 97, 1, 1, 97, 95, 32, 32, 32, 32, 122, 95, 127, 98, 127, 1, 255, 0, 122, 98, 32, 99, 95, 99, 97, 95, 127, 98, 32, 255, 98, 97, 46, 97, 97, 0, 122, 97, 98, 46, 97, 99, 122, 97, 122, 97, 97, 99, 255, 95, 1, 97, 99, 46, 97, 99, 122, 46, 127, 46, 0, 97, 97, 255, 95, 127, 99, 97, 98, 46, 1, 95, 0, 97, 46, 98, 255, 97, 32, 32])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.078465170+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "58us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(99 [46, 46, 99, 95, 0, 97, 97, 127, 95, 97, 46, 97, 99, 32, 97, 1, 95, 95, 46, 0, 32, 97, 127, 1, 99, 127, 97, 97, 255, 99, 98, 122, 98, 32, 97, 0, 32, 1, 1, 95, 127, 97, 127, 32, 32, 0, 127, 255, 95, 1, 98, 32, 1, 127, 97, 255, 32, 0, 97, 97, 0, 122, 1, 95, 95, 255, 255, 32, 255, 97, 95, 255, 97, 122, 99, 127, 0, 122, 97, 32, 127, 46, 46, 122, 97, 99, 1, 32, 32, 95, 32, 127, 99, 255, 1, 32, 122, 0, 97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:22.079661524+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "1413959us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:23.494862954+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "887753us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:24.384264747+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "870602us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:25.256388018+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "882226us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:26.140149202+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "885599us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.027345714+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "895143us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:27.923978386+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "893933us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:28.819412635+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "891836us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:29.712743972+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "869173us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemchrIterMatchesNaive",
      "mutations": [
        "memchr_iter_offbyone_8313aeb_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:30.583592177+00:00",
      "status": "failed",
      "tests": 74,
      "discards": 0,
      "time": "891305us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97])",
      "hash": "f5b5bcdda12fa2a3724c2e4271f57271f907dc01"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.170369143+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "239us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [127, 127, 32, 127, 98, 0, 1, 98, 46, 122, 97, 32, 127, 127, 46, 97, 97, 0, 46, 95, 0, 122, 46, 1, 99, 98, 97, 97, 0, 255, 32, 122, 99, 0, 98, 255, 1, 122, 97, 95, 97, 32, 97, 97, 122, 98, 122, 97, 95, 97, 98, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.171844750+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "199us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [32, 97, 46, 97, 99, 46, 127, 122, 98, 97, 32, 99, 97, 32, 127, 1, 95, 32, 97, 255, 98, 127, 255, 95, 127, 97, 97, 122, 99])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.173044048+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "329us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [97, 98, 1, 46, 32, 1, 95, 0, 98, 99, 0, 255, 32, 98, 99, 122, 99, 98, 99, 32, 46, 95, 46, 46, 46, 0, 32, 127, 98, 99, 1, 32, 46, 99, 97, 99, 0, 99, 98, 98, 98, 99, 97, 122, 32, 95, 97, 127, 1, 97, 255, 99, 1, 97, 127, 97, 1, 97, 95, 122, 0, 46, 97, 99, 46, 32, 0, 255, 122, 97, 127, 32, 1, 46, 122, 122, 97, 97, 97, 1, 97, 97, 255, 1, 0, 1, 255, 1, 255, 98, 1, 97, 97, 127, 97, 98])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.174391770+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "336us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [46, 255, 97, 255, 98, 95, 255, 122, 0, 1, 95, 98, 95, 95, 122, 46, 95, 122, 122, 255, 97, 1, 97, 32, 97, 122, 127, 1, 46, 97, 0, 32, 98, 95, 97, 95, 99, 97, 255, 32, 98, 97, 97, 98, 99, 127, 97, 46, 98, 98, 97, 255, 46, 127, 122, 46, 98, 0, 97, 97, 97, 255, 255, 127, 255, 122, 46, 1, 95, 97, 95, 255, 32, 0, 98, 99, 1, 97, 97, 127, 98])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.175708047+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "279us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [95, 95, 97, 97, 1, 97, 255, 98, 95, 97, 0, 99, 97, 97, 97, 127, 97, 99, 95, 127, 46, 1, 97, 127, 98, 46, 32, 98, 255, 98, 1, 97, 0, 98, 122, 99, 99, 95, 122, 98, 97, 99, 127, 1, 97, 97, 127, 97, 1, 255, 97, 1, 97, 46, 122, 255, 97, 97, 122, 95, 127, 46, 127, 1, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.176989204+00:00",
      "status": "failed",
      "tests": 28,
      "discards": 0,
      "time": "73us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(99 [99, 99])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.178046376+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "201us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [97, 127, 98, 122, 46, 127, 95, 97, 98, 46, 1, 95, 122, 95, 97, 255, 97, 1, 122, 95, 99, 98, 122, 255, 97, 97, 1, 255, 32, 98, 95, 99, 98, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.179269275+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "415us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [95, 97, 97, 32, 0, 98, 95, 1, 46, 97, 0, 0, 99, 99, 0, 255, 0, 99, 122, 0, 98, 95, 97, 0, 97, 1, 32, 122, 97, 46, 97, 127, 97, 97, 98, 98, 0, 0, 0, 99, 0, 97, 97, 127, 98, 95, 98, 97, 122, 95, 0, 46, 99, 122, 98, 98, 1, 1, 122, 0, 255, 127, 97, 46, 95, 122, 1, 97, 255, 46, 46, 99, 0, 97, 97, 127, 1, 127, 32, 1, 0, 32, 255, 97, 97, 97, 95, 46, 95])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.180643640+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "151us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(0 [0, 0, 97, 127, 127, 1, 1, 97, 97, 95, 32, 127, 46])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "proptest",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.181835230+00:00",
      "status": "failed",
      "tests": 33,
      "discards": 0,
      "time": "188us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(97 [97, 32, 127, 97, 0, 1, 255, 46, 255, 97, 46, 32, 32, 122, 122, 97, 97, 95, 127, 95, 98, 46, 32, 1, 95, 255, 1, 0, 1])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.183296418+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 [98, 1, 46, 98, 127, 97, 98, 0, 98, 98, 127, 97, 97, 122, 1, 255, 255, 95, 32, 95, 97, 127, 32, 97, 98, 98, 32, 255, 95, 127, 255, 32, 99, 95, 0, 1, 32, 99, 0, 1, 127, 97, 122, 122, 95, 255, 97, 95, 0, 98, 255, 98, 98, 0, 46, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.184343828+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 [97, 97, 0, 46, 0, 32, 0, 255, 98, 32, 255])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.185389669+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(99 [1, 99, 97, 127, 97, 32, 97, 122, 97, 32, 127, 0, 122, 99, 255, 98, 1, 95, 97, 32, 97, 97, 0, 255, 97, 95, 0])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.186428374+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "71us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(122 [46, 127, 255, 0, 255, 97, 32, 97, 95, 0, 97, 127, 98, 122, 0, 97, 255, 32, 255, 95, 99, 99, 1, 97, 99, 95, 1, 1, 97, 1, 122, 127, 99, 255, 95, 98, 1, 255, 1, 98, 127, 46, 127, 95, 122, 95, 127, 255, 99, 46, 1, 0, 32, 32, 98, 32, 0, 97, 46, 95, 127, 97, 122, 97, 46, 97, 255, 95, 99, 0, 127, 97, 97, 0, 99, 97, 95, 1, 95, 127, 127, 98, 98, 97, 99, 1, 46, 98, 97, 1, 255, 0, 97, 97, 32, 97, 98, 99, 98, 122, 1, 95, 46, 122, 95, 95, 255, 0, 255, 97, 97, 97, 122, 32, 32, 97, 32, 97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.187500203+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "36us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(0 [99, 32, 122, 99, 122, 97, 95, 95, 1, 95, 95, 1, 46, 122, 98, 32, 46, 122, 1, 97, 98, 95, 255, 95, 255, 127, 127, 98, 95, 46, 0, 122, 127, 127, 127, 0, 255, 98, 95, 98, 97, 127, 97, 95, 122, 97, 46, 99, 0, 1, 99, 122, 127, 255, 122, 97, 99, 97, 127])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.188575025+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 [98, 0, 32, 99, 97, 32, 127, 97, 97, 0, 97, 46, 99, 46, 122, 46, 127, 122, 97, 0, 97, 127, 97, 99, 32, 122, 1, 0, 46, 99, 127, 99, 32, 95, 97, 32, 32, 99, 97, 122, 95, 255, 122, 99, 0, 0, 98, 98, 97, 0, 127, 1, 98, 97, 127, 97, 97, 0, 95, 0, 97, 46, 32, 97, 32, 32, 97, 32, 122, 99, 46, 122, 255, 98, 122, 97, 97, 32, 32, 97, 127, 98, 122, 97, 97, 122, 97, 95, 97, 255])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.189613853+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(97 [95, 0, 32, 97, 99, 122, 255, 46, 1, 32, 97, 97, 46, 1, 1, 122, 32, 97, 46, 127, 46, 0, 97, 97, 127, 98, 127, 99, 95, 1, 97, 97, 127, 1, 1, 46, 99, 1, 97, 98, 122, 98, 98, 46, 95, 99])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.190670100+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(1 [98, 0, 97, 99, 0, 127, 1, 99, 99, 32, 99, 122, 97, 97, 99, 98, 98, 99, 0, 32, 122, 97, 127, 95, 32, 97, 32, 127, 122, 1, 255, 97, 127, 95, 97, 95, 97, 98, 127, 95, 97, 46, 122, 1, 127, 1, 32, 99, 1, 122, 97, 97, 97, 98, 99, 0, 98, 99, 97, 0, 97, 46, 32, 97, 99, 255, 97, 255, 46, 97, 97, 99, 1, 97, 0, 122, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.191728685+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(98 [1, 127, 1, 32, 98, 0, 32, 0, 99, 95, 95, 0, 122, 1, 1, 95, 99, 122, 98, 97, 97, 32, 98, 1, 97, 97, 32, 97, 99, 99, 1, 99, 127, 95, 255, 97, 255, 99, 97, 97, 98, 127, 46, 95, 97, 255, 255, 122, 0, 98, 97, 255, 127, 255, 32, 98, 95, 99, 122, 1, 97, 127, 98, 32, 122, 97, 97, 122, 95, 97, 46, 1, 32, 255, 97, 97, 97, 99, 46, 122, 97, 97, 46, 32, 127, 0, 95, 1, 127, 97, 98, 46])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.192784431+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(122 [98, 32, 127, 0, 0, 98, 97, 255, 127, 1, 97, 97, 97, 97, 255, 97, 99, 122, 32, 95, 97, 122, 97, 1, 255, 122, 97, 99, 255, 97, 46, 97, 99, 0, 95, 98, 122, 97, 46, 0, 95, 127, 46, 95, 255, 46, 32, 255, 99, 1, 122, 255, 97, 97, 255, 97, 99, 98, 99, 97, 32, 99, 0, 122, 97, 95, 46, 97, 32, 122, 99, 1, 97, 98, 127, 127, 97, 255, 97, 0, 46, 127, 98, 255, 97, 122, 99, 127, 97, 1, 98, 1, 122, 46, 255, 46, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.194096601+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(97 [0, 255, 97, 97, 127, 97, 1, 95, 1, 97, 98, 127, 255, 255, 122, 46, 1])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.195247004+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "33us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(127 [127, 0, 127, 97, 98, 122, 127, 46, 0, 46, 98, 97, 32, 97, 127, 98, 1, 97, 97, 95, 122, 99, 99, 97, 122, 97, 95, 127, 95, 97, 97, 97, 99, 99, 122, 1, 46, 98, 97, 97, 122, 46, 46, 98, 99, 97, 98, 122, 32, 0, 99, 122, 95, 127, 1, 99, 1, 46, 97, 97, 97, 255, 0, 1, 1, 99, 95, 97, 127, 0, 95, 32, 97, 95, 46, 95, 97, 1, 95, 97, 127, 46, 97, 255, 99, 95, 1, 95, 97, 255, 1, 97, 98, 97, 97, 0, 98, 97, 97, 127, 98, 95, 127, 127, 97, 97, 0, 32, 127, 127, 1, 0, 1, 97, 46, 127, 97, 255, 1, 1, 255, 99, 0, 95, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.196313504+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "26us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(255 [122, 0, 97, 0, 1, 97, 32, 127, 97, 97, 32, 97, 98, 122, 99, 98, 99, 1, 98, 46, 97, 95, 97, 127, 97, 122, 97, 97, 99, 127, 97, 127, 99, 0, 32, 97, 97, 95, 98, 255, 95, 122, 98, 255, 95, 127, 99, 99, 97, 97, 98, 98, 1, 97, 255, 99, 97, 97, 32, 122, 97, 97, 255, 97, 255, 95, 1, 97, 97, 97, 127, 127, 97, 46, 99, 127, 255, 0, 127, 46, 97, 97, 255, 1, 122, 46, 127, 97, 0, 255, 122, 97, 97, 97, 32, 97, 0, 99, 255, 97, 32, 97, 255, 0])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.197371364+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 [46, 97, 97, 255, 95, 255, 97, 97, 99, 99, 97, 127, 95, 0, 32, 0, 99, 0, 122, 127, 32, 255, 255, 97, 97, 97, 0, 255, 32, 0, 122, 97, 127, 0, 97, 255, 127, 97, 1, 1, 122, 122, 0, 255, 122, 0, 46, 255, 98, 97, 32, 97, 32, 1, 1, 127, 97, 122, 127, 0, 97, 32, 98, 32, 46, 46, 97, 0, 0, 97, 99, 122, 98, 97, 97, 97, 32, 1, 97, 97, 0, 97, 0])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.198382760+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "29us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 [97, 46, 1, 97, 97, 97, 95, 0, 127, 97, 98, 127, 97, 32, 127, 127, 99, 46, 46, 255, 95, 0, 97, 97, 97, 97, 97, 95, 122, 127, 95, 46, 1, 99, 98, 46, 99, 97, 127, 1, 97, 95, 32, 99, 99, 46, 95, 97, 99, 46, 255, 98, 99, 99, 127, 127, 0, 97, 95, 0, 97, 97, 95, 46, 32, 46, 1, 32, 97, 32, 255, 127, 46, 46, 95, 95, 1, 1, 97, 95, 255, 1, 32, 95, 97, 95, 46, 255, 32, 97, 95, 0, 127, 127, 95, 127, 46, 99, 0, 46, 1, 97, 46, 98, 97, 97, 99, 255, 122, 0])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.199448526+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(255 [1, 97, 97, 122, 32, 99, 95, 127, 97, 46, 1, 32, 99, 95, 255, 98, 255, 127, 32, 99, 99, 255, 46, 32])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.200439995+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(98 [99, 97, 97, 99, 98, 122, 255, 97, 99, 122, 122, 46, 97, 32, 127, 1, 1, 1, 0, 97, 1, 0, 97, 97, 127, 32, 99, 32, 97, 97, 95, 1, 127, 97, 255, 46, 99, 1, 99, 255, 97, 32, 0, 97, 0, 98, 98, 97, 95, 1, 122, 46, 99, 32, 32, 1, 98, 127, 97, 255, 99, 46, 0, 97, 255, 122, 127, 95, 95, 0, 255, 95, 0, 97, 99, 95, 46, 97, 98, 95, 97, 255, 97, 0, 97, 1, 97, 0, 127])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.201492415+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(255 [255, 0, 95, 99, 127, 1, 127, 255, 1, 0, 32, 95, 97, 127, 95, 95, 46, 98, 46, 32, 99, 97, 32, 97, 46, 32, 97, 46, 0, 255, 97, 97, 1, 0, 32, 97, 0, 97, 99, 32, 255, 1, 122, 127, 95, 46, 127, 99, 32, 1, 255, 255, 97, 127, 95, 46, 127, 127, 255, 32, 95, 0, 95, 32, 99, 1, 46, 46, 255, 46, 97, 1, 122, 97, 127, 46, 32, 46, 99, 99, 97, 255, 0, 97, 122, 98])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.202496458+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "31us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(99 [97, 255, 98, 122, 95, 99, 95, 122, 97, 46, 97, 32, 32, 99, 99, 97, 97, 122, 1, 32, 32, 98, 46, 98, 97, 95, 32, 122, 97, 95, 0, 97, 0, 95, 0, 255, 127, 0, 1, 122, 99, 46, 1, 32, 97, 122, 127, 127, 122, 122, 95, 127, 97, 0, 32, 98, 97, 97, 122, 99, 99, 255, 46, 255, 97, 97, 97, 97, 98, 32, 0, 97, 98, 1, 1, 127, 95, 255, 122, 95, 95, 98, 32, 97, 97, 0, 0, 95, 32, 1, 255, 97, 122, 255, 46, 32, 46, 99, 95, 1, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.203541936+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(0 [1, 127, 0, 0, 97, 32, 95, 32, 97, 99, 122, 32, 255, 46, 99, 1, 122, 1, 97, 127, 99, 1, 98, 99, 46, 97, 97, 32, 97, 1, 46, 98, 127, 127, 122, 97, 99, 255, 98, 98, 0, 1, 0, 98, 122, 97, 97, 32, 95, 98, 0, 127, 32, 32, 95, 98, 98, 122, 1, 97, 127, 46, 255, 122, 95, 127, 122, 99, 255, 97, 97, 97, 32, 46, 0, 97, 95, 122, 127, 99, 95, 97, 1, 122, 1, 95, 97, 98, 32, 95, 46, 99, 0, 97, 122, 127, 46, 46, 122, 32, 255, 255, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:40.204877728+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "887356us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:41.093538936+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "907031us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:42.002078387+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "899786us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:42.903553358+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "909874us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:43.814883338+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "913654us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:44.730018671+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "899871us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:45.631457836+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "882940us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:46.515894816+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "896432us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:47.414007265+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "901715us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    },
    {
      "experiment": "ci-run",
      "workload": "memchr",
      "language": "rust",
      "strategy": "hegel",
      "property": "MemrchrIterMatchesNaive",
      "mutations": [
        "memrchr_iter_forward_1b37466_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-04-30T16:43:48.317215586+00:00",
      "status": "failed",
      "tests": 79,
      "discards": 0,
      "time": "892415us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(97 [97, 97])",
      "hash": "a0ec03b077167e2c7fc8bf3f0a85c6dbd0e40b0c"
    }
  ]
}