{
  "device": "cuda",
  "math_check": {
    "widths": [
      2,
      4,
      8,
      16,
      32,
      64
    ],
    "L_by_width": [
      0.24833741669097872,
      0.18759737682646313,
      0.13605024662520254,
      0.09625502191507905,
      0.06720212802605202,
      0.04661881069438103
    ],
    "errors": [
      0.08,
      0.16,
      0.32,
      0.64
    ],
    "L_by_error": [
      0.02072896801877291,
      0.04259646797731103,
      0.08766853098357358,
      0.18074658269191315
    ],
    "width_monotone": true,
    "error_monotone": true
  },
  "baseline": {
    "history": [
      {
        "step": 80,
        "width": 8,
        "train_mse": 0.16605648398399353,
        "val_noisy_mse": 0.17820754647254944,
        "val_clean_mse": 0.058361660689115524,
        "lip": 0.9579295516014099,
        "L_min": 0.15950508324749557
      },
      {
        "step": 160,
        "width": 8,
        "train_mse": 0.14347027242183685,
        "val_noisy_mse": 0.16282635927200317,
        "val_clean_mse": 0.03278361260890961,
        "lip": 1.0039832592010498,
        "L_min": 0.14776556734055996
      },
      {
        "step": 240,
        "width": 8,
        "train_mse": 0.13440828025341034,
        "val_noisy_mse": 0.1615668535232544,
        "val_clean_mse": 0.026324784383177757,
        "lip": 1.0772188901901245,
        "L_min": 0.1428102548287432
      },
      {
        "step": 320,
        "width": 8,
        "train_mse": 0.1303209811449051,
        "val_noisy_mse": 0.16439856588840485,
        "val_clean_mse": 0.023705391213297844,
        "lip": 1.125458002090454,
        "L_min": 0.14052335453160208
      },
      {
        "step": 400,
        "width": 8,
        "train_mse": 0.12651120126247406,
        "val_noisy_mse": 0.16975757479667664,
        "val_clean_mse": 0.024437502026557922,
        "lip": 1.1557098627090454,
        "L_min": 0.13836082984373332
      },
      {
        "step": 480,
        "width": 8,
        "train_mse": 0.1218029260635376,
        "val_noisy_mse": 0.16326120495796204,
        "val_clean_mse": 0.029996026307344437,
        "lip": 1.3178538084030151,
        "L_min": 0.13564506096015938
      },
      {
        "step": 560,
        "width": 8,
        "train_mse": 0.11894500255584717,
        "val_noisy_mse": 0.17012105882167816,
        "val_clean_mse": 0.03174234554171562,
        "lip": 1.1659594774246216,
        "L_min": 0.13397220359599796
      },
      {
        "step": 640,
        "width": 8,
        "train_mse": 0.116698257625103,
        "val_noisy_mse": 0.17328844964504242,
        "val_clean_mse": 0.03547520563006401,
        "lip": 1.217297911643982,
        "L_min": 0.1326436338079067
      },
      {
        "step": 720,
        "width": 8,
        "train_mse": 0.11563277989625931,
        "val_noisy_mse": 0.17306701838970184,
        "val_clean_mse": 0.03700945898890495,
        "lip": 1.2343106269836426,
        "L_min": 0.1320093345034342
      },
      {
        "step": 800,
        "width": 8,
        "train_mse": 0.11480408906936646,
        "val_noisy_mse": 0.17401330173015594,
        "val_clean_mse": 0.03710782900452614,
        "lip": 1.2365026473999023,
        "L_min": 0.13151407560550563
      }
    ],
    "final_width": 8,
    "widen_count": 0,
    "test_clean_mse": 0.04776359349489212,
    "seconds": 3.2510766983032227
  },
  "idea": {
    "history": [
      {
        "step": 80,
        "width": 8,
        "train_mse": 0.16605648398399353,
        "val_noisy_mse": 0.17820754647254944,
        "val_clean_mse": 0.058361660689115524,
        "lip": 0.9579295516014099,
        "L_min": 0.15950508324749557
      },
      {
        "step": 160,
        "width": 8,
        "train_mse": 0.14347027242183685,
        "val_noisy_mse": 0.16282635927200317,
        "val_clean_mse": 0.03278361260890961,
        "lip": 1.0039832592010498,
        "L_min": 0.14776556734055996
      },
      {
        "step": 240,
        "width": 8,
        "train_mse": 0.13440828025341034,
        "val_noisy_mse": 0.1615668535232544,
        "val_clean_mse": 0.026324784383177757,
        "lip": 1.0772188901901245,
        "L_min": 0.1428102548287432
      },
      {
        "step": 320,
        "width": 8,
        "train_mse": 0.1303209811449051,
        "val_noisy_mse": 0.16439856588840485,
        "val_clean_mse": 0.023705391213297844,
        "lip": 1.125458002090454,
        "L_min": 0.14052335453160208
      },
      {
        "step": 400,
        "width": 8,
        "train_mse": 0.12651120126247406,
        "val_noisy_mse": 0.16975757479667664,
        "val_clean_mse": 0.024437502026557922,
        "lip": 1.1557098627090454,
        "L_min": 0.13836082984373332
      },
      {
        "step": 480,
        "width": 8,
        "train_mse": 0.1218029260635376,
        "val_noisy_mse": 0.16326120495796204,
        "val_clean_mse": 0.029996026307344437,
        "lip": 1.3178538084030151,
        "L_min": 0.13564506096015938
      },
      {
        "step": 560,
        "width": 8,
        "train_mse": 0.11894500255584717,
        "val_noisy_mse": 0.17012105882167816,
        "val_clean_mse": 0.03174234554171562,
        "lip": 1.1659594774246216,
        "L_min": 0.13397220359599796
      },
      {
        "step": 640,
        "width": 8,
        "train_mse": 0.116698257625103,
        "val_noisy_mse": 0.17328844964504242,
        "val_clean_mse": 0.03547520563006401,
        "lip": 1.217297911643982,
        "L_min": 0.1326436338079067
      },
      {
        "step": 720,
        "width": 8,
        "train_mse": 0.11563277989625931,
        "val_noisy_mse": 0.17306701838970184,
        "val_clean_mse": 0.03700945898890495,
        "lip": 1.2343106269836426,
        "L_min": 0.1320093345034342
      },
      {
        "step": 800,
        "width": 8,
        "train_mse": 0.11480408906936646,
        "val_noisy_mse": 0.17401330173015594,
        "val_clean_mse": 0.03710782900452614,
        "lip": 1.2365026473999023,
        "L_min": 0.13151407560550563
      }
    ],
    "final_width": 8,
    "widen_count": 0,
    "test_clean_mse": 0.04776359349489212,
    "seconds": 3.1248812675476074
  },
  "constants": {
    "c0": 0.25,
    "C0": 2.0,
    "eta": 0.9
  },
  "interpretation": "Controller widens only when empirical error is below known noise variance and estimated Jacobian Lipschitz constant is below the bound."
}