| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (5.465113443860401e-279 118950518585395940.0 -2.517367038464001e+265 5.0452499850032234e+148) | -4.725195681356617e-249 | (-4.725195681356617e-249 -4.725195681356617e-249) | +nan.0 | valid | exit | 0 | 0.33301000000000003 | #f |
| (-6.818335072894938e-42 -4.103646138723108e+63 -6.191183122086507e-221 -2.748536914728164e+133) | -2.480714388938555e-175 | (-2.480714388938555e-175 -2.480714388938555e-175) | +nan.0 | valid | exit | 0 | 0.29093100000000005 | #f |
| (2.680429259520078e-260 -1.9112179707958155e-176 3.238544690743833e-160 -2.5156544179582928e-266) | -5.901471658730898e-17 | (-5.901471658730898e-17 -5.901471658730898e-17) | +nan.0 | valid | exit | 0 | 0.14138599999999998 | #f |
| (-13723.582707219508 -1.1171667728536269e-275 7.205079158559441e+222 -9.811227087574948e-53) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.321974 | #f |
| (2.7948578176349576e+280 4.04867882821681e-40 1.0262285895804383e+157 5.3284169063524584e-98) | -1.4140660570688512e-131 | (-1.4140660570688512e-131 -1.4140660570688512e-131) | +nan.0 | valid | exit | 0 | 0.146385 | #f |
| (-7.092751126628267e-242 -2.4117944505523146e-244 -2.1024276044506193e+195 -9.155736951870892e+242) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.170907 | #f |
| (-7.431659502749245e-186 -1.9733142748930578e-87 6.216338001013405e-239 2.568219738371458e+246) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.26133599999999996 | #f |
| (-3.012228983239385e+119 1.2400847047650955e-182 1.491754844683114e-125 1.0455857170290899e+111) | 288090104.3482387 | (288090104.3482387 288090104.3482387) | +nan.0 | valid | exit | 0 | 0.29938000000000003 | #f |
| (-2.079990695638637e+278 3.4471414420594934e+263 2.2403830391702948e+54 1.4367513632448635e-130) | 1.5386393227365756e+209 | (1.5386393227365756e+209 1.5386393227365756e+209) | +nan.0 | valid | exit | 0 | 0.260307 | #f |
| (-1.018638951127632e+288 -7.058049235544565e+102 -4.5189387879854046e+103 -2.8765577594557665e-92) | 0.15618820183317209 | (0.15618820183317209 0.15618820183317209) | +nan.0 | valid | exit | 0 | 0.314445 | #f |
| (1.6834490690421142e-167 3.2636315967207293e-79 5.548751116749634e-19 -2.827251787884894e+300) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.32622199999999996 | #f |
| (2.196280882335247e+126 -6.969816638126218e-235 3.553978729884732e+257 2.1394490933984905e+99) | -3.72014776011062e-290 | (-3.72014776011062e-290 -3.72014776011062e-290) | +nan.0 | valid | exit | 0 | 0.259272 | #f |
| (2.8400527021043108e-174 9.33118488200519e+235 -3.891432539009845e+297 -3.818855427327113e+135) | -2.397879132803742e-62 | (-2.397879132803742e-62 -2.397879132803742e-62) | +nan.0 | valid | exit | 0 | 0.28961 | #f |
| (-7.049930781673373e+44 -8.188037005888287e-51 -1.9090122135859058e-101 3.7090725575092706e+291) | 1.900726036593786e-247 | (1.900726036593786e-247 1.900726036593786e-247) | +nan.0 | valid | exit | 0 | 0.238169 | #f |
| (-1.669298485652746e-165 -1.3708015188654374e-215 6.645308435389904e+184 -1.6560290217243394e-94) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.26095399999999996 | #f |
| (1.3931307939755962e-83 3.816321402062328e-227 -8.385071247210846e-59 2.5498892723971676e+48) | -5.463495254701412e-132 | (-5.463495254701412e-132 -5.463495254701412e-132) | +nan.0 | valid | exit | 0 | 0.14903599999999997 | #f |
| (-2.314790744293119e+40 5.21354266639118e-15 3.955983104366622e-57 7.812504442893016e-118) | 1.317889156811418e+42 | (1.317889156811418e+42 1.317889156811418e+42) | +nan.0 | valid | exit | 0 | 0.132929 | #f |
| (-28157488964424716000.0 3.3769906538772376e-79 1.5990506467073529e-55 1.6828050295594978e-103) | 1.8531188989207682e+26 | (1.8531188989207682e+26 1.8531188989207682e+26) | +nan.0 | valid | exit | 0 | 0.186912 | #f |
| (3.9179653782873043e-255 -2.7884116447381626e-87 9.030617571404034e+163 1.7664635250238913e-190) | -3.0877308475201375e-251 | (-3.0877308475201375e-251 -3.0877308475201375e-251) | +nan.0 | valid | exit | 0 | 0.158149 | #f |
| (4.38070538694043e+103 1.4129005142504534e-67 1.5124193798683351e-29 1.83781986628451e+303) | -2.3836424163793752e-200 | (-2.3836424163793752e-200 -2.3836424163793752e-200) | +nan.0 | valid | exit | 0 | 0.256398 | #f |
| (6.231392976685052e-226 -760624883640137100.0 3.883598026806865e-227 -1.1340349202026968e-268) | -1.9585571894667246e+244 | (-1.9585571894667246e+244 -1.9585571894667246e+244) | +nan.0 | valid | exit | 0 | 0.292299 | #f |
| (2.5398478416743654e+40 -1.4327879748983096e+110 5.362507910479882e-156 1.1103137358350368e-265) | -2.6718617460651763e+265 | (-2.6718617460651763e+265 -2.6718617460651763e+265) | +nan.0 | valid | exit | 0 | 0.30949200000000004 | #f |
| (1.5539357215734932e+170 -4.432909392666031e+112 2.7073390729406025e-105 1.7863506268150686e+90) | -8.698940164641954e+79 | (-8.698940164641954e+79 -8.698940164641954e+79) | +nan.0 | valid | exit | 0 | 0.146224 | #f |
| (8.70907693352935e-173 1.0000084627608044e-267 -6.175679712132771e-197 8.226004518149655e-106) | -1.0587250364759532e-67 | (-1.0587250364759532e-67 -1.0587250364759532e-67) | +nan.0 | valid | exit | 0 | 0.35275 | #f |
| (-2.586776427259722e-30 1.467897128996433e-249 -4.867220694045626e+243 6.539520983490811e-264) | -0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.2470711630234448e-35 -9.808728572941833e+36 3.792256013594988e-102 1.5264996955189137e-183) | -2.58651539816357e+138 | (-2.58651539816357e+138 -2.58651539816357e+138) | +nan.0 | valid | exit | 0 | 0.28258 | #f |
| (-9.961135553440162e-218 6.426277106489771e+235 -6.355738386582849e+269 2.161537665191254e+85) | -1.0110984303658298e-34 | (-1.0110984303658298e-34 -1.0110984303658298e-34) | +nan.0 | valid | exit | 0 | 0.328927 | #f |
| (2.7455866075945817e-159 4.2389543327750937e-159 2.0510722627150835e+111 1.492009747146995e+57) | 2.066701602782062e-270 | (2.066701602782062e-270 2.066701602782062e-270) | +nan.0 | valid | exit | 0 | 0.29137199999999996 | #f |
| (5.1427703653043957e+98 -1.4584544221204727e+230 -9.237836888165045e-297 -3.982059414899942e-34) | 1.2914850908706542e+132 | (1.2914850908706542e+132 1.2914850908706542e+132) | +nan.0 | valid | exit | 0 | 0.297395 | #f |
| (-4.0699345793895684e+108 2.1374869058505975e-52 -1.3977018478785801e+249 160.5295218110453) | -1.5292867424442893e-301 | (-1.5292867424442893e-301 -1.5292867424442893e-301) | +nan.0 | valid | exit | 0 | 0.31847899999999996 | #f |
| (-8.95093610373164e+138 2.6261174073211708e+126 2.6905283249587344e+110 -2.9192084080842744e+186) | -3.0662203078558807e-48 | (-3.0662203078558807e-48 -3.0662203078558807e-48) | +nan.0 | valid | exit | 0 | 0.166637 | #f |
| (-3.1580201769441664e-293 -4.3599662961668405e+40 -1.40290222142268e+130 4.1138845070420105e+254) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.326148 | #f |
| (7.620026857461794e+56 4.364366712357108e+274 -1.502655332403273e+168 6.0059219881342275e-233) | -2.9044363123358133e+106 | (-2.9044363123358133e+106 -2.9044363123358133e+106) | +nan.0 | valid | exit | 0 | 0.253385 | #f |
| (2.111085169401749e+289 -2.8014314288355725e-108 -4.858479108618768e+145 3.2695324559185513e-131) | -2.9240899520522118e-133 | (-2.9240899520522118e-133 -2.9240899520522118e-133) | +nan.0 | valid | exit | 0 | 0.316161 | #f |
| (-1.8927828569163788e+214 -2.0123340270110987e-26 5.190159935098708e-235 -3.7632211663345113e+189) | -5.029688060454882e+24 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (0.01832005120517397 -3.401299366482879e+95 35470.90808823453 -35598862217857016000.0) | -9.520174961179961e+60 | (-9.520174961179961e+60 -9.520174961179961e+60) | +nan.0 | valid | exit | 0 | 0.194611 | #f |
| (-1.1364449421523017e+82 1.2845427471583616e-236 -7.235071527365532e-223 -9.625701935456589e+142) | -1.1806359159804953e-61 | (-1.1806359159804953e-61 -1.1806359159804953e-61) | +nan.0 | valid | exit | 0 | 0.257671 | #f |
| (9.434935456657732e-221 -9.379069913428546e+105 -1.090806700873105e-186 2.6677795062857964e+253) | -0.0 | (-0.0 -0.0) | +nan.0 | valid | exit | 0 | 0.259337 | #f |
| (1.0587583232470414e+30 1.3460439251136612e+40 1.3212548999576608e+153 7.274894204618683e-201) | 1.018761728078961e-113 | (1.018761728078961e-113 1.018761728078961e-113) | +nan.0 | valid | exit | 0 | 0.153058 | #f |
| (2.230783751351822e-166 7.633532885561058e-298 1.1875423132392334e+42 -1.1172508984240504e+305) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.35104 | #f |
| (-1.1413902046341435e-170 2.768445720704323e+158 5.181040827188484e+236 -16643221454333122.0) | 5.34341614560608e-79 | (5.34341614560608e-79 5.34341614560608e-79) | +nan.0 | valid | exit | 0 | 0.139185 | #f |
