| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (-7.881473070503763e+131 7.990886985164243e-179 1.0443064540272058e+242 1.6094862576165327e+233) | -7.547088347591921e-111 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (9.600887811638534e+224 2.9020735516015536e+57 6.0376076873033546e+203 159896517.78974363) | 1.5901807982371057e+21 | (1.5901807982371057e+21 1.5901807982371057e+21) | +nan.0 | valid | exit | 0 | 0.105807 | #f |
| (-6.154055039321965e-34 -4.985874259036249e+90 3.3177947579119515e-116 1.9632168929068027e+92) | -0.025396451492702882 | (-0.025396451492702882 -0.025396451492702882) | +nan.0 | valid | exit | 0 | 0.144041 | #f |
| (5.900119575199412e-148 3.1768041243280735e-72 3.495967643155724e+59 6.876240502002785e-54) | 1.6876928442831694e-207 | (1.6876928442831694e-207 1.6876928442831694e-207) | +nan.0 | valid | exit | 0 | 0.147376 | #f |
| (-4.171727787252686e-90 9.363963448497274e+100 -3.024023895343974e-70 4.247991302990632e+179) | 2.2043273586518274e-79 | (2.2043273586518274e-79 2.2043273586518274e-79) | +nan.0 | valid | exit | 0 | 0.137754 | #f |
| (1.5748089461434937e+170 4.1647608664812023e+123 1.3304067840660858e+95 2.3093301330909103e+233) | 1.8034497566213717e-110 | (1.8034497566213717e-110 1.8034497566213717e-110) | +nan.0 | valid | exit | 0 | 0.24916 | #f |
| (1.5027537620982823e-145 -3.510970293043063e-194 -8.753071720802178e-268 -3.894145272678371e+88) | 9.016022893846068e-283 | (9.016022893846068e-283 9.016022893846068e-283) | +nan.0 | valid | exit | 0 | 0.155408 | #f |
| (-6.145189261211799e-189 -2.3045820358607346e+25 4.978412796078852e+259 2.5898172097813606e-43) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.33889400000000003 | #f |
| (-1.6810384746859415e+37 2.274730841243978e+188 6.037722386357232e-284 -4.5271940496628994e+54) | -5.024593194571276e+133 | (-5.024593194571276e+133 -5.024593194571276e+133) | +nan.0 | valid | exit | 0 | 0.153203 | #f |
| (3.3309011840398537e+229 4.5268848014072704e+160 -3.9183403357039026e-163 2.0916830855855208e-299) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.160194 | #f |
| (1.2859331856472692e+164 1.4430547248221156e+214 1.980988758902711e-5 -2.144599452335892e-94) | 6.491370432407502e+168 | (6.491370432407502e+168 6.491370432407502e+168) | +nan.0 | valid | exit | 0 | 0.137832 | #f |
| (1.4041892858874033e+165 -2.7134514849186158e+84 5.725905474751799e-210 -6.228559393904808e-306) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.312556 | #f |
| (-1.2570611049409101e+246 -2.3712095109396495e+95 -7.11584832587765e+302 2.2707307061023112e-187) | 1.7665653445274462e-57 | (1.7665653445274462e-57 1.7665653445274462e-57) | +nan.0 | valid | exit | 0 | 0.304935 | #f |
| (5.406935168536841e+175 -1.1044977957337692e+249 -6.049232558640914e-238 -8.89652489523976e-246) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.178167 | #f |
| (8.861998106693637e-22 -9.346767133124551e-204 -6.654031227507332e-76 1.6077147582486364e+204) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.157383 | #f |
| (3.1321878344573826e-120 4.886986307473174e-80 -2.7915489384559295e-115 4.104491667109724e-183) | -1.1220250490001685e-5 | (-1.1220250490001685e-5 -1.1220250490001685e-5) | +nan.0 | valid | exit | 0 | 0.26893799999999995 | #f |
| (1.1711550660494426e+215 218.89760154322258 4.2639411539828005e+81 -3.8517197947165717e-196) | 2.7466492237011925e+133 | (2.7466492237011925e+133 2.7466492237011925e+133) | +nan.0 | valid | exit | 0 | 0.138653 | #f |
| (-1.9624860129987597e-142 6.15180302136086e+92 -3.6564609734344455e-75 -5.834780360514594e-89) | -2.684757403646567e+153 | (-2.684757403646567e+153 -2.684757403646567e+153) | +nan.0 | valid | exit | 0 | 0.140372 | #f |
| (0.0029260202119064313 5.964143655942094e-201 1.1580595473799194e-113 -2.0382909917305525e-299) | 2.526657820425969e+110 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.4809585634934114e-281 -1.1239293100606565e-202 -5.727859747343622e+194 -2.917378785570398e-111) | -0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.6244928580222346e+40 7.714600277672499e+247 -4.3102510011886467e-91 9.391732284077357e+78) | 8.214246365126645e+168 | (8.214246365126645e+168 8.214246365126645e+168) | +nan.0 | valid | exit | 0 | 0.29134099999999996 | #f |
| (2.8581084562568244e+68 7.979363735344836e-184 4.140149918929698e+258 3.323733805682185e-134) | 6.903393626373067e-191 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.4173183361499895e-245 -20.324608580153317 7.56877488245998e-207 4.0945805680408375e-126) | -4.963782795920944e+126 | (-4.963782795920944e+126 -4.963782795920944e+126) | +nan.0 | valid | exit | 0 | 0.283599 | #f |
| (5.961674138184557e+112 -362625743032581000.0 -2.0785711189332458e-75 -4.041497267386305e+230) | 8.972559401657008e-214 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-6.341532790695387e-62 1.4006019874469657e-282 -8.300611547389425e+256 -2.8924584212376622e-173) | 7.63984e-319 | (7.63984e-319 7.63984e-319) | +nan.0 | valid | exit | 0 | 0.156617 | #f |
| (-9.454237349641044e+124 3.120530143529927e-271 8.549486185071811e-191 -1.1751579081365805e+270) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.358817 | #f |
| (-2.5358616366601486e-102 5.174763089895395e+258 1.5244022729421556e-47 6.933748394414072e-174) | 1.5440429430800166e+179 | (1.5440429430800166e+179 1.5440429430800166e+179) | +nan.0 | valid | exit | 0 | 0.26696499999999995 | #f |
| (2.5213483772965466e+212 2.2139014288890037e-145 -4.065975097987255e-81 2.1352154859994077e+271) | -0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.5183994517631013e+138 -1.0281247192710938e+123 1.5270892479715957e-217 -4.4006761848822654e-214) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.316767 | #f |
| (9.282263792239441e+136 -3.539397165566378e+151 -1.4044263066378656e+211 -1109153165492300700.0) | -6.609292170310288e-75 | (-6.609292170310288e-75 -6.609292170310288e-75) | +nan.0 | valid | exit | 0 | 0.165344 | #f |
| (-1.2177433710080324e+85 5.624086604694394e+73 -1.1296036197899337e+51 -3.317370424743884e+170) | -1.6953447714928003e-97 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.2177642048778084e-238 2.0846549524554586e+121 -1.5906537391340004e+224 -4.4492511499064345e-270) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.272152 | #f |
| (1.0943987621979687e+131 3.758888943877655e-255 6.107468654312147e+221 -3.3123376357948103e+271) | 6.092108667748458e-191 | (6.092108667748458e-191 6.092108667748458e-191) | +nan.0 | valid | exit | 0 | 0.266604 | #f |
| (3.3770463396550717e-219 -5.518890952654681e+242 1.5229878108690288e-266 -1.1549329870537592e-250) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.274062 | #f |
| (-2.7211926941757057e-199 -1.9541690186284323e+73 6.927039043346387e+89 -1.0616247314198807e-273) | -3.9283634423707873e-289 | (-3.9283634423707873e-289 -3.9283634423707873e-289) | +nan.0 | valid | exit | 0 | 0.355062 | #f |
| (1.9452016743790204e-60 3.61905464899651e+151 -3.1824928034836154e-109 1.524361697688274e-239) | 5.446886283336578e+129 | (5.446886283336578e+129 5.446886283336578e+129) | +nan.0 | valid | exit | 0 | 0.23730400000000001 | #f |
| (4.966374820091339e+184 3.500812937493112e+80 -4.4037541423822386e+191 -23190326920851944.0) | -1.1277593297714725e-7 | (-1.1277593297714725e-7 -1.1277593297714725e-7) | +nan.0 | valid | exit | 0 | 0.13197299999999998 | #f |
| (-7.490454922559002e+239 -2.4464819099934095e+44 -5.99962719944172e+121 -6.383310319459634e+94) | 1.2484867265179423e+118 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2147.2190472109014 -1.2228736574061686e+145 -1.3559165006414726e+34 -1.496131014853821e+179) | 8.173573338599955e-35 | (8.173573338599955e-35 8.173573338599955e-35) | +nan.0 | valid | exit | 0 | 0.30959 | #f |
| (-8.996216508317566e-66 7.3310344899779545e+205 1.21905024440826e-242 -4.042230632096951e+274) | -1.8136111363281866e-69 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-3.3264326825875e-16 7.11931601328499e-70 -5.1536151193832265e-227 3.4102473253674434e-223) | 1.4740728820018257e+203 | (1.4740728820018257e+203 1.4740728820018257e+203) | +nan.0 | valid | exit | 0 | 0.159439 | #f |
| (3.07890335232704e+256 -6.438490286476591e-145 7.343994715860438e-230 -6.677718217463635e-285) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.313298 | #f |
| (4.0180878223530935e+267 2.858986068935151e+145 -4.1345357433382223e-53 -3.9719411725224926e+302) | -7.1979567288492135e-158 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-8.514111432534907e+221 2.0451214644663662e-17 -1.0550531885169393e+163 -3.129304266574818e-56) | 8.069840957026034e+58 | (8.069840957026034e+58 8.069840957026034e+58) | +nan.0 | valid | exit | 0 | 0.23124699999999998 | #f |
| (6.588905569878041e+301 -1.9734998144583826e+303 -1.0345155070297386e-240 1.4500778280338676e+236) | -1.3609613058729494e+67 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-6.920069839661294e-109 -3.6084205172454146e-307 -1.1121019509628204e+156 -1.1996981962501563e+58) | 6.222513892426976e-265 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.303272197214356e-247 6.016053719603042e-76 -1.2999686058245022e-88 -8.631280003623643e-140) | -3.0727072327404744e-39 | (-3.0727072327404744e-39 -3.0727072327404744e-39) | +nan.0 | valid | exit | 0 | 0.241988 | #f |
| (-1.0917993359953726e-166 -4.390705003330983e+81 2.2824038237291527e-51 -4.704854468226998e-195) | 3.965477418408457e-12 | (3.965477418408457e-12 3.965477418408457e-12) | +nan.0 | valid | exit | 0 | 0.139453 | #f |
| (-5.990752760601488e+225 -5.803475763169814e+249 -8.355113286983096e+154 -1.8516898631222163e+229) | 3.134151068572745e+20 | (3.134151068572745e+20 3.134151068572745e+20) | +nan.0 | valid | exit | 0 | 0.137612 | #f |
| (4.1992095541807963e+43 2.083877942370749e-103 -1.9061947692971464e-240 2.898374274855474e-277) | -2.20292785491649e+283 | (-2.20292785491649e+283 -2.2029278549164898e+283) | +nan.0 | valid | exit | 0 | 0.15246500000000002 | #f |
| (2.4882391462219963e-237 -5.944608152790584e+31 -5.076051457613268e-243 2.7146653528837193e+228) | -2.1898125109512227e-197 | (-2.1898125109512227e-197 -2.1898125109512227e-197) | +nan.0 | valid | exit | 0 | 0.164608 | #f |
| (-2.7081844320453075e+237 -5.1678989518342494e+137 -2.0729228553769736e-280 490963950857.4038) | -1.0526025266843309e+126 | (-1.0526025266843309e+126 -1.0526025266843309e+126) | +nan.0 | valid | exit | 0 | 0.291848 | #f |
| (2.950914688842119e+259 3.283433473330194e-198 -6.912933087599744e-94 -1.6656132040703357e+162) | -7.353103810896117e-159 | (-7.353103810896117e-159 -7.353103810896117e-159) | +nan.0 | valid | exit | 0 | 0.353981 | #f |
| (-8.63423661889234e+119 -3.3330545180065544e-30 7.053472457337766e+296 -8.924258052022951e+114) | -1.2241114814179355e-177 | (-1.2241114814179355e-177 -1.2241114814179355e-177) | +nan.0 | valid | exit | 0 | 0.16326000000000002 | #f |
| (-3.5569953717670666e+142 -5.493325171237326e-242 2.017657638632488e+142 -2.6140592081255896e-219) | -1.7629330683563833 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (9.123707626009146e+200 1.1478010856338092e+124 1.075021825221291e-31 -1.1230733656081329e-94) | 8.486997577124585e+231 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (4.0390422914404944e-23 1.2194442339115942e-76 8.936469951510591e+264 -3.4375890776091073e-192) | 4.5197290578454286e-288 | (4.5197290578454286e-288 4.5197290578454286e-288) | +nan.0 | valid | exit | 0 | 0.140149 | #f |
| (0.0003540996393157073 5.331168025982504e+241 9.953880260849702e-88 -1.2570476750740408e-250) | -6.763777233229996e+165 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.2188198806674475e-296 3.7950863537739044e+149 -2.9026853074324892e+63 -1.649996205350999e+181) | -2.3000576252638027e-32 | (-2.3000576252638027e-32 -2.3000576252638027e-32) | +nan.0 | valid | exit | 0 | 0.16907 | #f |
| (1.0171796514003747e-44 4.073534233468813e-205 -7.029020572453138e-96 1.5347250757217773e-238) | -1.4471143467508413e+51 | (-1.4471143467508413e+51 -1.4471143467508413e+51) | +nan.0 | valid | exit | 0 | 0.15618300000000002 | #f |
| (-3.947205787516666e+62 6.01721570487623e-259 5.2296833640399953e+42 -1.0255017551680837e+116) | -1.9628736626892253e-127 | (-1.9628736626892253e-127 -1.9628736626892253e-127) | +nan.0 | valid | exit | 0 | 0.34661000000000003 | #f |
| (1.1282310283848365e-141 -1.3612325245482615e+262 -7.53973964826565e-270 2.291904139059605e-220) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.179082 | #f |
| (-4.3651630377868853e-212 3.109970352746821e+247 5.672443231699933e-92 -6.476138371315315e-207) | -6.259390578267402e+223 | (-6.259390578267402e+223 -6.259390578267402e+223) | +nan.0 | valid | exit | 0 | 0.255463 | #f |
| (-2.154116448509532e-238 5.32383424755123e+130 5.90440231989089e+168 -4.678337772560626e+39) | -7.144374564439524e-168 | (-7.144374564439524e-168 -7.144374564439524e-168) | +nan.0 | valid | exit | 0 | 0.265979 | #f |
| (1.9871697925505943e-205 -9.209867632827593e-228 2.2446013169501182e-29 1.1657112275754256e+152) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.268993 | #f |
| (-9.898541962418557e-139 -2.3075885002863248e-114 -8.98356458538648e+166 2.8077602149865817e+165) | -8.020417293558455e-283 | (-8.020417293558455e-283 -8.020417293558455e-283) | +nan.0 | valid | exit | 0 | 0.342884 | #f |
| (-1.637343939726816e-101 3.7848081657533414e+171 -5.803393733230037e+178 -1.1813623178588033e-164) | 2.821355942733025e-280 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-8.414586626341736e+22 2.7485246534220795e-22 -5.673413138680703e-255 -6.505305895203921e-214) | 1.1276623012623994e+195 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (3.599440500858991e+42 4.4083014106647334e+197 283528236849614430.0 1.5214340395681044e-151) | 1.269517470589146e+25 | (1.269517470589146e+25 1.269517470589146e+25) | +nan.0 | valid | exit | 0 | 0.098689 | #f |
| (-1.7845869511065192e-224 186185.35037347354 1.884416880283348e-171 2.0277247901844695e+303) | 9.181983239280493e-299 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.1185694909208608e-276 2.252734346422052e-275 2.7598087010804664e+263 -1.1978884503537128e-12) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.32039599999999996 | #f |
| (7.86044899584656e+127 6.288218237505004e-188 3.185887716430106e+163 -3.0667696915235464e+271) | 2.6626586530435862e-252 | (2.6626586530435862e-252 2.6626586530435862e-252) | +nan.0 | valid | exit | 0 | 0.267457 | #f |
| (1.0498874153727714e+107 -3.2711143318268776e+260 15605743572.083506 -6.67354258225862e-289) | 6.727570592989067e+96 | (6.727570592989067e+96 6.727570592989067e+96) | +nan.0 | valid | exit | 0 | 0.315695 | #f |
| (-1.0822200300471215e+284 -8.576055270982058e+72 -1.774243135617077e+87 -3.5291589466317508e+199) | 1.5416516929747472e-28 | (1.5416516929747472e-28 1.5416516929747472e-28) | +nan.0 | valid | exit | 0 | 0.170215 | #f |
| (-2.2720925309777014e-237 2.0849044311011907e+293 3.4273565490962935e-189 -1.8275922037407414e+300) | -1.1407930209123124e-7 | (-1.1407930209123124e-7 -1.1407930209123124e-7) | +nan.0 | valid | exit | 0 | 0.288875 | #f |
| (-5.848772275499875e+148 7.249030154909985e+99 -2.0460048129732052e-35 1.4353840504674392e+144) | 5.050237358112838e-45 | (5.050237358112838e-45 5.050237358112838e-45) | +nan.0 | valid | exit | 0 | 0.318732 | #f |
| (2.543801608363034e+233 -1.1032903919217914e+121 1.361623318013368e+281 1.390281233004709e-101) | 1.8682124304939818e-48 | (1.8682124304939818e-48 1.8682124304939818e-48) | +nan.0 | valid | exit | 0 | 0.301136 | #f |
| (4.79281680555112e-24 1.2056971501645897e-15 4.5122493075403506e-299 -8.587497406834783e-164) | -1.4040145726332053e+148 | (-1.4040145726332053e+148 -1.4040145726332053e+148) | +nan.0 | valid | exit | 0 | 0.157365 | #f |
| (13.119031372218311 -5.532782686676719e+174 1.0764096501707324e+130 -610263206483584.4) | 2.9141079381863362e-71 | (2.9141079381863362e-71 2.9141079381863362e-71) | +nan.0 | valid | exit | 0 | 0.288238 | #f |
| (-0.014398655456234364 8.403336639834744e-87 1.7147902517328496e-13 6.587917415829949e+236) | 1.5e-323 | (1.5e-323 1.5e-323) | +nan.0 | valid | exit | 0 | 0.24776600000000001 | #f |
| (-93275190385649.47 -1.290244194361338e-161 1.7269784380045272e-25 2.67852296319755e-38) | -5.4010628235420364e+38 | (-5.4010628235420364e+38 -5.4010628235420364e+38) | +nan.0 | valid | exit | 0 | 0.254539 | #f |
| (1.0108113958441114e+199 -5.919337121770697e-71 3.6028360293141894e+245 -1.0152061418560625e-160) | 2.8055992213348727e-47 | (2.8055992213348727e-47 2.8055992213348727e-47) | +nan.0 | valid | exit | 0 | 0.300553 | #f |
| (-8.831099993067345e+279 1.431700643458468e-191 1.3031010603670518e-270 2.1167404728973304e+179) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.177151 | #f |
| (5.026569149499738e-256 4.5831944381556856e+204 4.935352371236382e-116 4.884406514316992e-150) | 9.190597629065649e+285 | (9.190597629065649e+285 9.190597629065649e+285) | +nan.0 | valid | exit | 0 | 0.308925 | #f |
| (1.6231935389256004e+200 6.593929985563207e+268 -4.1720788226864566e-89 9.311173585931112e-287) | -3.89061091103836e+288 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-4.4106317668801527e+185 3.8096894064729996e+179 1.0290147492401937e+158 1.7083102903811704e-235) | -4.286266810205476e+27 | (-4.286266810205476e+27 -4.286266810205476e+27) | +nan.0 | valid | exit | 0 | 0.11422700000000001 | #f |
| (5.708821183656436e-56 2.8211895446854016e+196 5.98784159305624e-291 -9.711749720346081e-192) | -inf.0 | (-inf.0 -inf.0) | +nan.0 | valid | exit | 0 | 0.15647799999999998 | #f |
| (-5.1234032073488796e+250 7.058023607711715e-121 4.2279902190567514e+257 -2.7795662690451668e-160) | -1.2117821806342522e-7 | (-1.2117821806342522e-7 -1.2117821806342522e-7) | +nan.0 | valid | exit | 0 | 0.298913 | #f |
| (-8.970432171225704e-232 3.8941087883223314e+290 3.712071389031508e+297 -1.050967833310355e+109) | -2.9700575484592906e-196 | (-2.9700575484592906e-196 -2.9700575484592906e-196) | +nan.0 | valid | exit | 0 | 0.16419699999999998 | #f |
| (461404.01885719964 -2.0590675409272147e+292 7.335430251438907e+158 3.7219327628202495e-47) | -1.4242555870231053e-72 | (-1.4242555870231053e-72 -1.4242555870231053e-72) | +nan.0 | valid | exit | 0 | 0.174359 | #f |
| (3.118959413256983e-206 -1.7293551219974264e+256 1.2027517885868593e-93 3.689171373158323e-7) | -4.687651906278657e+262 | (-4.687651906278657e+262 -4.687651906278657e+262) | +nan.0 | valid | exit | 0 | 0.28916800000000004 | #f |
| (14849094.077637099 -1.956031814821151e+49 -1.5040824199888563e+183 -3.8429079984779687e-258) | -9.872526851119711e-177 | (-9.872526851119711e-177 -9.872526851119711e-177) | +nan.0 | valid | exit | 0 | 0.243433 | #f |
| (-1.377131475137674e-291 2.8152985850951445e-227 1.1298906599811238e-39 3.61178065710936e-172) | -1.2188183546544943e-252 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.5606869378746325e+272 -9.441969291474276e-213 8.877363380889513e-117 -1.0109290151625495e+26) | 1.355683997729826e+104 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-3.4489626513868017e-149 177267593141978.97 -8.982630759346976e-76 9.23805428261977e+297) | 1.9188845152759658e-284 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-5.194066791930475e-189 3.5243463729149205e-250 3.20385930323245e-88 -3.129578028801635e+298) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.317466 | #f |
| (-1.0777820353194256e-227 4.378358172226323e+203 -4.5939798495871525e+75 3.383703368830186e-98) | 7.019810655337973e-46 | (7.019810655337973e-46 7.019810655337973e-46) | +nan.0 | valid | exit | 0 | 0.183148 | #f |
