| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (2498677.591761713) | 4.0021161721354643e-7 | (4.0021161721269516e-7 4.002116172144299e-7) | +nan.0 | valid | exit | 1 | 0.11626 | #f |
| (16841236694260.844) | 5.937806220256677e-14 | (5.937611513573415e-14 5.937958458268611e-14) | +nan.0 | valid | exit | 1 | 0.16405599999999998 | #f |
| (237.52023395223713) | 0.00420132966985971 | (0.00420132966985971 0.004201329669859711) | +nan.0 | valid | exit | 0 | 0.079119 | #f |
| (3.611914631169915e+30) | 2.768614715780521e-31 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.09085 | #f |
| (6.409562506917862e+19) | 1.5601688865982612e-20 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.125169 | #f |
| (93551547509.51016) | 1.0689294048214418e-11 | (1.0689293200583094e-11 1.0689296670030046e-11) | +nan.0 | valid | exit | 1 | 0.156115 | #f |
| (1.0651334026710049e+20) | 9.388495351777799e-21 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.07411 | #f |
| (1.1958677038912429e+31) | 8.362128994253231e-32 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.082662 | #f |
| (5.675078664133325e+34) | 1.7620901121953275e-35 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.176078 | #f |
| (4.710866374311065e+34) | 2.122751783945992e-35 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.158857 | #f |
| (5.642497064677099e+36) | 1.7722649893079326e-37 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.136451 | #f |
| (1.4724907043903945e+29) | 6.791214348711261e-30 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.178286 | #f |
| (206591812498638430.0) | 4.8404628813960896e-18 | (0.0 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.223043 | #f |
| (352.15527638007694) | 0.002835632236478058 | (0.002835632236478058 0.0028356322364780587) | +nan.0 | valid | exit | 0 | 0.134266 | #f |
| (3.5125574734779513e+25) | 2.846928505940864e-26 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.077221 | #f |
| (63.7104262669581) | 0.015574109545719776 | (0.015574109545719776 0.015574109545719776) | +nan.0 | valid | exit | 0 | 0.169951 | #f |
| (7.041505205540033e+21) | 1.4201509063903434e-22 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.171535 | #f |
| (4.2990603994377607e+21) | 2.3260896732941503e-22 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.16325399999999998 | #f |
| (474305957380.35474) | 2.1083437482465084e-12 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (6469855.629950657) | 1.5456294234592644e-7 | (1.5456294234512252e-7 1.5456294234685725e-7) | +nan.0 | valid | exit | 1 | 0.168921 | #f |
| (5.7648177321799575e+35) | 1.7346602207696366e-36 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.206776 | #f |
| (1.0123603568654938e+32) | 9.877905562167958e-33 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.170035 | #f |
| (7.589009943065492e+37) | 1.3176949397908704e-38 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.084539 | #f |
| (29655216744817.676) | 3.372087982377454e-14 | (3.3719554926037176e-14 3.372302437298913e-14) | +nan.0 | valid | exit | 1 | 0.152483 | #f |
| (15.996003754954595) | 0.06063931745631431 | (0.06063931745631431 0.06063931745631431) | +nan.0 | valid | exit | 0 | 0.130444 | #f |
| (3261201574712525.0) | 3.066354461968975e-16 | (3.0531133177191805e-16 3.122502256758253e-16) | +nan.0 | valid | exit | 1 | 0.142813 | #f |
| (2.883029459546858e+32) | 3.468573644603602e-33 | (-6.938893903907228e-18 6.938893903907228e-18) | +nan.0 | valid | exit | 1 | 0.170797 | #f |
| (1.1574339981877935e+27) | 8.639801505448349e-28 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.09740599999999999 | #f |
| (22701227185.69717) | 4.405048202010952e-11 | (4.40504802773356e-11 4.4050483746782554e-11) | +nan.0 | valid | exit | 1 | 0.151012 | #f |
| (262605722.1054059) | 3.807990130902861e-9 | (3.8079901280851924e-9 3.807990131554639e-9) | +nan.0 | valid | exit | 1 | 0.128031 | #f |
| (3.779012779734124e+26) | 2.6461937502904023e-27 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.14995899999999998 | #f |
| (2.6582162297494593e+26) | 3.761921204183798e-27 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.182702 | #f |
| (58892053663108024.0) | 1.698021953386954e-17 | (1.3877787807814457e-17 2.0816681711721685e-17) | +nan.0 | valid | exit | 1 | 0.14404 | #f |
| (1209679973321114400.0) | 8.266649213465536e-19 | (-3.469446951953614e-18 3.469446951953614e-18) | +nan.0 | valid | exit | 1 | 0.08616800000000001 | #f |
| (101.97433590202121) | 0.009758618361084754 | (0.009758618361084754 0.009758618361084754) | +nan.0 | valid | exit | 0 | 0.192265 | #f |
