Time bar (total: 2.2m)
| 9.0ms | 256× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 53 | 4918 |
| 52 | 4819 |
| 51 | 4743 |
| 50 | 4672 |
| 49 | 4620 |
| 48 | 4566 |
| 47 | 4515 |
| 46 | 4462 |
| 45 | 4410 |
| 44 | 4355 |
| 43 | 4304 |
| 42 | 4251 |
| 41 | 4199 |
| 40 | 4145 |
| 39 | 4093 |
| 38 | 4041 |
| 37 | 3989 |
| 36 | 3936 |
| 35 | 3884 |
| 34 | 3832 |
| 33 | 3780 |
| 32 | 3727 |
| 31 | 3675 |
| 30 | 3623 |
| 29 | 3571 |
| 28 | 3517 |
| 27 | 3459 |
| 26 | 3406 |
| 25 | 3310 |
| 24 | 3173 |
| 23 | 3073 |
| 22 | 2960 |
| 21 | 2879 |
| 20 | 2825 |
| 19 | 2745 |
| 18 | 2694 |
| 17 | 2647 |
| 16 | 2597 |
| 15 | 2545 |
| 14 | 2457 |
| 13 | 2361 |
| 12 | 2302 |
| 11 | 2218 |
| 10 | 1953 |
| 9 | 1676 |
| 8 | 1522 |
| 7 | 1018 |
| 6 | 344 |
| 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 |
| 450.0ms | 8005× | body | 80 | valid |