Time bar (total: 21.7s)
| 472.0ms | 303× | body | 5120 | exit |
| 104.0ms | 114× | body | 1280 | valid |
| 43.0ms | 75× | body | 640 | valid |
| 25.0ms | 265× | body | 80 | nan |
| 23.0ms | 282× | body | 80 | overflowed |
| 14.0ms | 40× | body | 320 | valid |
| 3.0ms | 16× | body | 160 | valid |
| 1.0ms | 11× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 3 |
| 1 | 25 | 3 |
| 2 | 64 | 3 |
| 3 | 171 | 3 |
| 4 | 546 | 3 |
| 5 | 3512 | 3 |
| 6 | 5001 | 3 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
Merged error: 59.5b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 3 |
| 13.6s | 8528× | body | 5120 | exit |
| 3.0s | 3296× | body | 1280 | valid |
| 1.4s | 2484× | body | 640 | valid |
| 677.0ms | 7175× | body | 80 | nan |
| 648.0ms | 7554× | body | 80 | overflowed |
| 416.0ms | 1220× | body | 320 | valid |
| 131.0ms | 619× | body | 160 | valid |
| 37.0ms | 381× | body | 80 | valid |
Loading profile data...