| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (9.483387204576307e+83 1.993890924600453e+234 -15.260945762607044) | 1.7979719559448297e+234 | (1.7979719559448297e+234 1.7979719559448297e+234) | +nan.0 | valid | exit | 0 | 0.39987300000000003 | #f |
| (3.6810826481799066e+260 3.13501387211832e-239 2.1519678805053918e-269) | 7.921571624368889e-9 | (7.921571624368889e-9 7.921571624368889e-9) | +nan.0 | valid | exit | 0 | 0.286563 | #f |
| (2.8354646229045895e+279 8.434185560748732e-131 -5.384670780499214e+212) | 2.1584447596546833e+279 | (2.1584447596546833e+279 2.1584447596546833e+279) | +nan.0 | valid | exit | 0 | 0.708837 | #f |
| (1.1152567521235687e-257 3.004035407524535e-94 -3.6862653333996962e-93) | 3.004035407524535e-94 | (3.004035407524535e-94 3.004035407524535e-94) | +nan.0 | valid | exit | 0 | 0.363061 | #f |
| (-6.893778346399337e-83 2.1578524534460599e+192 8.218946981012448e+289) | 1.0403414079543887e+192 | (1.0403414079543886e+192 1.0403414079543887e+192) | +nan.0 | valid | exit | 0 | 0.5079060000000001 | #f |
| (-1.7480867144982916e-303 -3.6507885143045886e-54 1.2937415219658985e+279) | 2.9035812996440744e-54 | (2.9035812996440744e-54 2.9035812996440744e-54) | +nan.0 | valid | exit | 0 | 0.59935 | #f |
| (-1.8980645649193256e-175 6.060860436832242e-223 -1.0626875304008514e+77) | 1.9778828599552176e-176 | (1.9778828599552176e-176 1.9778828599552176e-176) | +nan.0 | valid | exit | 0 | 0.222773 | #f |
| (-7.75633981171493e+59 9.119344058864045e+238 5.987719958330302e+236) | 7.225205407737949e+238 | (7.225205407737949e+238 7.225205407737949e+238) | +nan.0 | valid | exit | 0 | 0.553662 | #f |
| (-4.588856144225292e-111 6.045591270198707e-214 5.2027194618875515e-259) | 6.045591270198707e-214 | (6.045591270198707e-214 6.045591270198707e-214) | +nan.0 | valid | exit | 0 | 0.349074 | #f |
| (1.236775578703799e+296 -5364705943269892000.0 3.032310778172797e-98) | 3.7502879174844283e+198 | (3.7502879174844283e+198 3.7502879174844283e+198) | +nan.0 | valid | exit | 0 | 0.28897500000000004 | #f |
| (4.512429479079427e+187 7.398801502915398e-168 2.166782832012914e-231) | 9.77745472593828e-44 | (9.77745472593828e-44 9.77745472593828e-44) | +nan.0 | valid | exit | 0 | 0.37550399999999995 | #f |
| (3.8601903257974657e+37 2.0817785950305362e+85 1.4357160660319479e-155) | 2.0817785950305362e+85 | (2.0817785950305362e+85 2.0817785950305362e+85) | +nan.0 | valid | exit | 0 | 0.316587 | #f |
| (-4.8190768538862474e+85 4.443081376073316e+298 3.156057738691222e-157) | 4.443081376073316e+298 | (4.443081376073316e+298 4.443081376073316e+298) | +nan.0 | valid | exit | 0 | 0.369411 | #f |
| (-6.315512831653557e-293 -1.2329190989792213e-297 0.48001585930726254) | 2.916461151314748e-293 | (2.916461151314748e-293 2.916461151314748e-293) | +nan.0 | valid | exit | 0 | 0.4123 | #f |
| (-7.339954408226631e-85 1.2012467284197529e-39 -7685167155.52347) | 2.9172178524486064e-40 | (2.9172178524486064e-40 2.9172178524486064e-40) | +nan.0 | valid | exit | 0 | 0.170134 | #f |
| (-2.7432355854439767 1.0813937304886754e+180 3.209578170757851e-33) | 1.0813937304886754e+180 | (1.0813937304886754e+180 1.0813937304886754e+180) | +nan.0 | valid | exit | 0 | 0.353294 | #f |
| (4.339034441894665e+196 -1.666950510743711e-176 -8.352623714238536e-72) | 3.624232197626715e+125 | (3.624232197626715e+125 3.624232197626715e+125) | +nan.0 | valid | exit | 0 | 0.42663500000000004 | #f |
| (1.6358269089996223e-171 -1.0871246979343671e-287 1.1784442439101928e+70) | 2.1824691666494707e-173 | (2.1824691666494707e-173 2.1824691666494707e-173) | +nan.0 | valid | exit | 0 | 0.5570269999999999 | #f |
| (-3.2871217986132208e+38 -4.7241430027102854e-254 -3.0346841815624724e-210) | 9.975376525120724e-172 | (9.975376525120724e-172 9.975376525120724e-172) | +nan.0 | valid | exit | 0 | 0.410215 | #f |
| (3.6499367163354704e+135 -9.22884905519605e+170 7.096472114559261e+190) | 3.075594663231119e+170 | (3.075594663231119e+170 3.075594663231119e+170) | +nan.0 | valid | exit | 0 | 0.232959 | #f |
| (2.661050149828854e+100 -5.496327287300513e+143 2.0642511928941117e-209) | 5.496327287300513e+143 | (5.496327287300513e+143 5.496327287300513e+143) | +nan.0 | valid | exit | 0 | 0.251583 | #f |
| (1.4389447480677496e-249 7.896746164070313e-154 -5.489050750434101e+178) | 1.2841315344289393e-154 | (1.2841315344289393e-154 1.2841315344289393e-154) | +nan.0 | valid | exit | 0 | 0.36675599999999997 | #f |
| (3.2394243509717366e+62 -2.332519552011004e+194 8.019828194965216e-285) | 2.332519552011004e+194 | (2.332519552011004e+194 2.332519552011004e+194) | +nan.0 | valid | exit | 0 | 0.38014800000000004 | #f |
| (-1.6933832963822527e-49 -2.3879381054549278e-174 -1.6700518359194717e-73) | 2.828037883038548e-122 | (2.828037883038548e-122 2.828037883038548e-122) | +nan.0 | valid | exit | 0 | 0.36158799999999996 | #f |
| (-2.1224687258794153e+231 -5.0936247426866714e-54 1.2636887406558672e+92) | 4.984130250213884e+230 | (4.984130250213884e+230 4.984130250213884e+230) | +nan.0 | valid | exit | 0 | 0.349346 | #f |
| (7.247030457521832e-70 1.25951514914667e+121 3.6495652727249924e+171) | 2.954376648020421e+119 | (2.954376648020421e+119 2.954376648020421e+119) | +nan.0 | valid | exit | 0 | 0.562848 | #f |
| (-2.035502062274723e-108 4.416091092165875e-222 5.876461462265246e+136) | 1.9965541567694815e-108 | (1.9965541567694815e-108 1.9965541567694815e-108) | +nan.0 | valid | exit | 0 | 0.567277 | #f |
| (-9.698818351550035e+52 -4.4183849801850034e+259 -9.098199491960926e-13) | 4.4183849801850034e+259 | (4.4183849801850034e+259 4.4183849801850034e+259) | +nan.0 | valid | exit | 0 | 0.324407 | #f |
| (-2.1106858441820757e+242 -1.12286849022596e-131 7.476732480801235e-29) | 1.57810334079635e+214 | (1.57810334079635e+214 1.57810334079635e+214) | +nan.0 | valid | exit | 0 | 0.176418 | #f |
| (-2.691913603687573e+222 -2.6486577661394022e+90 -2.296909456677917e+219) | 1.114119250094962e+222 | (1.114119250094962e+222 1.114119250094962e+222) | +nan.0 | valid | exit | 0 | 0.49958800000000003 | #f |
| (-2.1884464026481035e-244 1.7731285988468602e-154 2.1379772783988552e-98) | 1.7731285988468602e-154 | (1.7731285988468602e-154 1.7731285988468602e-154) | +nan.0 | valid | exit | 0 | 0.294413 | #f |
| (2.0170521859369812e-141 2.7051285716209698e-117 1.1172147899743708e-163) | 2.7051285716209698e-117 | (2.7051285716209698e-117 2.7051285716209698e-117) | +nan.0 | valid | exit | 0 | 0.315672 | #f |
| (-6.427169483507493e-211 8.196958879879191e+123 -6.0936293026683775e-217) | 8.196958879879191e+123 | (8.196958879879191e+123 8.196958879879191e+123) | +nan.0 | valid | exit | 0 | 0.15051299999999998 | #f |
| (4.06264335182021e+195 1.206561174328218e+44 -3.891906185308909e+204) | 2.9994285086362224e+195 | (2.9994285086362224e+195 2.9994285086362224e+195) | +nan.0 | valid | exit | 0 | 0.685149 | #f |
| (5.927147204713786e+200 2.005988239765701e+110 -6.460065605790884e-95) | 2.0059882763089284e+110 | (2.0059882763089284e+110 2.0059882763089284e+110) | +nan.0 | valid | exit | 0 | 0.397375 | #f |
| (3.779066016200807e+151 -4.977211011853724e+116 433961507141036.2) | 3.7777452037012135e+151 | (3.7777452037012135e+151 3.7777452037012135e+151) | +nan.0 | valid | exit | 0 | 0.440154 | #f |
| (7.578782826130478e+213 -1.3164407418522527e+209 1.263938582015031e-263) | 1.3164407418522527e+209 | (1.3164407418522527e+209 1.3164407418522527e+209) | +nan.0 | valid | exit | 0 | 0.246961 | #f |
| (-2.329662869311397e-113 1.9870572679890513e+75 8.178531411673917e+240) | 1.8055053816312034e+75 | (1.8055053816312034e+75 1.8055053816312034e+75) | +nan.0 | valid | exit | 0 | 0.526566 | #f |
| (-3.2551268869081942e+295 -7.302975835586023e+169 -7.111234430161293e+280) | 3.6400043670381716e+294 | (3.6400043670381716e+294 3.6400043670381716e+294) | +nan.0 | valid | exit | 0 | 0.733902 | #f |
| (-5.559393919831717e+300 -5.999215452774444e+130 1.1405891262736854e+275) | 3.9343126280968345e+300 | (3.9343126280968345e+300 3.9343126280968345e+300) | +nan.0 | valid | exit | 0 | 0.739766 | #f |
| (-4.3467799858556306e-35 1.2889348144310919e+92 6.863840232868749e-151) | 1.2889348144310919e+92 | (1.2889348144310919e+92 1.2889348144310919e+92) | +nan.0 | valid | exit | 0 | 0.29960400000000004 | #f |
| (-3.882463512536678e-267 6.736886387256725e+123 2.001633168663519e-229) | 6.736886387256725e+123 | (6.736886387256725e+123 6.736886387256725e+123) | +nan.0 | valid | exit | 0 | 0.26817799999999997 | #f |
| (74455.52133777794 -3.9815183940459075e+213 -5.8485882797413864e+289) | 3.8014540069394275e+213 | (3.8014540069394275e+213 3.8014540069394275e+213) | +nan.0 | valid | exit | 0 | 0.49127100000000007 | #f |
| (-3.7023025136525034e+176 -8.099621817845701e-97 4.5555035530156606e+196) | 2.5488651084850816e+176 | (2.5488651084850816e+176 2.5488651084850816e+176) | +nan.0 | valid | exit | 0 | 0.6013219999999999 | #f |
| (2.466010172395466e-292 -3.4929051714412367 1.6017709790374654e+66) | 3.4406505824074567 | (3.4406505824074567 3.4406505824074567) | +nan.0 | valid | exit | 0 | 0.394087 | #f |
| (-5.747473984114451e+296 4.331445108170053e+41 -9.303354639504883e-37) | 5.347078875554479e+260 | (5.347078875554479e+260 5.347078875554479e+260) | +nan.0 | valid | exit | 0 | 0.33639800000000003 | #f |
| (-0.09050912884695785 6.915489257035762e-288 2.7406066451536355e-80) | 2.4804991996503927e-81 | (2.4804991996503927e-81 2.4804991996503927e-81) | +nan.0 | valid | exit | 0 | 0.371795 | #f |
| (3.0608393626051624e+68 3.148636826348589e+240 1.6326356129851648e-6) | 3.1486368263443928e+240 | (3.1486368263443928e+240 3.1486368263443928e+240) | +nan.0 | valid | exit | 0 | 0.16939400000000002 | #f |
| (1.0566696740387882e-249 0.12996428084039638 -2.7699642202645577e+187) | 0.11376693392406144 | (0.11376693392406144 0.11376693392406144) | +nan.0 | valid | exit | 0 | 0.225952 | #f |
| (-462308298.1956152 -2.669109450211013e-10 -1.5134842649657535e+107) | 159432844.29231596 | (159432844.29231596 159432844.29231596) | +nan.0 | valid | exit | 0 | 0.46211599999999997 | #f |
| (1.015922524582557e+101 1.205484209985477e+279 -1.1136153065846961e-64) | 1.205484209985477e+279 | (1.205484209985477e+279 1.205484209985477e+279) | +nan.0 | valid | exit | 0 | 0.336182 | #f |
| (1.7225554773703498e-12 2.486335598409517e-38 1.5935022241424447e-170) | 2.486335598409517e-38 | (2.486335598409517e-38 2.486335598409517e-38) | +nan.0 | valid | exit | 0 | 0.14182999999999998 | #f |
| (5.0319834791906024e+191 -2.029518664735224e+139 -3.822565988758553e+27) | 8.790660407697575e+190 | (8.790660407697575e+190 8.790660407697575e+190) | +nan.0 | valid | exit | 0 | 0.425865 | #f |
| (8.906971598216366e-175 -1.2452103318674766e-81 -4.0066664536215616e-157) | 1.2452103318674766e-81 | (1.2452103318674766e-81 1.2452103318674766e-81) | +nan.0 | valid | exit | 0 | 0.154677 | #f |
| (-7.981021431858229e+159 7.044628611605697e+107 2.0611208895681924e+293) | 5.743791217013344e+159 | (5.743791217013344e+159 5.743791217013344e+159) | +nan.0 | valid | exit | 0 | 0.675238 | #f |
| (-1.831435580508925e+142 -6.59982845693594e+222 -102206213013540.3) | 4.256534116093344e+222 | (4.256534116093344e+222 4.256534116093344e+222) | +nan.0 | valid | exit | 0 | 0.376872 | #f |
| (-2.7231897767502787e-304 1.1405097795461501e+155 1.2151621814893784e+289) | 1.0735552401146678e+155 | (1.0735552401146678e+155 1.0735552401146678e+155) | +nan.0 | valid | exit | 0 | 0.6857439999999999 | #f |
| (-2.2955567380532624e-200 1.015517847304538e+304 3.128297266541115e+163) | 4.763031005986998e+303 | (4.763031005986998e+303 4.763031005986998e+303) | +nan.0 | valid | exit | 0 | 0.486906 | #f |
| (1.4756468147390723e+147 -8.2675550152145915e-199 -1.01722060515574e+276) | 3.940620665709241e+146 | (3.940620665709241e+146 3.940620665709241e+146) | +nan.0 | valid | exit | 0 | 0.308469 | #f |
| (-2.2352353499818403 -2.0587267999237432e-249 2.400799175687833e-137) | 5.366351185704707e-137 | (5.366351185704707e-137 5.366351185704707e-137) | +nan.0 | valid | exit | 0 | 0.262147 | #f |
| (-1.2047230760685202e-256 4.8442539600828e+73 2.123181678798899e+186) | 4.837543212063268e+73 | (4.837543212063268e+73 4.837543212063268e+73) | +nan.0 | valid | exit | 0 | 0.624904 | #f |
| (1.781305307068654e+82 1.8498063247209571e+31 8.283083904570052e+67) | 1.7805579984559284e+82 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.708248142957189e+129 1.6992839643735909e-25 -4.0371985147094186e+277) | 1.606790456788925e+129 | (1.606790456788925e+129 1.606790456788925e+129) | +nan.0 | valid | exit | 0 | 0.330792 | #f |
| (-1.9805854265849562e-189 -5.973557432685374e-233 -4.590737839326961e+296) | 1.8061894342634714e-189 | (1.8061894342634714e-189 1.8061894342634714e-189) | +nan.0 | valid | exit | 0 | 0.5654790000000001 | #f |
| (3.144132024987239e+73 -2.040418866524696e-284 -2.6999277310461546e+254) | 2.98926943516576e+73 | (2.98926943516576e+73 2.98926943516576e+73) | +nan.0 | valid | exit | 0 | 0.719942 | #f |
| (1.2618597250578068e-47 4.124901829328265e+287 3.2410397092622892e+186) | 6.111265249085534e+286 | (6.111265249085534e+286 6.111265249085534e+286) | +nan.0 | valid | exit | 0 | 0.40727899999999995 | #f |
| (1.1663692775538215e-282 -4.7814032439082257e-60 -9.937401587554926e+169) | 2.31033986804708e-60 | (2.31033986804708e-60 2.31033986804708e-60) | +nan.0 | valid | exit | 0 | 0.550877 | #f |
| (0.13206218774586 1.4575625844690518e-289 -2.190022796894899e+295) | 0.11106128414591986 | (0.11106128414591986 0.11106128414591986) | +nan.0 | valid | exit | 0 | 0.49853600000000003 | #f |
| (5.08537033314757e-179 -1.7517376186381488e+255 3.01963816114723e+277) | 9.608776283741812e+254 | (9.608776283741812e+254 9.608776283741812e+254) | +nan.0 | valid | exit | 0 | 0.52972 | #f |
| (-1.2875963245720694e+87 6.863536613712831e-255 1.0959652726937476e-241) | 1.4111608569790952e-154 | (1.4111608569790952e-154 1.4111608569790952e-154) | +nan.0 | valid | exit | 0 | 0.306058 | #f |
| (-2.0677182608823698e+307 -2.981563807058354e+271 7.019023021654372e+149) | 2.1745398790976823e+306 | (2.1745398790976823e+306 2.1745398790976823e+306) | +nan.0 | valid | exit | 0 | 0.5171629999999999 | #f |
| (1.0171470110889398e-195 4.156585044499582e+249 -1.642268285762006e+212) | 7.075460224565699e+248 | (7.075460224565699e+248 7.075460224565699e+248) | +nan.0 | valid | exit | 0 | 0.433901 | #f |
| (-4.55342800416903e-146 -3.331416100214374e+289 7.548737441570185e-232) | 3.331416100214374e+289 | (3.331416100214374e+289 3.331416100214374e+289) | +nan.0 | valid | exit | 0 | 0.357831 | #f |
| (-2.3740655155688747e-140 -2.7899109809167972e-198 4.1260943551119054e-304) | 2.7899109809167972e-198 | (2.7899109809167972e-198 2.7899109809167972e-198) | +nan.0 | valid | exit | 0 | 0.376213 | #f |
| (1.388876151830779e+209 6.117304236254493e-114 -4.861308783828145e+108) | 7.48457693231667e+207 | (7.48457693231667e+207 7.48457693231667e+207) | +nan.0 | valid | exit | 0 | 0.471535 | #f |
| (-2.867707018036613e+65 -6.507956045717243e-59 812362923.7075535) | 1.791023804533149e+65 | (1.791023804533149e+65 1.791023804533149e+65) | +nan.0 | valid | exit | 0 | 0.27914 | #f |
| (2.9361903198980786e+290 -1.4602606788156699e-64 2.1878091088955016e+286) | 2.580930466181649e+290 | (2.580930466181649e+290 2.580930466181649e+290) | +nan.0 | valid | exit | 0 | 0.487515 | #f |
| (1.49644432990596e+279 3.5274849085780494e-183 4.185366019193022e-164) | 6.2631672480024765e+115 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-10639.864751534942 -8.144023818081227e-134 -3.3124388160560444e+103) | 10174.818231824398 | (10174.818231824398 10174.818231824398) | +nan.0 | valid | exit | 0 | 0.46732799999999997 | #f |
| (-7.45857620731035e-144 6.408985280459554e+92 3.456888152780211e+186) | 5.28467726639322e+92 | (5.28467726639322e+92 5.28467726639322e+92) | +nan.0 | valid | exit | 0 | 0.468517 | #f |
| (-1.0254141485055001e-41 6.286398915842709e-278 -4.776323219152372e+153) | 9.975536280130034e-42 | (9.975536280130034e-42 9.975536280130034e-42) | +nan.0 | valid | exit | 0 | 0.5904560000000001 | #f |
| (-5.803695980679461e+292 7.127581329324295e+21 3.6403708898604386e-116) | 2.112760590166554e+177 | (2.112760590166554e+177 2.112760590166554e+177) | +nan.0 | valid | exit | 0 | 0.376555 | #f |
| (-8.548905083196615e-272 -1.404451837530326e+97 2.0262363776446386e-306) | 1.404451837530326e+97 | (1.404451837530326e+97 1.404451837530326e+97) | +nan.0 | valid | exit | 0 | 0.16597199999999998 | #f |
| (-5.015999026687776e-234 6.864258294993979e+214 -3.2457352838656824e-104) | 6.864258294993979e+214 | (6.864258294993979e+214 6.864258294993979e+214) | +nan.0 | valid | exit | 0 | 0.265964 | #f |
| (-3.7444128488645107e+276 -1655884136777713400.0 -0.011614258461101137) | 4.348760091540124e+274 | (4.348760091540124e+274 4.348760091540124e+274) | +nan.0 | valid | exit | 0 | 0.289359 | #f |
| (-1.5950586115498065e+52 5.621956004869772e-58 2.9107063681626553e+105) | 2.9525460918215278e+51 | (2.9525460918215278e+51 2.9525460918215278e+51) | +nan.0 | valid | exit | 0 | 0.364401 | #f |
| (-5.018488711165687e-266 1.5903614728051823e-27 1.887174423908528e-56) | 1.5903614728051823e-27 | (1.5903614728051823e-27 1.5903614728051823e-27) | +nan.0 | valid | exit | 0 | 0.309339 | #f |
| (1.231979674198487e+300 -9.852339648206773e-85 -4.978740237252745e+57) | 1.2196544958229724e+300 | (1.2196544958229724e+300 1.2196544958229724e+300) | +nan.0 | valid | exit | 0 | 0.5233129999999999 | #f |
| (-1.3945087459585172e+166 -7.428648183381652e-270 1.4242821938935026e+40) | 9.463729814832513e+165 | (9.463729814832513e+165 9.463729814832513e+165) | +nan.0 | valid | exit | 0 | 0.472934 | #f |
| (1.6824782784875852e-227 6.97006360324666e-306 3.5354888560146143e+120) | 1.0543224101932647e-227 | (1.0543224101932647e-227 1.0543224101932647e-227) | +nan.0 | valid | exit | 0 | 0.600926 | #f |
| (1.1071414246592536e-88 -7.1304777175223745e+50 -3.878592459542762e+287) | 4.698163831752146e+50 | (4.698163831752146e+50 4.698163831752146e+50) | +nan.0 | valid | exit | 0 | 0.7045 | #f |
| (6.424438656972082e+103 -1.1750259249893177e-102 -1.2607402355896616e+164) | 5.386699544592218e+103 | (5.386699544592218e+103 5.386699544592218e+103) | +nan.0 | valid | exit | 0 | 0.546642 | #f |
| (-1.6804196252847097e-308 -1.616838854759762e-264 -9.963628122822898e+249) | 1.5705726250631323e-264 | (1.5705726250631323e-264 1.5705726250631323e-264) | +nan.0 | valid | exit | 0 | 0.46403599999999995 | #f |
| (-3.085402524539417e+291 -3.016951372985787e-55 -2.2329329245178187e-39) | 6.889496882434461e+252 | (6.889496882434461e+252 6.889496882434461e+252) | +nan.0 | valid | exit | 0 | 0.286498 | #f |
| (0.0029214491060060668 1.9858454968456063e-254 2.1386712049981755e-205) | 6.248019079882838e-208 | (6.248019079882838e-208 6.248019079882838e-208) | +nan.0 | valid | exit | 0 | 0.276999 | #f |
