sample22.2s (97.6%)

Results

1.8s	8256×	0	valid
681.0ms	8156×	0	valid-sollya
113.0ms	100×	0	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	Rival iter	sollya-time	check
(-3.777252855470863e-280)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.161877	#f
(1.2294346626745127e+247)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.14580800000000002	#f
(1.2079128869712108e-278)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.206071	#f
(-1.074834049727849e-268)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.197049	#f
(-1.886429900168335e-248)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.195595	#f
(1.6234688156321855e-230)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.222663	#f
(5.318203668201992e-159)	5.656658e-317	(5.656658e-317 5.656658e-317)	+nan.0	valid	exit	0	0.172178	#f
(-4.0559629049117346e+21)	3.2901670172040073e+43	(3.2901670172040073e+43 3.2901670172040073e+43)	+nan.0	valid	exit	0	0.144624	#f
(1.492836553021016e-22)	4.457121948071338e-44	(4.457121948071338e-44 4.457121948071338e-44)	+nan.0	valid	exit	0	0.150375	#f
(5.7010285565354e-193)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.087824	#f
(1.339651150519609e-63)	3.589330410177024e-126	(3.589330410177024e-126 3.589330410177024e-126)	+nan.0	valid	exit	0	0.160604	#f
(5.3052287878252714e+160)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(3.1669595695982407e+293)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.108494	#f
(-8.777169121974042e-228)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.186427	#f
(-1.6941840867538522e-78)	5.740519439619968e-156	(5.740519439619968e-156 5.740519439619968e-156)	+nan.0	valid	exit	0	0.151514	#f
(-3.4052565934521603e+171)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.183484	#f
(1.2355280155918687e-81)	3.053058954624762e-162	(3.053058954624762e-162 3.053058954624762e-162)	+nan.0	valid	exit	0	0.077611	#f
(-1.1192898020138943e+23)	2.505619321784605e+46	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(7.440234242228731e-154)	1.1071417115846588e-306	(1.1071417115846588e-306 1.1071417115846588e-306)	+nan.0	valid	exit	0	0.14666700000000002	#f
(-2.866929932118905e+28)	1.6438574471358616e+57	(1.6438574471358616e+57 1.6438574471358616e+57)	+nan.0	valid	exit	0	0.13345300000000002	#f
(5.696590801547343e-113)	6.490229352054759e-225	(6.490229352054759e-225 6.490229352054759e-225)	+nan.0	valid	exit	0	0.167225	#f
(1.5277008390338426e+303)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(1.960446161547498e+125)	7.686698304652637e+250	(7.686698304652637e+250 7.686698304652637e+250)	+nan.0	valid	exit	0	0.17461500000000002	#f
(-2.876756098930342e+90)	1.655145130546584e+181	(1.655145130546584e+181 1.655145130546584e+181)	+nan.0	valid	exit	0	0.168297	#f
(-1.7421736231387518e+301)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.191325	#f
(1.5312480940066701e-264)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.096542	#f
(-4.503751843647267e-240)	0.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(-3.9589350829076506e+266)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(-9.30022066445279e-288)	0.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(2.750544851457818e-226)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.191525	#f
(-3.6584893027472874e+189)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.155368	#f
(5.076485110255499e+157)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.235271	#f
(-7.017410079995442e+47)	9.848808846164327e+95	(9.848808846164327e+95 9.848808846164327e+95)	+nan.0	valid	exit	0	0.167257	#f
(2.984364376038909e-12)	1.7812861457940215e-23	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(7.15851722584572e+147)	1.0248873774545982e+296	(1.0248873774545982e+296 1.0248873774545982e+296)	+nan.0	valid	exit	0	0.097512	#f
(7.034974646659505e-28)	9.898173655828404e-55	(9.898173655828404e-55 9.898173655828404e-55)	+nan.0	valid	exit	0	0.156349	#f
(-1.2826818294744899e-161)	3.3e-322	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(3.356208870175371e+175)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.149913	#f
(8.166871003233768e-280)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.19476500000000002	#f
(1.5033762879873296e+262)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.220444	#f
(-1.0052110728836752e+83)	2.020898602095899e+166	(2.020898602095899e+166 2.020898602095899e+166)	+nan.0	valid	exit	0	0.195617	#f
(-2.360015034803444e+60)	1.1139341928996604e+121	(1.1139341928996604e+121 1.1139341928996604e+121)	+nan.0	valid	exit	0	0.148035	#f
(-8.879291417199313e+279)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(1.4755328308458853e-186)	0.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(-1.2710672134689806e-250)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.195023	#f
(-2.8685374453773375e-162)	1.5e-323	(1.5e-323 1.5e-323)	+nan.0	valid	exit	0	0.09684200000000001	#f
(-1.35792476372026e-157)	3.687919328e-314	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(4.6178795294849215e-65)	4.264962269767176e-129	(4.264962269767176e-129 4.264962269767176e-129)	+nan.0	valid	exit	0	0.156411	#f
(6.152657085152536e-258)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.180573	#f
(-1.641341568993544e-240)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.171764	#f
(-2.196142618505378e+217)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.202571	#f
(-1.4989417352871514e+34)	4.493652651571314e+68	(4.493652651571314e+68 4.493652651571314e+68)	+nan.0	valid	exit	0	0.159759	#f
(3.566620020326657e-273)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.20275100000000001	#f
(-7.506403812090772e+235)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(-2.837004278058901e+120)	1.6097186547449015e+241	(1.6097186547449015e+241 1.6097186547449015e+241)	+nan.0	valid	exit	0	0.169862	#f
(-3.120183246845958e+158)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.176415	#f
(6.994296883943431e+207)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.103287	#f
(-8.592486910995013e+76)	1.4766166263124125e+154	(1.4766166263124125e+154 1.4766166263124125e+154)	+nan.0	valid	exit	0	0.171087	#f
(-2.0497973077962215e+170)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.193081	#f
(-2.363171962204474e+165)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.18070599999999998	#f
(3.446402908242298e-106)	2.3755386011881937e-211	(2.3755386011881937e-211 2.3755386011881937e-211)	+nan.0	valid	exit	0	0.203606	#f
(7.601442822324736e-56)	1.155638659621445e-110	(1.155638659621445e-110 1.155638659621445e-110)	+nan.0	valid	exit	0	0.086131	#f
(-4.269452476039712e+133)	3.6456448890323254e+267	(3.6456448890323254e+267 3.6456448890323254e+267)	+nan.0	valid	exit	0	0.14614000000000002	#f
(-9.455095445415223e-72)	1.787976597638234e-142	(1.787976597638234e-142 1.787976597638234e-142)	+nan.0	valid	exit	0	0.141176	#f
(1.0963392488044857e-229)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.190363	#f
(-3.440623318616308e+283)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(4.549394606751069e+291)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.17315	#f
(-4.366315055283207e-254)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.16307	#f
(-2.0324988419572057e-252)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.20411400000000002	#f
(3.2874851131158885e-90)	2.1615116737917172e-179	(2.1615116737917172e-179 2.1615116737917172e-179)	+nan.0	valid	exit	0	0.16243400000000002	#f
(-1.0156050777967918e-280)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.202402	#f
(1.8354503545839522e+52)	6.737756008284712e+104	(6.737756008284712e+104 6.737756008284712e+104)	+nan.0	valid	exit	0	0.08679	#f
(1.9991772967630248e+300)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.211301	#f
(1.0046889393746932e+165)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.18318199999999998	#f
(1.9541696645719227e-232)	0.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(1.0710129501105701e+47)	2.294137478609093e+94	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(8.84555946475848e+250)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.198025	#f
(-1.7837457952548375e-166)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.169756	#f
(-8.451708227431849e+282)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(-1.06734688086469e-304)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.202379	#f
(4.4161193366236467e-97)	3.9004219990602555e-193	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(1.2266343178925521e+53)	3.0092634996634533e+106	(3.0092634996634533e+106 3.0092634996634533e+106)	+nan.0	valid	exit	0	0.158065	#f
(-4.4396482987608724e-38)	3.9420954033380616e-75	(3.9420954033380616e-75 3.9420954033380616e-75)	+nan.0	valid	exit	0	0.146645	#f
(-1.9416309962418346e+301)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.18588400000000002	#f
(5.457485938905151e+294)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.202671	#f
(-9.884532680679205e-306)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.195718	#f
(-4.067617151925692e+125)	3.3091018589280157e+251	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(1.9066528220264405e+178)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.182511	#f
(-32.85188993592144)	2158.493344723793	(2158.493344723793 2158.493344723793)	+nan.0	valid	exit	0	0.148923	#f
(-1.679040044022566e+307)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.180725	#f
(1.8337827235149434e+291)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0	0.142957	#f
(4.237975540594121e+34)	3.592087336534806e+69	(3.592087336534806e+69 3.592087336534806e+69)	+nan.0	valid	exit	0	0.15434699999999998	#f
(5.78723397142459e+116)	6.698415408002166e+233	(6.698415408002166e+233 6.698415408002166e+233)	+nan.0	valid	exit	0	0.196	#f
(2.5222009868517816e+205)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(4.0415721731179505e-279)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.20081100000000002	#f
(7.6103880401143364e-205)	0.0	(0.0 0.0)	+nan.0	valid	exit	0	0.181456	#f
(-7.63619221498535e+78)	1.1662286308840575e+158	(1.1662286308840575e+158 1.1662286308840575e+158)	+nan.0	valid	exit	0	0.087428	#f
(4.7822919608775537e-141)	4.5740632798148155e-281	(4.5740632798148155e-281 4.5740632798148155e-281)	+nan.0	valid	exit	0	0.16910699999999998	#f
(-9.251318838253278e+199)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(3.114493315916514e-126)	1.9400137229777286e-251	(1.9400137229777286e-251 1.9400137229777286e-251)	+nan.0	valid	exit	0	0.133375	#f

Sollya timings

Total time spent in Sollya 794.0ms

Bogosity