eps 0.01 prec 89 delta 3.720e-44 radii 357 angles 37 series time 231.8s
{"k": 1, "model": "flat_t1", "eps": "0.01", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.860246448220998238496248839", "minK": "-1.963932", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["2.500173", "0.1", 3.1416], "aw<r<=bw": ["1.462596", "0.250", 3.1416], "bw<r<abeta": ["1.482540", "0.350", 3.1416], "abeta<=r<=b": ["-1.963932", "0.635", 0.0], "b<r<=1": ["1.001000", "0.999", 0.0]}, "maxrel_C_vs_P": "3.05e-86", "sup_mu": "0.005741", "norms": {"C1(psi)": "9.571134e-03", "C1(g-h)": "4.030429e-01", "C1(w)": "1.600000e-01", "C1(logdphi)": "3.982795e+00", "C1(mu)": "8.442127e-02"}, "norms_by_order": {"g-h_0": "1.631440e-01", "w_0": "7.556335e-02", "logdphi_1": "3.982795e+00", "psi_0": "1.556338e-03", "psi_1": "9.571134e-03", "mu_0": "5.740954e-03", "g-h_1": "4.030429e-01", "w_1": "1.600000e-01", "mu_1": "8.442127e-02", "logdphi_0": "7.481763e-03"}, "d_k1_psi_0": "-3.9827950710355800352300", "pred": "-3.9827950710355800352300", "dk_log_dphi_0": "-1.9913975355177900176150", "time": "43.8", "in_ratio": ["2.7999", "0.1", 3.1416], "in_resid_over_eps": "93.3333", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-242.2562", ["0.635", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.01", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.860246448220998238496248839", "minK": "-0.171740", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["1.076912", "0.1", 3.1416], "aw<r<=bw": ["0.857416", "0.245", 3.1416], "bw<r<abeta": ["0.883569", "0.305", 3.1416], "abeta<=r<=b": ["-0.171740", "0.635", 0.0], "b<r<=1": ["1.000000", "0.999", 0.3491]}, "maxrel_C_vs_P": "9.31e-86", "sup_mu": "0.005741", "norms": {"C1(psi)": "9.571134e-03", "C1(g-h)": "1.693033e+00", "C1(w)": "1.600000e-01", "C1(logdphi)": "3.982795e+00", "C1(mu)": "8.442127e-02"}, "norms_by_order": {"g-h_0": "6.525761e-01", "w_0": "7.556335e-02", "logdphi_1": "3.982795e+00", "psi_0": "1.556338e-03", "psi_1": "9.571134e-03", "mu_0": "5.740954e-03", "g-h_1": "1.693033e+00", "w_1": "1.600000e-01", "mu_1": "8.442127e-02", "logdphi_0": "7.481763e-03"}, "d_k1_psi_0": "-3.9827950710355800352300", "pred": "-3.9827950710355800352300", "dk_log_dphi_0": "-1.9913975355177900176150", "time": "44.5", "in_ratio": ["3.4891", "0.04660548", 3.1416], "in_resid_over_eps": "93.3333", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-238.2134", ["0.635", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.01", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.860246448220998238496248839", "minK": "-0.759664", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["1.739685", "0.1", 1.5708], "aw<r<=bw": ["1.585283", "0.300", 1.5708], "bw<r<abeta": ["1.527629", "0.350", 1.5708], "abeta<=r<=b": ["-0.759664", "0.635", 0.0], "b<r<=1": ["1.001000", "0.999", 0.0]}, "maxrel_C_vs_P": "2.69e-86", "sup_mu": "0.003411", "norms": {"C2(psi)": "8.949552e-02", "C2(g-h)": "1.779955e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.194839e+01", "C2(mu)": "1.293192e+00"}, "norms_by_order": {"logdphi_2": "1.194839e+01", "psi_0": "6.748448e-04", "psi_1": "5.314400e-03", "psi_2": "8.949552e-02", "g-h_1": "7.568917e-02", "mu_1": "5.217118e-02", "g-h_2": "1.779955e+00", "mu_2": "1.293192e+00", "logdphi_1": "3.786746e-02", "g-h_0": "5.032549e-03", "mu_0": "3.410955e-03", "logdphi_0": "3.351046e-03"}, "d_k1_psi_0": "-11.948385213106740105690", "pred": "-11.948385213106740105690", "dk_log_dphi_0": "-5.9741926065533700528451", "time": "29.4", "max_abs_K_minus_Kh": "2.216701e+00"}
{"k": 2, "model": "sphere", "eps": "0.01", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.860246448220998238496248839", "minK": "0.242230", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["0.939572", "0.1", 1.5708], "aw<r<=bw": ["0.934841", "0.300", 1.5708], "bw<r<abeta": ["0.932654", "0.350", 1.5708], "abeta<=r<=b": ["0.242230", "0.635", 0.0], "b<r<=1": ["1.000000", "0.999", 0.3491]}, "maxrel_C_vs_P": "1.41e-87", "sup_mu": "0.003411", "norms": {"C2(psi)": "8.949552e-02", "C2(g-h)": "4.858943e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.194839e+01", "C2(mu)": "1.293192e+00"}, "norms_by_order": {"logdphi_2": "1.194839e+01", "psi_0": "6.748448e-04", "psi_1": "5.314400e-03", "psi_2": "8.949552e-02", "g-h_1": "2.189411e-01", "mu_1": "5.217118e-02", "g-h_2": "4.858943e+00", "mu_2": "1.293192e+00", "logdphi_1": "3.786746e-02", "g-h_0": "1.490425e-02", "mu_0": "3.410955e-03", "logdphi_0": "3.351046e-03"}, "d_k1_psi_0": "-11.948385213106740105690", "pred": "-11.948385213106740105690", "dk_log_dphi_0": "-5.9741926065533700528451", "time": "31.9", "max_abs_K_minus_Kh": "7.687046e-01"}
total time 383.5s
