eps 0.015 prec 74 delta 1.114e-29 radii 313 angles 37 series time 415.7s
{"k": 1, "model": "flat_t1", "eps": "0.015", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 74, "delta": "1.114383e-29", "c_delta": "-0.905014507739625163105540712", "minK": "0.327494", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["2.725090", "0.1", 3.1416], "aw<r<=bw": ["1.312630", "0.280", 3.1416], "bw<r<abeta": ["1.328681", "0.305", 3.1416], "abeta<=r<=b": ["0.327494", "0.690", 0.0], "b<r<=1": ["1.001000", "0.999", 0.3491]}, "maxrel_C_vs_P": "7.84e-73", "sup_mu": "0.006818", "norms": {"C1(psi)": "1.403884e-02", "C1(g-h)": "6.426092e-01", "C1(w)": "2.400000e-01", "C1(logdphi)": "3.972850e+00", "C1(mu)": "4.566505e-02"}, "norms_by_order": {"g-h_0": "2.509415e-01", "w_0": "1.119482e-01", "logdphi_1": "3.972850e+00", "psi_0": "2.232790e-03", "psi_1": "1.403884e-02", "mu_0": "6.818025e-03", "g-h_1": "6.426092e-01", "w_1": "2.400000e-01", "mu_1": "4.566505e-02", "logdphi_0": "1.099295e-02"}, "d_k1_psi_0": "-3.9728495647678112451068", "pred": "-3.9728495647678112451068", "dk_log_dphi_0": "-1.9864247823839056225534", "time": "30.5", "in_ratio": ["3.7602", "0.1", 3.1416], "in_resid_over_eps": "92.2702", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-46.8437", ["0.675", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.015", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 74, "delta": "1.114383e-29", "c_delta": "-0.905014507739625163105540712", "minK": "0.627986", "minK_at": ["0.685", 0.0], "regions": {"0<=r<=aw": ["1.109939", "0.1", 3.1416], "aw<r<=bw": ["0.816111", "0.275", 3.1416], "bw<r<abeta": ["0.831306", "0.305", 3.1416], "abeta<=r<=b": ["0.627986", "0.685", 0.0], "b<r<=1": ["1.000000", "0.965", 0.7854]}, "maxrel_C_vs_P": "6.35e-73", "sup_mu": "0.006818", "norms": {"C1(psi)": "1.403884e-02", "C1(g-h)": "2.672312e+00", "C1(w)": "2.400000e-01", "C1(logdphi)": "3.972850e+00", "C1(mu)": "4.566505e-02"}, "norms_by_order": {"g-h_0": "1.003766e+00", "w_0": "1.119482e-01", "logdphi_1": "3.972850e+00", "psi_0": "2.232790e-03", "psi_1": "1.403884e-02", "mu_0": "6.818025e-03", "g-h_1": "2.672312e+00", "w_1": "2.400000e-01", "mu_1": "4.566505e-02", "logdphi_0": "1.099295e-02"}, "d_k1_psi_0": "-3.9728495647678112451068", "pred": "-3.9728495647678112451068", "dk_log_dphi_0": "-1.9864247823839056225534", "time": "30.4", "in_ratio": ["4.5397", "0.1", 3.1416], "in_resid_over_eps": "92.2702", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-45.9935", ["0.675", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.015", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 74, "delta": "1.114383e-29", "c_delta": "-0.905014507739625163105540712", "minK": "0.726815", "minK_at": ["0.825", 1.5707963267948966], "regions": {"0<=r<=aw": ["1.619920", "0.1", 1.5708], "aw<r<=bw": ["1.461425", "0.300", 1.5708], "bw<r<abeta": ["1.405560", "0.350", 1.5708], "abeta<=r<=b": ["0.726815", "0.825", 1.5708], "b<r<=1": ["1.001000", "0.999", 0.3491]}, "maxrel_C_vs_P": "3.08e-72", "sup_mu": "0.003672", "norms": {"C2(psi)": "4.975461e-02", "C2(g-h)": "4.418461e-01", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.191855e+01", "C2(mu)": "3.467248e-01"}, "norms_by_order": {"logdphi_2": "1.191855e+01", "psi_0": "9.545152e-04", "psi_1": "6.698370e-03", "psi_2": "4.975461e-02", "g-h_0": "5.628076e-03", "mu_0": "3.672190e-03", "g-h_1": "4.410297e-02", "mu_1": "2.734435e-02", "g-h_2": "4.418461e-01", "mu_2": "3.467248e-01", "logdphi_0": "4.809931e-03", "logdphi_1": "2.632785e-02"}, "d_k1_psi_0": "-11.918548694303433735320", "pred": "-11.918548694303433735320", "dk_log_dphi_0": "-5.9592743471517168676602", "time": "26.2", "max_abs_K_minus_Kh": "4.672057e-01"}
{"k": 2, "model": "sphere", "eps": "0.015", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 74, "delta": "1.114383e-29", "c_delta": "-0.905014507739625163105540712", "minK": "0.799290", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["0.909482", "0.1", 1.5708], "aw<r<=bw": ["0.902510", "0.300", 1.5708], "bw<r<abeta": ["0.900365", "0.350", 1.5708], "abeta<=r<=b": ["0.799290", "0.820", 1.5708], "b<r<=1": ["1.000000", "0.965", 0.7854]}, "maxrel_C_vs_P": "1.39e-72", "sup_mu": "0.003672", "norms": {"C2(psi)": "4.975461e-02", "C2(g-h)": "1.680000e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.191855e+01", "C2(mu)": "3.467248e-01"}, "norms_by_order": {"logdphi_2": "1.191855e+01", "psi_0": "9.545152e-04", "psi_1": "6.698370e-03", "psi_2": "4.975461e-02", "g-h_0": "1.758560e-02", "mu_0": "3.672190e-03", "g-h_1": "1.456850e-01", "mu_1": "2.734435e-02", "g-h_2": "1.680000e+00", "mu_2": "3.467248e-01", "logdphi_0": "4.809931e-03", "logdphi_1": "2.632785e-02"}, "d_k1_psi_0": "-11.918548694303433735320", "pred": "-11.918548694303433735320", "dk_log_dphi_0": "-5.9592743471517168676602", "time": "29.5", "max_abs_K_minus_Kh": "2.007100e-01"}
{"k": 3, "model": "flat_t1", "eps": "0.015", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 74, "delta": "1.114383e-29", "c_delta": "-0.905014507739625163105540712", "minK": "0.850071", "minK_at": ["0.825", 1.0471975511965979], "regions": {"0<=r<=aw": ["1.907764", "0.1", 1.0472], "aw<r<=bw": ["1.606922", "0.300", 1.0472], "bw<r<abeta": ["1.512056", "0.350", 1.0472], "abeta<=r<=b": ["0.850071", "0.825", 1.0472], "b<r<=1": ["1.001000", "0.999", 0.3491]}, "maxrel_C_vs_P": "4.07e-73", "sup_mu": "0.002168", "norms": {"C3(psi)": "4.628632e-01", "C3(g-h)": "1.000019e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800220e+01", "C3(mu)": "8.166184e+00"}, "norms_by_order": {"logdphi_3": "4.800220e+01", "psi_0": "4.689297e-04", "psi_1": "3.818061e-03", "psi_2": "3.162526e-02", "psi_3": "4.628632e-01", "g-h_1": "2.812368e-02", "mu_1": "1.838321e-02", "g-h_2": "3.344988e-01", "mu_2": "2.630395e-01", "g-h_3": "1.000019e+01", "mu_3": "8.166184e+00", "logdphi_1": "2.086281e-02", "logdphi_2": "2.253597e-01", "g-h_0": "3.190234e-03", "mu_0": "2.167794e-03", "logdphi_0": "2.614248e-03"}, "d_k1_psi_0": "-47.674194777213734941282", "pred": "-47.674194777213734941282", "dk_log_dphi_0": "-23.837097388606867470641", "time": "33.7", "max_abs_K_minus_Kh": "3.579813e-01"}
{"k": 3, "model": "sphere", "eps": "0.015", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 74, "delta": "1.114383e-29", "c_delta": "-0.905014507739625163105540712", "minK": "0.853674", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["0.981771", "0.1", 1.0472], "aw<r<=bw": ["0.939611", "0.300", 1.0472], "bw<r<abeta": ["0.927118", "0.350", 1.0472], "abeta<=r<=b": ["0.853674", "0.825", 3.1416], "b<r<=1": ["1.000000", "0.965", 0.7854]}, "maxrel_C_vs_P": "6.70e-73", "sup_mu": "0.002168", "norms": {"C3(psi)": "4.628632e-01", "C3(g-h)": "2.445690e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800220e+01", "C3(mu)": "8.166184e+00"}, "norms_by_order": {"logdphi_3": "4.800220e+01", "psi_0": "4.689297e-04", "psi_1": "3.818061e-03", "psi_2": "3.162526e-02", "psi_3": "4.628632e-01", "g-h_1": "8.787414e-02", "mu_1": "1.838321e-02", "g-h_2": "8.503812e-01", "mu_2": "2.630395e-01", "g-h_3": "2.445690e+01", "mu_3": "8.166184e+00", "logdphi_1": "2.086281e-02", "logdphi_2": "2.253597e-01", "g-h_0": "9.554281e-03", "mu_0": "2.167794e-03", "logdphi_0": "2.614248e-03"}, "d_k1_psi_0": "-47.674194777213734941282", "pred": "-47.674194777213734941282", "dk_log_dphi_0": "-23.837097388606867470641", "time": "35.0", "max_abs_K_minus_Kh": "1.463256e-01"}
total time 604.9s
