| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (-3.1214184892310102e+218 -1.5245133815977597e+296 2.0341563389206754e+239) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.579048 | #f |
| (5.528415207428794e-168 -2.9832631971672115e+282 1.248511676287459e+120) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.46132 | #f |
| (-1.7890631633464383e-38 2.373851391751103e+125 -5.0847245135057486e+300) | -0.0 | (-1.1270340860237298e+251 1.1270340860237298e+251) | +nan.0 | valid | exit | 3 | 0.426676 | #f |
| (-1797188476837019.0 -1.0182019131642983e-107 1.638450880208726e+186) | 2.6776971983229505e+30 | (-6.459772842551529e+30 6.459772842551529e+30) | +nan.0 | valid | exit | 1 | 0.338015 | #f |
| (8.940204929668727e-50 3.7236628419098494e-229 -2.2934641984929967e-121) | 6.3987372350427745e-221 | (6.3987372350427745e-221 6.3987372350427745e-221) | +nan.0 | valid | exit | 0 | 0.359016 | #f |
| (8.698395987188699e-248 -2.9898719125825214e-289 0.0006283144533586371) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.184846 | #f |
| (1.1667514680090324e+162 4.828682338777442e+91 2.6520056416771977e+124) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.20914 | #f |
| (7.845455111039848e+168 -6.4032486809983295e+237 -1.5756968950780406e-263) | -2.2551777596614333e+211 | (-2.2551777596614333e+211 -2.2551777596614333e+211) | +nan.0 | valid | exit | 0 | 0.178586 | #f |
| (5.80995337361585e-87 -6.705404605089056e-94 8.861388285938072e+282) | -0.0 | (-6.75111164071795e-173 6.75111164071795e-173) | +nan.0 | valid | exit | 1 | 0.527985 | #f |
| (-7.580309625103847e-112 -2.4645626675845965e-120 8.52014703722639e+78) | -0.0 | (-1.1492218802488403e-222 1.1492218802488403e-222) | +nan.0 | valid | exit | 1 | 0.404663 | #f |
| (-3.215803373826232e+88 7.246546234293033e+98 2.4353217678652746e+192) | 4.138036137073352e+197 | (-1.0502486465149309e+198 1.0502486465149309e+198) | +nan.0 | valid | exit | 1 | 0.470868 | #f |
| (1.1686547509302358e+300 -1.917592561126015e-68 -1.7011123824738725e-151) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (5.68298084232043e-153 3916886662.2738547 1.2115885683381196e+130) | -0.0 | (-30684002250197635000.0 30684002250197635000.0) | +nan.0 | valid | exit | 2 | 0.242003 | #f |
| (6.592585263925343e-216 -3.7837131971320204e-288 -2.250456423780874e+100) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.326279 | #f |
| (-8.014725781922412e+155 3.5950444079391533e-230 5.325607408716916e+226) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.510375 | #f |
| (-4.067638742279267e+264 2.2028077527783908e-203 1.4905646168726549e-102) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.41735 | #f |
| (-4.4283517240229906e-36 -6.665612424058435e+118 7.419544065817796e+262) | 3.501162430928626e+237 | (-8.886077797552434e+237 8.886077797552434e+237) | +nan.0 | valid | exit | 1 | 0.22506600000000002 | #f |
| (-4.491878040079849e+68 4.467613658762048e-14 6.400335354686396e+292) | -0.0 | (-4.035393665390317e+137 4.035393665390317e+137) | +nan.0 | valid | exit | 2 | 0.5383410000000001 | #f |
| (-1.2290937693499778e+278 4.929995176460756e+266 1.390350076739605e+305) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.25711799999999996 | #f |
| (-2.508713758972386e+260 1.3162012526320263e-131 7.782497981858499e+237) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.36721600000000004 | #f |
| (-1.3796264324046413e-198 2.9393793789089e+130 1.2262465233074137e+180) | 6.42073497698159e+260 | (-1.727990226630974e+261 1.727990226630974e+261) | +nan.0 | valid | exit | 1 | 0.206585 | #f |
| (-8.630049602453932e+191 -9.171952200095543e+41 -1.1946917214264375e+260) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.364527 | #f |
| (7.514764215492304e-287 1.6174706686624822e+214 -2.6926581085077287e+258) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.24892799999999998 | #f |
| (8.609116237180482e+255 -1.864850275103618e+45 -3.031099616193734e+272) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.310696 | #f |
| (1.4778981609063266e+273 -1.521583923614312e-192 -3.017205304231777e-69) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.7363475037844826e-200 -9.050958823979052e-272 6.692288036476834e+297) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.5119929999999999 | #f |
| (1.246930660570833e+173 -1.4923179573673147e-223 -1.4212237758867553e+241) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.387326 | #f |
| (-5.865747082467796e-118 -7.195668184473115e-249 2.4032724468440674e-250) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.178849 | #f |
| (1.5511818051462187e-236 1.8195912163745258e-280 2.158954186221759e+49) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.457433 | #f |
| (-1.5237813382494064e+262 -5.250065437862603e+295 3.7546838021519425e+136) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.41683 | #f |
| (1.1164224017354755e+139 -2.2470035021895022e+105 1.0112357162379351e+94) | -0.0 | (-2.492797958193615e+278 2.492797958193615e+278) | +nan.0 | valid | exit | 3 | 0.45307600000000003 | #f |
| (-6.151372308120123e+38 1.5807669267403739e-192 -8.862549572256385e-126) | 1.1706041707307618e-49 | (1.1706041707307618e-49 1.1706041707307618e-49) | +nan.0 | valid | exit | 0 | 0.16659100000000002 | #f |
| (-1.562409672248286e+73 -3806532.620990034 -4.793868269047858e-41) | 4.084917565254755e+104 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-3.2590836814779044e-221 3.1736459479375488e-291 -2.293312284302095e-289) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.211476 | #f |
| (-7.338609122847643e-138 7.50908356787456e-22 -1.4731027866604104e+168) | -0.0 | (-1.1277267205864746e-42 1.1277267205864746e-42) | +nan.0 | valid | exit | 2 | 0.478009 | #f |
| (-1.966837409913187e+132 -4.487380704418009e-102 3.2510985858622213e+185) | 1.3230876172216703e+264 | (-7.736898794068027e+264 7.736898794068027e+264) | +nan.0 | valid | exit | 1 | 0.330966 | #f |
| (7.599056108856476e-285 3807420419.237204 6.146857929858065e+261) | -0.0 | (-2.899290049764881e+19 2.899290049764881e+19) | +nan.0 | valid | exit | 2 | 0.23818799999999998 | #f |
| (-1.7673193857574124e+274 5.105468987110745e-88 2.90257079642587e+225) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.24759 | #f |
| (-6.203774376483852e-14 -4.156448985263674e+292 2.582785933565453e+300) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.5556989999999999 | #f |
| (-1.5155017302838978e+85 6.859160276905707e+119 -2.2464557595275837e+145) | -4.633331365711242e+239 | (-9.409615940856236e+239 9.409615940856236e+239) | +nan.0 | valid | exit | 1 | 0.328092 | #f |
| (0.041611095123638524 -1.1793066855981443e+149 -1.2230059243721698e+294) | -1.0959371915847075e+298 | (-2.7815285173929604e+298 2.7815285173929604e+298) | +nan.0 | valid | exit | 1 | 0.24667299999999998 | #f |
| (-7.007782098335289e-119 1.1623478279378545e-192 -6.175364914230724e-108) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.287547 | #f |
| (-2.0157342782978632e+260 -1.1687694020510176e-284 4.826158800763453e-129) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.287391 | #f |
| (-5.686718279880137e-166 4.658673624212502e+210 -9.248536921869361e+107) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.455736 | #f |
| (5.357447755189654e-291 5.264692814130344e-75 1.1657927151622436e+271) | -0.0 | (-5.543398085431136e-149 5.543398085431136e-149) | +nan.0 | valid | exit | 1 | 0.305775 | #f |
| (9.083828019983714e-118 -0.4029125060722886 4.3527469437730703e+238) | -0.0 | (-0.32467697509890403 0.32467697509890403) | +nan.0 | valid | exit | 2 | 0.458071 | #f |
| (5.914425587895967e+90 -2.3386680012143412e-259 -6.797723741031994e+183) | -3.444899870193133e+181 | (-6.996086006951711e+181 6.996086006951711e+181) | +nan.0 | valid | exit | 1 | 0.21052099999999999 | #f |
| (-7.586925017460082e+83 2.993000726274939e-225 -3.403643201267429e+184) | -0.0 | (-1.1512286244112333e+168 1.1512286244112333e+168) | +nan.0 | valid | exit | 2 | 0.208002 | #f |
| (-6.708651749633558e+27 9.912564009948794e-140 2.0488837075078402e-281) | -3.2188087124426376e-227 | (-3.2188087124426376e-227 -3.2188087124426376e-227) | +nan.0 | valid | exit | 0 | 0.379211 | #f |
| (9.161917547712323e-82 2.44906824238012e-280 -1.0323639085165864e+79) | -0.0 | (-1.6788146630215797e-162 1.6788146630215797e-162) | +nan.0 | valid | exit | 1 | 0.44978599999999996 | #f |
| (-1.3504827435711835e+227 -8.072273389273418e-91 2257749809685143300.0) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.228312 | #f |
| (-2.5056324891569013e+222 1.1626109116165496e-144 -6.952888052228518e+219) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.255814 | #f |
| (4.163128651008225e-85 6.041059218506007e-109 -2.642053320850007e+124) | -0.0 | (-3.4663280329691124e-169 3.4663280329691124e-169) | +nan.0 | valid | exit | 1 | 0.465928 | #f |
| (3.1883596718646865e-229 -7.424544996497942e+281 -1.5971943447298761e+128) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.479418 | #f |
| (-1.0049865661306896e+111 -2.5520558943957427e-143 -3.0575580716154746e+282) | -0.0 | (-2.01999599620631e+222 2.01999599620631e+222) | +nan.0 | valid | exit | 3 | 0.40268600000000004 | #f |
| (1.4870666444682646e+298 -1.3112305731459435e+88 1.4080125136662359e+256) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.55624 | #f |
| (3.519779327706236e+156 3.817442704608446e-292 3.1127101374358455e+260) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.36033000000000004 | #f |
| (-4.5757132933765965e+30 6.972179594558633e+162 -2.109664831294873e+205) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.37663399999999997 | #f |
| (-1.7059665585853797e-196 -2.710567468388016e-121 -1.4423385098109195e+254) | -0.0 | (-1.4694352001366838e-241 1.4694352001366838e-241) | +nan.0 | valid | exit | 1 | 0.491371 | #f |
| (-1.4035233590747172e+304 -3.026782852622475e+282 -8.597006993158212e+166) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.49563500000000005 | #f |
| (-2.2687438675444053e-48 -1.2559538795394193e+238 1.1680887782753103e+128) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.276278 | #f |
| (-1.3854588326026353e+55 8.510417991601203e+77 1.9739649417820321e+214) | -7.238309368967982e+155 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (-2.7455462455607106e+253 1.5648851229602436e-136 8.605219451386317e+203) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.402966 | #f |
| (7.770838077663455e+301 3.405072791016238e-8 2.5754355734355145e+93) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.488701 | #f |
| (-2.606913866708566e+268 1.7563804768791847e-233 -2.2217392898822893e+146) | -inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (8.685273213612897e-52 4.551093587313975e+255 -580326995438761000.0) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.386096 | #f |
| (4.668597016385465e-114 -2.2054650827994906e+255 1.7024268718410836e+20) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.436338 | #f |
| (-2.0082988032256517e-139 2.0066247084052002e-122 4.960700972996836e+33) | -0.0 | (-8.053085440764509e-244 8.053085440764509e-244) | +nan.0 | valid | exit | 1 | 0.344763 | #f |
| (-1.6408775353107618e-218 8.22950608351036e-215 9.85446324185983e+22) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.37782899999999997 | #f |
| (4.137916894772373e-22 -2.7080977312450803e-73 6.521277659990272e+226) | -0.0 | (-3.4244712456085273e-43 3.4244712456085273e-43) | +nan.0 | valid | exit | 2 | 0.45363899999999996 | #f |
| (2.2974343968668355e+139 -2.5975694975671814e+140 -8.508197271922257e+128) | -0.0 | (-1.3389170493224701e+281 1.3389170493224701e+281) | +nan.0 | valid | exit | 3 | 0.504999 | #f |
| (-9.256851441842924e+292 5.223679383718368e+274 2.3555115676695725e-66) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.314843 | #f |
| (1.3472551517100616e-219 1.984684567869424e+224 -2.820362056734138e-13) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.370816 | #f |
| (-3.0125420062122175e+126 1.596853721966373e-163 -3.8031071778260936e+21) | -0.0 | (-1.8150818678386265e+253 1.8150818678386265e+253) | +nan.0 | valid | exit | 3 | 0.32516100000000003 | #f |
| (-4.125717845729207e+222 -1.498835428641493e+51 -3.281969174579467e+53) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.42328299999999996 | #f |
| (5.072861618707099e+63 -2.6792214668800615e+225 1.8870660825684882e+132) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.446934 | #f |
| (-1.9653715966896141e+155 -1.922459940736561e+93 1.7801175214176768e-223) | -2.40018871197302e+86 | (-2.40018871197302e+86 -2.40018871197302e+86) | +nan.0 | valid | exit | 0 | 0.38073399999999996 | #f |
| (-9.86922479594865e-255 -1.3795047547370766e-288 1.1594926693730047e+117) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.493933 | #f |
| (-3.423090197963394e-80 8.360932855332611e-13 3.1111767748651997e-212) | 7.591743439599628e-238 | (7.591743439599628e-238 7.591743439599628e-238) | +nan.0 | valid | exit | 0 | 0.361872 | #f |
| (-3.3590739363595904e+95 3.8626146202272466e+287 -1.0669339372677265e+306) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.43458199999999997 | #f |
| (-9.80531336645266e+217 -2.065439867647991e+237 -4.331157908302195e+134) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.48577400000000004 | #f |
| (-1.952194783405193e+207 -6.288401349898951e+78 -5.848588279741387e+289) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.489662 | #f |
| (2.0758226764486036e+67 3.9396302005125246e+154 -1.0208169676089255e+88) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.36197399999999996 | #f |
| (7.423445907598846e-266 1.3543346156990075e-280 -1.5995398444096153e-33) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.156977001127403e+238 -1.2529950989178679e-6 8.96601178283091e+186) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.369261 | #f |
| (-5.640236129175447e-77 6.215031669904608e+246 1.1562395932074018e+48) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.220916 | #f |
| (5.476597746066392e+165 -1.6925085849508572e-40 -9.355938878910035e+40) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.312038 | #f |
| (-1.4739727844113584e+93 -4.116933670702407e+167 1.1796823829191499e+269) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.224193 | #f |
| (-1.0210504994107621e+137 -1.9722967471065877e+159 2.630933689452928e+57) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.448538 | #f |
| (2.816745326564842e+293 6.176641410686257e+293 1.412797856385051e-168) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.191633 | #f |
| (-8.838309937830828e+92 3.487543976662938e+55 -4.1641472969958514e-132) | 1.13546016025491e+53 | (1.13546016025491e+53 1.13546016025491e+53) | +nan.0 | valid | exit | 0 | 0.280576 | #f |
| (-2.3885085936473647e-45 1.0097939589817389e-41 6.23606011022248e+124) | -0.0 | (-2.0393675650925616e-82 2.0393675650925616e-82) | +nan.0 | valid | exit | 2 | 0.44241 | #f |
| (1.0416521440885418e-213 1.1012279017568266e+284 1.0275902497043505e+299) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.264459 | #f |
| (-1.4949722409478346e+203 3.866358564233687e-81 6.613240576693106e+266) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.235161 | #f |
| (2.4935505239910087e-214 9.417358772362399e-75 -4.2179571517149744e-107) | -1.3057732244148497e-256 | (-1.3057732244148497e-256 -1.3057732244148497e-256) | +nan.0 | valid | exit | 0 | 0.46573699999999996 | #f |
| (-7.85748707303531e+214 4.757339519689793e-260 6.1633578985584565e+122) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.409645 | #f |
| (0.16916015852308858 -1.7816667691797612e-217 1.3139901258688432e+69) | -0.0 | (-0.05723031846311291 0.05723031846311291) | +nan.0 | valid | exit | 2 | 0.204078 | #f |
| (3.657279322762815e+223 9.851066152617437e-144 -9.6990043872325e+247) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.37562799999999996 | #f |
| (9.939855127664489e+70 -4.8831965368707014e+86 -1.2276140798519173e+147) | -0.0 | (-4.769121683541202e+173 4.769121683541202e+173) | +nan.0 | valid | exit | 2 | 0.46996499999999997 | #f |
| (-11901474451325792.0 2.078959336123958e+193 5.924567709279561e+305) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.545525 | #f |
| (-1.0471679549112622e+261 3.463927236093243e+132 -1.8687242085760888e+259) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.454327 | #f |
| (5.549907309036491e-164 -8.165824915030928e-302 -8.296968713863441e-141) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.18370999999999998 | #f |
| (3.31983200270339e+261 -1.4343276567295969e+274 4.1715417193544487e+297) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.27086 | #f |
| (-9.940556862152964e-237 6.820034722796201e-140 3.2444641944412626e+188) | -4.180549388605267e-279 | (-9.30257472402917e-279 9.30257472402917e-279) | +nan.0 | valid | exit | 1 | 0.47613700000000003 | #f |
| (-1.2308707423843893e-54 2.970672792161471e+99 9.860253803246065e-293) | 3.037421721128599e-95 | (3.037421721128599e-95 3.037421721128599e-95) | +nan.0 | valid | exit | 0 | 0.35365 | #f |
| (3.702894395104469e+188 -1.0571937870285742e+258 -4.031118575953624e+105) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.447198 | #f |
| (-7.31483235452939e+67 -2.506826867959929e-140 -2.1111417138551707e+223) | -0.0 | (-1.0701354474973996e+136 1.0701354474973996e+136) | +nan.0 | valid | exit | 2 | 0.461717 | #f |
| (1.2799936936505632e+57 -1.9840994486693498e-144 -6.638183646659625e+169) | 1.0531328424091921e+114 | (-3.276767711570424e+114 3.276767711570424e+114) | +nan.0 | valid | exit | 1 | 0.381576 | #f |
| (3.9968555014379196e-38 6.3042954716681114e+237 3.825786819572065e+244) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.49565099999999995 | #f |
| (1.3766945778446186e-101 6.703808431685308e+228 7.863688398941318e+95) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.418466 | #f |
| (9.868018455195449e+229 -6.792246481440774e-151 1.3942286941033337e+281) | -inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (1.0773728701372313e+295 9.94474696411742e-195 -3.1848410553168147e+77) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.455029 | #f |
| (4.2611338501686877e+160 1.87813304951779e+241 -1.8401634825570303e+170) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.519318 | #f |
| (1.6708934697004876e-258 -3.0184743768845284e+185 2.470593631831508e+225) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.468931 | #f |
| (3.034317050744884e-80 -5.668164202791784e-69 3.542006312084056e+167) | 1.0988452383483022e-137 | (-6.425617085962044e-137 6.425617085962044e-137) | +nan.0 | valid | exit | 1 | 0.411043 | #f |
| (2.784823482991419e-85 6.248626376843058e-172 -1.6026647571633122e+270) | -7.375673279217186e-170 | (-1.5510483662840915e-169 1.5510483662840915e-169) | +nan.0 | valid | exit | 1 | 0.2239 | #f |
| (-9.444498965223075e-289 -1.1916190400951507e-172 -2.464735519419855e+143) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.204869 | #f |
| (-1.218615392005283e-137 2.330385389107004e-98 4.5056909903502895e+54) | 3.772478476722659e-196 | (-1.0861392123526802e-195 1.0861392123526802e-195) | +nan.0 | valid | exit | 1 | 0.18213800000000002 | #f |
| (-5.6619557429800236e+132 1.9510028112484363e-289 -7.261849489209278e-247) | 812620075730936700.0 | (812620075730936700.0 812620075730936700.0) | +nan.0 | valid | exit | 0 | 0.28083600000000003 | #f |
| (-7.191096996636766e+116 3.6984156558732592e+227 1.0261861092582954e+228) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.235183 | #f |
| (-1.0512283961596486e+70 146908869549.6602 8.890048972641559e+67) | -5.188041702199641e+139 | (-2.210162281784774e+140 2.210162281784774e+140) | +nan.0 | valid | exit | 1 | 0.17774800000000002 | #f |
| (1.4400497077552644e+179 5.343876288898842e+147 -2.9622812185456265e-295) | 2.14431515533897e+62 | (2.14431515533897e+62 2.14431515533897e+62) | +nan.0 | valid | exit | 0 | 0.178017 | #f |
| (1167924698698387.8 6.865761173150641e+79 -2.0701973138881701e+55) | -3.2745276193874654e+159 | (-9.427735297348574e+159 9.427735297348574e+159) | +nan.0 | valid | exit | 1 | 0.407196 | #f |
| (132871986.15315731 -5.341306678433915e-131 -1.7290925374640447e-26) | 1.0655956853645657e-11 | (1.0655956853645657e-11 1.0655956853645657e-11) | +nan.0 | valid | exit | 0 | 0.163235 | #f |
| (-7.780511670129008e+280 5.092958680978966e-247 9.320036848842526e+259) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.551615 | #f |
| (5.668105084679319e+75 8.031360337014161e-263 -5.454022155062171e-65) | 6.1164587008943836e+85 | (6.1164587008943836e+85 6.1164587008943836e+85) | +nan.0 | valid | exit | 0 | 0.17087100000000002 | #f |
| (-2.3183924770763416e+229 1.0317366714100498e-110 -6.755399777352453e+87) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.215343 | #f |
| (-3.504683547095453e-108 -1.2892400452707848e+45 5.4878749257484e+169) | -0.0 | (-3.3242797886596302e+90 3.3242797886596302e+90) | +nan.0 | valid | exit | 2 | 0.481469 | #f |
| (7.935667388974007e-159 7.962390350989876e+113 3.408877952941118e+39) | 6.243647680633208e+227 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (1.0104420636968575e-100 2.3136689931494828e-206 1.1285048006102228e+261) | 9.176625771944107e-201 | (-2.0419863281759284e-200 2.0419863281759284e-200) | +nan.0 | valid | exit | 1 | 0.5263960000000001 | #f |
| (3.2232695889760165e-201 4.665318272129282e+164 -6.431638633712333e+90) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.34849600000000003 | #f |
| (1.1868126034977109e-155 1.3512180351180445e+70 -9.403049933635563e+153) | -0.0 | (-3.651580356856538e+140 3.651580356856538e+140) | +nan.0 | valid | exit | 2 | 0.427824 | #f |
| (4.975688629809703e-92 6.073029559152289e+52 -3.1926724109279844e+247) | -0.0 | (-7.376337605267489e+105 7.376337605267489e+105) | +nan.0 | valid | exit | 2 | 0.507912 | #f |
| (5.095870275669515e+238 -5.9058592635198085e+262 1596078306622130700.0) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.372917 | #f |
| (-6.636010529032537e-106 -16202.15258305801 7.612922045932866e+188) | -0.0 | (-525019496.6493867 525019496.6493867) | +nan.0 | valid | exit | 2 | 0.206514 | #f |
| (-3.443512509060952e-281 -5.103898096533244e+213 2.2576603712457387e+250) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.5181530000000001 | #f |
| (-1.3354227273251388e+208 1.9975009996196057e+135 830356502.568036) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.385402 | #f |
| (1.0779958241006777e+151 4.6936380466270556e+285 5.96241294914175e+61) | -inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (-4.647564951295458e-306 -5.513102888175704e+165 2.9723046705116456e+143) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.215613 | #f |
| (-1.982543930472372e-132 4.3485957244491314e-150 -1.9350111289532095e-176) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.290299 | #f |
| (8.40122280737389e-164 -3.1373120049756435e-223 5.103717968587626e-17) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.186477 | #f |
| (-3.467398299396348e+279 -4.262248020221587e-252 -1.7056045239466553e-130) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.184148 | #f |
| (-2.6618403712576014e-190 -1.7823544037954327e+283 1.6243312603707153e+68) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.23593999999999998 | #f |
| (-9.347021310453391e-28 -1.6026260123085002e+74 1.0203880349486806e+172) | -0.0 | (-5.13682027065569e+148 5.13682027065569e+148) | +nan.0 | valid | exit | 2 | 0.480435 | #f |
| (-76392987.54533333 -1.3044830942653409e+41 -6.04829118446148e+158) | -0.0 | (-3.403352286448156e+82 3.403352286448156e+82) | +nan.0 | valid | exit | 2 | 0.210514 | #f |
| (1.6051915419503668e+225 1.902820541128777e+141 -8.398448832273686e+111) | -inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.41284299999999996 | #f |
| (-1.300805012990327e+258 -1.874726655977635e+98 3.1933865377035317e+268) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.250365 | #f |
| (-2.525588448549349e+70 -3.3473602121173273e-152 -3.210578666222892e+57) | -0.0 | (-1.2757194022891814e+141 1.2757194022891814e+141) | +nan.0 | valid | exit | 2 | 0.205897 | #f |
| (1.0221232331688064e+257 6.153532225925724e-44 -5.93659544538376e+202) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.39606800000000003 | #f |
| (6.265318299061701e+167 8.532716426156809e+168 1.5613239894026394e+21) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.444917 | #f |
| (-1.9925355810992998e-240 -2.2365694326107886e-291 7.226617820357684e+238) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.23269499999999999 | #f |
| (-2.1865662121911144e+181 -7.957576442384685e+278 2.4282786969907625e+168) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.245197 | #f |
| (-1.0237182516572694e-129 1.5388512370002248e-166 9.323361901124939e-257) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.182869 | #f |
| (-1.6874269480958575e-186 4.635825005909751e+176 1.8325574575172834e+84) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.205768 | #f |
| (2.681943554829289e+100 -2.1753627932952842e-150 -1.416645556682481e+270) | -0.0 | (-1.438564246258073e+201 1.438564246258073e+201) | +nan.0 | valid | exit | 3 | 0.232237 | #f |
| (-2.8939072913523917e+271 -6.099972717845218e-7 8.60857510426126e+44) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.33844399999999997 | #f |
| (-4.242667018425908e-208 -8.997133733433173e-173 -8.895971331115637e+190) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.339407 | #f |
| (-1.7208591030447388e-34 3.373017430831339e-133 -6.403567138673236e-109) | 6.619420301132224e-178 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.1452396804193229e+288 -4.79977453344423e-158 3.9450890930548735e+228) | +inf.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.338028 | #f |
| (3.1109545245085284e-179 5.721263343925815e-255 2.7642935108699627e+246) | -0.0 | (-0.0 0.0) | +nan.0 | valid | exit | 0 | 0.218132 | #f |
| (-4.5193716713413005e-18 -7.820406788421162e+150 45542048.97619993) | 4.096094435744609e+301 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.2204385791278102e-157 -2.445287068416577e+296 -1.5649679751307465e+99) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.227885 | #f |
| (1.490570332897749e-52 -3.827972905072519e+110 3211065936595984.0) | 2.039355855664816e+220 | (2.0390795053425357e+220 2.0394148945155472e+220) | +nan.0 | valid | exit | 1 | 0.31980600000000003 | #f |
| (2.8317975911174004e-226 -3.5419226703326597e-62 1.3412099589474615e+276) | -0.0 | (-2.5090432405232876e-123 2.5090432405232876e-123) | +nan.0 | valid | exit | 2 | 0.5166590000000001 | #f |
| (-3.2085786020083576e+117 -3.0216860982122526e-21 1.286981202627515e-284) | -4.6249275379598447e-51 | (-4.6249275379598447e-51 -4.6249275379598447e-51) | +nan.0 | valid | exit | 0 | 0.172635 | #f |
| (1.083955956035535e-183 1.368761138195419e+149 -1.2191920657616204e+270) | -0.0 | (-3.7470141068680376e+298 3.7470141068680376e+298) | +nan.0 | valid | exit | 3 | 0.543455 | #f |
| (3.827333318845399e+83 1.961320675689144e+43 1.2941396621694283e+240) | -0.0 | (-2.929696066708827e+167 2.929696066708827e+167) | +nan.0 | valid | exit | 2 | 0.405269 | #f |
| (-1.1861951914661355e-235 1.2128502023390052e+75 2.089723091206827e-302) | 1.0730264684625691e-153 | (1.0730264684625691e-153 1.0730264684625691e-153) | +nan.0 | valid | exit | 0 | 0.28246899999999997 | #f |
| (-9.991382046799354e-151 14183140.818296475 2.9171458933910175e-203) | 2.0483791316032824e-190 | (2.0483791316032824e-190 2.0483791316032824e-190) | +nan.0 | valid | exit | 0 | 0.33591 | #f |
| (-1.175488768782418e-254 -6.976703997635858e+255 1.316507712271776e+168) | -0.0 | (-inf.0 +inf.0) | +nan.0 | valid | exit | 3 | 0.46484 | #f |
| (-4.3310609563030945e-67 6.5053634231141646e+38 6.757890558152198e+304) | -0.0 | (-8.463950653358328e+77 8.463950653358328e+77) | +nan.0 | valid | exit | 2 | 0.252659 | #f |
| (-1.5356213455186002e-254 -1.800378659980638e+80 -1.7182153392501884e-30) | -1.9440734457783295e+129 | (-1.9440734457783295e+129 -1.9440734457783295e+129) | +nan.0 | valid | exit | 0 | 0.38151999999999997 | #f |
