Time bar (total: 4.2s)
| 24.0ms | 327× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 20 | 4835 |
| 19 | 4589 |
| 18 | 4315 |
| 17 | 4067 |
| 16 | 3795 |
| 15 | 3549 |
| 14 | 3276 |
| 13 | 3025 |
| 12 | 2756 |
| 11 | 1815 |
| 10 | 756 |
| 9 | 299 |
| 8 | 167 |
| 7 | 124 |
| 6 | 98 |
| 5 | 78 |
| 4 | 61 |
| 3 | 40 |
| 2 | 24 |
| 1 | 14 |
| 0 | 8 |
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 | 8 |
| 1 | 8 |
| 0 | 7 |
| 726.0ms | 10067× | body | 80 | valid |