Details

sample191.0ms

Algorithm

intervals

Results

96.0ms	256×	body	80	valid
13.0ms	256×	pre	80	true

simplify7.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	1408
4	387
3	148
2	72
1	35
0	18

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize21.0ms