| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (2459.7173907465) | 1.6521633272034805e-7 | (1.652163327202881e-7 1.6521633272050494e-7) | +nan.0 | valid | exit | 0 | 0.074843 | #f |
| (2.1962934096178536e+45) | 2.0730953772381409e-91 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.07249799999999999 | #f |
| (3.258278946905473e+77) | 9.41940511041673e-156 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.076909 | #f |
| (3.932531536452427e+50) | 6.466295864846294e-102 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 5.0 | #f |
| (6.954046995832272e+98) | 2.067877259601291e-198 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.074723 | #f |
| (1.5211632277462298e+88) | 4.321637778531337e-177 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.08542799999999999 | #f |
| (1339.3753269639901) | 5.570203203873043e-7 | (5.570203203871795e-7 5.570203203873964e-7) | +nan.0 | valid | exit | 0 | 0.087606 | #f |
| (7.287776074714454e+27) | 1.8828250167032078e-56 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.124465 | #f |
| (4.7381225619379874e+79) | 4.4543815932938495e-160 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.08105799999999999 | #f |
| (2.779845801688475e+64) | 1.2940724383669598e-129 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.07593 | #f |
| (61981653553490485000.0) | 2.6029970958578842e-40 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.160199 | #f |
| (4.46168519666931e+59) | 5.023450775780858e-120 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.139231 | #f |
| (8.584225554828065e+72) | 1.3570559676146393e-146 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.075496 | #f |
| (6.313057943378162e+99) | 2.5091143203546505e-200 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.16766999999999999 | #f |
| (2.8019267813739536e+84) | 1.2737565649005697e-169 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.12768600000000002 | #f |
| (4.0249486946049257e+43) | 6.172758729070354e-88 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.14097200000000001 | #f |
| (2.4908238751823865e+87) | 1.6118104242716614e-175 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.07669 | #f |
| (1.6156881473828717e+69) | 3.830759805869665e-139 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.075748 | #f |
| (7.192865115778208e+61) | 1.9328411692965593e-124 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.164797 | #f |
| (180643005789027230.0) | 3.064486397239936e-35 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.083682 | #f |
| (1.2938840782220222e+89) | 5.973230342667584e-179 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.158703 | #f |
| (6.030258881541374e+42) | 2.7499708230674124e-86 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.08661999999999999 | #f |
| (4.04608423707434e+31) | 6.108437848696496e-64 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.0857 | #f |
| (4.62686199309598e+55) | 4.671183286038019e-112 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.13072499999999998 | #f |
| (5.163032400501421e+82) | 3.7513734384998146e-166 | (-1.0842021724855044e-19 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.13889300000000002 | #f |
