1{
 2  "exact_check": {
 3    "device": "cuda",
 4    "h": 0.08,
 5    "alpha": 0.35,
 6    "finite_lmi_lambda": -0.08251947164535522,
 7    "energy_ratio": 0.7966926097869873,
 8    "bound": 0.9455391358903963,
 9    "bad_lambda": 0.20573371648788452,
10    "lmi_satisfied": true,
11    "energy_satisfied": true
12  },
13  "baseline": {
14    "mse": 0.0198734812438488,
15    "penalty_batch": 2.5922226905822754,
16    "fraction_violating": 0.4453125,
17    "mean_generalized_lambda": 0.6340298652648926,
18    "max_generalized_lambda": 6.215560436248779,
19    "local_contraction_ratio_mean": 0.6789240837097168,
20    "local_ratio_max": 0.9704268574714661
21  },
22  "lyapunov": {
23    "mse": 0.02331971377134323,
24    "penalty_batch": 0.0001474533783039078,
25    "fraction_violating": 0.0390625,
26    "mean_generalized_lambda": -0.24680253863334656,
27    "max_generalized_lambda": 0.10701156407594681,
28    "local_contraction_ratio_mean": 0.6805522441864014,
29    "local_ratio_max": 0.9410829544067383
30  }
31}