| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (-1.6034811071089247e-303) | -1.6034811071089247e-303 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.182484 | #f |
| (-1.593016206218973e+155) | -358.05946579890866 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.061176 | #f |
| (-9.325922340487101e-234) | -9.325922340487101e-234 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.209952 | #f |
| (3.696243000185899e-296) | 3.696243000185899e-296 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.16981 | #f |
| (8.75945503910082e-282) | 8.75945503910082e-282 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.16377899999999998 | #f |
| (-4.2698708210371474e-256) | -4.2698708210371474e-256 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.19508199999999998 | #f |
| (7.988814524211616e-120) | 7.988814524211616e-120 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 1 | 0.154393 | #f |
| (4.8797104171220866e-198) | 4.8797104171220866e-198 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.116241 | #f |
| (-2.6402203355566407e-191) | -2.6402203355566407e-191 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.213265 | #f |
| (-1.0969568353308852e-288) | -1.0969568353308852e-288 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.144442 | #f |
| (1.1153654361937272e-154) | 1.1153654361937272e-154 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 1 | 0.14770000000000003 | #f |
| (-3.0571963436623964e+269) | -621.2060354643681 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.09759699999999999 | #f |
| (5.673521615512617e-121) | 5.673521615512617e-121 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 1 | 0.145194 | #f |
| (-2.9211119681383867e-248) | -2.9211119681383867e-248 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 5.0 | #f |
| (-7.282622796544367e+245) | -566.8119860356771 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 5.0 | #f |
| (6.833950866174563e-204) | 6.833950866174563e-204 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.180399 | #f |
| (-4.797868031191047e+154) | -356.8594231607199 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.108644 | #f |
| (1.5564746613443014e+133) | 307.37938798028307 | (307.37938798028307 307.37938798028307) | +nan.0 | valid | exit | 0 | 0.142207 | #f |
| (-3.8933818195909585e+99) | -230.00834952928696 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.093034 | #f |
| (-2.4334653849890884e+260) | -600.2545876848294 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.09646500000000001 | #f |
| (-2.747665269320014e-143) | -2.747665269320014e-143 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.20602 | #f |
| (-4.504987246683619e-288) | -4.504987246683619e-288 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.19425900000000001 | #f |
| (-2.961930533720834e-295) | -2.961930533720834e-295 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.214253 | #f |
| (-6.500322499021571e+82) | -191.37697659697656 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.103166 | #f |
| (-2.744443165548315e-252) | -2.744443165548315e-252 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.212027 | #f |
| (2.0187637217414852e-299) | 2.0187637217414852e-299 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.10768399999999999 | #f |
| (-3.8737381643314577e+233) | -538.5496938229361 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.095481 | #f |
| (6.013057641040075e-89) | 6.013057641040075e-89 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 1 | 0.143742 | #f |
| (-6.744854872211527e-109) | -6.744854872211527e-109 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.194523 | #f |
| (-1.8211039243084447e-62) | -1.8211039243084447e-62 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.189973 | #f |
| (-2.5474019828769656e-179) | -2.5474019828769656e-179 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.19472799999999998 | #f |
| (2.7182224302790508e-163) | 2.7182224302790508e-163 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.121599 | #f |
| (-1.539207139394378e-127) | -1.539207139394378e-127 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.103788 | #f |
| (4.1866350616236306e+301) | 695.2031574951359 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (5.099494918102876e+277) | 640.1383594390704 | (640.1383594390704 640.1383594390704) | +nan.0 | valid | exit | 0 | 0.18171400000000001 | #f |
| (-1.0549582013347612e-162) | -1.0549582013347612e-162 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.190655 | #f |
| (1.4507507288086633e+153) | 353.3607475751042 | (353.3607475751042 353.3607475751042) | +nan.0 | valid | exit | 0 | 0.18072 | #f |
| (7.740663850351069e-258) | 7.740663850351069e-258 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.080396 | #f |
| (-4.799888655217824e+91) | -211.79698336383328 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.09402400000000001 | #f |
| (3.896343152593231e-276) | 3.896343152593231e-276 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.151344 | #f |
| (-2.306183387819454e-62) | -2.306183387819454e-62 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.194026 | #f |
| (8.304433398255684e+259) | 599.1794757825842 | (599.1794757825842 599.1794757825842) | +nan.0 | valid | exit | 0 | 0.177536 | #f |
| (6.843167432683134e-266) | 6.843167432683134e-266 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.111205 | #f |
| (1.0526456289406707e-254) | 1.0526456289406707e-254 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.150481 | #f |
| (-3.437637563470151e+51) | -119.35977140391229 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.073864 | #f |
| (-1.0539873626975644e+186) | -429.0265549376492 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.092627 | #f |
| (-2.22181204209459e-300) | -2.22181204209459e-300 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.21401699999999999 | #f |
| (7.933584352971888e-144) | 7.933584352971888e-144 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 1 | 0.11424799999999999 | #f |
| (-2.8276806570113937e+240) | -554.3530263189402 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.100444 | #f |
| (3.6148389646175816e+194) | 448.6797025295828 | (448.6797025295828 448.6797025295828) | +nan.0 | valid | exit | 0 | 0.166161 | #f |
| (-1.6487442260665093e-46) | -1.6487442260665093e-46 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.20099899999999998 | #f |
| (8.685865663734815e-193) | 8.685865663734815e-193 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.078549 | #f |
| (-1.244126489233828e-248) | -1.244126489233828e-248 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.179357 | #f |
| (-7.326147232951184e+153) | -354.98011617012156 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.101038 | #f |
| (-8.583170794642347e-299) | -8.583170794642347e-299 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.211048 | #f |
| (2.6058735746410644e-304) | 2.6058735746410644e-304 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.15382500000000002 | #f |
| (-2.6236200244207127e-146) | -2.6236200244207127e-146 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.209549 | #f |
| (-4.107464454077053e+263) | -607.6858325549788 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.09267600000000001 | #f |
| (2.2799747484140673e-142) | 2.2799747484140673e-142 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 1 | 0.13939000000000001 | #f |
| (-6.016425914947589e-202) | -6.016425914947589e-202 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.213024 | #f |
| (-2.924303885034034e+244) | -563.5969663354447 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.093926 | #f |
| (-5.3181851397280335e-182) | -5.3181851397280335e-182 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.094414 | #f |
| (-1.178894255059361e+126) | -290.98344582497725 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.092125 | #f |
| (-9.852142733814709e-240) | -9.852142733814709e-240 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.23826899999999998 | #f |
| (-1.9874472302790995e-290) | -1.9874472302790995e-290 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.16047899999999998 | #f |
| (-1.464709942844639e-248) | -1.464709942844639e-248 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.211816 | #f |
| (-4.072423055722799e+293) | -676.7548175955085 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.090812 | #f |
| (-5.977509259810084e-284) | -5.977509259810084e-284 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.230491 | #f |
| (-2.943631535114622e+241) | -556.6957986272492 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.100065 | #f |
| (-8.978436214841762e-38) | -8.978436214841762e-38 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.195771 | #f |
| (-2.6421850322229035e-165) | -2.6421850322229035e-165 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 1 | 0.146059 | #f |
| (-2.4847355833391717e-224) | -2.4847355833391717e-224 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.204346 | #f |
| (1.3438823006254697e-164) | 1.3438823006254697e-164 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.12185 | #f |
| (-1.1358514105271746e+263) | -606.4004091491455 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.081821 | #f |
| (-5.627784458861037e+173) | -400.7680841090495 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.09664400000000001 | #f |
| (0.00011007384781965057) | 0.00011007384759737017 | (0.00011007384759737002 0.00011007384759737034) | +nan.0 | valid | exit | 0 | 0.191662 | #f |
| (-1.2945418019854772e+162) | -373.9700890572768 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.083921 | #f |
| (1.6608327659287317e+293) | 675.8578985706134 | (675.8578985706134 675.8578985706134) | +nan.0 | valid | exit | 0 | 0.18999 | #f |
| (-2.4893126580144293e-188) | -2.4893126580144293e-188 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.20379 | #f |
| (-1.6277369015999351e-292) | -1.6277369015999351e-292 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.211463 | #f |
| (-1.5907541093020764e+234) | -539.9622671275423 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.097443 | #f |
| (-1.639727843813008e-249) | -1.639727843813008e-249 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.196156 | #f |
| (5.5339846308587485e-204) | 5.5339846308587485e-204 | (0.0 2.168404344971009e-19) | +nan.0 | valid | exit | 2 | 0.14210399999999998 | #f |
| (-3.7644718191924186e-257) | -3.7644718191924186e-257 | (-5.421010862427522e-20 1.0842021724855044e-19) | +nan.0 | valid | exit | 2 | 0.216089 | #f |
| (5.165551372833279e+261) | 603.3098683006385 | (603.3098683006385 603.3098683006385) | +nan.0 | valid | exit | 0 | 0.125741 | #f |
| (-1.3242083497982841e-292) | -1.3242083497982841e-292 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 5.0 | #f |
