[CP-SAT] improve 2d packing presolve; improve MIR cuts; rewrite some … #1508
Job | Run time |
---|---|
56m 45s | |
1h 6m 20s | |
1h 3m 21s | |
55m 52s | |
54m 26s | |
52m 58s | |
1h 0m 35s | |
6h 50m 17s |
Job | Run time |
---|---|
56m 45s | |
1h 6m 20s | |
1h 3m 21s | |
55m 52s | |
54m 26s | |
52m 58s | |
1h 0m 35s | |
6h 50m 17s |