[CP-SAT] always simplify added clauses; new presolve on element #1803
| Job | Run time |
|---|---|
| 1h 28m 25s | |
| 1h 29m 33s | |
| 1h 27m 24s | |
| 1h 27m 27s | |
| 1h 25m 12s | |
| 1h 27m 55s | |
| 1h 27m 6s | |
| 1h 27m 37s | |
| 1h 27m 45s | |
| 1h 28m 17s | |
| 1h 26m 39s | |
| 16h 3m 20s |
| Job | Run time |
|---|---|
| 1h 28m 25s | |
| 1h 29m 33s | |
| 1h 27m 24s | |
| 1h 27m 27s | |
| 1h 25m 12s | |
| 1h 27m 55s | |
| 1h 27m 6s | |
| 1h 27m 37s | |
| 1h 27m 45s | |
| 1h 28m 17s | |
| 1h 26m 39s | |
| 16h 3m 20s |