| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (-4.398018155145743e-239 -2.1493847334718506e-298 1.007062686183944e-61 2.774218358454159e-171 -5.065640852603866e+130) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 11.493943 | #f |
| (2722.725266974169 2.4445110109058725e-235 -1.5693349815079338e-46 1.7140013155652901e-164 -13388821501.822565) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 14.464955999999999 | #f |
| (7.330178752604571e-28 3.6297275088497876e-215 3.3968230969572036e-152 7.829816334968866e-14 -4.544626565413037e+261) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 15.865390999999999 | #f |
| (-1.2351022635918282e-71 -5.572684078552248e-217 1.5412729885465812e-243 -3.6101648550391454e-274 -2.7788926834290098e+249) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 11.594495 | #f |
| (-7.582514637045026e+199 1.995015501887989e+123 -2.200666404099162e+28 1.5011256188297402e-167 -3.348705640163728e+286) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.395057 | #f |
| (8.51133277269913e+201 4.1202190151398215e-77 -1.1341435993893649e-144 -6.957272138287888e-261 -2.1556676735536896e+127) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.283589 | #f |
| (-1.9603756264180397e-261 3.1141668650750068e+56 1.27824538254284e-265 2.0000014378981227e-25 -4.136581461176785e+241) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 7.941901 | #f |
| (-7.087003403840944e+185 -2.737307250395603e-265 -3.1308848103601487e+28 1.0394246167009459e+34 -3.953021296845547e+185) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.38570899999999997 | #f |
| (1.7237037130666207e-161 2.283295865122493e-262 1.3337740629595626e+29 -4.9009585493613516e+82 -1.1624991903976555e+300) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.32445599999999997 | #f |
| (-4.078403189325325e+78 -2.8795983029997677e-240 -8.44050024566765e-158 -5.551510486531261e-160 -1.3146405766145694e+69) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.702357 | #f |
| (-5.5189747897076115e+208 -1.669986588728949e-259 -1.3329866592557929e-194 -8.495358424296131e-288 -7.05387819703116e+115) | -inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 12.32926 | #f |
| (2.1373759600324288e+231 0.9671180750819611 -1.872407983172577e-181 1.616510983037064e-37 -3.1362396923124088e+280) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.1777 | #f |
| (-3.691984548823573e-221 -3.744274357199327e+34 2.000992675214583e-27 -1.1297967537322011e-235 -1.943108647751028e+246) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 13.897463 | #f |
| (2.9601901067833175e+67 3.175652801749379e-247 1.7447710772448092e-200 -1.9632756293873614e+26 -2.1946637399059088e+250) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.309494 | #f |
| (-6.9715462155674955e-74 1.6877185523031051e-264 7.405801959536053e-41 1.0302997865432532e-235 -3.33235345395897e+203) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 12.047797000000001 | #f |
| (-3.64901603959221e-263 -6.524285905489536e-66 -8.609481255139507e-14 9.928499936039191 -4.3178826011301395e+88) | -inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 12.309202 | #f |
| (7.558482449794624e-229 8.131779297522565e-20 3.1364684547906802e-257 1.4677392925820626e-200 -1.3924001099945726e+177) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 14.048885 | #f |
| (-9.6682782382965e+22 34587.46691614032 2.3879124775963502e+20 3.287789648651205e-146 -2.188174054437396e+147) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.29223299999999997 | #f |
| (-3.1647619205331555e-174 4.678227575415822e-61 -4.793741721386376e+74 1.0782981373751472e-150 -1.1184610201221863e+175) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 13.837931 | #f |
| (2.12694573266554e+24 3.1281726353893544e-93 -2.055397734804144e-271 -4.327541934089805e-104 -2.4669805459488183e+194) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.797847 | #f |
| (2.9346259043658723e-281 -5.617157888304902e-104 -2.0608781983194622e-17 3.148847945499457e-260 -167459017628018.78) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.5214039999999995 | #f |
| (2.053628984655556e-137 1974081.3201688959 -3.340328707420804e-56 2.2024453651670559e-94 -6.398453907007565e+224) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 13.324377 | #f |
| (5.912717494255058e-214 1.372088585135624e-262 0.0032912022934759835 -3.013721278352672e-298 -3.4575136730444376e+45) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 13.74311 | #f |
| (1.0856456718244355e-64 -1.965308458112384e-241 8.156979170467815e-11 6.778985539493425e-287 -9.903105939669854e+48) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.912815 | #f |
| (1.0969800754249743e+148 8.407757420366257e-244 -1.9155300725760963e+35 -9.300121526641195e-61 -5.424222696251584e+82) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.170085 | #f |
| (-7.862684847806966e+34 3.5519367788137244e+77 -1.2697495358759296e-267 1.098366252454797e-199 -1.8444283776646325e+217) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.364567 | #f |
| (-2.9685729641179965e+89 5.889612373788507e-28 -9.580826143500787e-202 9.025827318755923e-265 -53448907.96116972) | -inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 500.0 | #f |
| (1.3640513032834784e+234 411271039731954800.0 2.7788764939071223e-258 9.427749757787528e-17 -1.0440987500233794e+175) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.35417 | #f |
| (-2.2706297727553633e-166 -2.533231289858964e+73 2.1618820895847438e-242 -1.0591867704920402e+93 -2.49378689759581e+219) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.354428 | #f |
| (5.502571697391105e+239 -6.26772086107113e+61 -6.392214384763377e-198 4.227799431934748e+30 -4.018127183090933e+210) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.188717 | #f |
| (-1.275699623433726e+170 -1.4911198190194005e-168 -7.414144661438074e-239 8.344691741578867e-173 -9.911564239912384e+42) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 21.278555 | #f |
| (7.685526283921673e+139 1.5396109193640896e-265 8.943510203116026e+56 2.3155448074357073e-259 -1.929545157776921e+118) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.171463 | #f |
| (-9.083645656598923e+274 -1.4168859536680529e-145 -7.765887735301055e-223 -1.2747233341525305e-76 -5.07407116503783e+114) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.205858 | #f |
| (2.4585152282593614e-8 -6.788228475426014e-291 -1.6835706070782316e+57 2.051621643179566e-48 -5.719108213489942e+138) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.34037 | #f |
| (-7.364591927510544e-93 5.805695346821343e-32 -6.106986050887418e+83 -1.2187151116893338e-293 -7.362961901919715e+170) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 8.086782000000001 | #f |
| (2.208490500780002e-147 1.3924291132142038e-199 7.99274785145641e-229 -6.4551268851611024e-80 -1.858292087200685e+135) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 7.1303790000000005 | #f |
| (1.2977693984758128e-12 -3.233969925934814e-279 8.854805624562432e-296 5.070764142790176e-71 -2.707964495029123e+44) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 4.575247 | #f |
| (-1.6736692328632366e+180 5.444124356847987e-195 -5.021261788300541e-10 -3.3635679870560014e+37 -8.238040832346724e+282) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.170923 | #f |
| (1.8292935517568142e-45 3.1569340217355645e-43 3.2726101758890943e-24 0.011410119143960815 -1.085875822446813e+187) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 4.758413 | #f |
| (-2.182004696716848e+24 -1.909174973101839e+68 -4.876256688719351e-40 -6.540410260495166e-198 -7.354622965902088e+265) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.378266 | #f |
| (1.9786432413028605e+21 -8.715946470975908e-127 1.544527251427337e-132 -2.9566035323682494e-93 -1.1519657873777464e+140) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 8.553542 | #f |
| (3.4170464996125094e-91 -4.999191316070056e-164 -3.618189751507102e+29 6.409279256448111e-198 -4.805714339042018e+161) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.888422 | #f |
| (1.251647694438841e+187 -1.3327352123772355e-44 -1.5337543749341475e+50 -1.4402962652171798e-78 -4.971362537313239e+263) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.412879 | #f |
| (1.308615485132067e-189 4.852596664178512e-48 9.072123274532265e-151 -2.3885560397267643e-263 -9.459278277000391e+50) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 13.086343 | #f |
| (7.266493307861649e-228 10318192756795.822 -1.8140657929274063e+36 -1.8946527116035149e-103 -3.945518972704559e+210) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 4.177452 | #f |
| (-8.053362520967572e+303 3.508606085627231e-227 1.5813386875704911 4.1784978676243005e-293 -1.0070206880776898e+62) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.407607 | #f |
| (-8.105666746433021e+232 9.251550090625366e-183 -2.0605080329794355e-296 1.2839370315519112e-74 -4.486253773931747e+270) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.160783 | #f |
| (4.624329110034238e+106 -1.591781088395082e+25 1.7979224683482902e-185 6.520402084520881e-69 -5.175586395681446e+294) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.197543 | #f |
| (8.023730268955304e-204 -0.0016298669671313 6.265575132362228e+39 6.832055159530071e-151 -8.569402614579471e+234) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.562591 | #f |
| (-8.465094975139652e+81 -7.431719316809356e-265 -2.293564608860573e-128 8.584052472350102e-294 -1.570806044305177e+65) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 14.516028 | #f |
| (3.484600196235906e-151 2.2769003765355757e-209 -1.3177202680832606e-13 -1.1909304602949084e-230 -2.602762262353766e+289) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.5895779999999995 | #f |
| (-2.4592934772601488e+38 -1.9026959713310795e+32 7.879419492404121e-34 -2.0050050015829106e-50 -1.3857789743567655e+281) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.16637800000000003 | #f |
| (-4.008820105013834e-85 2.4659172730321172e-203 -1.09387344707804e-121 4.467316571498039e-110 -2.7464084669714092e+222) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.744837 | #f |
| (8.703552398331246e-121 -1.0461881622425015e+45 6.983685326727025e-129 -4.772966545585266e-104 -2.64504543391767e+276) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 10.665314 | #f |
| (1.2002928116512027e+21 7.314999032365837e-16 -4.758296329293696e-153 5.674949043637246e+30 -9.841408556774696e+212) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.152015 | #f |
| (2.762959643667526e+105 4.0762959252524763e-306 1.2543482329201165e-84 -4.939892352537738e-151 -3.3827316260164422e+171) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 0 | 0.155604 | #f |
| (5.0297889636039506e-161 3.461200265969808e-276 1.8640242854306628e-53 1.5277043280883876e-108 -3.607545236588801e+282) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 12.461649 | #f |
| (1.8392593221916448e-230 1.3124578378978333e-117 -6.432267047559265e-94 2.737322804644232e-22 -8.280528560349244e+282) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 7.114146 | #f |
| (-2.753911156196042e-62 -2.0625292209529417e-183 -5.238596437337443e-27 8.203606236383706e-303 -2.4247571568194964e+89) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.790921 | #f |
| (4.458678292929306e-159 -2.2058032112313674e-136 -1.2255226692490905e-89 7.508350660919181e-205 -1.2322278923031172e+48) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 13.71119 | #f |
| (-6.865668535940426e-99 1.1553928959587783e-107 3.7395668115626644e-53 1.193694550298538e-42 -1.6867705965222782e+258) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 12.321836 | #f |
| (-2.97092205672664e+156 10009.642060206308 2.050648565320394e-248 2.4157058609754234e-106 2.805977912034689e-28) | -0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
| (-5.15729141536934e+254 -6.032194430918404e-159 -2.0923355351334194e-283 -4.3857325134196296e-125 -1.9440707756648997e+69) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.328309 | #f |
| (5.930784582230908e+49 1.1706760647071199e-43 3.431035639943433e-130 3.763296851406098e+63 -1.8776624507976748e+217) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.165277 | #f |
| (-1.4102528515601608e-15 1.2481132599372381e-147 -3.0608944618751136e-305 2.708241555465916e-26 -7.982861702602198e+278) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 15.655045999999999 | #f |
| (-3947443617962152.5 -1.350792726044778e+60 1.8712288467851612e-240 2.5275139314639266e-205 -2.3358356338222165e+126) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.165995 | #f |
| (2.0480829422207477e-170 8.180362383431806e+75 1.0791619414440335e-136 5.138079151934908e-114 -1.5638113659685464e+251) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 6.759216 | #f |
| (-3.654012914030186e-205 9.818553498527936e-290 1.3553026539159907e-218 1.18640070052677e-187 -8.801075490994183e+44) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 11.590035 | #f |
| (12087004276234108.0 9.039786033168356e-229 1.5732153248557664e+30 1.9991733766341607e+32 -4.113942997185331e+150) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.288445 | #f |
| (2.2445291252330088e-119 9.087056513295335e-140 3.285722461491272e-232 -2.3814214566545256e-95 -1.83099184142985e+300) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 8.299247 | #f |
| (-7.316410102181449e+307 -1.0892397006881464e-45 -6.018751586950085e+29 7.153787839126213e-69 -5.8434998035425275e+88) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.388916 | #f |
| (1.3090829446873133e+95 2183068295826558.5 1.0685629913938316e-107 -1.263906227195891e-185 -3.0202107796971066e+280) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.267643 | #f |
| (1.9709112907529547e+43 1.6583365121742701e-177 -1.1699634261129103e-37 -4.704668497528709e-264 -6.046024231219943e+180) | +inf.0 | (+nan.0 +nan.0) | NaN | valid | invalid | 0 | 12.258879 | #f |
| (-2.7285174038931967e+278 -1.0227505833955875e-165 7.2389469803558536e-96 3.81818839160254e+32 -6.646993499827269e+135) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.39345899999999995 | #f |
| (1.9120311155941436e+128 -1.7776815185831853e+49 -4.80265844730673e+122 -2.733314771442226e-45 -4.5726255580787646e+254) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.384261 | #f |
| (2.099060686209796e+71 5.065789592962789e-16 -2.980205563404796e-27 -1.4919301668625747e-68 -4.646429611815718e+264) | -inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.294407 | #f |
| (6.448866822679535e+169 1.8989986008625087e-60 1.861056126887839e-190 9.024033787597323e+52 -4.928759411521801e+301) | +inf.0 | (-inf.0 +inf.0) | NaN | valid | invalid | 1 | 0.37041 | #f |
