{
  "experiment": "ci-run",
  "generated_at": "2026-05-01 03:03 UTC",
  "workload_docs": {
    "quick-xml": [
      {
        "mutations": [
          "unescape_predef_entities_0315ed0_1"
        ],
        "tasks": [
          {
            "property": "UnescapePredefEntities",
            "witnesses": [
              {
                "test_fn": "witness_unescape_predef_entities_case_lt"
              },
              {
                "test_fn": "witness_unescape_predef_entities_case_gt"
              },
              {
                "test_fn": "witness_unescape_predef_entities_case_combo"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tafia/quick-xml",
          "commits": [
            "0315ed0a479d3c5b7a1ce8f1bbcde312221e2a2d"
          ],
          "commit_subjects": [
            "Fix Attribute::unescape_value does not unescape predefined entities since #739"
          ],
          "prs": [
            743
          ],
          "summary": "After PR #739 reorganised attribute decoding around `normalized_value_with`, the entry-point method `Attribute::normalized_value` was wired to a `|_| None` resolver instead of `resolve_predefined_entity`, so the five XML predefined entity references (`<`, `>`, `'`, `"`) other than `&` were rejected with `EscapeError::UnrecognizedEntity`."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/events/attributes.rs"
          ],
          "locations": [
            {
              "file": "src/events/attributes.rs",
              "line": 86,
              "symbol": "Attribute::normalized_value"
            }
          ],
          "patch": "patches/unescape_predef_entities_0315ed0_1.patch"
        },
        "bug": {
          "short_name": "unescape_predef_entities",
          "invariant": "`Attribute::normalized_value` must resolve every XML predefined entity reference (`<`, `>`, `&`, `'`, `"`) to its corresponding character, regardless of whether the caller supplied a custom entity resolver.",
          "how_triggered": "The buggy body invokes `self.normalized_value_with(version, 1, |_| None)`. `&` continues to work because `normalize_attr_step` special-cases that name, but `<`, `>`, `'`, and `"` flow through the user resolver, hit the `None` branch, and surface as `EscapeError::UnrecognizedEntity`."
        }
      },
      {
        "mutations": [
          "swap_lf_cr_escape_codes_ebaffb3_1"
        ],
        "tasks": [
          {
            "property": "EscapeCharCodes",
            "witnesses": [
              {
                "test_fn": "witness_escape_char_codes_case_lf"
              },
              {
                "test_fn": "witness_escape_char_codes_case_cr"
              }
            ]
          }
        ],
        "source": {
          "repo": "https://github.com/tafia/quick-xml",
          "commits": [
            "ebaffb3db325c4657e5e5df43afa018ee71ce1c5"
          ],
          "commit_subjects": [
            "Fix #517: Fix swapped codes for `\\r` and `\\n` characters when escaping them"
          ],
          "issues": [
            517
          ],
          "summary": "The internal `escape_char` writer (used by the xs:list serializer) emitted `
` for `\\r` and `
` for `\\n`, swapping the two character-reference codes; the fix swapped the match arms back to the spec-required mapping."
        },
        "injection": {
          "kind": "patch",
          "files": [
            "src/escape.rs"
          ],
          "locations": [
            {
              "file": "src/escape.rs",
              "line": 177,
              "symbol": "escape_char"
            }
          ],
          "patch": "patches/swap_lf_cr_escape_codes_ebaffb3_1.patch"
        },
        "bug": {
          "short_name": "swap_lf_cr_escape_codes",
          "invariant": "`escape::escape_char` must emit the XML character reference `
` for a `\\n` byte (LF, code-point 10) and `
` for a `\\r` byte (CR, code-point 13), matching the canonical numeric values.",
          "how_triggered": "The buggy body swaps the two match arms (`b'\\n' => 
` and `b'\\r' => 
`), so the byte that carries code-point 10 is encoded as `
` and vice versa. Any caller that exercises the whitespace branches of `escape_char` (the xs:list serializer is the in-tree consumer) emits content that disagrees with the XML spec."
        }
      }
    ]
  },
  "metrics": [
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.332784682+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "96us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.334019706+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "116us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.335037792+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "79us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.335912704+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "77us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.336811784+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "103us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.337729664+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "108us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.338621791+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "109us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.339519589+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.340366625+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "122us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.341584393+00:00",
      "status": "failed",
      "tests": 6,
      "discards": 0,
      "time": "80us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.342619961+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"&"b\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.343465117+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"><&>a\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.344241547+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"c&<>\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.345085513+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\""c\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.345912480+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"<<"\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.346751573+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.347544058+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"'''><\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.348336931+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\"<>'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.349142558+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\""x\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.349991940+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(\">&x>\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.350983129+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"'b'a&\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.351859149+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "21us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\">"c\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.352648181+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"'b<&\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.353472890+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "24us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"&'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.354271128+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "27us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\">>\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.355101114+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "23us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"b"&x&\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.355906615+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"1'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.356739734+00:00",
      "status": "failed",
      "tests": 2,
      "discards": 0,
      "time": "22us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"1<'\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.357541492+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"xbac>\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.358329946+00:00",
      "status": "failed",
      "tests": 1,
      "discards": 0,
      "time": "25us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(\"&""1\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:05.359277757+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "1035778us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:06.396104083+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157171us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:06.554756889+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157068us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:06.713099277+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "156835us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:06.871219069+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "156636us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:07.029344306+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "158084us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:07.188925447+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157886us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:07.348002049+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157940us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:07.507153908+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "159415us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "UnescapePredefEntities",
      "mutations": [
        "unescape_predef_entities_0315ed0_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:07.667826853+00:00",
      "status": "failed",
      "tests": 12,
      "discards": 0,
      "time": "157561us",
      "error": null,
      "tool": "hegel",
      "counterexample": "(\"<\")",
      "hash": "b8dcbf98e0299a7b1b7577997d44c4d8a3be5f3c"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.602125908+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.603263457+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "75us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.604208444+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "90us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.605175478+00:00",
      "status": "failed",
      "tests": 5,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.606031632+00:00",
      "status": "failed",
      "tests": 4,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.607284135+00:00",
      "status": "failed",
      "tests": 7,
      "discards": 0,
      "time": "78us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.608157042+00:00",
      "status": "failed",
      "tests": 10,
      "discards": 0,
      "time": "98us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.609046795+00:00",
      "status": "failed",
      "tests": 8,
      "discards": 0,
      "time": "94us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.609930722+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "83us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "proptest",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.610779393+00:00",
      "status": "failed",
      "tests": 3,
      "discards": 0,
      "time": "149us",
      "error": null,
      "tool": "proptest",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.611970399+00:00",
      "status": "failed",
      "tests": 84,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.612770127+00:00",
      "status": "failed",
      "tests": 169,
      "discards": 0,
      "time": "87us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.613573806+00:00",
      "status": "failed",
      "tests": 180,
      "discards": 0,
      "time": "59us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.614414357+00:00",
      "status": "failed",
      "tests": 182,
      "discards": 0,
      "time": "63us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.615226256+00:00",
      "status": "failed",
      "tests": 185,
      "discards": 0,
      "time": "64us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.616125284+00:00",
      "status": "failed",
      "tests": 77,
      "discards": 0,
      "time": "34us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.616927148+00:00",
      "status": "failed",
      "tests": 104,
      "discards": 0,
      "time": "45us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.617774606+00:00",
      "status": "failed",
      "tests": 44,
      "discards": 0,
      "time": "30us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.618537192+00:00",
      "status": "failed",
      "tests": 145,
      "discards": 0,
      "time": "53us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "quickcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.619321917+00:00",
      "status": "failed",
      "tests": 155,
      "discards": 0,
      "time": "69us",
      "error": null,
      "tool": "quickcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.620507661+00:00",
      "status": "failed",
      "tests": 128,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.621335154+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "14us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.622203853+00:00",
      "status": "failed",
      "tests": 92,
      "discards": 0,
      "time": "15us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.623007580+00:00",
      "status": "failed",
      "tests": 273,
      "discards": 0,
      "time": "17us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.623820466+00:00",
      "status": "failed",
      "tests": 215,
      "discards": 0,
      "time": "18us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.624637010+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.625427217+00:00",
      "status": "failed",
      "tests": 31,
      "discards": 0,
      "time": "13us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(10)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.626171267+00:00",
      "status": "failed",
      "tests": 160,
      "discards": 0,
      "time": "16us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.627004564+00:00",
      "status": "failed",
      "tests": 339,
      "discards": 0,
      "time": "20us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "crabcheck",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.627863443+00:00",
      "status": "failed",
      "tests": 384,
      "discards": 0,
      "time": "19us",
      "error": null,
      "tool": "crabcheck",
      "counterexample": "(13)",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 0,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.629314206+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "155288us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 1,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.785696227+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "158078us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 2,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:11.945070999+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "159708us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 3,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:12.105982832+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "157806us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 4,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:12.264972481+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "158097us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 5,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:12.424268903+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "158731us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 6,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:12.584159173+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "156959us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 7,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:12.742338523+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "156679us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 8,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:12.900356046+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "157248us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    },
    {
      "experiment": "ci-run",
      "workload": "quick-xml",
      "language": "rust",
      "strategy": "hegel",
      "property": "EscapeCharCodes",
      "mutations": [
        "swap_lf_cr_escape_codes_ebaffb3_1"
      ],
      "mode": "solve",
      "trial": 9,
      "timeout": 60.0,
      "timestamp": "2026-05-01T03:03:13.058815963+00:00",
      "status": "failed",
      "tests": 20,
      "discards": 0,
      "time": "157858us",
      "error": null,
      "tool": "hegel",
      "counterexample": "('\\n')",
      "hash": "ad5976fba6919a4f07cd642090df5ac06909c84a"
    }
  ]
}