[
  {
    "TP": 38,
    "FN": 1,
    "FP": 0,
    "TN": 16,
    "UNKNOWN": 0,
    "UNREACHED": 2,
    "known_injected": 41,
    "name": "O0_generic",
    "precision": 1.0,
    "recall_analyzed_decidable": 0.9743589743589743,
    "false_positive_rate": 0.0,
    "proof_yield_all_known": 0.926829268292683
  },
  {
    "TP": 41,
    "FN": 0,
    "FP": 0,
    "TN": 16,
    "UNKNOWN": 0,
    "UNREACHED": 0,
    "known_injected": 41,
    "name": "O0_with_Tigress_initialized",
    "precision": 1.0,
    "recall_analyzed_decidable": 1.0,
    "false_positive_rate": 0.0,
    "proof_yield_all_known": 1.0
  }
]