eps 0.002 prec 263 delta 7.125e-218 radii 181 angles 37 series time 214.8s
{"k": 1, "model": "flat_t=0.1", "eps": "0.002", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 263, "delta": "7.124576e-218", "c_delta": "-0.905014507739625163105540712", "minK": "-0.003878", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["0.349093", "0.1", 3.1416], "aw<r<=bw": ["0.115092", "0.285", 3.1416], "bw<r<abeta": ["0.115075", "0.340", 3.1416], "abeta<=r<=b": ["-0.003878", "0.690", 0.0], "b<r<=1": ["0.053691", "0.999", 0.1745]}, "maxrel_C_vs_P": "7.98e-260", "sup_mu": "0.000909", "norms": {"C1(psi)": "1.871846e-03", "C1(g-h)": "6.998591e-02", "C1(w)": "3.200000e-02", "C1(logdphi)": "1.280060e-02", "C1(mu)": "6.011683e-03"}, "norms_by_order": {"psi_0": "2.977053e-04", "psi_1": "1.871846e-03", "g-h_0": "2.411610e-02", "w_0": "1.172643e-02", "mu_0": "9.087178e-04", "g-h_1": "6.998591e-02", "w_1": "3.200000e-02", "mu_1": "6.011683e-03", "logdphi_0": "1.458763e-03", "logdphi_1": "1.280060e-02"}, "d_k1_psi_0": "-3.9963799419690414993475", "pred": "-3.9963799419690414993475", "dk_log_dphi_0": "-1.9981899709845207496737", "time": "87.5", "in_ratio": ["0.4811", "0.1", 3.1416], "in_resid_over_eps": "0.4811", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-48.1459", ["0.680", 0.0]]}
total time 304.1s
