{
  "interiorGateRandom": {
    "cases": 240,
    "gateFalse": 160,
    "falseNeg": 0,
    "totalProofInFalseNeg": 0
  },
  "fastCoverageSemantic": {
    "cases": 200,
    "casesWithHoles": 0
  }
}