Details

Time bar (total: 1.4s)

sample365.0ms

Algorithm
intervals
Results
219.0ms274×body10240exit
23.0ms256×body80valid
0.0msbody160valid

simplify986.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
5671
4150
369
234
118
07

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b