Time bar (total: 6.7s)
| 27.0ms | 233× | body | 80 | valid |
| 19.0ms | 32× | body | 1280 | valid |
| 17.0ms | 15× | body | 160 | valid |
| 12.0ms | 25× | body | 640 | valid |
| 5.0ms | 13× | body | 320 | valid |
| 4.0ms | 6× | body | 2560 | valid |
| Iter | Nodes |
|---|---|
| done | 5002 |
| 5 | 1342 |
| 4 | 401 |
| 3 | 170 |
| 2 | 69 |
| 1 | 23 |
| 0 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
| Iter | Nodes |
|---|---|
| done | 0 |
| 0 | 0 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
| Iter | Nodes |
|---|---|
| done | 6 |
| 1 | 6 |
| 0 | 5 |
| 1.1s | 7035× | body | 80 | valid |
| 459.0ms | 957× | body | 1280 | valid |
| 404.0ms | 827× | body | 640 | valid |
| 195.0ms | 536× | body | 320 | valid |
| 108.0ms | 214× | body | 2560 | valid |
| 91.0ms | 536× | body | 160 | valid |