{
  "exact_check": {
    "device": "cuda",
    "h": 0.08,
    "alpha": 0.35,
    "finite_lmi_lambda": -0.08251947164535522,
    "energy_ratio": 0.7966926097869873,
    "bound": 0.9455391358903963,
    "bad_lambda": 0.20573371648788452,
    "lmi_satisfied": true,
    "energy_satisfied": true
  },
  "baseline": {
    "mse": 0.0198734812438488,
    "penalty_batch": 2.5922226905822754,
    "fraction_violating": 0.4453125,
    "mean_generalized_lambda": 0.6340298652648926,
    "max_generalized_lambda": 6.215560436248779,
    "local_contraction_ratio_mean": 0.6789240837097168,
    "local_ratio_max": 0.9704268574714661
  },
  "lyapunov": {
    "mse": 0.02331971377134323,
    "penalty_batch": 0.0001474533783039078,
    "fraction_violating": 0.0390625,
    "mean_generalized_lambda": -0.24680253863334656,
    "max_generalized_lambda": 0.10701156407594681,
    "local_contraction_ratio_mean": 0.6805522441864014,
    "local_ratio_max": 0.9410829544067383
  }
}