Time bar (total: 2.4s)
| 101.0ms | 184× | body | 1280 | valid |
| 13.0ms | 282× | body | 80 | valid |
| 13.0ms | 42× | body | 640 | valid |
| 2.0ms | 11× | body | 320 | valid |
| 1.0ms | 12× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 10 | 2899 |
| 9 | 809 |
| 8 | 249 |
| 7 | 88 |
| 6 | 71 |
| 5 | 62 |
| 4 | 56 |
| 3 | 40 |
| 2 | 26 |
| 1 | 14 |
| 0 | 7 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 26.9b