Details

sample1.1s

Algorithm

intervals

Results

939.0ms	742×	body	5120	exit
29.0ms	49×	body	1280	valid
28.0ms	57×	body	640	valid
9.0ms	41×	body	320	valid
8.0ms	107×	body	80	valid
4.0ms	15×	body	160	valid
2.0ms	1×	body	2560	valid

simplify84.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	57	17
1	176	17
2	754	16
3	3481	16
4	5001	16

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	0	2	2

Merged error: 18.7b

Counts

2 → 2

regimes351.0ms

Accuracy

0% (0.2b remaining)

Error of 20.2b against oracle of 20.1b and baseline of 20.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	16
1	26	16

end0.0ms

sample33.7s

Algorithm

intervals

Results

29.4s	22940×	body	5120	exit
1.0s	1725×	body	1280	valid
623.0ms	1784×	body	640	valid
262.0ms	1065×	body	320	valid
262.0ms	3125×	body	80	valid
173.0ms	134×	body	2560	valid
96.0ms	565×	body	160	valid

Profiling

Loading profile data...