Time bar (total: 1.5s)
| 42.0ms | 228× | body | 80 | valid |
| 21.0ms | 23× | body | 1280 | valid |
| 18.0ms | 32× | body | 640 | valid |
| 8.0ms | 109× | body | 80 | nan |
| 7.0ms | 19× | body | 320 | valid |
| 2.0ms | 9× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 6 | 2094 |
| 5 | 507 |
| 4 | 152 |
| 3 | 54 |
| 2 | 27 |
| 1 | 18 |
| 0 | 10 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 6.6b