| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (1.0124048459603998e-227) | -1.0124048459603998e-227 | (-1.0124048459603998e-227 -1.0124048459603998e-227) | +nan.0 | valid | exit | 0 | 0.078995 | #f |
| (1.6234688156321855e-230) | -1.6234688156321855e-230 | (-1.6234688156321855e-230 -1.6234688156321855e-230) | +nan.0 | valid | exit | 0 | 0.08234 | #f |
| (8.34380408815978e-263) | -8.34380408815978e-263 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.1674076634342206e-58) | 1.1674076634342206e-58 | (1.1674076634342206e-58 1.1674076634342206e-58) | +nan.0 | valid | exit | 0 | 0.175966 | #f |
| (2.1700746155280155e+167) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.13747499999999999 | #f |
| (-17747146975574382.0) | 3.1496122577263897e+32 | (3.1496122577263897e+32 3.1496122577263897e+32) | +nan.0 | valid | exit | 0 | 0.030978000000000002 | #f |
| (-1.8976931838292173e-98) | 1.8976931838292173e-98 | (1.8976931838292173e-98 1.8976931838292173e-98) | +nan.0 | valid | exit | 0 | 0.07527800000000001 | #f |
| (-4.0075636555580416e-277) | 4.0075636555580416e-277 | (4.0075636555580416e-277 4.0075636555580416e-277) | +nan.0 | valid | exit | 0 | 0.174027 | #f |
| (-2.057035024218875e-272) | 2.057035024218875e-272 | (2.057035024218875e-272 2.057035024218875e-272) | +nan.0 | valid | exit | 0 | 0.16333799999999998 | #f |
| (2.3189765879288335e+255) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.092619 | #f |
| (3.6531136964430806e-173) | -3.6531136964430806e-173 | (-3.6531136964430806e-173 -3.6531136964430806e-173) | +nan.0 | valid | exit | 0 | 0.180813 | #f |
| (3.3799065021027003e-199) | -3.3799065021027003e-199 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-2.1158425578481693e+192) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.08667599999999999 | #f |
| (2.7500377196602466e+239) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.21984 | #f |
| (6.178979596633691e-216) | -6.178979596633691e-216 | (-6.178979596633691e-216 -6.178979596633691e-216) | +nan.0 | valid | exit | 0 | 0.15265299999999998 | #f |
| (-2.1193568706126132e+56) | 4.4916735450128894e+112 | (4.4916735450128894e+112 4.4916735450128894e+112) | +nan.0 | valid | exit | 0 | 0.09063199999999999 | #f |
| (-3.36134881965032e-294) | 3.36134881965032e-294 | (3.36134881965032e-294 3.36134881965032e-294) | +nan.0 | valid | exit | 0 | 0.091405 | #f |
| (-1.7992557499160545e-66) | 1.7992557499160545e-66 | (1.7992557499160545e-66 1.7992557499160545e-66) | +nan.0 | valid | exit | 0 | 0.157947 | #f |
| (1.4660391998700339e+287) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.21477000000000002 | #f |
| (6.518420874377619e+192) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.18346200000000001 | #f |
| (9.491171516112238e+265) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.09915 | #f |
| (-5.76494312524994e+296) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (3.3009515702969385e-156) | -3.3009515702969385e-156 | (-3.3009515702969385e-156 -3.3009515702969385e-156) | +nan.0 | valid | exit | 0 | 0.07947499999999999 | #f |
| (-2.9254579872905178e+87) | 8.558304435401888e+174 | (8.558304435401888e+174 8.558304435401888e+174) | +nan.0 | valid | exit | 0 | 0.096269 | #f |
| (2.832058460982377e-50) | -2.832058460982377e-50 | (-2.832058460982377e-50 -2.832058460982377e-50) | +nan.0 | valid | exit | 0 | 0.08269900000000001 | #f |
| (-7.112920884586161e-54) | 7.112920884586161e-54 | (7.112920884586161e-54 7.112920884586161e-54) | +nan.0 | valid | exit | 0 | 0.08634199999999999 | #f |
| (-1.1452776675065003e-100) | 1.1452776675065003e-100 | (1.1452776675065003e-100 1.1452776675065003e-100) | +nan.0 | valid | exit | 0 | 0.171479 | #f |
| (-9.645901063975868e+80) | 9.304340733601079e+161 | (9.304340733601079e+161 9.304340733601079e+161) | +nan.0 | valid | exit | 0 | 0.141146 | #f |
| (-8.504226230521642e-84) | 8.504226230521642e-84 | (8.504226230521642e-84 8.504226230521642e-84) | +nan.0 | valid | exit | 0 | 0.07447 | #f |
| (-4.495934573808758e-43) | 4.495934573808758e-43 | (4.495934573808758e-43 4.495934573808758e-43) | +nan.0 | valid | exit | 0 | 0.084943 | #f |
| (-6.595649104907139e-57) | 6.595649104907139e-57 | (6.595649104907139e-57 6.595649104907139e-57) | +nan.0 | valid | exit | 0 | 0.094614 | #f |
| (1.2782891631680163e-172) | -1.2782891631680163e-172 | (-1.2782891631680163e-172 -1.2782891631680163e-172) | +nan.0 | valid | exit | 0 | 0.211132 | #f |
| (2.7969779038585296e-138) | -2.7969779038585296e-138 | (-2.7969779038585296e-138 -2.7969779038585296e-138) | +nan.0 | valid | exit | 0 | 0.080016 | #f |
| (-2.3126333265449567e+278) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.099758 | #f |
| (-2.98955493169353e-94) | 2.98955493169353e-94 | (2.98955493169353e-94 2.98955493169353e-94) | +nan.0 | valid | exit | 0 | 0.08145999999999999 | #f |
| (4.143959904810004e-233) | -4.143959904810004e-233 | (-4.143959904810004e-233 -4.143959904810004e-233) | +nan.0 | valid | exit | 0 | 0.152495 | #f |
| (-2.1626347172522117e+25) | 4.676988920264554e+50 | (4.676988920264554e+50 4.676988920264554e+50) | +nan.0 | valid | exit | 0 | 0.15854500000000002 | #f |
| (2.3912395666985627e+207) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-1.433298709564086e+72) | 2.0543451908380742e+144 | (2.0543451908380742e+144 2.0543451908380742e+144) | +nan.0 | valid | exit | 0 | 0.166656 | #f |
| (8.657505033093292e+233) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.849855840024402e+233) | +inf.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.6379726769560727e+81) | 2.6829544904546427e+162 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (-6.13273720528449e+123) | 3.7610465629080616e+247 | (3.7610465629080616e+247 3.7610465629080616e+247) | +nan.0 | valid | exit | 0 | 0.177449 | #f |
| (-1.7724431530926575e-270) | 1.7724431530926575e-270 | (1.7724431530926575e-270 1.7724431530926575e-270) | +nan.0 | valid | exit | 0 | 0.192231 | #f |
| (-5.567881923953786e-221) | 5.567881923953786e-221 | (5.567881923953786e-221 5.567881923953786e-221) | +nan.0 | valid | exit | 0 | 0.158051 | #f |
| (-2.5633366636505643e+120) | 6.570694851215206e+240 | (6.570694851215206e+240 6.570694851215206e+240) | +nan.0 | valid | exit | 0 | 0.126415 | #f |
| (3.114493315916514e-126) | -3.114493315916514e-126 | (-3.114493315916514e-126 -3.114493315916514e-126) | +nan.0 | valid | exit | 0 | 0.222459 | #f |
