| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (2.2365483247056814e-54) | 2.2365483247056814e-54 | (2.2365483247056814e-54 2.2365483247056814e-54) | +nan.0 | valid | exit | 0 | 0.122881 | #f |
| (9.330483748327877e-85) | 9.330483748327877e-85 | (9.330483748327877e-85 9.330483748327877e-85) | +nan.0 | valid | exit | 0 | 0.116676 | #f |
| (1.648652322004918e-247) | 1.648652322004918e-247 | (1.648652322004918e-247 1.648652322004918e-247) | +nan.0 | valid | exit | 0 | 0.129112 | #f |
| (3.931144211840846e-218) | 3.931144211840846e-218 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (8.487194560408084e-29) | 8.487194560408084e-29 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (4.0247283394492313e-280) | 4.0247283394492313e-280 | (4.0247283394492313e-280 4.0247283394492313e-280) | +nan.0 | valid | exit | 0 | 0.08032600000000001 | #f |
| (3.94448634240615e-236) | 3.94448634240615e-236 | (3.94448634240615e-236 3.94448634240615e-236) | +nan.0 | valid | exit | 0 | 0.072952 | #f |
| (1.9860334512542124e-96) | 1.9860334512542124e-96 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (2.546284372317508e-181) | 2.546284372317508e-181 | (2.546284372317508e-181 2.546284372317508e-181) | +nan.0 | valid | exit | 0 | 0.137605 | #f |
| (7.52683410228254e-159) | 7.52683410228254e-159 | (7.52683410228254e-159 7.52683410228254e-159) | +nan.0 | valid | exit | 0 | 0.148274 | #f |
| (1.5484981979740824e-292) | 1.5484981979740824e-292 | (1.5484981979740824e-292 1.5484981979740824e-292) | +nan.0 | valid | exit | 0 | 0.135678 | #f |
| (1.2014051752785762e-215) | 1.2014051752785762e-215 | (1.2014051752785762e-215 1.2014051752785762e-215) | +nan.0 | valid | exit | 0 | 0.160571 | #f |
| (4.1444553253175375e-141) | 4.1444553253175375e-141 | (4.1444553253175375e-141 4.1444553253175375e-141) | +nan.0 | valid | exit | 0 | 0.127283 | #f |
| (3.116957134832162e-189) | 3.116957134832162e-189 | (3.116957134832162e-189 3.116957134832162e-189) | +nan.0 | valid | exit | 0 | 0.134448 | #f |
| (4.5486709937545986e-79) | 4.5486709937545986e-79 | (4.5486709937545986e-79 4.5486709937545986e-79) | +nan.0 | valid | exit | 0 | 0.15346700000000002 | #f |
| (2.4988522550771308e-241) | 2.4988522550771308e-241 | (2.4988522550771308e-241 2.4988522550771308e-241) | +nan.0 | valid | exit | 0 | 0.121522 | #f |
| (1.0652668277409751e-99) | 1.0652668277409751e-99 | (1.0652668277409751e-99 1.0652668277409751e-99) | +nan.0 | valid | exit | 0 | 0.120909 | #f |
| (1.1234738000494785e-250) | 1.1234738000494785e-250 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (8.45029039876508e-117) | 8.45029039876508e-117 | (8.45029039876508e-117 8.45029039876508e-117) | +nan.0 | valid | exit | 0 | 0.149011 | #f |
| (5.548149714997568e-190) | 5.548149714997568e-190 | (5.548149714997568e-190 5.548149714997568e-190) | +nan.0 | valid | exit | 0 | 0.18153 | #f |
| (6.518114162938233e-18) | 6.518114162938233e-18 | (6.518114162938233e-18 6.518114162938233e-18) | +nan.0 | valid | exit | 0 | 0.06436499999999999 | #f |
| (1.467293223761403e-226) | 1.467293223761403e-226 | (1.467293223761403e-226 1.467293223761403e-226) | +nan.0 | valid | exit | 0 | 0.075961 | #f |
| (3.2644832337182644e-50) | 3.2644832337182644e-50 | (3.2644832337182644e-50 3.2644832337182644e-50) | +nan.0 | valid | exit | 0 | 0.158898 | #f |
| (1.1731042968670532e-237) | 1.1731042968670532e-237 | (1.1731042968670532e-237 1.1731042968670532e-237) | +nan.0 | valid | exit | 0 | 0.165267 | #f |
| (9.229508980589967e-7) | 9.229517498973568e-7 | (9.229517498973568e-7 9.229517498973568e-7) | +nan.0 | valid | exit | 0 | 0.113145 | #f |
| (1.3852238004522482e-154) | 1.3852238004522482e-154 | (1.3852238004522482e-154 1.3852238004522482e-154) | +nan.0 | valid | exit | 0 | 0.09155 | #f |
| (9.070744002348258e-163) | 9.070744002348258e-163 | (9.070744002348258e-163 9.070744002348258e-163) | +nan.0 | valid | exit | 0 | 0.216782 | #f |
| (1.1738907688173832e-33) | 1.1738907688173832e-33 | (1.1738907688173832e-33 1.1738907688173832e-33) | +nan.0 | valid | exit | 0 | 0.11648 | #f |
| (3.632261906249029e-20) | 3.632261906249029e-20 | (3.632261906249029e-20 3.632261906249029e-20) | +nan.0 | valid | exit | 0 | 0.116081 | #f |
| (1.0941279362783733e-271) | 1.0941279362783733e-271 | (1.0941279362783733e-271 1.0941279362783733e-271) | +nan.0 | valid | exit | 0 | 0.16265100000000002 | #f |
| (1.9418083916514206e-257) | 1.9418083916514206e-257 | (1.9418083916514206e-257 1.9418083916514206e-257) | +nan.0 | valid | exit | 0 | 0.12595099999999998 | #f |
| (1.4590994714689254e-193) | 1.4590994714689254e-193 | (1.4590994714689254e-193 1.4590994714689254e-193) | +nan.0 | valid | exit | 0 | 0.132616 | #f |
| (1.073458377353531e-295) | 1.073458377353531e-295 | (1.073458377353531e-295 1.073458377353531e-295) | +nan.0 | valid | exit | 0 | 0.130098 | #f |
| (5.877248117701125e-16) | 5.877248117701129e-16 | (5.877248117701129e-16 5.877248117701129e-16) | +nan.0 | valid | exit | 0 | 0.11845699999999999 | #f |
| (6.719902294328996e-95) | 6.719902294328996e-95 | (6.719902294328996e-95 6.719902294328996e-95) | +nan.0 | valid | exit | 0 | 0.156411 | #f |
| (7.087146013726404e-259) | 7.087146013726404e-259 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (4.8494578255582026e-262) | 4.8494578255582026e-262 | (4.8494578255582026e-262 4.8494578255582026e-262) | +nan.0 | valid | exit | 0 | 0.17165 | #f |
| (1.9337303830059246e-55) | 1.9337303830059246e-55 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
