| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (-4.0882757475079983e+133) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.147688 | #f |
| (-2.0731661649507578e+70) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.097296 | #f |
| (1.821121736701989e+280) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.08690300000000001 | #f |
| (-5.564075622828722e-165) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.112115 | #f |
| (7.950372488250906e+260) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.107855 | #f |
| (2.3058815943531302e-129) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.088163 | #f |
| (-1.6087679658626147e-33) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.127978 | #f |
| (2.0013434346453506e+40) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.08107099999999999 | #f |
| (-4.421905025959751e+177) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.114472 | #f |
| (4.796476324577501e+32) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.122137 | #f |
| (-3.839362314831252e-295) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.126329 | #f |
| (6.122795020004721e-181) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.13077799999999998 | #f |
| (3.0239479512979892e+175) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12222599999999999 | #f |
| (-3.6818031352613685e+37) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.13848300000000002 | #f |
| (-9.471720349190048e+300) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.088097 | #f |
| (-9.093998126397027e+234) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.135691 | #f |
| (1.6267649201942786e-165) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.11776400000000001 | #f |
| (-1.5832469314938154e-17) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.08829 | #f |
| (2.657710581458784e+97) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.111387 | #f |
| (3.064894499909781e+236) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.131457 | #f |
| (-7.053933819996793e+170) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.109018 | #f |
| (-3.8626234764402556e+219) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.087676 | #f |
| (-3.892416929189718e-70) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.154529 | #f |
| (-4.473526617405156e+215) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.114225 | #f |
| (-3.5450382531808485e+69) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12929000000000002 | #f |
| (-9.299243671503967e-262) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.12012300000000001 | #f |
| (1.3086946235551407e+215) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.055119 | #f |
| (5.1612842866134266e+228) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.085437 | #f |
| (2.870212773327758e+244) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.122677 | #f |
| (4.095640826434674e+185) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.11025599999999999 | #f |
| (-6.126506676498498e+255) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.091287 | #f |
| (-3163.9317415139394) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.09629700000000001 | #f |
| (-8.465871418127989e-123) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.131215 | #f |
| (1.4448911613551451e+267) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.127603 | #f |
| (6.175763333928271e+93) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.105381 | #f |
| (-2.436443667970667e+203) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.090105 | #f |
| (4.252762074249847e+263) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.08537 | #f |
| (4.081711331062092e-263) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.104542 | #f |
| (8.10701345959679e+297) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.089691 | #f |
| (254363876.5341204) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.097772 | #f |
| (1.728402066101224e+41) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12178 | #f |
| (-7.922532335889991e-246) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.124659 | #f |
| (-1.5068287345511204e+233) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.135652 | #f |
| (4.145692711652061e-200) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.119327 | #f |
| (-4.607508408026144e+166) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.11757000000000001 | #f |
| (-1.0450040513079687e+58) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.109284 | #f |
| (7.452310827048563e+93) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.059126000000000005 | #f |
| (4.200155731779063e+70) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.125407 | #f |
| (7.392103841695203e-48) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.102004 | #f |
| (1.6809831367580324e+247) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.058359999999999995 | #f |
| (2.9288901311427373e+150) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.11966199999999999 | #f |
| (-2.217247681370031e-144) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.12758299999999997 | #f |
| (-9.122058071050936e+291) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.059604 | #f |
| (-1046335476852566100.0) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.098247 | #f |
| (4.5468017659860553e-299) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.067704 | #f |
| (1.0650527693768576e-118) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.119574 | #f |
| (-6.2771236694271605e-264) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.06601 | #f |
| (1.356337542603042e+270) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12544 | #f |
| (6.0334589586338665e+88) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.131689 | #f |
| (-4.6024650243026865e-230) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.13727699999999998 | #f |
| (1.9506929465817524e-54) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.060305 | #f |
| (-1.1037123592128641e-213) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.120368 | #f |
| (-6.359517535548266e+124) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12615700000000002 | #f |
| (-2.4882906017903597e+231) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.088777 | #f |
| (6.232879852982152e-194) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.116759 | #f |
| (2.7815740491067996e-89) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.122464 | #f |
| (-5.9500099756422185e-291) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.107642 | #f |
| (2.7489082461538025e+53) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.111806 | #f |
| (9.003490835986774e+80) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.106263 | #f |
| (-3.281969686427321e+239) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.110944 | #f |
| (2.169982865798581e+303) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.053553 | #f |
| (8.535082154706885e-119) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.12746 | #f |
| (-2.625100179270543e+160) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.08519800000000001 | #f |
| (5.0871421506048416e+35) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12534499999999998 | #f |
| (8.911843239471942e-128) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.12290200000000001 | #f |
| (-5.902655928097003e+172) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.085301 | #f |
| (7.018628781851679e+124) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.087274 | #f |
| (4.335256629042642e+239) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12533 | #f |
| (1.1327580454866005e+180) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.10917 | #f |
| (4.902204825501046e-232) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.117587 | #f |
| (-1.0677116222743206e-92) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.11157399999999999 | #f |
| (3.61645774732606e+178) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.11344499999999999 | #f |
| (9.772386254202398e+297) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.109161 | #f |
| (-5.978187290816706e+163) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.093385 | #f |
| (2.1471820341055805e+253) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12762099999999998 | #f |
| (2.3692547321159184e+242) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.066412 | #f |
| (-3.07977298039538e+268) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.09046900000000001 | #f |
| (2.7544399290773436e-272) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.11835 | #f |
| (-1.0823943015835095e+88) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.10778700000000001 | #f |
| (-1.7536148814288473e-20) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.091559 | #f |
| (-4.861091381858138e-37) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.109071 | #f |
| (9.445289360926386e-140) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.162931 | #f |
| (-8.005625397052334e-303) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.117927 | #f |
| (-21400944110481250.0) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.13974699999999998 | #f |
| (7.307414408655564e+123) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12413300000000001 | #f |
| (-3.894730476443268e-18) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.116757 | #f |
| (-7.621080810906841e+180) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12457399999999999 | #f |
| (3.1481050942625623e-176) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.11037200000000001 | #f |
| (4.484411445337435e-226) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.133538 | #f |
| (3.6209056948080254e+158) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.109006 | #f |
| (-8.49171661085995e-220) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.064293 | #f |
| (5.892481787129736e-252) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.132968 | #f |
| (2.1892144579644843e+117) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.124465 | #f |
| (-1.2028794480295752e+79) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.103144 | #f |
| (8.594325003743321e-66) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.12103900000000001 | #f |
| (3.625778506965928e+215) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12236899999999999 | #f |
| (-1.4779931382167413e+207) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.130916 | #f |
| (3.890750103796304e+66) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.05817 | #f |
| (2.579626167619924e-48) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 1 | 0.12479799999999999 | #f |
| (-1.737742019377996e-300) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.06172300000000001 | #f |
| (1.1136981342541097e+130) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.118916 | #f |
| (6.633275218498859e+298) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.125539 | #f |
| (2.58472427917989e+241) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.057111 | #f |
| (-2.7969015402227663e+121) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.113355 | #f |
| (-2.1761299395545184e+218) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.20302499999999998 | #f |
| (5.281353127954048e+208) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.123031 | #f |
| (-1.625735318241207e+50) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.107978 | #f |
| (26.555884564726362) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.096562 | #f |
| (4.842590276790161e-210) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.10037 | #f |
| (9.889848458125675e+73) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.119858 | #f |
| (-8.305427151139969e-191) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.09418699999999999 | #f |
| (-4.122091892366067e-252) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.127198 | #f |
| (-4.281138991483191e+163) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.132628 | #f |
| (-5.120568410179896e+123) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.08747899999999999 | #f |
| (3.742385367882932e-304) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.0916 | #f |
| (8.71812802122346e+258) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.091732 | #f |
| (-1.9361379173789867e-259) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.093992 | #f |
| (5.539793923680985e-212) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.093472 | #f |
| (2.0628856650490613e+33) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.053519 | #f |
| (-3.46540493450569e-240) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 0.05974 | #f |
| (4.068796170638335e+179) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.055595 | #f |
| (-2.2165225298863628e-91) | 3.141592653589793 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 0.084695 | #f |