Details

sample357.0ms

Algorithm

intervals

Results

243.0ms	274×	body	10240	exit
25.0ms	256×	body	80	valid
0.0ms	1×	body	160	valid

simplify1.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
5	674
4	154
3	71
2	34
1	18
0	7

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b