sample3.1min (99.4%)

Results

4.5s	7848×	0	unsamplable
41.3s	7777×	1	valid
623.0ms	7718×	0	invalid-sollya
925.0ms	7692×	1	valid-sollya
1.7s	479×	0	valid
45.0ms	477×	0	valid-sollya
11.0ms	132×	0	exit-sollya
11.0ms	85×	1	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	Rival iter	sollya-time	check
(1.564749737673914e+149)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.072947	#f
(3.1285236428492807e+40)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.06328500000000001	#f
(1.5495225855919252e+32)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.08605	#f
(2.575222078683297e+285)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.089373	#f
(-4.852675952122271e-178)	-4.852675952122271e-178	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.14346	#f
(-5.639185769751279e+138)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.0768	#f
(-2.609719492654261e-289)	-2.609719492654261e-289	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.147371	#f
(5.811529486437387e-235)	5.811529486437387e-235	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.147093	#f
(-8.151252028068585e+274)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.07166600000000001	#f
(5.015815173357371e-71)	5.015815173357371e-71	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.13614	#f
(2.335683150490366e+190)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.092724	#f
(-1.6544921808808487e+274)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09391	#f
(1.1211180490975714e+22)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.076202	#f
(-1.12977363502679e+276)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.096373	#f
(1.5137842175332397e-103)	1.5137842175332397e-103	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.074681	#f
(-3.861175518320594e+151)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.058863	#f
(1.4024378102585385e+255)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.094561	#f
(3.5648926244136915e+276)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.085144	#f
(-2.8234851735847308e+81)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.06671	#f
(2.619881461607362e-279)	2.619881461607362e-279	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.166947	#f
(-6.352573497880749e+266)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.069552	#f
(3.3110657290047896e-262)	3.3110657290047896e-262	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.139312	#f
(-3.876444485064562e+125)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.078387	#f
(1.142155396895783e-217)	1.142155396895783e-217	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.112057	#f
(-6.887127955973038e+196)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09301699999999999	#f
(-1.075621897601017e+194)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.100493	#f
(-1.0229215695059815e-173)	-1.0229215695059815e-173	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.131664	#f
(6.557943672680355e-305)	6.557943672680355e-305	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.134961	#f
(1.8847828674645044e+204)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.044312	#f
(-8183.689007668469)	-1.0	(-1.0 -1.0)	+nan.0	valid	exit	0	0.22501500000000002	#f
(-4.1131960559806376e+298)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.082247	#f
(3.619898728404103e+19)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.074749	#f
(3.7065216980255083e+59)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.065363	#f
(6.758566913061282e-281)	6.758566913061282e-281	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.118076	#f
(-7.972830792094147e+145)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.08195300000000001	#f
(-1.3796669507440815e+299)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.093582	#f
(6.255359372333117e+294)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.071626	#f
(2.5909297022414433e+243)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.09668800000000001	#f
(7.199723446414055e-261)	7.199723446414055e-261	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.140051	#f
(-1.559563497874116e+148)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.088442	#f
(3.077856792942368e-133)	3.077856792942368e-133	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.111432	#f
(-1.121418859577246e+243)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09300699999999999	#f
(-5.328504408485706e-121)	-5.328504408485706e-121	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.13979699999999998	#f
(1.9850351549756866e+27)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.111711	#f
(-1.1502246725022079e-244)	-1.1502246725022079e-244	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.140302	#f
(-2.044626976935078e+215)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.08932000000000001	#f
(-7.214054881900045e+59)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09736	#f
(8.635409160945341e-228)	8.635409160945341e-228	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.111511	#f
(-4.002151609590598e+291)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.07205	#f
(1.883006674574769e-239)	1.883006674574769e-239	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.135403	#f
(-5.146587604837554e-227)	-5.146587604837554e-227	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.099833	#f
(2.250542603105595e+283)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.068608	#f
(4.580133928247479e+147)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.09053	#f
(3.5652613383970614e-301)	3.5652613383970614e-301	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.100741	#f
(2.892731300651834e+272)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.09153800000000001	#f
(-1.070203421784355e+72)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.100562	#f
(-1.4508925706571354e-113)	-1.4508925706571354e-113	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.13858600000000001	#f
(-6.891597468054429e-288)	-6.891597468054429e-288	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.140061	#f
(1.5442487490137435e-278)	1.5442487490137435e-278	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.15171400000000002	#f
(7.750553466022024e-150)	7.750553466022024e-150	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.129768	#f
(-1.1899232391374548e-300)	-1.1899232391374548e-300	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.155556	#f
(-6.959289301628811e+97)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.06658199999999999	#f
(-6.049082346050745e+103)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.098924	#f
(1.4776236243205587e-204)	1.4776236243205587e-204	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.139681	#f
(7.39729790185728e+109)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.070992	#f
(-1.007658520348453e+169)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.084075	#f
(-1.581202950538122e-295)	-1.581202950538122e-295	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.165036	#f
(0.00020005579406807335)	0.00020005579139917434	(0.00020005579139917428 0.00020005579139917436)	+nan.0	valid	exit	0	0.18498399999999998	#f
(-6.146123161564675e-19)	-6.146123161564675e-19	(-6.505213034913027e-19 -5.692061405548898e-19)	+nan.0	valid	exit	1	0.17541900000000002	#f
(4.685013076258117e+218)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.088732	#f
(-6.734057611410258e+28)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.090616	#f
(2.2224972070164582e+170)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.075137	#f
(2.0900655908210472e+160)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.089978	#f
(4.3829345338479934e-213)	4.3829345338479934e-213	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.139667	#f
(-1.2164181077920478e-288)	-1.2164181077920478e-288	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.15784800000000002	#f
(1.92119738098707e+167)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.071468	#f
(3.082729480094583e-201)	3.082729480094583e-201	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.132327	#f
(2.7170935809227414e-129)	2.7170935809227414e-129	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.133547	#f
(3.1580647548276574e-154)	3.1580647548276574e-154	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.127606	#f
(2.1268133632463215e-141)	2.1268133632463215e-141	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.136244	#f
(2.0852244975203527e-307)	2.0852244975203527e-307	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.150418	#f
(6.241711957227721e+68)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.09339	#f
(9.912462484179942e+197)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.066231	#f
(2.508066314379559e+77)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.085469	#f
(-5.064595106269122e+25)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.08824	#f
(-1.1724203512544609e+110)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.095448	#f
(-6.574768716784844e+203)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.092531	#f
(-5.036000704521756e+256)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.094776	#f
(-2.791362506003407e+68)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09300800000000001	#f
(-5.4006311658459306e+256)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.094332	#f
(8.386253103057397e+264)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.08696599999999999	#f
(-2.7899715723161027e-308)	-2.7899715723161027e-308	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.152227	#f
(-1.0350135589981917e+121)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.06657099999999999	#f
(1.7874152283872282e+157)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.092789	#f
(1.9317109432692e+211)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.088701	#f
(3.5174728673470623e+34)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.073753	#f
(-1.0042259205659636e+108)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.087226	#f
(-3.814765923855076e+295)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09013099999999999	#f
(-8.197396223190268e+58)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.042878	#f
(4.3574872305322235e+185)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.090981	#f
(-1.3157817467580877e-256)	-1.3157817467580877e-256	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.144277	#f
(-7.1447239259670366e+134)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.08904100000000001	#f
(-1.3049745393093237e+121)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.043399	#f
(1.7404258110046267e+84)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.087325	#f
(-2.0224147863663524e+218)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.090597	#f
(-7.121515455482134e+60)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.091631	#f
(-6.998427567455148e+291)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.094917	#f
(5.72522461198962e+135)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.085965	#f
(-1.8216647079228214e-259)	-1.8216647079228214e-259	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.13430899999999998	#f
(-1.0554543158793205e+276)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.068655	#f
(-1.8639392644495455e+193)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.07043200000000001	#f
(-1.2206936351971468e+233)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.092909	#f
(-1.3825188920998064e+175)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.047798	#f
(8.750267066009093e-299)	8.750267066009093e-299	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.12876500000000002	#f
(1.2328208417623976e-208)	1.2328208417623976e-208	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.134112	#f
(-9.427198547976187e-299)	-9.427198547976187e-299	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.083489	#f
(-1.0069214863727427e-168)	-1.0069214863727427e-168	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.09899999999999999	#f
(5.4037950869053254e+85)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.08806	#f
(-3.2706866809987412e-282)	-3.2706866809987412e-282	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.124347	#f
(-1.649919832365742e+263)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.095074	#f
(-1.0439092029060903e+294)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09043300000000001	#f
(3.268385213342229e+163)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.08999499999999999	#f
(-6.182144851358819e-292)	-6.182144851358819e-292	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.129194	#f
(4.545030150797459e+139)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.09679	#f
(1.0553966898676588e+291)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.089689	#f
(2.9487793506291908e+81)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.062796	#f
(-4.9919066596615105e+194)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.087819	#f
(3.8923181067599046e-255)	3.8923181067599046e-255	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.136804	#f
(-1.6270792501505e+30)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.093826	#f
(-3.7844056104903566e-236)	-3.7844056104903566e-236	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.082361	#f
(-1.1359482663660467e+34)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.08616	#f
(3.496923168046619e+271)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.091138	#f
(-1.0783733535871045e+117)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.089065	#f
(-2.7592932040900304e-284)	-2.7592932040900304e-284	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.080219	#f
(-1.0508858701059046e+233)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.091569	#f
(-9.78399057545043e+289)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.072185	#f
(1.8824369477069402e-165)	1.8824369477069402e-165	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.128025	#f
(1.8817887886689001e+211)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.087872	#f
(-2.306872462549323e+261)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.098904	#f
(-5.150361168613997e-52)	-5.150361168613997e-52	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.13497199999999998	#f
(-4.764854132985192e+57)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.083971	#f
(1.3505652802693124e-221)	1.3505652802693124e-221	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.076324	#f
(-2.7700408246373046e+230)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.094682	#f
(-9.243706765389497e+258)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.049992	#f
(3.6441267222396924e+290)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.092647	#f
(-1.7504005131748456e+159)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.097242	#f
(1.2039391085274295e+225)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.068073	#f
(1.0405223351317873e-307)	1.0405223351317873e-307	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.147992	#f
(-1.313965194496738e-107)	-1.313965194496738e-107	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.12258399999999998	#f
(3.6372368691072435e-106)	3.6372368691072435e-106	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.097339	#f
(5.439806284530572e+272)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.085441	#f
(2.0638395821095628e-187)	2.0638395821095628e-187	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.14246899999999998	#f
(3.323967910760699e+28)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.087827	#f
(-7.271863671214316e-154)	-7.271863671214316e-154	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.10523500000000001	#f
(-3.826154432619445e-207)	-3.826154432619445e-207	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.141184	#f
(-2.501654082216691e+137)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.092816	#f
(2.8055847895481283e+81)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.045228000000000004	#f
(-3.6577833132284345e-230)	-3.6577833132284345e-230	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.141223	#f
(2.7747647908800185e+227)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.087064	#f
(2.8540185844735797e-269)	2.8540185844735797e-269	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.13663999999999998	#f
(1.592379496623501e-221)	1.592379496623501e-221	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.09537100000000001	#f
(3.000941738482551e+199)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.070826	#f
(7.828718245638557e-294)	7.828718245638557e-294	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.137965	#f
(-5.924681983982968e+188)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.092096	#f
(-2.876605103383284e+204)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.073265	#f
(1.3856433615307627e-171)	1.3856433615307627e-171	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.142503	#f
(7.1779344195773035e-255)	7.1779344195773035e-255	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.067558	#f
(4.576554497334718e-110)	4.576554497334718e-110	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.146935	#f
(5.682276526592163e-271)	5.682276526592163e-271	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.084273	#f
(-2.8105789194620476e-297)	-2.8105789194620476e-297	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.144313	#f
(-3.0644481742924484e-112)	-3.0644481742924484e-112	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.135198	#f
(1.546631830949395e+55)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.06892	#f
(1.1288006189548636e+185)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.069426	#f
(9.916808876793564e+129)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.091965	#f
(1.5775055357511973e+190)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.088915	#f
(6.7795599082115185e-304)	6.7795599082115185e-304	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.132666	#f
(-2.4320128794818167e+290)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.090704	#f
(1.4450404395065776e-234)	1.4450404395065776e-234	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.073502	#f
(-1.0336675820813996e-174)	-1.0336675820813996e-174	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.10381800000000001	#f
(2.095644827994513e-54)	2.095644827994513e-54	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.140725	#f
(-4.0989549381291584e+71)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.06708299999999999	#f
(-4.6240116434823896e+216)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.091887	#f
(-2.2538528976511333e+110)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.043138	#f
(2.178621395210227e-303)	2.178621395210227e-303	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.140951	#f
(2.3881213599454446e-240)	2.3881213599454446e-240	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.17995	#f
(-8.096625374726887e+61)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.088711	#f
(1.3234815272582147e+23)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.037916	#f
(-1.8566733069785045e+67)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.084686	#f
(-1.2751001208299771e+95)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.044051	#f
(6.336405044240587e-300)	6.336405044240587e-300	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.06369	#f
(-3.1651592380988883e+211)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.08847	#f
(-2.8175641088218443e+100)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.042211	#f
(-2.5901632920574465e+290)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.071634	#f
(-8.489853885544487e-281)	-8.489853885544487e-281	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.077442	#f
(3.8981162142883143e-296)	3.8981162142883143e-296	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.146614	#f
(-5.129118232175394e+102)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.070868	#f
(-1.4226906643629293e-13)	-1.4226906643629293e-13	(-1.4226911749376514e-13 -1.422690361786022e-13)	+nan.0	valid	exit	1	0.14078	#f
(-4.554505609994629e+153)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.08626299999999999	#f
(-2.966400544760045e+133)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.09069200000000001	#f
(-6.584975291568248e+149)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.089851	#f
(2.4741159087830993e+284)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.045195	#f
(2.3293196208701106e+79)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.087439	#f
(1.1745724690958296e-119)	1.1745724690958296e-119	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.10514	#f
(-6.450661930369861e+184)	#f	(-inf.0 0.0)	+nan.0	unsamplable	exit	0	0.045915	#f
(-3.2118134074343195e-83)	-3.2118134074343195e-83	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.102369	#f
(-2.1273567608444635e-193)	-2.1273567608444635e-193	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.131993	#f
(8.245914672584819e+121)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.043369	#f
(-3.883844983176798e-270)	-3.883844983176798e-270	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.126432	#f
(2.1299114823134096e-231)	2.1299114823134096e-231	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.12637	#f
(1.5235542584449253e-208)	1.5235542584449253e-208	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.133736	#f
(1.6115908759033244e+285)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.06838000000000001	#f
(2.14219137035926e+97)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.070208	#f
(-1.6148113033993683e-301)	-1.6148113033993683e-301	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.132208	#f
(2.1313367463488554e+123)	#f	(0.0 +inf.0)	+nan.0	unsamplable	exit	0	0.065204	#f
(2.765454252057838e-264)	2.765454252057838e-264	(0.0 8.131516293641283e-20)	+nan.0	valid	exit	1	0.135706	#f
(-2.035091427335116e-161)	-2.035091427335116e-161	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.13259200000000002	#f
(-4.3042211688137826e-308)	-4.3042211688137826e-308	(-8.131516293641283e-20 0.0)	+nan.0	valid	exit	1	0.146673	#f

Sollya timings

Total time spent in Sollya 1.6s

Bogosity