Details

Time bar (total: 163.0ms)

sample49.0ms

Algorithm
intervals
Results
12.0ms256×pre80true
11.0ms256×body80valid

simplify78.0ms

Counts
1 → 1
Iterations
IterNodes
done117
5117
4113
376
241
118
07

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b