Time bar (total: 28.5s)
| 11.0ms | 256× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 57 | 4908 |
| 56 | 4827 |
| 55 | 4756 |
| 54 | 4701 |
| 53 | 4651 |
| 52 | 4598 |
| 51 | 4547 |
| 50 | 4492 |
| 49 | 4438 |
| 48 | 4352 |
| 47 | 4231 |
| 46 | 4137 |
| 45 | 4031 |
| 44 | 3955 |
| 43 | 3903 |
| 42 | 3829 |
| 41 | 3780 |
| 40 | 3736 |
| 39 | 3688 |
| 38 | 3638 |
| 37 | 3587 |
| 36 | 3536 |
| 35 | 3486 |
| 34 | 3437 |
| 33 | 3386 |
| 32 | 3336 |
| 31 | 3287 |
| 30 | 3237 |
| 29 | 3186 |
| 28 | 3137 |
| 27 | 3087 |
| 26 | 3037 |
| 25 | 2987 |
| 24 | 2938 |
| 23 | 2888 |
| 22 | 2839 |
| 21 | 2790 |
| 20 | 2740 |
| 19 | 2687 |
| 18 | 2637 |
| 17 | 2583 |
| 16 | 2529 |
| 15 | 2478 |
| 14 | 2388 |
| 13 | 2277 |
| 12 | 2223 |
| 11 | 2111 |
| 10 | 1891 |
| 9 | 1656 |
| 8 | 1504 |
| 7 | 911 |
| 6 | 346 |
| 5 | 119 |
| 4 | 48 |
| 3 | 36 |
| 2 | 22 |
| 1 | 12 |
| 0 | 5 |
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 | 4 |
| 1 | 4 |
| 0 | 3 |
| 300.0ms | 8008× | body | 80 | valid |