Skip to content

correct cut pruning math: max -> min #6306

correct cut pruning math: max -> min

correct cut pruning math: max -> min #6306

Job Run time
3s
9s
8m 20s
4m 33s
3m 51s
4m 27s
4m 2s
10m 14s
10m 3s
9m 47s
10m 24s
9m 55s
10m 22s
9m 39s
10m 3s
9m 52s
9m 36s
4m 59s
15s
5m 6s
44s
46s
5m 22s
1m 47s
16s
5m 20s
19s
5m 31s
18s
10s
9s
12s
18s
15s
1m 3s
2h 38m 10s