Details

sample885.0ms

Algorithm

intervals

Results

707.0ms	353×	body	5120	exit
69.0ms	145×	body	1280	valid
26.0ms	400×	body	80	valid
22.0ms	76×	body	640	valid
6.0ms	32×	body	320	valid
2.0ms	13×	body	160	valid

simplify63.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	10
1	92	10
2	259	10
3	792	10
4	3067	10
5	5002	10

prune4.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: 0.0b

Counts

2 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	10
1	17	10

end0.0ms

sample28.4s

Algorithm

intervals

Results

23.0s	11750×	body	5120	exit
2.0s	4029×	body	1280	valid
806.0ms	11781×	body	80	valid
785.0ms	2585×	body	640	valid
225.0ms	1060×	body	320	valid
79.0ms	518×	body	160	valid

Profiling

Loading profile data...