| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (4.960298502563126e-229) | 4.960298502563126e-229 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.11734499999999999 | #f |
| (2.2284485268529227e-187) | 2.2284485268529227e-187 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.110121 | #f |
| (4.207061826270044e-164) | 4.207061826270044e-164 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.101809 | #f |
| (-2.6545662400269117e-133) | -2.6545662400269117e-133 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.09720100000000001 | #f |
| (-3.9175185466021185e-271) | -3.9175185466021185e-271 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.147832 | #f |
| (4.725555628602376e-76) | 4.725555628602376e-76 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.067496 | #f |
| (-4.770383932950416e-11) | -4.7703839328366334e-11 | (-4.770383935960576e-11 -4.770383930539565e-11) | +nan.0 | valid | exit | 1 | 0.12103399999999999 | #f |
| (3.9902500155133005e-19) | 3.9902500155133005e-19 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (-3.189041907173532e-150) | -3.189041907173532e-150 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.107244 | #f |
| (4.229453362069854e-57) | 4.229453362069854e-57 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.118579 | #f |
| (2.36515755290791e-211) | 2.36515755290791e-211 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.067014 | #f |
| (1.252570389407789e-133) | 1.252570389407789e-133 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.116654 | #f |
| (-1.703887370988797e-142) | -1.703887370988797e-142 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.128966 | #f |
| (1.6911066030888784e-84) | 1.6911066030888784e-84 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.11227 | #f |
| (3.0418026537869834e-213) | 3.0418026537869834e-213 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.12397 | #f |
| (-8.712835990589312e-132) | -8.712835990589312e-132 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.11849 | #f |
| (-0.009100944436093415) | -0.009059656190225956 | (-0.009059656190225956 -0.009059656190225956) | +nan.0 | valid | exit | 0 | 0.114 | #f |
| (-4.131902494100238e-134) | -4.131902494100238e-134 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.102884 | #f |
| (2.41999694356848e-206) | 2.41999694356848e-206 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (2.5307160622885996e-44) | 2.5307160622885996e-44 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.079975 | #f |
| (2.9396309868498334e-94) | 2.9396309868498334e-94 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.114579 | #f |
| (-2.1754203359839355e-61) | -2.1754203359839355e-61 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.123421 | #f |
| (4.039079063668426e-181) | 4.039079063668426e-181 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.08566 | #f |
| (6.536954882360279e-118) | 6.536954882360279e-118 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.17246699999999998 | #f |
| (2.965199868536341e-126) | 2.965199868536341e-126 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (8.251894915022167e-223) | 8.251894915022167e-223 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.067547 | #f |
| (2.627411056009313e-189) | 2.627411056009313e-189 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.06510200000000001 | #f |
| (-4.448807070348281e-44) | -4.448807070348281e-44 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.12926300000000002 | #f |
| (-3.5314147570944025e-111) | -3.5314147570944025e-111 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.07046999999999999 | #f |
| (-4.213458297310286e-130) | -4.213458297310286e-130 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.070716 | #f |
| (-4.512692277903053e-285) | -4.512692277903053e-285 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.10557599999999999 | #f |
| (-1.3353867502937923e-192) | -1.3353867502937923e-192 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (-4.979895659600543e-281) | -4.979895659600543e-281 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.070508 | #f |
| (-5.612301094320036e-163) | -5.612301094320036e-163 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.13022199999999998 | #f |
| (-3.797543181942843e-208) | -3.797543181942843e-208 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.116739 | #f |
| (-3.8848220753151754e-219) | -3.8848220753151754e-219 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.121502 | #f |
| (-3.488782837710828e-14) | -3.4887828377107676e-14 | (-3.488783697699893e-14 -3.488778276689031e-14) | +nan.0 | valid | exit | 1 | 0.156892 | #f |
| (-1.3129957927244834e-44) | -1.3129957927244834e-44 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.13005699999999998 | #f |
| (2.9723475577841524e-175) | 2.9723475577841524e-175 | (0.0 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.117967 | #f |
| (-1.5265830040646977e-91) | -1.5265830040646977e-91 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.120596 | #f |
| (-5.1207166403196895e-96) | -5.1207166403196895e-96 | (-5.421010862427522e-20 0.0) | +nan.0 | valid | exit | 1 | 0.07091499999999999 | #f |
