Details

sample249.0ms

Algorithm

intervals

Results

204.0ms	274×	body	10240	exit
22.0ms	256×	body	80	valid
0.0ms	1×	body	160	valid

simplify1.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
5	671
4	150
3	69
2	34
1	18
0	7

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b