Herbie run

Date:	Thursday, September 28th, 2023
Commit:	710a663f on main
Hostname:	nightly with Racket 8.6
Seed:	2023271
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample8.0min (92.7%)

Results

2.6min	16454×	body	8192	exit
1.3min	64591×	body	1024	valid
1.1min	8219×	body	4096	valid
53.9s	269928×	body	256	valid
35.7s	13483×	body	2048	valid
33.1s	1593×	body	8192	valid
18.8s	31930×	body	512	valid
7.8s	4241×	body	1024	infinite
6.1s	27275×	body	256	unsamplable
6.0s	26869×	body	256	infinite
3.8s	567×	body	4096	infinite
3.4s	827×	body	2048	infinite
3.4s	21116×	body	256	invalid
2.5s	2268×	body	512	infinite
2.3s	5346×	body	2048	invalid
1.6s	3767×	body	1024	invalid
663.0ms	2185×	body	512	invalid
308.0ms	21×	body	8192	infinite
123.0ms	928×	body	256	precondition
7.0ms	5×	body	1024	unsamplable
5.0ms	11×	body	4096	invalid
5.0ms	6×	body	512	unsamplable
4.0ms	1×	body	2048	unsamplable

Bogosity

analyze37.5s (7.2%)

Algorithm

53×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
19.6%	15.5%	63.8%	20.6%	0%	0%	0%	1
27.1%	21.4%	57.6%	21%	0%	0%	0%	2
36.8%	28.5%	48.9%	21.2%	0%	1.4%	0%	3
42.3%	32.2%	43.9%	21.2%	0%	2.8%	0%	4
47.2%	35.4%	39.6%	21.2%	0%	3.8%	0%	5
50.2%	37.2%	36.9%	21.2%	0%	4.6%	0%	6
53.6%	39.3%	34%	21.2%	0%	5.4%	0.1%	7
55.3%	40.3%	32.5%	21.3%	0%	5.8%	0.1%	8
58.3%	42%	30.1%	21.3%	0%	6.4%	0.2%	9
59.6%	42.8%	29%	21.3%	0%	6.7%	0.2%	10
61.9%	44.2%	27.2%	21.3%	0%	7.1%	0.3%	11
63.3%	45%	26%	21.3%	0%	7.4%	0.3%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

preprocess685.0ms (0.1%)

Algorithm

51×	egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...