[CP-SAT] one more presolve on int_prod #1550
Job | Run time |
---|---|
1h 13m 37s | |
1h 18m 56s | |
1h 22m 4s | |
1h 19m 37s | |
1h 27m 9s | |
1h 34m 11s | |
1h 27m 44s | |
1h 30m 6s | |
1h 16m 0s | |
1h 21m 38s | |
1h 15m 27s | |
1h 15m 47s | |
1h 20m 59s | |
1h 26m 16s | |
1h 29m 55s | |
1h 25m 53s | |
1h 5m 1s | |
1h 7m 49s | |
1h 7m 5s | |
1h 5m 24s | |
1h 1m 9s | |
1h 6m 59s | |
1h 4m 7s | |
1h 4m 45s | |
1h 15m 14s | |
1h 18m 28s | |
1h 22m 6s | |
1h 18m 49s | |
1h 24m 22s | |
1h 28m 8s | |
1h 32m 32s | |
1h 29m 44s | |
1d 17h 57m 1s |