[scramble_search.rs] Fix max_depth
calculation for filtering.
#813
Job | Run time |
---|---|
9s | |
1m 16s | |
1m 42s | |
1m 34s | |
1m 21s | |
57s | |
47s | |
2m 45s | |
10m 31s |
max_depth
calculation for filtering.
#813
Job | Run time |
---|---|
9s | |
1m 16s | |
1m 42s | |
1m 34s | |
1m 21s | |
57s | |
47s | |
2m 45s | |
10m 31s |