| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (-5.841600820178344e-66 1.8775460083045867e-104 -5.083188345643785e-61 -1.2259840474467841e+94) | -5.841600820178344e-66 | (-5.841600820178344e-66 -5.841600820178344e-66) | +nan.0 | valid | exit | 0 | 0.26708899999999997 | #f |
| (4.3231635757041e+275 -1.2525173847948673e-12 -9.276552178558166e-278 4.90595797324078e+284) | 4.3231635757041e+275 | (4.3231635757041e+275 4.3231635757041e+275) | +nan.0 | valid | exit | 0 | 0.279747 | #f |
| (1.6867740077450028e+129 -3.17452886813926e-149 -2.6507809695515963e-174 2.9473179952516826e+121) | 1.6867740077450028e+129 | (1.6867740077450028e+129 1.6867740077450028e+129) | +nan.0 | valid | exit | 0 | 0.164644 | #f |
| (7.816530608212366e-205 8.30595536939598e+291 1.6175456678292416e-88 -1.620348397219654e-251) | -1.996540584240745e+163 | (-1.996540584240745e+163 -1.996540584240745e+163) | +nan.0 | valid | exit | 0 | 0.157357 | #f |
| (-4.203443169595336e-261 -3.8017490478846205e-227 2.7626189171004654e-48 1.7201745887139062e-189) | 1.3761395118059876e-179 | (1.3761395118059876e-179 1.3761395118059876e-179) | +nan.0 | valid | exit | 0 | 0.214917 | #f |
| (5.765957356617029e+34 1.6885394558527115e-211 3.511170666756191e+257 -8.167038837583061e+36) | 5.765957356617029e+34 | (5.765957356617029e+34 5.765957356617029e+34) | +nan.0 | valid | exit | 0 | 0.234377 | #f |
| (2.2769862293970082e-95 -5.280820755203448e-105 -1.385681826219206e-117 -1.3657519784707167e-52) | 2.029185164016098e-65 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-5.1693699072411845e-245 1.1144722267412953e+46 5.0920801352747497e-39 -1.81212598154848e+287) | -5.1693699072411845e-245 | (-5.1693699072411845e-245 -5.1693699072411845e-245) | +nan.0 | valid | exit | 0 | 0.287218 | #f |
| (-48740.33765852549 1.5193451348311407e+133 -4.457745796336315e+28 3.813749573392732e+207) | -48740.33765852549 | (-48740.33765852549 -48740.33765852549) | +nan.0 | valid | exit | 0 | 0.274312 | #f |
| (2.32707324037481e+230 1.390164426030589e-43 -8.094577716719995e+57 -1.089426624944373e+62) | 2.32707324037481e+230 | (2.32707324037481e+230 2.32707324037481e+230) | +nan.0 | valid | exit | 0 | 0.168262 | #f |
| (5.266761614953165e-68 9.306063454172086e-9 -9.737201509157084e+98 1.4456691330498668e-30) | 5.266761614953165e-68 | (5.266761614953165e-68 5.266761614953165e-68) | +nan.0 | valid | exit | 0 | 0.15651299999999999 | #f |
| (-1.6527680258377494e-223 -1.4334245504743078e-233 -8.568814822210997e-267 4.7534087763341775e-192) | -3.6053347083771135e-75 | (-3.6053347083771135e-75 -3.6053347083771135e-75) | +nan.0 | valid | exit | 0 | 0.150506 | #f |
| (-7.588708711803128e+297 3.5047930677388254e+249 -5.1584210628575315e-213 5.334079388969884e-47) | -7.588708711803128e+297 | (-7.588708711803128e+297 -7.588708711803128e+297) | +nan.0 | valid | exit | 0 | 0.372407 | #f |
| (1.1625667969407442e+234 -5.250993304183847e+225 -6.151246367276494e-136 1502575983.6587691) | 1.1625667969407442e+234 | (1.1625667969407442e+234 1.1625667969407442e+234) | +nan.0 | valid | exit | 0 | 0.32665500000000003 | #f |
| (8.804206297653489e+127 1.0494113070309741e+250 4.464953235429536e-193 1.2482690375031212e+85) | 8.804206297653489e+127 | (8.804206297653489e+127 8.804206297653489e+127) | +nan.0 | valid | exit | 0 | 0.264985 | #f |
| (-1.000523701241337e+83 -9.976569503172835e-197 1.4113864677385143e-182 2.0382864331202565e+42) | -1.000523701241337e+83 | (-1.000523701241337e+83 -1.000523701241337e+83) | +nan.0 | valid | exit | 0 | 0.28387399999999996 | #f |
| (6.043451136902755e+240 8.853862508038988e-49 -2.7010825432767013e-211 -1.2832068660029518e+68) | 6.043451136902755e+240 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.7737192353571804e-248 5.692761142936044e-11 -5.040675991405065e-57 -5.576035109582551e+71) | 1.8079785698416934e-128 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.7410729696418195e-36 1.2627371761297647e-137 -1.064099544414664e+67 1.1123266877979078e-89) | -2.7410729696418195e-36 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.772384928242041e-191 6.503664912889802e+298 -8.87761344356939e-20 -1.7471393119482336e-154) | 1.0162456288239513e+135 | (1.0162456288239513e+135 1.0162456288239513e+135) | +nan.0 | valid | exit | 0 | 0.336868 | #f |
| (2.6488232905486214e+253 -1.1461323688510326e-297 1.6409138361227802e+131 2.587649635009852e-238) | 2.6488232905486214e+253 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.2907756251896218e+212 3.584591452337053e+249 -4.714964616691945e+268 -3.200887616197651e+114) | 1.2907756251896218e+212 | (1.2907756251896218e+212 1.2907756251896218e+212) | +nan.0 | valid | exit | 0 | 0.204498 | #f |
| (4.487627379988002e+157 -3.781450193711594e-169 -3.1606588001324242e-164 -5.6947017489691845e-11) | 4.487627379988002e+157 | (4.487627379988002e+157 4.487627379988002e+157) | +nan.0 | valid | exit | 0 | 0.361992 | #f |
| (-1.412350888795532e-73 -2.8224140712614964e-159 9.424425719813734e-275 6.973830603460468e+195) | -1.412350888795532e-73 | (-1.412350888795532e-73 -1.412350888795532e-73) | +nan.0 | valid | exit | 0 | 0.314714 | #f |
| (-1.4855122804260182e-151 -2.4857342837924605e+215 1.3528057910921824e+294 -1.5768864418263738e+274) | 1.8374657324504894e-79 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.8310678999217196e+229 2.6332938022240495e+293 1.1203628734294582e+126 1.1599281128063954e-166) | -1.8310678999217196e+229 | (-1.8310678999217196e+229 -1.8310678999217196e+229) | +nan.0 | valid | exit | 0 | 0.17849 | #f |
| (-9.424523139185532e-110 -15943378340678950.0 1.2923699131221316e-176 6.864439094254555e-55) | -9.424523139181767e-110 | (-9.424523139181767e-110 -9.424523139181767e-110) | +nan.0 | valid | exit | 0 | 0.229747 | #f |
| (8.685705286069743e+163 4.735480418027876e+127 -6.250547414520801e-280 6.04000710607774e-219) | 8.685705286069743e+163 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.4701978246280722e-157 1.1805589116391458e-304 9.705502577205116e-8 2.3977496927503946e-24) | 2.4701978246280722e-157 | (2.4701978246280722e-157 2.4701978246280722e-157) | +nan.0 | valid | exit | 0 | 0.30371899999999996 | #f |
| (5.630344851403049e-127 -1.5257521012025983e+269 3.030326762737492e-249 -2.2533145656874858e-259) | -26896615402.767254 | (-26896615402.767254 -26896615402.767254) | +nan.0 | valid | exit | 0 | 0.319774 | #f |
| (-1.629968447128727e-186 4.040933353280036e-158 1.2957674500216007e+274 3.7502488190984065e+214) | -1.629968447128727e-186 | (-1.629968447128727e-186 -1.629968447128727e-186) | +nan.0 | valid | exit | 0 | 0.285645 | #f |
| (-6.575457326522626e+305 2.497941278483791e+54 -4.0263136354285066e-202 -5.818088285638507e-33) | -6.575457326522626e+305 | (-6.575457326522626e+305 -6.575457326522626e+305) | +nan.0 | valid | exit | 0 | 0.33493500000000004 | #f |
| (-1.6099059118422789e+146 9.723292090264228e-266 7.485742275150427e-180 3.327026555751698e-32) | -1.6099059118422789e+146 | (-1.6099059118422789e+146 -1.6099059118422789e+146) | +nan.0 | valid | exit | 0 | 0.33966399999999997 | #f |
| (-7.64711204417769e+180 -3.439777242242625e-133 2.189521324729953e-274 -8.777887757555455e-284) | -7.64711204417769e+180 | (-7.64711204417769e+180 -7.64711204417769e+180) | +nan.0 | valid | exit | 0 | 0.25390999999999997 | #f |
| (-3.1976887236619045e-190 -9.040801076720991e-214 -6.888498335127515e-289 -3.5378062388095673e+140) | -3.1976887236619045e-190 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-5.653460702103943e+189 -2.3154986360624639e+49 -6.781952729589779e-63 1.64901495126711e+70) | -5.653460702103943e+189 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-9.300097545992679e+245 -3.404058807446638e-130 -2.0177124420010397e-92 -12.562068137453638) | -9.300097545992679e+245 | (-9.300097545992679e+245 -9.300097545992679e+245) | +nan.0 | valid | exit | 0 | 0.161857 | #f |
| (-3.1871365421755704e+123 -2.6115112032745138e+272 11921389251.976597 -5.390815489176017e+56) | -3.1871365421755704e+123 | (-3.1871365421755704e+123 -3.1871365421755704e+123) | +nan.0 | valid | exit | 0 | 0.352617 | #f |
| (3.8662286110575055e-209 -2.092249757059459e+288 3.631408536121695e-215 -3.429820174942743e+98) | 3.8662286110575055e-209 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-59.102887186037535 -1.269730349665696e+233 -6.811162978685447e-211 -5.295874084968227e-201) | -59.10288718578031 | (-59.10288718578031 -59.10288718578031) | +nan.0 | valid | exit | 0 | 0.289688 | #f |
| (-1.564173444669345e-18 1.7477319592575324e-280 -6.246541390663958e+121 -4.265060866711392e+257) | -1.564173444669345e-18 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (7.940121094931138e+265 -1.5967071969657467e-9 7.2041992290361935e-90 2.1616541219547943e-249) | 7.940121094931138e+265 | (7.940121094931138e+265 7.940121094931138e+265) | +nan.0 | valid | exit | 0 | 0.264317 | #f |
| (2.1601465921390082e-39 -8.83041476730319e-206 -7.251243594055209e-92 2.2110547542931735e-233) | 2.1601465921390082e-39 | (2.1601465921390082e-39 2.1601465921390082e-39) | +nan.0 | valid | exit | 0 | 0.300259 | #f |
| (-1.037642353896913e+153 -6.810885292113678e-252 -8.544759990311763e-67 -1.39227048944876e-98) | -1.037642353896913e+153 | (-1.037642353896913e+153 -1.037642353896913e+153) | +nan.0 | valid | exit | 0 | 0.174229 | #f |
| (-4.978292867596597e+191 -2.9190140942082716e-235 -1.275609506170613e-169 -2.8021025845631222e-160) | -4.978292867596597e+191 | (-4.978292867596597e+191 -4.978292867596597e+191) | +nan.0 | valid | exit | 0 | 0.314421 | #f |
| (-1.1858151959909188e-118 -2.578093111947647e+159 2.5908565924134453e-219 1019094732358244700.0) | -1.1858151959909188e-118 | (-1.1858151959909188e-118 -1.1858151959909188e-118) | +nan.0 | valid | exit | 0 | 0.331597 | #f |
| (-1.2802322053339195e+105 -9.076815589965404e+289 -3.246472837825846e+149 1.1119411091473756e+289) | -1.2802322053339195e+105 | (-1.2802322053339195e+105 -1.2802322053339195e+105) | +nan.0 | valid | exit | 0 | 0.337892 | #f |
| (-5.096330081978235e-132 -8.116673457957131e+96 -1.04187227669618e-133 -3.0783522914185236e+86) | -5.096330081978235e-132 | (-5.096330081978235e-132 -5.096330081978235e-132) | +nan.0 | valid | exit | 0 | 0.33857800000000005 | #f |
| (-1.6726238488939205e-124 1.6095177633778978e-104 2.7943334441220903e+180 4.798625486613619e+300) | -1.6726238488939205e-124 | (-1.6726238488939205e-124 -1.6726238488939205e-124) | +nan.0 | valid | exit | 0 | 0.391827 | #f |
| (5.709517867920277e-175 -1.0416370215915839e+217 17520663.63041961 -7.752569281495692e-10) | -45199631229969150.0 | (-45199631229969150.0 -45199631229969150.0) | +nan.0 | valid | exit | 0 | 0.29743800000000004 | #f |
| (2.8758131589315807e-24 -3.373296952562297e-128 2.9883453193317825e-83 1.8755754297347037e+167) | 2.8758131589315807e-24 | (2.8758131589315807e-24 2.8758131589315807e-24) | +nan.0 | valid | exit | 0 | 0.29250499999999996 | #f |
| (7.1468915712521135e-59 6.446219470047014e-36 -2.1933491977983496e-211 2.948870274004221e-154) | -1.416117172515116e-57 | (-1.416117172515116e-57 -1.416117172515116e-57) | +nan.0 | valid | exit | 0 | 0.30947 | #f |
| (-3.9279146136742904e-185 3.722352341183735e+299 -1.429725219721774e-101 1.0333889330620433e+175) | -3.9279146136742904e-185 | (-3.9279146136742904e-185 -3.9279146136742904e-185) | +nan.0 | valid | exit | 0 | 0.333044 | #f |
| (9.89205214111215e+287 -5.895083405521409e-215 -3.4099042044576985e-105 1.414255939618203e+119) | 9.89205214111215e+287 | (9.89205214111215e+287 9.89205214111215e+287) | +nan.0 | valid | exit | 0 | 0.349456 | #f |
| (1.9890897652395435e-289 -899.0897352171938 5.6467426210054775e+177 2.7772385449570497e+239) | 1.5922272282654507e-175 | (1.5922272282654507e-175 1.5922272282654507e-175) | +nan.0 | valid | exit | 0 | 0.23444399999999999 | #f |
| (4.198756980889528e-48 -1.209287398328043e-286 6.900379168767314e+66 -1.3827700966653006e+104) | 4.198756980889528e-48 | (4.198756980889528e-48 4.198756980889528e-48) | +nan.0 | valid | exit | 0 | 0.239285 | #f |
| (2.4896366906018454e+129 9.874669102409236e+23 1.6346764518052653e-47 -1.1665564722259855e-59) | 2.4896366906018454e+129 | (2.4896366906018454e+129 2.4896366906018454e+129) | +nan.0 | valid | exit | 0 | 0.311631 | #f |
| (5.346905128729476e-284 2.306512843892682e-247 1.079454520545665e-171 -1.295364737440765e+185) | 5.346905128729476e-284 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-8.241458809468839e-100 1.6333366717714352e-263 5.198096817874092e-266 2.2561309567920007e-125) | -8.241458809468839e-100 | (-8.241458809468839e-100 -8.241458809468839e-100) | +nan.0 | valid | exit | 0 | 0.420167 | #f |
| (2.867330797229357e-27 -27312361944676570.0 -2.036199457331542e-38 -6.188076404311207e+114) | 2.867330797229357e-27 | (2.867330797229357e-27 2.867330797229357e-27) | +nan.0 | valid | exit | 0 | 0.33176700000000003 | #f |
| (3.6689304926854496e+24 3.647801514537701e-121 3.7370546296884776e+255 5.135176771659885e-42) | 3.6689304926854496e+24 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-7.586473764681304e-246 3.42288936704829e+153 -5.9085934480138124e+66 -2.3935339210028218e+29) | 4.937129485541848e+37 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.0330073905909833e-113 -5.260575175471906e+171 2.2727219271174238e+134 4.8564667983413075e-147) | 2.31465852144265e+37 | (2.31465852144265e+37 2.31465852144265e+37) | +nan.0 | valid | exit | 0 | 0.239376 | #f |
| (-8.017847392935257e-238 -1.1614723063799134e+129 -4.747585805374227e+204 1.1605097583444505e+280) | -1.8833211921961462e-76 | (-1.8833211921961462e-76 -1.8833211921961462e-76) | +nan.0 | valid | exit | 0 | 0.371452 | #f |
| (5.185536650592274e+258 -4.463226969294449e-293 -1.1673174845254589e-228 5.741712481179355e-80) | 5.185536650592274e+258 | (5.185536650592274e+258 5.185536650592274e+258) | +nan.0 | valid | exit | 0 | 0.259082 | #f |
| (-1.5213617333015042e-128 -7.8232198799761e+122 5.54521420045244e-69 7.126935944630962e-214) | 1.5561285364518806e+145 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-9.953988121288306e+112 1.4223034015693589e-41 2.516717422712483e+276 7.765271779651558e-95) | -9.953988121288306e+112 | (-9.953988121288306e+112 -9.953988121288306e+112) | +nan.0 | valid | exit | 0 | 0.38999500000000004 | #f |
| (-5.643358241464167e+150 -5.680803387434376 4.689149152401146e-61 -1.6259868742642436e-220) | -5.643358241464167e+150 | (-5.643358241464167e+150 -5.643358241464167e+150) | +nan.0 | valid | exit | 0 | 0.327695 | #f |
| (-8.212656188508806e-267 1.4241995593626693e-124 8.18875524158735e-109 0.3109584888963604) | 5.2667835315578645e-108 | (5.2667835315578645e-108 5.2667835315578645e-108) | +nan.0 | valid | exit | 0 | 0.362662 | #f |
| (7.932725216338873e-213 3.438252184591609e-186 -2.2283847248041843e-56 1.23552574618851e+157) | 4.3255406122485764e-213 | (4.3255406122485764e-213 4.3255406122485764e-213) | +nan.0 | valid | exit | 0 | 0.36761900000000003 | #f |
| (-3.6867306843455877e+43 1.0492309909984874e-123 -2008428687.661683 -2.0520606617483238e+304) | -3.6867306843455877e+43 | (-3.6867306843455877e+43 -3.6867306843455877e+43) | +nan.0 | valid | exit | 0 | 0.306002 | #f |
| (2.2447521623316167e-122 4.123881741311789e-27 -2.6419928182306597e+102 -5.237444022857841e+231) | 2.2447522236118064e-122 | (2.2447522236118064e-122 2.2447522236118064e-122) | +nan.0 | valid | exit | 0 | 0.353566 | #f |
| (6.560815825179376e+163 4.76001629418874e-283 1.818544646162406e-216 1.2050956219629817e+225) | 6.560815825179376e+163 | (6.560815825179376e+163 6.560815825179376e+163) | +nan.0 | valid | exit | 0 | 0.339396 | #f |
| (-8.164206338455225e+289 -5.4045059864319165e+73 -1.5489903745474753e-279 2.0596639985069438e-206) | -8.164206338455225e+289 | (-8.164206338455225e+289 -8.164206338455225e+289) | +nan.0 | valid | exit | 0 | 0.32319 | #f |
| (1.4418379840590043e+39 3.930994058944287e+299 5.936330079043721e-163 4.698896909241357e+237) | 1.4418379840590043e+39 | (1.4418379840590043e+39 1.4418379840590043e+39) | +nan.0 | valid | exit | 0 | 0.306919 | #f |
| (5.858057614984264e+211 -2.0646370542063263e+171 -124.39707168978303 -1.4613360950225897e+125) | 5.858057614984264e+211 | (5.858057614984264e+211 5.858057614984264e+211) | +nan.0 | valid | exit | 0 | 0.17012 | #f |
| (2.385466208454425e-143 -2.7350267228908995e+206 7.709916166923537e-271 -9.879332895401777e+301) | 2.385466208454425e-143 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.340231541831819e-280 4.388275181745949e-14 1.3993404528535836e+41 -6.405206519287466e+48) | -3.1359596392695042e-55 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.764948226024976e+125 -5.266966060085727e-148 -4.3139965513821634e+232 -2.985607126860659e+258) | -2.764948226024976e+125 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.3714491740507403e-254 1.32188416727342e+72 1.1279612122402744e-176 -1.802242494546496e+261) | 1.3714491740507403e-254 | (1.3714491740507403e-254 1.3714491740507403e-254) | +nan.0 | valid | exit | 0 | 0.329882 | #f |
| (5.07636845987726e+194 -1.0434790143073807e-226 -2.9302773330891436e+297 -1.6831134009293486e+189) | 5.07636845987726e+194 | (5.07636845987726e+194 5.07636845987726e+194) | +nan.0 | valid | exit | 0 | 0.289186 | #f |
| (0.1720180391944064 -6.387568534494259e-156 -8.351538351135107e+151 6.038738590263576e-226) | 0.1720180391944064 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.201439163259086e+40 -4.0386125800063916e+26 8.965702850312343e-219 -1.0972163261295783e+244) | -1.201439163259086e+40 | (-1.201439163259086e+40 -1.201439163259086e+40) | +nan.0 | valid | exit | 0 | 0.284284 | #f |
| (1.5726245870645217e-91 1.0225192146817985e+288 1.988016493764946e+118 2.1937134205114866e+38) | 1.8124669112900079e+80 | (1.8124669112900079e+80 1.8124669112900079e+80) | +nan.0 | valid | exit | 0 | 0.339114 | #f |
| (6.648089707299605e-74 -5.755674000251108e+59 3.4615718661338594e+205 -5.876071453009724e+43) | 6.648089707299605e-74 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-6.737499511757946e-168 1.4817573185439313e-278 1.468716202843781e-264 -2.196641360162261e+208) | -6.737499511757946e-168 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-4.0253468206059634e-163 3.215686471593496e+300 1.2174651630538137e-153 -8.872526167603108e-262) | -2.7443484303246843e+108 | (-2.7443484303246843e+108 -2.7443484303246843e+108) | +nan.0 | valid | exit | 0 | 0.321271 | #f |
| (-8.394503169956599e+259 -2.2332072777917376e+66 -9.583623897829675e+278 5.770173341702317e+280) | -8.394503169956599e+259 | (-8.394503169956599e+259 -8.394503169956599e+259) | +nan.0 | valid | exit | 0 | 0.302033 | #f |
