| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (5.165310542567432e-234 4.00757760903876e+98) | 2.070038287412509e-135 | (2.070038287412509e-135 2.0700382874125092e-135) | +nan.0 | valid | exit | 0 | 0.376262 | #f |
| (9.556845134141168e+30 9.125607617840513e-266) | 8.721201875864068e-235 | (8.721201875864067e-235 8.721201875864068e-235) | +nan.0 | valid | exit | 0 | 0.30490900000000004 | #f |
| (7.851123635212496e-204 6.528519247167537e-63) | 5.1256211764376736e-266 | (5.1256211764376736e-266 5.125621176437674e-266) | +nan.0 | valid | exit | 0 | 0.19255 | #f |
| (4.027501690973865e-276 2.687447685812941e+161) | 1.082370009901542e-114 | (1.082370009901542e-114 1.0823700099015422e-114) | +nan.0 | valid | exit | 0 | 0.219904 | #f |
| (1.2085599589594976e+268 3.058865473364635e+83) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.285747 | #f |
| (1.553707859638194e-28 5.18938436799968e+137) | 8.062787279244685e+109 | (8.062787279244685e+109 8.062787279244686e+109) | +nan.0 | valid | exit | 0 | 0.218132 | #f |
| (1.5193671919520628e+111 2.716334301125373e-200) | 4.1271092195039266e-89 | (4.1271092195039266e-89 4.127109219503927e-89) | +nan.0 | valid | exit | 0 | 0.21302100000000002 | #f |
| (2.2796339894453645e-176 3.464393424304968e+87) | 7.897549002856621e-89 | (7.897549002856621e-89 7.897549002856621e-89) | +nan.0 | valid | exit | 0 | 0.223033 | #f |
| (2.7356087486845263e-140 2.3543461079818225e+289) | 6.440569810426438e+149 | (6.440569810426438e+149 6.440569810426438e+149) | +nan.0 | valid | exit | 0 | 0.18368400000000001 | #f |
| (9.483997204182378e+53 1.169442844299914e-134) | 1.1090992665791472e-80 | (1.1090992665791472e-80 1.1090992665791472e-80) | +nan.0 | valid | exit | 0 | 0.167986 | #f |
| (8.398589041685195e+90 9.781680357251654e-203) | 8.215231345768107e-112 | (8.215231345768107e-112 8.215231345768107e-112) | +nan.0 | valid | exit | 0 | 0.223026 | #f |
| (1.7874152283872282e+157 3.79600169074649e+265) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.248378 | #f |
| (2.8311601716591527e+193 4.54108244336624e-240) | 1.2856531749879127e-46 | (1.2856531749879127e-46 1.2856531749879127e-46) | +nan.0 | valid | exit | 0 | 0.117095 | #f |
| (5.3627973417827044e+147 2.5676076876580607e-39) | 1.3769559682113484e+109 | (1.3769559682113484e+109 1.3769559682113484e+109) | +nan.0 | valid | exit | 0 | 0.18395999999999998 | #f |
| (1.791585486737266e-221 1.686588962711312e+146) | 3.021668307684846e-75 | (3.021668307684846e-75 3.0216683076848467e-75) | +nan.0 | valid | exit | 0 | 0.217064 | #f |
| (5.0377672453880074e-247 1.3842098821387209e+246) | 0.6973327204980843 | (0.6973327204980843 0.6973327204980843) | +nan.0 | valid | exit | 0 | 0.219364 | #f |
| (9.289483748545405e+89 121387298064.98448) | 1.1276253326545104e+101 | (1.1276253326545103e+101 1.1276253326545104e+101) | +nan.0 | valid | exit | 0 | 0.198628 | #f |
| (1.5400869084878347e-61 4.361871942977738e-291) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.215727 | #f |
| (4.93574466941505e+231 4.926501984624162e+179) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.18876900000000002 | #f |
| (6.245031467592675e-114 4.844786586820501e-278) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.20180499999999998 | #f |
| (58307377.080916144 7.061923726377767e+192) | 4.1176224963057694e+200 | (4.1176224963057694e+200 4.1176224963057694e+200) | +nan.0 | valid | exit | 0 | 0.218496 | #f |
| (5.235291032466375e-236 1.9555448791714725e-97) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.218138 | #f |
| (6.095021574022774e+50 3.2209763335894775e+204) | 1.963192024264464e+255 | (1.963192024264464e+255 1.963192024264464e+255) | +nan.0 | valid | exit | 0 | 0.24814999999999998 | #f |
| (2.6624023131726027e+303 5.279563652043131e-268) | 1.4056322479741626e+36 | (1.4056322479741626e+36 1.405632247974163e+36) | +nan.0 | valid | exit | 0 | 0.14737999999999998 | #f |
| (2.520565500256253e-23 2.4923587974544368e-201) | 6.282153599123816e-224 | (6.282153599123815e-224 6.282153599123816e-224) | +nan.0 | valid | exit | 0 | 0.212926 | #f |
| (2.1186792640588673e+263 2.1671651123284205e+259) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.201896 | #f |
| (7.449043036590265e+177 2.136576358948503e-128) | 1.5915449248768729e+50 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (9.008586941569839e-203 8.543780982699558e+151) | 7.696739379237996e-51 | (7.696739379237996e-51 7.696739379237997e-51) | +nan.0 | valid | exit | 0 | 0.181731 | #f |
| (1.3535299602454282e+153 6.250269858469485e+250) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.240147 | #f |
| (7.981277599830577e+62 3.229188622762485e-96) | 2.5773050820481973e-33 | (2.5773050820481973e-33 2.5773050820481973e-33) | +nan.0 | valid | exit | 0 | 0.234339 | #f |
| (6.120189333902147e+168 1.2006057988725486e+308) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.209371 | #f |
| (5.655358947155505e-186 2.1525358816473452e-237) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.119571 | #f |
| (2.8478666534354656e-37 1.645368768236756e-30) | 4.685790847665645e-67 | (4.685790847665645e-67 4.685790847665645e-67) | +nan.0 | valid | exit | 0 | 0.21958899999999998 | #f |
| (1.754753743866027e-129 5.388232111444578e+116) | 9.45502047037652e-13 | (9.45502047037652e-13 9.45502047037652e-13) | +nan.0 | valid | exit | 0 | 0.17681000000000002 | #f |
| (4.525189265783751e-216 1.0568860902647688e-147) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.223884 | #f |
| (1.22223214093195e+37 8.506354812752302e+99) | 1.0396740254317043e+137 | (1.0396740254317043e+137 1.0396740254317043e+137) | +nan.0 | valid | exit | 0 | 0.228156 | #f |
| (5.950028403703457e-103 6.836672706158186e-302) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.566413246492108e-51 1.1492940636474803e+38) | 2.949563509059637e-13 | (2.949563509059637e-13 2.949563509059637e-13) | +nan.0 | valid | exit | 0 | 0.111045 | #f |
| (9.858916649943232e-205 1.7964830726379128e+298) | 1.7711376876171095e+94 | (1.7711376876171095e+94 1.7711376876171095e+94) | +nan.0 | valid | exit | 0 | 0.187587 | #f |
| (6.249847080703587e+221 1.4306896956442323e+210) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.206481 | #f |
| (1.0216599306448314e-92 9387.434662100624) | 9.59076584581461e-89 | (9.59076584581461e-89 9.59076584581461e-89) | +nan.0 | valid | exit | 0 | 0.146871 | #f |
| (9.474382628134444e-14 1.105776059758458e+192) | 1.047654549118249e+179 | (1.047654549118249e+179 1.047654549118249e+179) | +nan.0 | valid | exit | 0 | 0.222738 | #f |
| (1.858958805848772e+120 1.3684739189651643e+100) | 2.5439366422346713e+220 | (2.543936642234671e+220 2.5439366422346713e+220) | +nan.0 | valid | exit | 0 | 0.224007 | #f |
| (3.0385510100522174e+261 1.2638224133528377e+248) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.14854 | #f |
| (2.403434719689765e+241 1.23455349881337e+146) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.188328 | #f |
| (3.6475018171037844e+102 0.792885311235657) | 2.8920506134869585e+102 | (2.8920506134869585e+102 2.8920506134869585e+102) | +nan.0 | valid | exit | 0 | 0.16983499999999999 | #f |
| (7.346819147945627e+247 1.3843683532599595e-177) | 1.0170703925540226e+71 | (1.0170703925540226e+71 1.0170703925540227e+71) | +nan.0 | valid | exit | 0 | 0.221799 | #f |
| (3.1565792500123538e-173 9.887747555534759e+72) | 3.1211458763161394e-100 | (3.1211458763161394e-100 3.1211458763161394e-100) | +nan.0 | valid | exit | 0 | 0.116066 | #f |
| (1.4416874917189064e-261 1.0783750177287815e-220) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.25839500000000004 | #f |
| (8.819977841576083e-191 8.768206678329141e-159) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.19695100000000001 | #f |
| (2.468858452123325e+106 2.1412415427487366e-187) | 5.286422280852806e-81 | (5.286422280852806e-81 5.286422280852806e-81) | +nan.0 | valid | exit | 0 | 0.22395800000000002 | #f |
| (3.162062924652633e-296 7.602643417462428e-264) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.201157 | #f |
| (3.136072083986154e+98 8.193962656315095e-176) | 2.56968575436948e-77 | (2.56968575436948e-77 2.56968575436948e-77) | +nan.0 | valid | exit | 0 | 0.231373 | #f |
| (3.381540588864567e-56 9.58923697883952e-7) | 3.2426394060186875e-62 | (3.2426394060186875e-62 3.2426394060186875e-62) | +nan.0 | valid | exit | 0 | 0.208219 | #f |
| (1.7237588653000817e+80 7.80245484224136e-236) | 1.3449550705417095e-155 | (1.3449550705417095e-155 1.3449550705417095e-155) | +nan.0 | valid | exit | 0 | 0.176267 | #f |
| (2.6380596535970716e+119 6.328013455387979e+239) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.23938099999999998 | #f |
| (1.8650664797725038e+177 5.5645059317702424e+60) | 1.0378173489839942e+238 | (1.0378173489839942e+238 1.0378173489839943e+238) | +nan.0 | valid | exit | 0 | 0.206672 | #f |
