[CP-SAT] one more presolve on int_prod #1569
Job | Run time |
---|---|
1h 1m 54s | |
1h 2m 6s | |
1h 1m 8s | |
1h 2m 11s | |
1h 2m 19s | |
1h 4m 43s | |
1h 0m 46s | |
1h 0m 41s | |
1h 3m 47s | |
1h 1m 46s | |
1h 1m 6s | |
11h 22m 27s |
Job | Run time |
---|---|
1h 1m 54s | |
1h 2m 6s | |
1h 1m 8s | |
1h 2m 11s | |
1h 2m 19s | |
1h 4m 43s | |
1h 0m 46s | |
1h 0m 41s | |
1h 3m 47s | |
1h 1m 46s | |
1h 1m 6s | |
11h 22m 27s |