Details

sample386.0ms

Algorithm

intervals

Results

64.0ms	256×	body	80	valid
43.0ms	256×	pre	80	true

simplify2.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	3177
4	483
3	159
2	72
1	35
0	18

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize18.0ms