Details

sample262.0ms

Algorithm

intervals

Results

88.0ms	256×	body	80	valid
11.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

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize32.0ms