| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (8.741843594072579e-51) | 3.820991471161389e-101 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13174 | #f |
| (-3.1493692019775336e-219) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.070063 | #f |
| (-9.408876686295511e-61) | 4.4263480248957605e-121 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13415200000000002 | #f |
| (-4.4624144596408263e-296) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.093327 | #f |
| (1.773912661545769e-257) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.132176 | #f |
| (-2.931419808215186e-191) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13526400000000002 | #f |
| (5.629553136860151e-201) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.073477 | #f |
| (1.7674151309525849e-168) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.12843300000000002 | #f |
| (2.6032106996938558e-132) | 3.388352973500287e-264 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.064248 | #f |
| (-4.9722891180773084e-253) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.134613 | #f |
| (9.159901255023456e-289) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13866099999999998 | #f |
| (5.109226814430423e-261) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.150127 | #f |
| (1.2979284715928923e-266) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13299699999999998 | #f |
| (3.334581035823542e-254) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.133183 | #f |
| (-6.850180004688287e-284) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.075448 | #f |
| (1.1192284564017638e-204) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.132461 | #f |
| (-2.6294099059817915e-113) | 3.456898226837587e-226 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.12293499999999999 | #f |
| (2.6155847003301593e-159) | 3.420644e-318 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.137965 | #f |
| (6.021836789843962e-87) | 1.8131259161759113e-173 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.071298 | #f |
| (4.1998644030830035e-287) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.125258 | #f |
| (-8.795490622578112e-269) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.127274 | #f |
| (-4.627706078243044e-90) | 1.0707831773303806e-179 | (0.0 5.421010862427522e-20) | 1.070783177330381e-179 | valid | valid | 1 | 0.122514 | #f |
| (4.3871069552653926e-209) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.132174 | #f |
| (6.136534267717958e-279) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.114218 | #f |
| (3.464791021319129e-218) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.111456 | #f |
| (-2.0526073899887925e-17) | 2.1065985487183013e-34 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.06545699999999999 | #f |
| (2.0185367941710797e-299) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.105463 | #f |
| (6.663421607480722e-243) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.07313599999999999 | #f |
| (1.941201915016436e-35) | 1.884132437431739e-70 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.073964 | #f |
| (5.789146001152089e-284) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.107904 | #f |
| (4.027419393164757e-222) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.134096 | #f |
| (-1.340605019039333e-85) | 8.986109085367251e-171 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.12692 | #f |
| (4.8306025974620436e-245) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.165649 | #f |
| (-2.101659596269566e-146) | 2.208486529295978e-292 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.118905 | #f |
| (-1.092948231597483e-22) | 5.972679184760326e-45 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.06515599999999999 | #f |
| (2.754072234392288e-302) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.135875 | #f |
| (-2.7690379368102264e-211) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13169399999999998 | #f |
| (-5.4320957458303585e-105) | 1.4753832095934138e-209 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.06546 | #f |
| (2.8536447594525935e-210) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.130124 | #f |
| (-5.207868488520143e-290) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.151381 | #f |
| (-6.19751559822777e-156) | 1.920459979514e-311 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.130801 | #f |
| (-2.5823387170191258e-219) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13163000000000002 | #f |
| (-3.765979680504707e-294) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.172299 | #f |
| (1.3095442298802987e-26) | 8.574530450063924e-53 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.147851 | #f |
| (-4.184471514624236e-125) | 8.754900928350824e-250 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.132611 | #f |
| (9.490884443195943e-105) | 4.503844375704938e-209 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.071804 | #f |
| (7.529132246854853e-254) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.07313700000000001 | #f |
| (1.0588791596435444e-72) | 5.6061253736370934e-145 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.072255 | #f |
| (-6.433954191306387e-304) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.15003 | #f |
| (1.6545513542927307e-177) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.10556499999999999 | #f |
| (-3.3921561099151343e-187) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.108394 | #f |
| (1.5711368231831376e-202) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.07263700000000001 | #f |
| (6.963904543958772e-11) | 2.4247983248684815e-21 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.070219 | #f |
| (-1.7429324427658228e-289) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.133525 | #f |
| (-7.470293675560416e-201) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.074469 | #f |
| (3.0755485650342603e-279) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.152069 | #f |
| (-3.980749084837155e-212) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.063705 | #f |
| (-5.701796683295484e-296) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.089715 | #f |
| (2.6720554026339903e-153) | 3.569940037372748e-306 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.070035 | #f |
| (-1.003834652421197e-294) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.143549 | #f |
| (-4.265198206409997e-285) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.131106 | #f |
| (5.787787020025393e-283) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.147763 | #f |
| (-7.926653076826778e-248) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.111753 | #f |
| (1.1310634428188389e-274) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.07607699999999999 | #f |
| (-1.0464495704321998e-252) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13483599999999998 | #f |
| (1.0133155205596122e-280) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.13255799999999998 | #f |
| (5.206618298025449e-231) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.10892099999999999 | #f |
| (1.7521536917155642e-187) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.10266499999999999 | #f |
| (-1.642240251813484e-21) | 1.3484765223382077e-42 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.163644 | #f |
| (-2.685302872353258e-241) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.126471 | #f |
| (1.1235746187218632e-299) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.07522899999999999 | #f |
| (1.9052112292054042e-136) | 1.8149149139451837e-272 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.129916 | #f |
| (6.804174891606374e-148) | 2.3148397977783306e-295 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.137219 | #f |
| (-8.211519123595765e-70) | 3.371452315858948e-139 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.109153 | #f |
| (-1.2014505967352347e-150) | 7.217417681977258e-301 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.137869 | #f |
| (1.3083230623302837e-297) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.12670499999999998 | #f |
| (9.453531253156073e-302) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.137563 | #f |
| (1.572866299456827e-276) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.145167 | #f |
| (-3.926846693297201e-127) | 7.71006247632958e-254 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.073947 | #f |
| (2.292669632430161e-193) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.075423 | #f |
| (5.492384499501878e-255) | -0.0 | (0.0 5.421010862427522e-20) | +nan.0 | valid | exit | 1 | 0.133481 | #f |
