correct cut pruning math: max -> min #6281
Job | Run time |
---|---|
2s | |
4s | |
9m 10s | |
9m 36s | |
9m 20s | |
9m 36s | |
9m 11s | |
9m 45s | |
27s | |
58s | |
10m 12s | |
21s | |
10m 35s | |
47s | |
9m 47s | |
10m 16s | |
9m 43s | |
21s | |
9m 57s | |
9m 45s | |
10m 7s | |
2m 2s | |
10m 15s | |
23s | |
19s | |
17s | |
24s | |
5m 11s | |
9s | |
5m 23s | |
27s | |
5m 14s | |
4m 59s | |
5m 43s | |
1m 7s | |
3h 1m 53s |