{
  "arms": {
    "base_k4": {
      "candidate_count_mean": 3.45,
      "coverage": 0.7,
      "distinct_behavior_rate_mean": 0.75625,
      "distinct_functional_rate_mean": 0.4770833333333333,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 1.875,
      "parse_success_mean": 3.3625,
      "records": 80,
      "visible_candidates_mean": 2.2625,
      "visible_coverage": 0.7,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 0,
      "zero_to_one_rate": 0.0
    },
    "base_plus_semantic_strategy_k32": {
      "candidate_count_mean": 11.5125,
      "coverage": 0.8125,
      "distinct_behavior_rate_mean": 0.6731676404978113,
      "distinct_functional_rate_mean": 0.3541818006241334,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 2.25,
      "parse_success_mean": 11.325,
      "records": 80,
      "visible_candidates_mean": 4.55,
      "visible_coverage": 0.8125,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 9,
      "zero_to_one_rate": 0.375
    },
    "base_plus_shuffled_strategy_k32": {
      "candidate_count_mean": 11.675,
      "coverage": 0.825,
      "distinct_behavior_rate_mean": 0.6720163667011094,
      "distinct_functional_rate_mean": 0.359287680626835,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 2.1625,
      "parse_success_mean": 11.375,
      "records": 80,
      "visible_candidates_mean": 4.5,
      "visible_coverage": 0.825,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 10,
      "zero_to_one_rate": 0.4166666666666667
    },
    "default_k32": {
      "candidate_count_mean": 10.275,
      "coverage": 0.8,
      "distinct_behavior_rate_mean": 0.6699040017263572,
      "distinct_functional_rate_mean": 0.3576054245473618,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 2.2125,
      "parse_success_mean": 9.7,
      "records": 80,
      "visible_candidates_mean": 4.0125,
      "visible_coverage": 0.8,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 8,
      "zero_to_one_rate": 0.3333333333333333
    },
    "diverse_k32": {
      "candidate_count_mean": 11.0375,
      "coverage": 0.8125,
      "distinct_behavior_rate_mean": 0.6845410540226828,
      "distinct_functional_rate_mean": 0.36232719125516677,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 2.225,
      "parse_success_mean": 10.2375,
      "records": 80,
      "visible_candidates_mean": 4.2125,
      "visible_coverage": 0.8125,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 9,
      "zero_to_one_rate": 0.375
    },
    "hot_k32": {
      "candidate_count_mean": 11.3875,
      "coverage": 0.825,
      "distinct_behavior_rate_mean": 0.6847077256622585,
      "distinct_functional_rate_mean": 0.3585286603170189,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 2.3125,
      "parse_success_mean": 10.675,
      "records": 80,
      "visible_candidates_mean": 4.4375,
      "visible_coverage": 0.825,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 10,
      "zero_to_one_rate": 0.4166666666666667
    },
    "semantic_strategy_k32": {
      "candidate_count_mean": 23.1,
      "coverage": 0.8125,
      "distinct_behavior_rate_mean": 0.42941675909423155,
      "distinct_functional_rate_mean": 0.13803405825016013,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 10.1375,
      "parse_success_mean": 22.8125,
      "records": 80,
      "visible_candidates_mean": 13.0875,
      "visible_coverage": 0.8125,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 11,
      "zero_to_one_rate": 0.4583333333333333
    },
    "semantic_strategy_k32_base_missed": {
      "candidate_count_mean": 27.333333333333332,
      "coverage": 0.375,
      "distinct_behavior_rate_mean": 0.5259919726611223,
      "distinct_functional_rate_mean": 0.11811839504166527,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 1.25,
      "parse_success_mean": 27.0,
      "records": 24,
      "visible_candidates_mean": 7.833333333333333,
      "visible_coverage": 0.375,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 9,
      "zero_to_one_rate": 0.375
    },
    "shuffled_strategy_k32_base_missed": {
      "candidate_count_mean": 27.708333333333332,
      "coverage": 0.4166666666666667,
      "distinct_behavior_rate_mean": 0.5202296155389053,
      "distinct_functional_rate_mean": 0.1375229401224277,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 0.9583333333333334,
      "parse_success_mean": 27.0,
      "records": 24,
      "visible_candidates_mean": 7.583333333333333,
      "visible_coverage": 0.4166666666666667,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 10,
      "zero_to_one_rate": 0.4166666666666667
    },
    "union_k128": {
      "candidate_count_mean": 29.3125,
      "coverage": 0.8875,
      "distinct_behavior_rate_mean": 0.6293906207377854,
      "distinct_functional_rate_mean": 0.3378319238066158,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 2.9125,
      "parse_success_mean": 26.9375,
      "records": 80,
      "visible_candidates_mean": 8.7875,
      "visible_coverage": 0.8875,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 15,
      "zero_to_one_rate": 0.625
    },
    "union_k32": {
      "candidate_count_mean": 24.0875,
      "coverage": 0.8625,
      "distinct_behavior_rate_mean": 0.635992928544019,
      "distinct_functional_rate_mean": 0.34001591234862166,
      "false_repair_count": 0,
      "false_repair_rate": 0.0,
      "hidden_pass_candidates_mean": 2.875,
      "parse_success_mean": 22.225,
      "records": 80,
      "visible_candidates_mean": 7.325,
      "visible_coverage": 0.8625,
      "visible_repair_pass_count": 0,
      "zero_base_records": 24,
      "zero_to_one": 13,
      "zero_to_one_rate": 0.5416666666666666
    }
  },
  "report": "reports/final_report.md",
  "semantic_final_loss": 0.10642203688621521,
  "shuffled_final_loss": 0.14613600075244904
}