Time bar (total: 3.5s)
| 16.0ms | 328× | body | 80 | valid |
| 1.0ms | 6× | body | 1280 | valid |
| 1.0ms | 4× | body | 640 | valid |
| 0.0ms | 1× | body | 320 | valid |
| 0.0ms | 1× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 5 | 2655 |
| 4 | 984 |
| 3 | 310 |
| 2 | 95 |
| 1 | 31 |
| 0 | 12 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b