{
  "mode": "fp",
  "params": {
    "mul": 35205,
    "red": 20069
  },
  "arch": {
    "mul_width": 128,
    "red_width": 96,
    "depth": 3,
    "max_t": 15
  },
  "train_log": {
    "mul": {
      "final_loss": 4.0139194190658145e-09,
      "wall_s": 67.6
    },
    "red": {
      "final_loss": 5.262944746675657e-09,
      "wall_s": 95.5
    }
  },
  "coverage": {
    "mul_cases": 1056,
    "mul_total": 1056,
    "red_cases": 512,
    "red_total": 512,
    "mul_realizable_per_case_exact": 1.0,
    "red_per_case_exact": 1.0
  },
  "techniques": {
    "reciprocal_operand_framing": true,
    "charton_kempe_two_set": {
      "repeat_triples": 150,
      "repeat_mult": 2,
      "fresh_triples": 1200
    }
  },
  "gate_primes": [
    267619873,
    631325533,
    1806472277,
    3134734633,
    3874904347
  ],
  "per_prime_exact": [
    1.0,
    1.0,
    1.0,
    1.0,
    1.0
  ],
  "worst_fresh_exact": 1.0,
  "overall_exact": 1.0,
  "tier4_cleared_90": true,
  "tier4_cleared_99": true,
  "collapse_mean": 0.0,
  "trained_mul_random_red_mean": 0.0
}