eps 0.005 prec 132 delta 1.384e-87 radii 487 angles 37 series time 415.6s
{"k": 1, "model": "flat_t1", "eps": "0.005", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 132, "delta": "1.383897e-87", "c_delta": "-0.905014507739625163105540712", "minK": "0.953730", "minK_at": ["0.815", 3.141592653589793], "regions": {"0<=r<=aw": ["2.256944", "0.1", 3.1416], "aw<r<=bw": ["1.654067", "0.300", 3.1416], "bw<r<abeta": ["1.632626", "0.350", 3.1416], "abeta<=r<=b": ["0.953730", "0.815", 3.1416], "b<r<=1": ["1.001000", "0.999", 0.6981]}, "maxrel_C_vs_P": "7.75e-131", "sup_mu": "0.002272", "norms": {"C1(psi)": "4.679614e-03", "C1(g-h)": "1.900356e-01", "C1(w)": "8.000000e-02", "C1(logdphi)": "3.990950e+00", "C1(mu)": "1.507322e-02"}, "norms_by_order": {"g-h_0": "7.748774e-02", "w_0": "3.731608e-02", "logdphi_1": "3.990950e+00", "psi_0": "7.442633e-04", "psi_1": "4.679614e-03", "mu_0": "2.271998e-03", "g-h_1": "1.900356e-01", "w_1": "8.000000e-02", "mu_1": "1.507322e-02", "logdphi_0": "3.650905e-03"}, "d_k1_psi_0": "-3.9909498549226037483689", "pred": "-3.9909498549226037483689", "dk_log_dphi_0": "-1.9954749274613018741844", "time": "70.9", "in_ratio": ["1.7404", "0.04647305", 3.1416], "in_resid_over_eps": "94.4876", "lemma53_max_violation": "2.000e-112", "out_ratio": ["-47.2104", ["0.675", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.005", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 132, "delta": "1.383897e-87", "c_delta": "-0.905014507739625163105540712", "minK": "0.874809", "minK_at": ["0.685", 0.0], "regions": {"0<=r<=aw": ["1.042349", "0.1", 3.1416], "aw<r<=bw": ["0.934880", "0.275", 3.1416], "bw<r<abeta": ["0.940673", "0.305", 3.1416], "abeta<=r<=b": ["0.874809", "0.685", 0.0], "b<r<=1": ["1.000000", "0.925", 0.7854]}, "maxrel_C_vs_P": "7.00e-131", "sup_mu": "0.002272", "norms": {"C1(psi)": "4.679614e-03", "C1(g-h)": "8.003621e-01", "C1(w)": "8.000000e-02", "C1(logdphi)": "3.990950e+00", "C1(mu)": "1.507322e-02"}, "norms_by_order": {"g-h_0": "3.099510e-01", "w_0": "3.731608e-02", "logdphi_1": "3.990950e+00", "psi_0": "7.442633e-04", "psi_1": "4.679614e-03", "mu_0": "2.271998e-03", "g-h_1": "8.003621e-01", "w_1": "8.000000e-02", "mu_1": "1.507322e-02", "logdphi_0": "3.650905e-03"}, "d_k1_psi_0": "-3.9909498549226037483689", "pred": "-3.9909498549226037483689", "dk_log_dphi_0": "-1.9954749274613018741844", "time": "71.8", "in_ratio": ["2.0843", "0.02159744", 3.1416], "in_resid_over_eps": "94.4876", "lemma53_max_violation": "2.000e-112", "out_ratio": ["-46.3506", ["0.675", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.005", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 132, "delta": "1.383897e-87", "c_delta": "-0.905014507739625163105540712", "minK": "1.001000", "minK_at": ["0.999", 0.6981317007977318], "regions": {"0<=r<=aw": ["1.859766", "0.1", 1.5708], "aw<r<=bw": ["1.709680", "0.300", 1.5708], "bw<r<abeta": ["1.655856", "0.350", 1.5708], "abeta<=r<=b": ["1.035696", "0.825", 1.5708], "b<r<=1": ["1.001000", "0.999", 0.6981]}, "maxrel_C_vs_P": "1.08e-130", "sup_mu": "0.001224", "norms": {"C2(psi)": "1.658487e-02", "C2(g-h)": "1.471219e-01", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.197285e+01", "C2(mu)": "1.155132e-01"}, "norms_by_order": {"logdphi_2": "1.197285e+01", "psi_0": "3.181717e-04", "psi_1": "2.232790e-03", "psi_2": "1.658487e-02", "g-h_1": "1.465951e-02", "mu_1": "9.096001e-03", "g-h_2": "1.471219e-01", "mu_2": "1.155132e-01", "logdphi_1": "8.766196e-03", "g-h_0": "1.872332e-03", "mu_0": "1.223647e-03", "logdphi_0": "1.600741e-03"}, "d_k1_psi_0": "-11.972849564767811245106", "pred": "-11.972849564767811245106", "dk_log_dphi_0": "-5.9864247823839056225534", "time": "46.2", "max_abs_K_minus_Kh": "1.556321e-01"}
{"k": 2, "model": "sphere", "eps": "0.005", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 132, "delta": "1.383897e-87", "c_delta": "-0.905014507739625163105540712", "minK": "0.933140", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["0.969742", "0.1", 1.5708], "aw<r<=bw": ["0.967316", "0.300", 1.5708], "bw<r<abeta": ["0.966656", "0.350", 1.5708], "abeta<=r<=b": ["0.933140", "0.820", 1.5708], "b<r<=1": ["1.000000", "0.925", 0.7854]}, "maxrel_C_vs_P": "8.62e-131", "sup_mu": "0.001224", "norms": {"C2(psi)": "1.658487e-02", "C2(g-h)": "5.600000e-01", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.197285e+01", "C2(mu)": "1.155132e-01"}, "norms_by_order": {"logdphi_2": "1.197285e+01", "psi_0": "3.181717e-04", "psi_1": "2.232790e-03", "psi_2": "1.658487e-02", "g-h_1": "4.839135e-02", "mu_1": "9.096001e-03", "g-h_2": "5.600000e-01", "mu_2": "1.155132e-01", "logdphi_1": "8.766196e-03", "g-h_0": "5.847990e-03", "mu_0": "1.223647e-03", "logdphi_0": "1.600741e-03"}, "d_k1_psi_0": "-11.972849564767811245106", "pred": "-11.972849564767811245106", "dk_log_dphi_0": "-5.9864247823839056225534", "time": "44.7", "max_abs_K_minus_Kh": "6.685964e-02"}
{"k": 3, "model": "flat_t1", "eps": "0.005", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 132, "delta": "1.383897e-87", "c_delta": "-0.905014507739625163105540712", "minK": "1.001000", "minK_at": ["0.999", 0.6981317007977318], "regions": {"0<=r<=aw": ["1.956043", "0.1", 1.0472], "aw<r<=bw": ["1.758629", "0.300", 1.0472], "bw<r<abeta": ["1.691533", "0.350", 3.1416], "abeta<=r<=b": ["1.073638", "0.830", 3.1416], "b<r<=1": ["1.001000", "0.999", 0.6981]}, "maxrel_C_vs_P": "3.66e-131", "sup_mu": "0.000722", "norms": {"C3(psi)": "1.542877e-01", "C3(g-h)": "3.332943e+00", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800073e+01", "C3(mu)": "2.721814e+00"}, "norms_by_order": {"logdphi_3": "4.800073e+01", "psi_0": "1.563099e-04", "psi_1": "1.272687e-03", "psi_2": "1.054175e-02", "psi_3": "1.542877e-01", "g-h_1": "9.359805e-03", "mu_1": "6.120706e-03", "g-h_2": "1.114268e-01", "mu_2": "8.765287e-02", "g-h_3": "3.332943e+00", "mu_3": "2.721814e+00", "logdphi_1": "6.954306e-03", "logdphi_2": "7.508101e-02", "g-h_0": "1.062184e-03", "mu_0": "7.224407e-04", "logdphi_0": "8.706570e-04"}, "d_k1_psi_0": "-47.891398259071244980427", "pred": "-47.891398259071244980427", "dk_log_dphi_0": "-23.945699129535622490213", "time": "61.5", "max_abs_K_minus_Kh": "1.190740e-01"}
{"k": 3, "model": "sphere", "eps": "0.005", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 132, "delta": "1.383897e-87", "c_delta": "-0.905014507739625163105540712", "minK": "0.951243", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["0.993921", "0.1", 3.1416], "aw<r<=bw": ["0.979802", "0.300", 1.0472], "bw<r<abeta": ["0.975621", "0.350", 1.0472], "abeta<=r<=b": ["0.951243", "0.825", 3.1416], "b<r<=1": ["1.000000", "0.925", 0.7854]}, "maxrel_C_vs_P": "6.84e-131", "sup_mu": "0.000722", "norms": {"C3(psi)": "1.542877e-01", "C3(g-h)": "8.151229e+00", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800073e+01", "C3(mu)": "2.721814e+00"}, "norms_by_order": {"logdphi_3": "4.800073e+01", "psi_0": "1.563099e-04", "psi_1": "1.272687e-03", "psi_2": "1.054175e-02", "psi_3": "1.542877e-01", "g-h_1": "2.923398e-02", "mu_1": "6.120706e-03", "g-h_2": "2.832817e-01", "mu_2": "8.765287e-02", "g-h_3": "8.151229e+00", "mu_3": "2.721814e+00", "logdphi_1": "6.954306e-03", "logdphi_2": "7.508101e-02", "g-h_0": "3.180432e-03", "mu_0": "7.224407e-04", "logdphi_0": "8.706570e-04"}, "d_k1_psi_0": "-47.891398259071244980427", "pred": "-47.891398259071244980427", "dk_log_dphi_0": "-23.945699129535622490213", "time": "71.2", "max_abs_K_minus_Kh": "4.875713e-02"}
total time 786.0s
