eps 0.02 prec 67 delta 1.929e-22 radii 292 angles 37 series time 231.8s
{"k": 1, "model": "flat_t1", "eps": "0.02", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.860246448220998238496248839", "minK": "-5.236298", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["2.909782", "0.1", 3.1416], "aw<r<=bw": ["1.105588", "0.250", 3.1416], "bw<r<abeta": ["1.179875", "0.305", 3.1416], "abeta<=r<=b": ["-5.236298", "0.635", 0.0], "b<r<=1": ["1.001000", "0.999", 0.6109]}, "maxrel_C_vs_P": "2.97e-64", "sup_mu": "0.011521", "norms": {"C1(psi)": "1.914227e-02", "C1(g-h)": "9.210236e-01", "C1(w)": "3.200000e-01", "C1(logdphi)": "3.965590e+00", "C1(mu)": "1.696866e-01"}, "norms_by_order": {"g-h_0": "3.529040e-01", "w_0": "1.511267e-01", "logdphi_1": "3.965590e+00", "psi_0": "3.112676e-03", "psi_1": "1.914227e-02", "mu_0": "1.152123e-02", "g-h_1": "9.210236e-01", "w_1": "3.200000e-01", "mu_1": "1.696866e-01", "logdphi_0": "1.501992e-02"}, "d_k1_psi_0": "-3.9655901420711600704601", "pred": "-3.9655901420711600704601", "dk_log_dphi_0": "-1.9827950710355800352300", "time": "30.6", "in_ratio": ["4.7725", "0.1", 3.1416], "in_resid_over_eps": "91.3430", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-239.3062", ["0.635", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.02", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.860246448220998238496248839", "minK": "-1.303355", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["1.131842", "0.1", 3.1416], "aw<r<=bw": ["0.733688", "0.245", 3.1416], "bw<r<abeta": ["0.779468", "0.305", 3.1416], "abeta<=r<=b": ["-1.303355", "0.635", 0.0], "b<r<=1": ["1.000000", "0.970", 0.7854]}, "maxrel_C_vs_P": "4.07e-63", "sup_mu": "0.011521", "norms": {"C1(psi)": "1.914227e-02", "C1(g-h)": "3.783892e+00", "C1(w)": "3.200000e-01", "C1(logdphi)": "3.965590e+00", "C1(mu)": "1.696866e-01"}, "norms_by_order": {"g-h_0": "1.411616e+00", "w_0": "1.511267e-01", "logdphi_1": "3.965590e+00", "psi_0": "3.112676e-03", "psi_1": "1.914227e-02", "mu_0": "1.152123e-02", "g-h_1": "3.783892e+00", "w_1": "3.200000e-01", "mu_1": "1.696866e-01", "logdphi_0": "1.501992e-02"}, "d_k1_psi_0": "-3.9655901420711600704601", "pred": "-3.9655901420711600704601", "dk_log_dphi_0": "-1.9827950710355800352300", "time": "31.8", "in_ratio": ["5.5490", "0.1", 3.1416], "in_resid_over_eps": "91.3430", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-235.3330", ["0.635", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.02", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.860246448220998238496248839", "minK": "-2.913472", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["1.500546", "0.1", 1.5708], "aw<r<=bw": ["1.338704", "0.300", 1.5708], "bw<r<abeta": ["1.275747", "0.350", 1.5708], "abeta<=r<=b": ["-2.913472", "0.635", 0.0], "b<r<=1": ["1.001000", "0.999", 0.6109]}, "maxrel_C_vs_P": "8.20e-65", "sup_mu": "0.006833", "norms": {"C2(psi)": "1.789910e-01", "C2(g-h)": "3.588731e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.189677e+01", "C2(mu)": "2.600801e+00"}, "norms_by_order": {"logdphi_2": "1.189677e+01", "psi_0": "1.349690e-03", "psi_1": "1.062880e-02", "psi_2": "1.789910e-01", "g-h_0": "1.009722e-02", "mu_0": "6.833068e-03", "g-h_1": "1.521067e-01", "mu_1": "1.046462e-01", "g-h_2": "3.588731e+00", "mu_2": "2.600801e+00", "logdphi_0": "6.713359e-03", "logdphi_1": "7.582585e-02"}, "d_k1_psi_0": "-11.896770426213480211380", "pred": "-11.896770426213480211380", "dk_log_dphi_0": "-5.9483852131067401056902", "time": "24.9", "max_abs_K_minus_Kh": "4.465772e+00"}
{"k": 2, "model": "sphere", "eps": "0.02", "fam": "B", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.860246448220998238496248839", "minK": "-0.504813", "minK_at": ["0.635", 0.0], "regions": {"0<=r<=aw": ["0.879490", "0.1", 1.5708], "aw<r<=bw": ["0.870480", "0.300", 1.5708], "bw<r<abeta": ["0.865910", "0.350", 1.5708], "abeta<=r<=b": ["-0.504813", "0.635", 0.0], "b<r<=1": ["1.000000", "0.970", 0.7854]}, "maxrel_C_vs_P": "5.09e-64", "sup_mu": "0.006833", "norms": {"C2(psi)": "1.789910e-01", "C2(g-h)": "9.797892e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.189677e+01", "C2(mu)": "2.600801e+00"}, "norms_by_order": {"logdphi_2": "1.189677e+01", "psi_0": "1.349690e-03", "psi_1": "1.062880e-02", "psi_2": "1.789910e-01", "g-h_0": "2.989853e-02", "mu_0": "6.833068e-03", "g-h_1": "4.399574e-01", "mu_1": "1.046462e-01", "g-h_2": "9.797892e+00", "mu_2": "2.600801e+00", "logdphi_0": "6.713359e-03", "logdphi_1": "7.582585e-02"}, "d_k1_psi_0": "-11.896770426213480211380", "pred": "-11.896770426213480211380", "dk_log_dphi_0": "-5.9483852131067401056902", "time": "25.2", "max_abs_K_minus_Kh": "1.548556e+00"}
total time 346.4s
