Details

sample233.0ms

Algorithm

intervals

Results

115.0ms	934×	body	80	nan
40.0ms	297×	body	80	valid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	53	19
1	99	19
2	162	19
3	263	19
4	555	19
5	1935	19
6	5001	19

prune5.0ms

Filtered

1 candidates to 0 candidates (100.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: 8.3b

Counts

2 → 1

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	19
1	47	19
2	53	19
3	53	19

end0.0ms

sample6.7s

Algorithm

intervals

Results

3.4s	27163×	body	80	nan
1.3s	9169×	body	80	valid

Profiling

Loading profile data...