BestFirstSearch: stop using State.allAltAreNL #5211
Job | Run time |
---|---|
29s | |
10m 45s | |
9m 16s | |
10m 35s | |
3m 45s | |
10m 35s | |
7m 44s | |
16m 17s | |
3m 41s | |
6m 55s | |
3m 46s | |
19m 35s | |
21m 24s | |
6m 29s | |
15m 24s | |
18m 31s | |
20m 17s | |
5m 31s | |
0s | |
3h 10m 59s |
Job | Run time |
---|---|
29s | |
10m 45s | |
9m 16s | |
10m 35s | |
3m 45s | |
10m 35s | |
7m 44s | |
16m 17s | |
3m 41s | |
6m 55s | |
3m 46s | |
19m 35s | |
21m 24s | |
6m 29s | |
15m 24s | |
18m 31s | |
20m 17s | |
5m 31s | |
0s | |
3h 10m 59s |