| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (63950.465363464835 4.0380221585911635e-153 2.8992272473665825e-251 4.848092654910996e-199) | 2.582333961898877e-148 | (2.582333961898877e-148 2.582333961898877e-148) | +nan.0 | valid | exit | 0 | 0.201126 | #f |
| (66042.93853371518 1.0264239170571856e-65 5.45636023609953e-295 5.363796672961876e-238) | 6.778805166374287e-61 | (6.778805166374287e-61 6.778805166374287e-61) | +nan.0 | valid | exit | 0 | 0.206897 | #f |
| (58249.15873313163 5.43846481791234e-116 1.988972578629532e-194 7.346333382680449e-218) | 3.1678600044312773e-111 | (3.1678600044312773e-111 3.1678600044312773e-111) | +nan.0 | valid | exit | 0 | 0.27309900000000004 | #f |
| (63770.448052238644 7.094786310886404e-45 5.544894672568039e-222 7.046194160710996e-267) | 4.5243770188011525e-40 | (4.5243770188011525e-40 4.5243770188011525e-40) | +nan.0 | valid | exit | 0 | 0.246009 | #f |
| (60383.70622521629 5.363155146091105e-6 2.4946142563605048e-200 1.5157569522482344e-242) | 0.3238471847818222 | (0.3238471847818222 0.3238471847818222) | +nan.0 | valid | exit | 0 | 0.286068 | #f |
| (98677.59710465609 1.458540532613367e-173 9.92426694528234e-212 1.9781108571939505e-270) | 1.4392527503803232e-168 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (98372.88948439182 8.819596554756931e-93 5.870683346266878e-220 1.9182886487475412e-271) | 8.676091971780264e-88 | (8.676091971780264e-88 8.676091971780264e-88) | +nan.0 | valid | exit | 0 | 0.26292600000000005 | #f |
| (60204.13715962264 1.07446444941628e-17 6.467874935470951e-32 1.2425734602219643e-59) | 6.468720508579653e-13 | (6.468720508579653e-13 6.468720508579653e-13) | +nan.0 | valid | exit | 0 | 0.24591400000000002 | #f |
| (72785.86580403906 4.70331735086359e-201 2.8748936264551228e-106 7.250356987740431e-158) | 2.0925162169604976e-101 | (2.0925162169604976e-101 2.0925162169604976e-101) | +nan.0 | valid | exit | 0 | 0.2719 | #f |
| (68447.807799281 1.5155886104384864e-254 4.093298269564727e-100 2.038105290060663e-17) | 1.395038391687701e-12 | (1.395038391687701e-12 1.395038391687701e-12) | +nan.0 | valid | exit | 0 | 0.128993 | #f |
| (69955.87211239543 3.3327078713841796e-9 6.604325908056236e-125 2.7382235593652587e-149) | 0.00023314248563852528 | (0.00023314248563852528 0.00023314248563852528) | +nan.0 | valid | exit | 0 | 0.11837600000000001 | #f |
| (57875.352533139274 3.849658857679719e-277 1.789769287133226e-209 6.134026691065735e-171) | 3.550089571931152e-166 | (3.550089571931152e-166 3.550089571931152e-166) | +nan.0 | valid | exit | 0 | 0.126457 | #f |
| (97198.52365350586 3.79182628039386e-283 3.244681250986087e-287 1.5852923363025636e-62) | 1.5408807464782631e-57 | (1.5408807464782631e-57 1.5408807464782631e-57) | +nan.0 | valid | exit | 0 | 0.228078 | #f |
| (70641.71972015411 9.97755438627797e-27 1.0813045429835997e-240 2.483592763240171e-48) | 7.048316004480426e-22 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (73099.6584259447 1.3644105477086271e-226 2.4810778207971877e-13 2.6698336170727598e-145) | 1.8136594122846166e-8 | (1.8136594122846166e-8 1.8136594122846166e-8) | +nan.0 | valid | exit | 0 | 0.261337 | #f |
| (70635.06155125592 2.5382458172930317e-240 6.763974316120622e-285 2.448224241368745e-20) | 1.7293046998035814e-15 | (1.7293046998035814e-15 1.7293046998035814e-15) | +nan.0 | valid | exit | 0 | 0.255099 | #f |
| (93915.47753766076 1.1608779488915113e-32 5.315053819171735e-146 8.07948085554284e-222) | 1.0902440693308643e-27 | (1.0902440693308643e-27 1.0902440693308643e-27) | +nan.0 | valid | exit | 0 | 0.280808 | #f |
| (77087.41883302512 2.065057428779701e-19 3.401158829311666e-156 5.423205654458186e-227) | 1.5918994692659076e-14 | (1.5918994692659076e-14 1.5918994692659076e-14) | +nan.0 | valid | exit | 0 | 0.12862 | #f |
| (71065.8119031173 6.1676387331885976e-83 1.7579148027586865e-248 4.708902149887663e-240) | 4.383082540991616e-78 | (4.383082540991616e-78 4.383082540991616e-78) | +nan.0 | valid | exit | 0 | 0.264047 | #f |
| (59940.90137665882 9.955091768934437e-232 8.590744455752707e-230 5.290500667954068e-18) | 3.171173787709824e-13 | (3.171173787709824e-13 3.171173787709824e-13) | +nan.0 | valid | exit | 0 | 0.12074399999999999 | #f |
| (94127.17928076023 1.639013199833701e-255 8.342232137285158e-216 5.2502747901035496e-24) | 4.941935564413326e-19 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (75392.05799342558 3.3546071106542317e-13 5.096031404367758e-304 1.2271958584248255e-36) | 2.5291073383160166e-8 | (2.5291073383160166e-8 2.5291073383160166e-8) | +nan.0 | valid | exit | 0 | 0.263227 | #f |
| (57109.0755006992 5.697111929181629e-200 5.550313889906687e-267 1.6068657640532762e-273) | 3.253567952995677e-195 | (3.253567952995677e-195 3.253567952995677e-195) | +nan.0 | valid | exit | 0 | 0.263091 | #f |
| (61948.334469976246 4.546793036795316e-29 4.19062807213989e-208 6.8464684030187406e-152) | 2.8166625580915523e-24 | (2.8166625580915523e-24 2.8166625580915523e-24) | +nan.0 | valid | exit | 0 | 0.268801 | #f |
| (65254.7242780889 5.130876083920969e-79 2.2643960186439955e-155 2.756752663386377e-223) | 3.3481390416130334e-74 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (59850.69379275698 1.6748153336556256e-140 3.234082663173997e-7 5.4262933376391874e-235) | 0.01935620911740909 | (0.01935620911740909 0.01935620911740909) | +nan.0 | valid | exit | 0 | 0.248526 | #f |
| (96336.95281430634 5.151833649354796e-187 2.6398739893463387e-156 1.4099452371074601e-67) | 1.3582982777797734e-62 | (1.3582982777797734e-62 1.3582982777797734e-62) | +nan.0 | valid | exit | 0 | 0.254616 | #f |
| (82318.21388014425 4.3682422746150534e-237 3.030690695296829e-141 6.0564726695179674e-142) | 2.9933684611687028e-136 | (2.9933684611687028e-136 2.9933684611687028e-136) | +nan.0 | valid | exit | 0 | 0.25777500000000003 | #f |
| (87281.15749701345 1.9847284819433466e-39 1.0019154242238972e-255 5.176899517070494e-208) | 1.7322939922130565e-34 | (1.7322939922130565e-34 1.7322939922130565e-34) | +nan.0 | valid | exit | 0 | 0.247269 | #f |
| (92207.12949468248 2.030732757634013e-13 7.337447567582625e-177 7.760640572582058e-215) | 1.872480383522531e-8 | (1.872480383522531e-8 1.872480383522531e-8) | +nan.0 | valid | exit | 0 | 0.250062 | #f |
| (73135.39947312418 2.044538818877476e-97 1.4613701594537108e-38 1.3364215688547336e-8) | 0.0009773972530269029 | (0.0009773972530269029 0.0009773972530269029) | +nan.0 | valid | exit | 0 | 0.25382699999999997 | #f |
| (59911.9325773361 7.74875945310894e-42 9.944240947219101e-8 5.547382172888227e-108) | 0.005957786931625756 | (0.005957786931625756 0.005957786931625756) | +nan.0 | valid | exit | 0 | 0.256083 | #f |
| (62061.394409295455 7.161058440813868e-121 9.708659214659381e-61 9.100269141530861e-111) | 6.025329287064165e-56 | (6.025329287064165e-56 6.025329287064165e-56) | +nan.0 | valid | exit | 0 | 0.24924799999999997 | #f |
| (67703.71461993738 2.5875527226471385e-16 1.3259064643301629e-243 1.7650280296789515e-50) | 1.7518693109814385e-11 | (1.7518693109814385e-11 1.7518693109814385e-11) | +nan.0 | valid | exit | 0 | 0.193894 | #f |
| (82132.43075027032 2.4906849911368823e-82 1.2529759884215804e-80 2.2026230282399158e-244) | 1.0495562372633983e-75 | (1.0495562372633983e-75 1.0495562372633983e-75) | +nan.0 | valid | exit | 0 | 0.25640599999999997 | #f |
| (85262.92535066132 1.4251850927605487e-101 4.1174945756606476e-255 5.86242228139609e-141) | 1.21515450174918e-96 | (1.21515450174918e-96 1.21515450174918e-96) | +nan.0 | valid | exit | 0 | 0.267975 | #f |
| (61863.21212504806 4.8460045543993874e-57 1.8673770478626314e-151 3.1462867793020814e-120) | 2.997894077077583e-52 | (2.997894077077583e-52 2.997894077077583e-52) | +nan.0 | valid | exit | 0 | 0.265991 | #f |
