| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (6.4228302392113195 4.782061144993635e-50) | 41.252748281727335 | (41.252748281727335 41.252748281727335) | +nan.0 | valid | exit | 0 | 0.167181 | #f |
| (7.160574471039035 2.71992329707944e-249) | 51.27382675529596 | (51.27382675529596 51.27382675529596) | +nan.0 | valid | exit | 0 | 0.172349 | #f |
| (9.40849452131445 6.3977112170058104e-177) | 88.51976915760403 | (88.51976915760403 88.51976915760403) | +nan.0 | valid | exit | 0 | 0.20658100000000001 | #f |
| (6.79355991147332 2.1324766014416337e-273) | 46.152456270777385 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (5.441377401831769 3.756360570305347e-86) | 29.608588029165453 | (29.608588029165453 29.608588029165453) | +nan.0 | valid | exit | 0 | 0.130521 | #f |
| (6.7329480701093924 2.1543350600342837e-92) | 45.33258971478979 | (45.33258971478979 45.33258971478979) | +nan.0 | valid | exit | 0 | 0.176165 | #f |
| (6.95412783536329 7.160799056137583e-195) | 48.359893950574524 | (48.359893950574524 48.359893950574524) | +nan.0 | valid | exit | 0 | 0.169958 | #f |
| (8.525101394570179 1.031762793603226e-246) | 72.6773537877024 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (8.026320014794956 5.146574157408172e-226) | 64.4218129798981 | (64.4218129798981 64.4218129798981) | +nan.0 | valid | exit | 0 | 0.130275 | #f |
| (6.4550917835940185 2.148082661464025e-24) | 41.66820993462301 | (41.66820993462301 41.66820993462301) | +nan.0 | valid | exit | 0 | 0.176657 | #f |
| (6.796346992289085 4.875484256631279e-238) | 46.190332439596894 | (46.190332439596894 46.190332439596894) | +nan.0 | valid | exit | 0 | 0.169326 | #f |
| (5.006451800796404 3.857725272602964e-65) | 25.064559633697552 | (25.064559633697552 25.064559633697552) | +nan.0 | valid | exit | 0 | 0.170501 | #f |
| (6.142336900748695 1.0143278201306552e-172) | 37.72830260229909 | (37.72830260229909 37.72830260229909) | +nan.0 | valid | exit | 0 | 0.167823 | #f |
| (8.150535029854117 4.083240874191553e-163) | 66.43122127287906 | (66.43122127287906 66.43122127287906) | +nan.0 | valid | exit | 0 | 0.088688 | #f |
| (9.564933417019482 2.8172545269784538e-37) | 91.48795127201598 | (91.48795127201598 91.48795127201598) | +nan.0 | valid | exit | 0 | 0.175265 | #f |
| (7.820114651240931 4.1847457132627803e-38) | 61.15419315855306 | (61.15419315855306 61.15419315855306) | +nan.0 | valid | exit | 0 | 0.166571 | #f |
| (5.626635440966225 4.401249946240897e-134) | 31.65902638553718 | (31.65902638553718 31.65902638553718) | +nan.0 | valid | exit | 0 | 0.18109 | #f |
| (6.330031741163 2.618601586765722e-223) | 40.06930184413108 | (40.06930184413108 40.06930184413108) | +nan.0 | valid | exit | 0 | 0.078763 | #f |
| (5.0598117557861935 2.448813655790527e-8) | 25.601695251802884 | (25.601695251802884 25.601695251802884) | +nan.0 | valid | exit | 0 | 0.137375 | #f |
| (6.511038568518003 6.17074427871972e-60) | 42.39362324072896 | (42.39362324072896 42.39362324072897) | 42.39362324072897 | valid | valid | 0 | 0.074707 | #f |
| (9.083846403788542 2.704762422469098e-87) | 82.51626548762202 | (82.51626548762202 82.51626548762202) | +nan.0 | valid | exit | 0 | 0.178565 | #f |
| (5.61943528796444 2.185643423908682e-167) | 31.578052955619988 | (31.578052955619988 31.578052955619988) | +nan.0 | valid | exit | 0 | 0.178075 | #f |
| (8.354941609623278 1.2141973666922832e-195) | 69.80504930021442 | (69.80504930021442 69.80504930021442) | +nan.0 | valid | exit | 0 | 0.23022 | #f |
| (5.7915259729986825 1.3285989228525811e-15) | 33.54177309591835 | (33.54177309591835 33.54177309591835) | +nan.0 | valid | exit | 0 | 0.177212 | #f |
| (9.423499640413196 1.536762958062249e-204) | 88.80234547286763 | (88.80234547286763 88.80234547286763) | +nan.0 | valid | exit | 0 | 0.206135 | #f |
