{
  "seed": 1729,
  "verification": {
    "trials": 100,
    "failures": 0,
    "worst_cumulative_gap": 3.183231456205249e-12,
    "max_gap_by_k": [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      3.183231456205249e-12
    ],
    "max_eigenvalue_ratio_mean": 0.7369189783558373,
    "max_eigenvalue_ratio_min": 0.5273421323723241,
    "max_eigenvalue_ratio_max": 0.9760578231973766
  },
  "training": [
    {
      "mode": "baseline",
      "device": "cuda",
      "final_loss": 0.06210070103406906,
      "best_loss": 0.055831555277109146,
      "steps_completed": 250,
      "nonfinite_steps": 0,
      "max_exact_norm": 2.679940700531006,
      "final_exact_norm": 0.7381001114845276,
      "final_R1": 1.111295461654663,
      "norm_over_R1": 0.6641799026026198,
      "seconds": 10.995668057999865
    },
    {
      "mode": "penalty",
      "device": "cuda",
      "final_loss": 0.07478956878185272,
      "best_loss": 0.06771540641784668,
      "steps_completed": 250,
      "nonfinite_steps": 0,
      "max_exact_norm": 2.1669960021972656,
      "final_exact_norm": 0.7399500608444214,
      "final_R1": 0.8184396624565125,
      "norm_over_R1": 0.9040984873869531,
      "seconds": 14.601756300999114
    },
    {
      "mode": "controller",
      "device": "cuda",
      "final_loss": 0.07558591663837433,
      "best_loss": 0.06306523829698563,
      "steps_completed": 250,
      "nonfinite_steps": 0,
      "max_exact_norm": 373.8607177734375,
      "final_exact_norm": 339.4143371582031,
      "final_R1": 625.4991455078125,
      "norm_over_R1": 0.5426295776673669,
      "seconds": 14.152621004999673
    }
  ]
}