{
  "scalar_mlsi": {
    "entropy": 0.028941506924087257,
    "rhs": 0.3145661102685444,
    "holds": true,
    "slack": 0.28562460334445716
  },
  "matrix_contraction": {
    "I0": 0.06072095521373472,
    "rows": [
      {
        "t": 0.01,
        "ratio": 0.7585758692941333,
        "bound": 0.9801986733067553,
        "I": 0.04606145138562895
      },
      {
        "t": 0.03,
        "ratio": 0.4554554584298038,
        "bound": 0.9417645335842487,
        "I": 0.02765569049316713
      },
      {
        "t": 0.06,
        "ratio": 0.23317765631533624,
        "bound": 0.8869204367171575,
        "I": 0.014158770025967158
      },
      {
        "t": 0.1,
        "ratio": 0.11132751077910728,
        "bound": 0.8187307530779818,
        "I": 0.0067599127960747424
      }
    ],
    "all_below_bound": true
  },
  "toy": {
    "baseline": {
      "mse": 0.027287151664495468,
      "high_frequency_residual_power": 1.7991278171539307,
      "seconds": 1.0420763492584229,
      "device": "cuda"
    },
    "heat": {
      "mse": 0.026184087619185448,
      "high_frequency_residual_power": 1.816649079322815,
      "seconds": 2.6957602500915527,
      "device": "cuda"
    }
  },
  "repetitions": [
    {
      "seed": 11,
      "baseline": {
        "mse": 0.012461759150028229,
        "high_frequency_residual_power": 0.8722451329231262,
        "seconds": 0.9049782752990723,
        "device": "cuda"
      },
      "heat": {
        "mse": 0.014785444363951683,
        "high_frequency_residual_power": 0.9725690484046936,
        "seconds": 2.5965280532836914,
        "device": "cuda"
      }
    },
    {
      "seed": 23,
      "baseline": {
        "mse": 0.018728584051132202,
        "high_frequency_residual_power": 1.2063080072402954,
        "seconds": 0.9115400314331055,
        "device": "cuda"
      },
      "heat": {
        "mse": 0.021428540349006653,
        "high_frequency_residual_power": 1.3497236967086792,
        "seconds": 2.9684505462646484,
        "device": "cuda"
      }
    },
    {
      "seed": 41,
      "baseline": {
        "mse": 0.012453114613890648,
        "high_frequency_residual_power": 0.8348159193992615,
        "seconds": 0.921057939529419,
        "device": "cuda"
      },
      "heat": {
        "mse": 0.012164412997663021,
        "high_frequency_residual_power": 0.8141160011291504,
        "seconds": 2.540644884109497,
        "device": "cuda"
      }
    }
  ]
}