{
  "mode": "fp",
  "params": {
    "mul": 54726,
    "red": 20069
  },
  "arch": {
    "mul_width": 160,
    "red_width": 96,
    "depth": 3,
    "max_t": 15
  },
  "train_log": {
    "mul": {
      "final_loss": 2.276625776787e-09,
      "wall_s": 122.4
    },
    "red": {
      "final_loss": 3.874374598922259e-09,
      "wall_s": 207.6
    }
  },
  "coverage": {
    "mul_cases": 4160,
    "mul_total": 4160,
    "red_cases": 512,
    "red_total": 512,
    "mul_realizable_per_case_exact": 1.0,
    "mul_all_enum_per_case_exact": 1.0,
    "red_per_case_exact": 1.0
  },
  "techniques": {
    "reciprocal_operand_framing": true,
    "charton_kempe_two_set": {
      "repeat_triples": 120,
      "repeat_mult": 2,
      "fresh_triples": 900
    }
  },
  "gate_primes": [
    1690313788893089131,
    6145258606915434311,
    8963783833428354709,
    11534118763423864511,
    14481575096435149429
  ],
  "per_prime_exact": [
    1.0,
    1.0,
    1.0,
    1.0,
    1.0
  ],
  "worst_fresh_exact": 1.0,
  "overall_exact": 1.0,
  "tier5_cleared_90": true,
  "tier5_cleared_99": true,
  "collapse_mean": 0.0,
  "trained_mul_random_red_mean": 0.0
}