sample50.6s (99%)

Results

11.0s	6119×	1	valid
1.2s	6010×	1	valid-sollya
5.0s	1895×	2	valid
383.0ms	1837×	2	valid-sollya
169.0ms	242×	0	valid
36.0ms	241×	0	valid-sollya
59.0ms	109×	1	exit-sollya
16.0ms	58×	2	exit-sollya
1.0ms	7×	0	invalid
1.0ms	7×	0	invalid-sollya
0.0ms	1×	0	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	Rival iter	sollya-time	check
(2.5368553433251978e-37)	2.5368553433251978e-37	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.197614	#f
(-1.8860156627989767e-40)	-1.8860156627989767e-40	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.209035	#f
(-1.6348954055856001e-140)	-1.6348954055856001e-140	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.22180100000000003	#f
(3.708211457165385e-293)	3.708211457165385e-293	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.223523	#f
(4.675502345039266e-188)	4.675502345039266e-188	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.20729599999999998	#f
(2.367686948255049e-87)	2.367686948255049e-87	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.105725	#f
(3.256924165009108e-289)	3.256924165009108e-289	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.21743099999999999	#f
(3.3866663001054877e-108)	3.3866663001054877e-108	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.194171	#f
(1.3521577270375207e-62)	1.3521577270375207e-62	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(-2.2594885804325492e-60)	-2.2594885804325492e-60	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.203611	#f
(1.5785800848858506e-79)	1.5785800848858506e-79	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.22281600000000001	#f
(-4.780478514548293e-270)	-4.780478514548293e-270	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.21308500000000002	#f
(-4.1605050606797385e-190)	-4.1605050606797385e-190	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.197515	#f
(-5.8729707267403095e-291)	-5.8729707267403095e-291	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.19823200000000002	#f
(2.8456971237971703e-116)	2.8456971237971703e-116	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.196258	#f
(3.2629610126758834e-108)	3.2629610126758834e-108	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.10789900000000001	#f
(-4.3276563753856596e-250)	-4.3276563753856596e-250	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.20584	#f
(7.915175975767737e-196)	7.915175975767737e-196	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.199803	#f
(-2.8938882200935727e-291)	-2.8938882200935727e-291	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(2.164260100723581e-234)	2.164260100723581e-234	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.19426400000000002	#f
(2.7495999654342382e-30)	2.7495999654342382e-30	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.193012	#f
(-1.1618462383864441e-212)	-1.1618462383864441e-212	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.15439499999999998	#f
(-3.0488985796822823e-194)	-3.0488985796822823e-194	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.19886	#f
(-1.2230847037952465e-114)	-1.2230847037952465e-114	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.226336	#f
(6.9411519477351825e-301)	6.9411519477351825e-301	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.20676399999999998	#f
(2.9974764048620106e-224)	2.9974764048620106e-224	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.11058899999999999	#f
(-6.540129366493933e-264)	-6.540129366493933e-264	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.137181	#f
(-1.2038508477870814e-171)	-1.2038508477870814e-171	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.110003	#f
(-3.42605474728751e-224)	-3.42605474728751e-224	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.169108	#f
(6.22296643459281e-274)	6.22296643459281e-274	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.16999499999999998	#f
(-7.106637644362325e-223)	-7.106637644362325e-223	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.198976	#f
(-3.8280700963518936e-267)	-3.8280700963518936e-267	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.142205	#f
(-4.6899638392104516e-79)	-4.6899638392104516e-79	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.20613700000000001	#f
(-2.3992295658336464e-185)	-2.3992295658336464e-185	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(-4.2022165666819276e-165)	-4.2022165666819276e-165	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.198038	#f
(-3.851407739333772e-260)	-3.851407739333772e-260	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.21901	#f
(-7.322084911617095e-51)	-7.322084911617095e-51	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(1.4231739840766656e-256)	1.4231739840766656e-256	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.19114899999999999	#f
(-1.9782762134311062e-224)	-1.9782762134311062e-224	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.18732500000000002	#f
(8.957212104518995e-211)	8.957212104518995e-211	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.254138	#f
(1.047846711739639e-194)	1.047846711739639e-194	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.202571	#f
(2.0734572801431628e-113)	2.0734572801431628e-113	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.213726	#f
(-5.8005016167110376e-210)	-5.8005016167110376e-210	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.2017	#f
(4.423979963051585e-171)	4.423979963051585e-171	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.196983	#f
(-3.113648310491446e-278)	-3.113648310491446e-278	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.21892999999999999	#f
(-9.14903364317803e-98)	-9.14903364317803e-98	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.100376	#f
(2.2180837939940714e-203)	2.2180837939940714e-203	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.20927	#f
(5.13762962239387e-175)	5.13762962239387e-175	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.209179	#f
(2.403572531427555e-218)	2.403572531427555e-218	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.106289	#f
(3.413892550554339e-151)	3.413892550554339e-151	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.101975	#f
(2.6841398090438727e-104)	2.6841398090438727e-104	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.211222	#f
(-7.045671569077707e-86)	-7.045671569077707e-86	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.211619	#f
(6.2064104302375e-246)	6.2064104302375e-246	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.114523	#f
(-3.7933960490738415e-104)	-3.7933960490738415e-104	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.10122400000000001	#f
(9.664356974934327e-95)	9.664356974934327e-95	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.166406	#f
(7.182996918209631e-287)	7.182996918209631e-287	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.212651	#f
(-4.183664867182879e-281)	-4.183664867182879e-281	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.139386	#f
(-3.723029975543391e-280)	-3.723029975543391e-280	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.19135	#f
(5.771797786319524e-308)	5.771797786319524e-308	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.196639	#f
(6.554935840304626e-265)	6.554935840304626e-265	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.195056	#f
(1.1042245159411756e-119)	1.1042245159411756e-119	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.19461799999999999	#f
(-1.1419561485791735e-116)	-1.1419561485791735e-116	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.197985	#f
(2.629101399946321e-178)	2.629101399946321e-178	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.163053	#f
(3.681386047910537e-166)	3.681386047910537e-166	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.111899	#f
(2.2561360747421022e-232)	2.2561360747421022e-232	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.201784	#f
(8.954006227371733e-186)	8.954006227371733e-186	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.210672	#f
(2.624435898844332e-217)	2.624435898844332e-217	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.23597200000000002	#f
(3.317185534123493e-272)	3.317185534123493e-272	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.256934	#f
(-1.3677480452106594e-230)	-1.3677480452106594e-230	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.209505	#f
(-1.5776244716413977e-208)	-1.5776244716413977e-208	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.21599	#f
(-3.3467177187118196e-166)	-3.3467177187118196e-166	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.221107	#f
(-8.957197133571377e-169)	-8.957197133571377e-169	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.210571	#f
(-6.846356923044385e-199)	-6.846356923044385e-199	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.193949	#f
(5.7748995380908494e-288)	5.7748995380908494e-288	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.17590499999999998	#f
(6.8682868840262005e-245)	6.8682868840262005e-245	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.103924	#f
(3.332413791959449e-236)	3.332413791959449e-236	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.20327699999999999	#f
(3.0569788959031982e-226)	3.0569788959031982e-226	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.105114	#f
(2.7284819831798202e-281)	2.7284819831798202e-281	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.20286300000000002	#f
(-5.95096603772421e-96)	-5.95096603772421e-96	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.201105	#f
(5.52064168292146e-303)	5.52064168292146e-303	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.206344	#f
(6.979502636187368e-10)	6.979502636187368e-10	(6.979502635569916e-10 6.979502636654118e-10)	+nan.0	valid	exit	1	0.220962	#f
(1.0852826568164342e-181)	1.0852826568164342e-181	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.20475	#f
(-5.511006899545018e-132)	-5.511006899545018e-132	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.21040499999999998	#f
(2.2005768188454832e-215)	2.2005768188454832e-215	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.10691700000000001	#f
(1.081842648968582e-97)	1.081842648968582e-97	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.113641	#f
(-6.504945460419676e-171)	-6.504945460419676e-171	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.22027400000000003	#f
(-9.755003279416698e-202)	-9.755003279416698e-202	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.20885599999999999	#f
(3.051327940970676e-142)	3.051327940970676e-142	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.20100900000000002	#f
(-4.639015910353672e-104)	-4.639015910353672e-104	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.200648	#f
(9.643609287682352e-287)	9.643609287682352e-287	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.212542	#f
(-6.811533462550389e-209)	-6.811533462550389e-209	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.24548400000000004	#f
(-2.3866368513009004e-257)	-2.3866368513009004e-257	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.19977999999999999	#f
(2.520827583823142e-59)	2.520827583823142e-59	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(4.478891435661855e-308)	4.478891435661855e-308	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.201588	#f
(-4.5287529265880634e-213)	-4.5287529265880634e-213	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.121616	#f
(-1.2893857847467695e-228)	-1.2893857847467695e-228	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.20508099999999999	#f
(-2.3145552896941824e-221)	-2.3145552896941824e-221	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.205433	#f
(1.3953934655305246e-291)	1.3953934655305246e-291	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.189008	#f
(1.4628454152440418e-241)	1.4628454152440418e-241	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.17619900000000002	#f
(8.97723014066862e-17)	8.97723014066862e-17	(8.977193988179975e-17 8.98803600990483e-17)	+nan.0	valid	exit	1	0.20324699999999998	#f
(3.6116339816814926e-195)	3.6116339816814926e-195	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.206362	#f
(-9.059860064336789e-110)	-9.059860064336789e-110	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.20113999999999999	#f
(-4.824269370156133e-42)	-4.824269370156133e-42	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.104377	#f
(-3.8462832554686334e-174)	-3.8462832554686334e-174	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.216257	#f
(1.24945622128803e-42)	1.24945622128803e-42	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.21018900000000001	#f
(-2.3056862124139515e-48)	-2.3056862124139515e-48	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.194075	#f
(6.92132428637376e-251)	6.92132428637376e-251	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.21187699999999998	#f
(-2.9891737521316025e-12)	-2.9891737521316025e-12	(-2.98917379564839e-12 -2.9891736872281726e-12)	+nan.0	valid	exit	1	0.19975	#f
(-5.514723618248967e-244)	-5.514723618248967e-244	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.200963	#f
(-1.0074984510280438e-254)	-1.0074984510280438e-254	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.22555	#f
(-4.003233588583186e-284)	-4.003233588583186e-284	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.18147200000000002	#f
(-2.767795689485763e-104)	-2.767795689485763e-104	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.23317	#f
(6.483295151024316e-193)	6.483295151024316e-193	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.177248	#f
(2.789492882239157e-243)	2.789492882239157e-243	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.22133	#f
(6.843574006146684e-191)	6.843574006146684e-191	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.225586	#f
(1.0269028164823e-199)	1.0269028164823e-199	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.188218	#f
(-8.422844406128225e-283)	-8.422844406128225e-283	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.20180499999999998	#f
(-2.1136871477530035e-301)	-2.1136871477530035e-301	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.201959	#f
(-3.866392056240603e-48)	-3.866392056240603e-48	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.195547	#f
(-6.984945037484476e-274)	-6.984945037484476e-274	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.206997	#f
(-7.252366279579216e-166)	-7.252366279579216e-166	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.191091	#f
(-3.7703743670336794e-292)	-3.7703743670336794e-292	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.128778	#f
(2.2128571033916122e-181)	2.2128571033916122e-181	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.21074700000000002	#f
(-1.36818371973995e-225)	-1.36818371973995e-225	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.23361500000000002	#f
(1.9631893694113585e-145)	1.9631893694113585e-145	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.112313	#f
(2.2589148217988833e-60)	2.2589148217988833e-60	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.21355500000000002	#f
(-3.3870367645013945e-50)	-3.3870367645013945e-50	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.18979000000000001	#f
(5.381281585763129e-174)	5.381281585763129e-174	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.170873	#f
(3.2751365103904176e-300)	3.2751365103904176e-300	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.19433699999999998	#f
(2.0410679950661416e-173)	2.0410679950661416e-173	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.208811	#f
(-2.2762376176350073e-201)	-2.2762376176350073e-201	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.159443	#f
(-1.3422303713430516e-243)	-1.3422303713430516e-243	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.14103100000000002	#f
(-7.779690666860843e-235)	-7.779690666860843e-235	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(-2.881313807053419e-31)	-2.881313807053419e-31	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(2.9904304781482394e-60)	2.9904304781482394e-60	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.19730299999999998	#f
(-5.6666396006880085e-292)	-5.6666396006880085e-292	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.21365800000000001	#f
(5.937193396211293e-199)	5.937193396211293e-199	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.191103	#f
(2.473966093343637e-71)	2.473966093343637e-71	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.200929	#f
(5.5974379573688775e-303)	5.5974379573688775e-303	(+nan.0 +nan.0)	+nan.0	valid	exit	2	5.0	#f
(7.034300792715524e-176)	7.034300792715524e-176	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.107547	#f
(-2.4622012854992071e-32)	-2.4622012854992071e-32	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.149885	#f
(-1.5777923182706575e-106)	-1.5777923182706575e-106	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.209386	#f
(-1.0616684873455951e-154)	-1.0616684873455951e-154	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.212192	#f
(5.272208313127975e-253)	5.272208313127975e-253	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.153527	#f
(-1.7349402729453532e-115)	-1.7349402729453532e-115	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.203251	#f
(-5.955847740282865e-169)	-5.955847740282865e-169	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.178065	#f
(1.6534668958783597e-244)	1.6534668958783597e-244	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.202623	#f
(6.836078914587831e-107)	6.836078914587831e-107	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.194149	#f
(2.6920563808749625e-135)	2.6920563808749625e-135	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.184019	#f
(-9.259144188553887e-239)	-9.259144188553887e-239	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.207621	#f
(-5.158266859789585e-248)	-5.158266859789585e-248	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.185072	#f
(6.844896367263847e-80)	6.844896367263847e-80	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.197343	#f
(-1.0782484744160777e-198)	-1.0782484744160777e-198	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.214431	#f
(-3.0568647069328126e-291)	-3.0568647069328126e-291	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.10461799999999999	#f
(4.354931492507468e-280)	4.354931492507468e-280	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.17172300000000001	#f
(1.0961332190039363e-282)	1.0961332190039363e-282	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.21912299999999998	#f
(3.2749100687805394e-292)	3.2749100687805394e-292	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.222685	#f
(8.948173676132052e-190)	8.948173676132052e-190	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.187812	#f
(-6.323682735562082e-199)	-6.323682735562082e-199	(+nan.0 +nan.0)	+nan.0	valid	exit	1	5.0	#f
(-9.378887561183627e-294)	-9.378887561183627e-294	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.21032399999999998	#f
(2.1982349877038746e-86)	2.1982349877038746e-86	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.127698	#f
(-1.8090122852726497e-40)	-1.8090122852726497e-40	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.196942	#f
(-6.477096149700977e-132)	-6.477096149700977e-132	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.106948	#f
(3.4730614359230493e-50)	3.4730614359230493e-50	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	1	0.21146500000000001	#f
(-5.1956411859423076e-301)	-5.1956411859423076e-301	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.19291999999999998	#f
(3.2889875483002295e-263)	3.2889875483002295e-263	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.213512	#f
(4.7621160058754855e-188)	4.7621160058754855e-188	(0.0 1.0842021724855044e-19)	+nan.0	valid	exit	2	0.227071	#f
(-1.9854753163690393e-8)	-1.9854753163690396e-8	(-1.9854753163752286e-8 -1.9854753163643866e-8)	+nan.0	valid	exit	0	0.10528799999999999	#f

Sollya timings

Total time spent in Sollya 1.7s

Bogosity