| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (9.151664409866174e-45 3.1224107870853873e+80 -9.752643348608748e-28) | 2.824746618582768e+103 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.3718900176452621e-81 4.196349590361488e-304 5.349394187151134e-221) | 1.8820822205147177e-162 | (1.8820822205147177e-162 1.8820822205147177e-162) | +nan.0 | valid | exit | 0 | 0.310279 | #f |
| (-3.7724134318527817e+130 4.274508265742814e+122 -5.958067898232295e-119) | 1.4231103100823283e+261 | (1.4231103100823283e+261 1.4231103100823283e+261) | +nan.0 | valid | exit | 0 | 0.191624 | #f |
| (-2.9560800591076884e+64 1.4767250983629475e+183 2.2504577190912776e-39) | 3.36430811770804e+285 | (3.36430811770804e+285 3.36430811770804e+285) | +nan.0 | valid | exit | 0 | 0.34915100000000004 | #f |
| (7.845455111039848e+168 -6.4032486809983295e+237 -1.5756968950780406e-263) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.180025 | #f |
| (-2.0564242299675752e-253 4.901282356652797e+48 -21937148303036416000.0) | 2.8101067235970846e+96 | (2.483047989382665e+96 3.469168279274737e+96) | +nan.0 | valid | exit | 1 | 0.186582 | #f |
| (2.4138171580067594e+94 8.694521130386061e+202 -3.072272836841431e-104) | 2.173530548050292e+195 | (2.173530548050292e+195 2.173530548050292e+195) | +nan.0 | valid | exit | 0 | 0.17337 | #f |
| (-4.5961066254629766e-284 4.160952710065085e+253 1.0129485396277656e+216) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.233271 | #f |
| (-1.0170612957868839e-289 10194498079478.531 -1.2814827988299334e+246) | 9.78452920343761e+25 | (0.0 1.0392779109249145e+26) | +nan.0 | valid | exit | 1 | 0.34107400000000004 | #f |
| (2.3131027320393056e-38 -1.0454684160973754e+238 3.92880900711622e+84) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (5.393113635495383e-248 -1.331661171510116e+204 -2.175177190039841e+298) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.511869 | #f |
| (2.646678569332456e+136 7.428306023270178e-166 -4.319511294656808e+257) | 8.531801240616344e+269 | (0.0 7.004907449363696e+272) | +nan.0 | valid | exit | 1 | 0.541355 | #f |
| (3.0534881371867492e-86 -3.982551720455901e-70 -4.1230037355247464e-81) | 9.323789803940203e-172 | (9.323789803940203e-172 9.323789803940203e-172) | +nan.0 | valid | exit | 0 | 0.290568 | #f |
| (-1.0711205314436686e+35 -6.769426693617272e+132 -3.4156926327319383e-158) | 1.1472991928801672e+70 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.104722074550477e-107 -8.67693273911679e+108 8.780805579042224e+301) | 5.720165734045343e+216 | (0.0 7.52891617591568e+217) | +nan.0 | valid | exit | 1 | 0.289835 | #f |
| (-4.770418565437589e+254 1.852272922845246e+148 -8.537490969233251e-131) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.185881 | #f |
| (1.198967829183601e+256 -4.667961712647924e+91 -2.969911220758274e+117) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.249831 | #f |
| (-8.630049602453932e+191 -9.171952200095543e+41 -1.1946917214264375e+260) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.234424 | #f |
| (-1.0343643826677696e+269 7.043093472930923e+298 -1.2815906733189923e+128) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (7.514764215492304e-287 1.6174706686624822e+214 -2.6926581085077287e+258) | 0.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.26671 | #f |
| (4.551296530641502e-99 -6.400727503369462e-66 3.8741782013427913e+253) | 3.9733936637668373e-131 | (0.0 4.096931257239027e-131) | +nan.0 | valid | exit | 1 | 0.365521 | #f |
| (-1.7650500179330103e+177 1.624301709963721e-68 6.531348131673125e-180) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.364282 | #f |
| (8.652499766040378e-282 1.7330462654098162e-250 4.545537274890081e+195) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.22218300000000002 | #f |
| (1.7432689955144375e+183 -8.333887457803567e-113 -3.4017149814821006e-267) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.174212 | #f |
| (-1.0185500644694423e-214 -3.5469544889180843e+194 -3.3754485356246086e+137) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.26178399999999996 | #f |
| (3.835786185188269e-198 -3.3047080425916044e-226 -6.33316591815242e+274) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.38747899999999996 | #f |
| (8.805800172744649e-200 1.0063570371624024e+245 1.5639326081717878e+199) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.475764 | #f |
| (2.7340088073234174e+240 5.142264438657538e+126 1.99427208475091e-60) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.369649 | #f |
| (1.6968626510859235e-59 1.513506498766167e+49 -2.4223242664883234e-57) | 4.094377435931496e-19 | (4.094377435931496e-19 4.094377435931496e-19) | +nan.0 | valid | exit | 0 | 0.161798 | #f |
| (2.2230499343378854e-96 -4.097317426408255e-281 -11.539961431108573) | 4.744171463805403e-192 | (4.744171463805403e-192 4.744171463805403e-192) | +nan.0 | valid | exit | 0 | 0.17299899999999999 | #f |
| (-9.571447009687005e+290 -8.045368252676635e+173 2.3227503793354032e+52) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.229862 | #f |
| (-6.079702004972158e+119 1.9028676305125426e+182 -78.79073038901741) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.29562 | #f |
| (-3.253836660997002e+120 1.2857613581293807e-135 8.45768583830115e-102) | 1.058745301644812e+241 | (1.058745301644812e+241 1.058745301644812e+241) | +nan.0 | valid | exit | 0 | 0.28721399999999997 | #f |
| (6.351252448576176e+70 5.350586930436341e+60 1.9249241509196545e+241) | 3.366503542317086e+141 | (0.0 4.033840766554487e+141) | +nan.0 | valid | exit | 1 | 0.238615 | #f |
| (-4.3614867300632706e-67 3.025503076403092e+167 1.0043438791143376e-79) | 2.8126442641042185e+173 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.54207939950569e-28 1.429784262987298e-18 -9.677103352129561e-232) | 6.46216767339121e-56 | (6.46216767339121e-56 6.46216767339121e-56) | +nan.0 | valid | exit | 0 | 0.263058 | #f |
| (-1.1098538605039714e+133 -12803990695174173000.0 -2.4584839721552033e+115) | 1.1381902685439951e+266 | (0.0 1.231775591675569e+266) | +nan.0 | valid | exit | 1 | 0.43131400000000003 | #f |
| (-2.783017354114453e+110 -8.64625997914419e+296 -2.934954851851627e+304) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.5176459999999999 | #f |
| (2.318678296029094e-41 -3.4154205964932284e-51 -2.9294997824428142e-168) | 5.376269040476383e-82 | (5.376269040476383e-82 5.376269040476383e-82) | +nan.0 | valid | exit | 0 | 0.323778 | #f |
| (2.5318124311859028e+128 4.545966601689266e+296 1.2923951090061933e+302) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.26829000000000003 | #f |
| (-2.2175881813538064e-40 -6.0708379128148144e-74 3.743701051292986e+63) | 4.6959830957239325e-81 | (0.0 4.917697342080082e-80) | +nan.0 | valid | exit | 1 | 0.17915899999999998 | #f |
| (2.7332411926331874e-157 5.665196334066229e-175 -2.6149195667818238e+110) | 2.336034311e-314 | (0.0 7.470607417e-314) | +nan.0 | valid | exit | 1 | 0.196788 | #f |
| (-7.693190455623492e-168 1.460460803071482e+140 2.138760933898386e-279) | 2.972069985381694e-281 | (2.972069985381694e-281 2.972069985381694e-281) | +nan.0 | valid | exit | 0 | 0.17308800000000002 | #f |
| (-2.076168562223862e-66 -4.6194043110716e-172 -7.459730194550967e+262) | 3.806246004107605e-132 | (0.0 4.3104758987666985e-132) | +nan.0 | valid | exit | 1 | 0.229192 | #f |
| (-3.994020785017762e-113 -2.2379144300756698e-99 4.4390888758362624e+260) | 2.164934562225325e-199 | (0.0 5.00826099634091e-198) | +nan.0 | valid | exit | 1 | 0.225889 | #f |
| (5.6052921220934244e+287 -6.842121939056402e-259 -3.5660538767858164e-234) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.282086 | #f |
| (1.981062899159091e-148 2.7606960772218343e-245 1.3729212105197149e+112) | 2.5686907308716347e-296 | (0.0 3.924610210424623e-296) | +nan.0 | valid | exit | 1 | 0.20304899999999998 | #f |
| (1.355541509016171e-82 1.906810032954391e-207 -7.47156697743178e-257) | 1.837492782665838e-164 | (1.837492782665838e-164 1.837492782665838e-164) | +nan.0 | valid | exit | 0 | 0.162207 | #f |
| (1.2970073562657366e+279 3.220698013216903e-247 8.007551189325423e-271) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.18109 | #f |
| (-8.011242636566585e+200 -1.8983586467430735e+237 -2.2855250485606524e-100) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.310144 | #f |
| (1.7700249540466692e-274 -2.4111016045549616e+223 7.929437862023873e+100) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.212531 | #f |
| (8.535513193951494e+71 1.9706309254468518e-59 -7.305757201655857e+261) | 7.144384619407342e+143 | (0.0 7.285498548412003e+143) | +nan.0 | valid | exit | 1 | 0.404001 | #f |
| (4.3392258556277654e-150 -3.025540718822778e-137 -1.2877923093547557e+272) | 8.618153822964932e-274 | (0.0 9.153896641254653e-274) | +nan.0 | valid | exit | 1 | 0.5567979999999999 | #f |
| (-2.2206120270751933e-116 4.128734909573259e+85 -1.5955765580030183e-288) | 4.931117774790999e-232 | (4.931117774790999e-232 4.931117774790999e-232) | +nan.0 | valid | exit | 0 | 0.353721 | #f |
| (-3.0259365801743685e+277 -0.000625808828251156 3.7517326192849754e-300) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.300765 | #f |
| (5.048431559831298e-269 1.3139217347262206e+279 -1.2240651408219705e+179) | 0.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.48324700000000004 | #f |
| (-1.5746616960861763e-291 3.9262823969801944e-72 6.162919329565562e-90) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.17031500000000002 | #f |
| (1.4336737848213973e+68 1.7549142528135256e-212 2.6698001348508576e+204) | 2.8843736694581605e+135 | (0.0 2.0554205212841101e+136) | +nan.0 | valid | exit | 1 | 0.48525599999999997 | #f |
| (4.2510519120377975e-223 1.8789268585219303e-240 5.619100882050306e-11) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.352109 | #f |
| (7.16358374377233e+67 -5.0473741171018915e+216 -4.7024964730657724e+95) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.41109799999999996 | #f |
| (-4.895233479993092e-28 -3.3684704839484804e-153 4.181264992645111e+62) | 1.9998947762718417e-55 | (0.0 2.396331082364528e-55) | +nan.0 | valid | exit | 1 | 0.183075 | #f |
| (192923.80369126942 9.37278265607479e+132 -7.326602504592718e-268) | 37219594030.70746 | (37219594030.70746 37219594030.70746) | +nan.0 | valid | exit | 0 | 0.250552 | #f |
| (3.732641025543148e-60 -2.723084931452086e+250 5.178090642158125e-242) | 605642587179486.3 | (605642587179486.3 605642587179486.3) | +nan.0 | valid | exit | 0 | 0.33747900000000003 | #f |
| (-1.8045937314248696e+227 1.8304043176259224e+236 -3.398668457230899e+122) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.21000200000000002 | #f |
| (-5.640236129175447e-77 6.215031669904608e+246 1.1562395932074018e+48) | 3.1812263592856035e-153 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.311504 | #f |
| (1.1277176545285325e-293 -2.4697528056741553e+235 5.1108000714793856e+166) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.21712 | #f |
| (-9.641287801111923e+123 6.652091776033084e+81 -1.056564675901634e+57) | 7.246694416271523e+247 | (0.0 9.295443046386958e+247) | +nan.0 | valid | exit | 1 | 0.429767 | #f |
| (-1.1205508209370273e-9 8.994561367301363e+24 -7.315296393645863e+143) | 9.463751928659874e+48 | (0.0 8.090213419015017e+49) | +nan.0 | valid | exit | 1 | 0.197631 | #f |
| (1.227187138827684e+185 -6.807568207619394e+137 -6.327639489669199e-217) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.30654899999999996 | #f |
| (-2.247422031505005e+73 -9.440227753711621e+226 -1.4640323836123418e-60) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.181229 | #f |
| (-1.7690029845506432e+239 2.013180536099714e-270 -2.0990000071980135e+270) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.24221 | #f |
| (-2.529660221445168e-231 7.088521114672185e+179 1.5729008958568274e-291) | 3.7867682700201504e-226 | (3.7867682700201504e-226 3.7867682700201504e-226) | +nan.0 | valid | exit | 0 | 0.18981099999999998 | #f |
| (5.16248385355682e+27 -9.32414174747441e+200 1.2127326874577463e+162) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.47939499999999996 | #f |
| (-9.774419421129191e+280 -1.260516587186592e+280 5.69401573339787e+202) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.247224 | #f |
| (-8.22505432888978e-62 3.060743544500916e+284 -1.444014740760911e+201) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.555108 | #f |
| (-3.2906767882574193e-42 7.835573762642096e-261 2.4002425438632425e+159) | 2.0809151814686594e-84 | (0.0 1.0828553724776164e-83) | +nan.0 | valid | exit | 1 | 0.201958 | #f |
| (168517882.65240204 -3.4763914271486225e-79 -3.0997235526144846e+160) | 18586913453834780.0 | (0.0 28398276773648744.0) | +nan.0 | valid | exit | 1 | 0.44727 | #f |
| (1.9239075827737776e-84 -7.925208412856614e-103 1.8078066460271019e+239) | 3.4202014496852693e-168 | (0.0 3.7014203870544396e-168) | +nan.0 | valid | exit | 1 | 0.48202 | #f |
| (1.816622403826563e+217 -1.0791721581201492e-248 2.1460680363149235e-75) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.209166 | #f |
| (-4.2833036858863515e+253 -5.294566285570685e-302 1.2655085460232384e+250) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.235679 | #f |
| (-7.85748707303531e+214 4.757339519689793e-260 6.1633578985584565e+122) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.464116 | #f |
| (1.1114207104755568e+287 -3.020712748235798e-156 4.3060640134064405e+127) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.46518 | #f |
| (-6.659974638751939e-235 1.0393476719602173e+65 9.003605888456012e+231) | 4.669598231043088e+128 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (-5.2710399571545726e-136 1.7302253257681925e-121 -5.679163248429517e+209) | 8.406684421982361e-243 | (0.0 2.9936796779296478e-242) | +nan.0 | valid | exit | 1 | 0.41564500000000004 | #f |
| (-2.0765888551902626e+155 6.839387277616039e+40 -2.815209590562735e+294) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.7900200000000001 | #f |
| (4.9021306343143406e+82 1.07330444324159e+266 2.345764209344572e-11) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.366884 | #f |
| (3.263807986446547e-83 3.219145251814755e+193 9.85003323734291e-134) | 3.0627480579678435e+117 | (3.0627480579678435e+117 3.0627480579678435e+117) | +nan.0 | valid | exit | 0 | 0.262016 | #f |
| (-6.773136165791469e+34 -1.083143922602267e-252 8.016032747735018e+144) | 2.054004561222016e+69 | (0.0 4.587537352035236e+69) | +nan.0 | valid | exit | 1 | 0.5412779999999999 | #f |
| (-9.956361258145893e+239 -3.372464512026957e+201 -7.934173566146782e+264) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.550261 | #f |
| (2.8430133079907317e-212 -6.568856896880247e+77 -6.459322021612146e+273) | 3.236241069876839e+155 | (0.0 4.314988093169119e+155) | +nan.0 | valid | exit | 1 | 0.531137 | #f |
| (1.1191770791460966e-298 2.083481023048535e-201 2.3540367731762714e+143) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.44851800000000003 | #f |
| (1.483133545169023e+250 1.6990869242768335e+49 2.467950898963514e-105) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.385771 | #f |
| (4.120484393531276e-168 9.5190124892769e-297 -1.1859495008432144e+66) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.196263 | #f |
| (-0.0013638737955029574 -1.6310245268425964e+74 -1.8366420493036302e+194) | 1.469155955781183e+148 | (0.0 2.660241007162115e+148) | +nan.0 | valid | exit | 1 | 0.29019799999999996 | #f |
| (-7.994945064839287e+295 1152063262.183072 -1.5604520869273665e-140) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.17910600000000002 | #f |
| (-4.0606774979143686e+131 -1.8872162043872347e-282 -2.0854553140811266e+297) | 2.3139172935825637e+262 | (0.0 1.6489101742068097e+263) | +nan.0 | valid | exit | 1 | 0.240259 | #f |
| (-1.3382462441837656e-32 -5.709759554029764e-93 8.673660384738734e-163) | 1.790903010071955e-64 | (1.790903010071955e-64 1.790903010071955e-64) | +nan.0 | valid | exit | 0 | 0.156226 | #f |
| (-3.4568570844228706e-254 1.4934078926662873e-237 8.88052701779853e+174) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.21251199999999998 | #f |
| (-1.218615392005283e-137 2.330385389107004e-98 4.5056909903502895e+54) | 4.668605941266093e-196 | (0.0 5.430696061763401e-196) | +nan.0 | valid | exit | 1 | 0.18582200000000001 | #f |
| (-2.638859949544384e+274 -2.0289238014489398e+121 7.766770288724262e+243) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.52693 | #f |
| (5.432274698266771e-216 -2.764223670019858e+252 -1.715806405508475e+214) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.381954 | #f |
| (1.6110676328696109e+119 1.30470383041998e-279 2.9270520121837145e+291) | 1.3430609597894404e+238 | (0.0 2.5955389176800915e+238) | +nan.0 | valid | exit | 1 | 0.417585 | #f |
| (1.2031216217807899e-17 -7.447644432470379e+291 -2.3707112367460643e+272) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.410248 | #f |
| (-9.251214020219187e-65 2.6426243499944143e+46 2.6471464941359912e-264) | 8.558496084790006e-129 | (8.558496084790006e-129 8.558496084790006e-129) | +nan.0 | valid | exit | 0 | 0.167466 | #f |
| (4.6881918805598324e-26 8.757879066883369e-247 6.903954339091369e+233) | 6.627522591360318e-53 | (0.0 2.1979143108947137e-51) | +nan.0 | valid | exit | 1 | 0.486844 | #f |
| (-6.193148100909578e-25 1.1864890436526757e+223 1.732019995803662e+32) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.19463799999999998 | #f |
| (3.7989945499151767e+226 7.60492890990369e+90 -5.560433500617956e+156) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.49952799999999997 | #f |
| (2.4355361380056224e+92 182843447.4177799 1.159244759455987e+48) | 8.324151772858496e+183 | (0.0 5.9318362795313425e+184) | +nan.0 | valid | exit | 1 | 0.298087 | #f |
| (1.0556318152291082e+288 3.6444446763436875e+227 -1.4971894747688114e-233) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.443429 | #f |
| (4.851177484462409e-242 -3.290875634337231e+141 1.7432417045466733e+47) | 4.681454005510485e+281 | (0.0 1.0829862440674474e+283) | +nan.0 | valid | exit | 1 | 0.303411 | #f |
| (5.2412745829010973e+253 8.572077342912244e+110 -7.53050031208497e+233) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.373302 | #f |
| (-1.3818261983714174e-220 8.891074913928786e+223 -2.043468357944666e-229) | 1.00553943832805e-13 | (1.00553943832805e-13 1.00553943832805e-13) | +nan.0 | valid | exit | 0 | 0.34691000000000005 | #f |
| (2.1543398948183516e-60 -8.951028019437359e-240 6.506156607395118e-265) | 4.6411803824059464e-120 | (4.6411803824059464e-120 4.6411803824059464e-120) | +nan.0 | valid | exit | 0 | 0.166636 | #f |
| (-5.732646774320626e-122 -1.8385478221087405e+298 1.095482320150972e-72) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.183563 | #f |
| (1.2190528901356328e-101 3.502330675824216e-251 1.875829877382605e-185) | 1.4860899489480391e-202 | (1.4860899489480391e-202 1.4860899489480391e-202) | +nan.0 | valid | exit | 0 | 0.16081700000000002 | #f |
| (1.5375793155284858e-144 -1.8268290667008163e+260 -8.967226432067637e+152) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.237628 | #f |
| (-2.738989264951789e+283 -5.251384485954912e-262 9.325260572745508e-64) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.299448 | #f |
| (-4.2839355847077297e-39 -4.562948563551501e-251 -2.47009907796164e+41) | 1.5316029317127092e-77 | (0.0 1.8352104093925158e-77) | +nan.0 | valid | exit | 1 | 0.182515 | #f |
| (-8.199853843061115e+52 4.939663872076194e-75 2.2891269146483004e+38) | 4.83563141014368e+105 | (0.0 6.723760304756414e+105) | +nan.0 | valid | exit | 1 | 0.175701 | #f |
| (1.391218793430929e-247 9.812451707346175e-203 -2.9591953781766344e+130) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.218442 | #f |
| (4.2571391292355314e+110 -9.028116499103384e+91 -8.093143669302322e+43) | 1.7339815633690207e+221 | (0.0 1.812323356566826e+221) | +nan.0 | valid | exit | 1 | 0.208993 | #f |
| (7.2204876816639505e+289 8.279184985528465e+141 9.071023122732797e-99) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.38564699999999996 | #f |
| (1.676415220019864e-141 8.018219262010103e+133 -1.4324967588110234e-285) | 2.810367989914249e-282 | (2.810367989914249e-282 2.810367989914249e-282) | +nan.0 | valid | exit | 0 | 0.174096 | #f |
| (5.851664098557849e-173 4.718815175539983e+110 6.3041126890964315e+304) | 6.252955678732017e+220 | (0.0 2.226721666090644e+221) | +nan.0 | valid | exit | 1 | 0.397776 | #f |
| (-3.8561985419424694e+56 -4.9654167829782285e-257 -2.4331967161231086e-206) | 1.4870267194879227e+113 | (1.4870267194879227e+113 1.4870267194879227e+113) | +nan.0 | valid | exit | 0 | 0.354091 | #f |
| (-2.775705606064592e-266 -1.0191426384201056e+157 2.3779187381668372e-9) | 1.7890344235356195e+293 | (1.7890344235356195e+293 1.7890344235356195e+293) | +nan.0 | valid | exit | 0 | 0.17145 | #f |
| (1.2285003319993066e+96 -3.264773874869241e+240 -1.983093732478139e+287) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.293464 | #f |
| (3.135055610193751e-59 54258.53068106434 -5.286393812327798e-95) | 9.828573679007313e-118 | (9.828573679007313e-118 9.828573679007313e-118) | +nan.0 | valid | exit | 0 | 0.173593 | #f |
| (-3.188868152269693e-158 -1.0955192366499354e+68 -1.2764446100458667e-226) | 1.016947577e-315 | (1.016947577e-315 1.016947577e-315) | +nan.0 | valid | exit | 0 | 0.301299 | #f |
| (2.8317975911174004e-226 -3.5419226703326597e-62 1.3412099589474615e+276) | 0.0 | (0.0 1.2545216202616438e-123) | +nan.0 | valid | exit | 1 | 0.230024 | #f |
| (-9.038256940305017e+291 9.181023723475695e-183 6.384547391736821e+250) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.515568 | #f |
| (6.326476768201041e+197 -1.9257999454055665e-290 -1.198761634527115e-273) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.358443 | #f |
| (-1.2084970624101083e+99 -3.588374621103496e-285 8.527788794425244e+87) | 2.0494722027821324e+197 | (0.0 1.4604651498538612e+198) | +nan.0 | valid | exit | 1 | 0.424759 | #f |
| (-7.344339007173507e-195 -8.069264475069458e+166 2.374169426195349e+174) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.48209799999999997 | #f |
| (4.3583097774124186e-191 -9.1777230041087e+113 1.1299386036117539e-284) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.178032 | #f |
| (8.85087627477539e+207 122600.15354995764 -5.566685844935864e+172) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.370068 | #f |
