| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (-2.4027047733177682e-166) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.156561 | #f |
| (-2.5746030018570557e-252) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.172099 | #f |
| (1.5323299437365497e+258) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.267675 | #f |
| (1.0089993383465799e-255) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.140114 | #f |
| (-2.1400265770599401e-103) | 0.5 | (0.0 1.1837008070228372e+186) | +nan.0 | valid | exit | 1 | 0.139864 | #f |
| (-2.4314479310731036e-139) | 0.5 | (0.0 9.169598712631584e+257) | +nan.0 | valid | exit | 1 | 0.137494 | #f |
| (1.4198757341669209e-142) | 0.5 | (0.0 2.688930660968908e+264) | +nan.0 | valid | exit | 1 | 0.128273 | #f |
| (4.8496189169261e+180) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.13047 | #f |
| (-4.877338171476296e-236) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.168194 | #f |
| (-2.3363709996246345e+154) | 2.915363205810826e-309 | (2.915363205810826e-309 2.915363205810826e-309) | +nan.0 | valid | exit | 0 | 0.207848 | #f |
| (-1.4151005248343277e+289) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.3461315818317617e-237) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.134143 | #f |
| (-8.937674729766724e+189) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.209781 | #f |
| (3.2442707922404366e-164) | 0.5 | (0.0 5.150460776850381e+307) | +nan.0 | valid | exit | 2 | 0.16145800000000002 | #f |
| (-1.2720520273893417e-198) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.155176 | #f |
| (7.105477812653783e-267) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.21074700000000002 | #f |
| (2.576840317161853e+169) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.173473 | #f |
| (-8.970628469250788e+221) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.221158 | #f |
| (3.598066777428608e+275) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.14769 | #f |
| (-2.055744363258704e+281) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.223107 | #f |
| (2.7347142006706667e-112) | 0.5 | (0.0 7.248637572959077e+203) | +nan.0 | valid | exit | 1 | 0.132433 | #f |
| (-6.522534932647992e+141) | 3.988848344791627e-284 | (3.988848344791627e-284 3.988848344791627e-284) | +nan.0 | valid | exit | 0 | 0.204928 | #f |
| (-7.579757173330355e-55) | 0.5 | (0.0 9.435603701664635e+88) | +nan.0 | valid | exit | 1 | 0.12807500000000002 | #f |
| (2.6234443294872722) | 0.2715217686225347 | (0.2715217686225347 0.2715217686225347) | +nan.0 | valid | exit | 0 | 0.13828700000000002 | #f |
| (-2.6996443964006343e-305) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.09464800000000001 | #f |
| (-1.4916036302925007e-223) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.281926 | #f |
| (-8.271408526041154e+161) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.232514 | #f |
| (5.507217967260169e+250) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.232533 | #f |
| (-5.798405724923611e-292) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.14159400000000003 | #f |
| (-2.260655152653309e+240) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.229815 | #f |
| (2.202028753649025e-70) | 0.5 | (0.0 1.1179807000675992e+120) | +nan.0 | valid | exit | 1 | 0.080129 | #f |
| (-4.539729713180697e-272) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.084153 | #f |
| (5.199960610115882e-203) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.082621 | #f |
| (1.9535253655774852e-104) | 0.5 | (0.0 1.4205030420177942e+188) | +nan.0 | valid | exit | 1 | 0.08383499999999999 | #f |
| (2.7695066323576825e+222) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.13179000000000002 | #f |
| (-8.451106241269274e-300) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.181866 | #f |
| (8.255030489792492e+200) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-3.720685731019113e+149) | 1.2139929016108134e-299 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.1650246803824978e+61) | 1.448722764888992e-122 | (1.448722764888992e-122 1.448722764888992e-122) | +nan.0 | valid | exit | 0 | 0.109039 | #f |
| (-1.8292509990624755e+279) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.311363 | #f |
| (-2.2256566371417844e-73) | 0.5 | (0.0 1.0943694189144305e+126) | +nan.0 | valid | exit | 1 | 0.152684 | #f |
| (5.693384775765079e-165) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.155356 | #f |
| (1.8475720947200462e-104) | 0.5 | (0.0 1.5880986962453887e+188) | +nan.0 | valid | exit | 1 | 0.150531 | #f |
| (4.0651156181466185e-5) | 0.49999999993114513 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (-5.1630815008630444e-148) | 0.5 | (0.0 2.0335849370038062e+275) | +nan.0 | valid | exit | 1 | 0.156878 | #f |
| (-2.316329680465842e-280) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.186825 | #f |
| (4.1730696981012666e+152) | 3.5195103048712323e-306 | (3.5195103048712323e-306 3.5195103048712323e-306) | +nan.0 | valid | exit | 0 | 0.188478 | #f |
| (-8.429446983228997e+199) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.23120700000000002 | #f |
| (1.0867902687858707e+236) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.141837 | #f |
| (1.029963139816664e+209) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.134045 | #f |
| (-9.52608059471856e-117) | 0.5 | (0.0 5.9738150750264055e+212) | +nan.0 | valid | exit | 1 | 0.083898 | #f |
| (2.2130541017640473e-231) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.13239499999999998 | #f |
| (-2.248091587898497e+72) | 3.237537274858822e-145 | (3.237537274858822e-145 3.237537274858822e-145) | +nan.0 | valid | exit | 0 | 0.20387899999999998 | #f |
| (-8.57191661576707e-112) | 0.5 | (0.0 7.3777579373539855e+202) | +nan.0 | valid | exit | 1 | 0.08484 | #f |
| (-1.2029627095535825e-74) | 0.5 | (0.0 3.746070510696205e+128) | +nan.0 | valid | exit | 1 | 0.129995 | #f |
| (1.6955969632340096e-262) | 0.5 | (0.0 +inf.0) | +nan.0 | valid | exit | 2 | 0.166142 | #f |
| (-2.3739189765945102e+131) | 3.69817235662001e-266 | (3.69817235662001e-266 3.69817235662001e-266) | +nan.0 | valid | exit | 0 | 0.18436 | #f |
| (-2.3041480218276493e-55) | 0.5 | (0.0 1.021079428876705e+90) | +nan.0 | valid | exit | 1 | 0.134473 | #f |
| (2.625328973642084e-54) | 0.5 | (0.0 7.865255125556759e+87) | +nan.0 | valid | exit | 1 | 0.121772 | #f |
| (-9.659169428245687e+100) | 1.6390638049822518e-202 | (1.6390638049822518e-202 1.6390638049822518e-202) | +nan.0 | valid | exit | 0 | 0.22664800000000002 | #f |
| (1.1955886605792827e-74) | 0.5 | (0.0 3.792422397235022e+128) | +nan.0 | valid | exit | 1 | 0.137057 | #f |