{
  "marian": {
    "AlternKonv": {
      "choice": "y",
      "fixes_fingerprint": "b7f1661bf2ceffee",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "CWE191_Integer_Underflow__int64_t_fscanf_multiply_01_bad": {
      "choice": "2",
      "fixes_fingerprint": "3fdecb8f761d7e39",
      "note": "",
      "shown_as": {
        "1": "test-case",
        "2": "error-condition"
      },
      "verified": [
        "error-condition",
        "test-case"
      ],
      "winner": "error-condition"
    },
    "ChenFlurMukhopadhyay-SAS2012-Ex2.10": {
      "automatic": true,
      "choice": "",
      "fixes_fingerprint": "a059ae549aa93973",
      "note": "no repair satisfies the specification",
      "verified": [],
      "winner": "none"
    },
    "ComplInterv2": {
      "choice": "n",
      "fixes_fingerprint": "7718307c106dae47",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "NonTermination1": {
      "choice": "t",
      "fixes_fingerprint": "df4fa80d0cca6a84",
      "note": "",
      "shown_as": {
        "1": "error-condition",
        "2": "base"
      },
      "verified": [
        "base",
        "error-condition"
      ],
      "winner": "tie"
    },
    "diamond_2-1": {
      "choice": "y",
      "fixes_fingerprint": "54600ecb88a2f0ac",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "dijkstra-u_unwindbound5": {
      "choice": "y",
      "fixes_fingerprint": "38f879af4a3ecd68",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "dijkstra1-both-nt-2": {
      "automatic": true,
      "choice": "",
      "fixes_fingerprint": "fc491d4be3267a3d",
      "note": "no repair satisfies the specification",
      "verified": [],
      "winner": "none"
    },
    "stateful_check": {
      "automatic": true,
      "choice": "",
      "fixes_fingerprint": "9772101f67ff79c0",
      "note": "no repair satisfies the specification",
      "verified": [],
      "winner": "none"
    }
  },
  "matthias": {
    "AlternKonv": {
      "choice": "y",
      "fixes_fingerprint": "b7f1661bf2ceffee",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "CWE191_Integer_Underflow__int64_t_fscanf_multiply_01_bad": {
      "choice": "1",
      "fixes_fingerprint": "3fdecb8f761d7e39",
      "note": "",
      "shown_as": {
        "1": "error-condition",
        "2": "test-case"
      },
      "verified": [
        "error-condition",
        "test-case"
      ],
      "winner": "error-condition"
    },
    "ChenFlurMukhopadhyay-SAS2012-Ex2.10": {
      "automatic": true,
      "choice": "",
      "fixes_fingerprint": "a059ae549aa93973",
      "note": "no repair satisfies the specification",
      "verified": [],
      "winner": "none"
    },
    "ComplInterv2": {
      "choice": "y",
      "fixes_fingerprint": "7718307c106dae47",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "NonTermination1": {
      "choice": "t",
      "fixes_fingerprint": "df4fa80d0cca6a84",
      "note": "",
      "shown_as": {
        "1": "base",
        "2": "error-condition"
      },
      "verified": [
        "base",
        "error-condition"
      ],
      "winner": "tie"
    },
    "diamond_2-1": {
      "choice": "y",
      "fixes_fingerprint": "54600ecb88a2f0ac",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "dijkstra-u_unwindbound5": {
      "choice": "y",
      "fixes_fingerprint": "38f879af4a3ecd68",
      "note": "",
      "plausible": true,
      "shown_as": {
        "1": "error-condition"
      },
      "verified": [
        "error-condition"
      ],
      "winner": "error-condition"
    },
    "dijkstra1-both-nt-2": {
      "automatic": true,
      "choice": "",
      "fixes_fingerprint": "fc491d4be3267a3d",
      "note": "no repair satisfies the specification",
      "verified": [],
      "winner": "none"
    },
    "stateful_check": {
      "automatic": true,
      "choice": "",
      "fixes_fingerprint": "9772101f67ff79c0",
      "note": "no repair satisfies the specification",
      "verified": [],
      "winner": "none"
    }
  }
}