[CP-SAT] remove problematic DCHECK; tweak glue-clause-sharing #1409
Job | Run time |
---|---|
59m 54s | |
1h 4m 55s | |
1h 9m 4s | |
1h 3m 53s | |
1h 24m 56s | |
1h 29m 1s | |
1h 30m 39s | |
1h 29m 7s | |
2h 21m 53s | |
2h 25m 33s | |
2h 29m 43s | |
2h 25m 32s | |
1h 8m 36s | |
1h 13m 16s | |
1h 16m 36s | |
1h 14m 40s | |
1h 5m 15s | |
1h 8m 26s | |
1h 12m 40s | |
1h 7m 45s | |
59m 41s | |
1h 4m 11s | |
1h 8m 48s | |
1h 6m 20s | |
59m 29s | |
1h 6m 20s | |
1h 8m 0s | |
1h 3m 36s | |
1h 10m 47s | |
1h 15m 39s | |
1h 19m 57s | |
1h 15m 39s | |
1d 18h 59m 51s |