release_tools/false_risk.json

{
 "public": {
  "needs_fin7plus": {
   "hard1_0005": 8,
   "hard1_0009": 7,
   "hard1_0062": 8,
   "hard2_0009": 8,
   "hard2_0012": 8,
   "hard2_0064": 8,
   "hard2_0067": 8,
   "hard2_0093": 7,
   "hard2_0095": 8,
   "hard2_0096": 9,
   "hard2_0123": 8,
   "hard2_0124": 7,
   "hard2_0125": 7,
   "hard2_0133": 8,
   "hard2_0165": 8,
   "hard2_0169": 8,
   "hard2_0175": 8,
   "hard2_0192": 7,
   "hard3_0086": 7,
   "normal_0758": 8
  },
  "no_known_ce": [
   "hard2_0027",
   "hard2_0051"
  ],
  "note": "in-solver Fin<=6 misses these; they are in the coverage pool via offline SAT"
 },
 "order5_ood": {
  "sampled_pairs": 120,
  "non_implications_found": 85,
  "no_ce_within_fin7": 35,
  "min_ce_size_distribution": {
   "2": 77,
   "3": 6,
   "4": 2
  },
  "fraction_needing_fin7": 0.0,
  "examples_fin6plus": {}
 }
}