{ "math_check": { "metric_mu_estimate": 0.8535049463056223, "alpha": 0.75, "beta": 1.5, "settling_bound": 12.538855910967428, "max_dV_minus_rhs": -0.0003643073729731421, "violations": 0, "samples": 2000 }, "epsilon_check": { "epsilon_residual_pairs": [ [ 0.0001, 8.393146494478643e-08 ], [ 0.0003, 6.172404781734642e-08 ], [ 0.001, 0.0 ], [ 0.003, 0.0 ], [ 0.01, 0.0 ] ], "loglog_slope": NaN }, "runs": [ { "scale": 0.1, "fixed_time": { "settle": 35, "residual": 8.670739204408306e-08, "min_residual": 3.378703095080482e-09, "feasible": true }, "gradient_descent": { "settle": 125, "residual": 0.0, "min_residual": -1.1102230246251565e-16, "feasible": true } }, { "scale": 0.5, "fixed_time": { "settle": 82, "residual": 8.670739204408306e-08, "min_residual": 4.865801761511079e-09, "feasible": true }, "gradient_descent": { "settle": 187, "residual": 0.0, "min_residual": -1.1102230246251565e-16, "feasible": true } }, { "scale": 1.0, "fixed_time": { "settle": 109, "residual": 8.670739204408306e-08, "min_residual": 1.3134962006944306e-09, "feasible": true }, "gradient_descent": { "settle": 214, "residual": 0.0, "min_residual": -1.1102230246251565e-16, "feasible": true } }, { "scale": 2.0, "fixed_time": { "settle": 138, "residual": 8.670739204408306e-08, "min_residual": 3.7167058319909074e-09, "feasible": true }, "gradient_descent": { "settle": 243, "residual": 0.0, "min_residual": -1.1102230246251565e-16, "feasible": true } }, { "scale": 3.5, "fixed_time": { "settle": 162, "residual": 8.670739204408306e-08, "min_residual": 4.4745813165825155e-09, "feasible": true }, "gradient_descent": { "settle": 270, "residual": 0.0, "min_residual": -1.1102230246251565e-16, "feasible": true } }, { "scale": 4.5, "fixed_time": { "settle": 174, "residual": 8.670739204408306e-08, "min_residual": 9.508804854618802e-11, "feasible": true }, "gradient_descent": { "settle": 285, "residual": 0.0, "min_residual": -1.1102230246251565e-16, "feasible": true } } ], "summary": { "fixed_time_settles": [ 35, 82, 109, 138, 162, 174 ], "gd_settles": [ 125, 187, 214, 243, 270, 285 ], "fixed_time_residuals": [ 8.670739204408306e-08, 8.670739204408306e-08, 8.670739204408306e-08, 8.670739204408306e-08, 8.670739204408306e-08, 8.670739204408306e-08 ], "gd_residuals": [ 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ] } }