sample36.1s (98.7%)

Results

4.1s	8256×	0	valid
531.0ms	8222×	0	valid-sollya
426.0ms	774×	0	precondition
21.0ms	34×	0	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	Rival iter	sollya-time	check
(1.6529468362809845e-29 4.0868415371191154e-227)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.21038400000000002	#f
(2.6870068903747376e-135 7.831763393413308e-172)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.220325	#f
(2.7653374874655388e-145 1.4246182855957214e-152)	0.9999999999999987	(0.9999999999999987 0.9999999999999987)	+nan.0	valid	exit	0	0.214456	#f
(6.165058118849083e-78 6.091597216946175e-198)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.22202300000000003	#f
(2.856074732003167e-237 1.229794168828763e-288)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.231901	#f
(1.1604697049577352e-58 8.392048584956033e-90)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.184547	#f
(1.1017046243613422e-199 2.866438276015876e-248)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.21012599999999998	#f
(9.640007238214675e-182 4.045663400036988e-213)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.224748	#f
(5.037987913893202e-91 1.663414871779597e-304)	1.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(1.956396899414292e-226 1.313270966376458e-264)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.22145199999999998	#f
(6.724346700491296e-22 6.952087551340759e-36)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.169381	#f
(1.2853386936220203e-214 2.1751742459243684e-243)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.134028	#f
(1.873762566725337e-263 9.366990024391928e-296)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.26190399999999997	#f
(9.735378947455714e-62 2.44817297515304e-66)	0.9999999996838097	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(7.159944569742945e-34 5.6122782306681615e-188)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.169569	#f
(3.704631783781295e-250 6.139066098380983e-294)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.206674	#f
(6.358173878964242e-36 5.172718366554619e-249)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.210553	#f
(6.510151684422602e-95 3.822350580026498e-212)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.127323	#f
(2.7546728434975015e-113 1.6077500985298114e-225)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.218906	#f
(1.6142043480136778e-98 9.465130552951852e-224)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.226726	#f
(8.173077688622755e-16 1.7116177567067548e-161)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.209369	#f
(1.340053689416582e-29 1.0785887885603784e-230)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.219243	#f
(6.6415903768372255e-52 3.314019583405144e-155)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.233215	#f
(1.587748892534755e-42 6.725428764098075e-245)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.22065200000000001	#f
(2.53995699671892e-39 1.348065423749568e-220)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.169758	#f
(6.308983053639205e-273 3.449416428265873e-305)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.108158	#f
(5.705828503971078e-284 4.2637490881243754e-290)	0.9999999999997208	(0.9999999999997208 0.9999999999997208)	+nan.0	valid	exit	0	0.175365	#f
(3.239671709765879e-36 1.7124853078242944e-307)	1.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	5.0	#f
(4.089017583161326e-177 2.7550820635336e-185)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.21461	#f
(1.3468376021684489e-149 1.7228988430965292e-211)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.219761	#f
(5.071088726514521e-28 8.276097287418314e-176)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.20741400000000002	#f
(1.3034510819773973e-272 1.1775298442471864e-277)	0.999999999959194	(0.999999999959194 0.999999999959194)	+nan.0	valid	exit	0	0.218039	#f
(3.3782551893863774e-77 3.701201880528106e-239)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.201608	#f
(9.564646457213063e-266 1.1235655402559139e-283)	1.0	(1.0 1.0)	+nan.0	valid	exit	0	0.11244299999999999	#f

Sollya timings

Total time spent in Sollya 553.0ms

Bogosity