Time bar (total: 19.0s)
| 85.0ms | 97× | body | 640 | valid |
| 82.0ms | 102× | body | 1280 | valid |
| 33.0ms | 272× | body | 80 | valid |
| 15.0ms | 40× | body | 320 | valid |
| 4.0ms | 13× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| 10 | 2917 |
| 9 | 1550 |
| 8 | 1125 |
| 7 | 809 |
| 6 | 614 |
| 5 | 462 |
| 4 | 196 |
| 3 | 84 |
| 2 | 55 |
| 1 | 23 |
| 0 | 10 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
| Iter | Nodes |
|---|---|
| 1 | 0 |
| 0 | 0 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
| Iter | Nodes |
|---|---|
| 2 | 13 |
| 1 | 13 |
| 0 | 10 |
| 3.8s | 2961× | body | 1280 | valid |
| 1.6s | 2512× | body | 640 | valid |
| 1.3s | 8390× | body | 80 | valid |
| 605.0ms | 1278× | body | 320 | valid |
| 163.0ms | 618× | body | 160 | valid |