[CP-SAT] remove contention; fix bug with hints and non contiguous dom… #1860
Job | Run time |
---|---|
56m 30s | |
58m 4s | |
56m 37s | |
1h 1m 14s | |
58m 53s | |
56m 45s | |
57m 40s | |
55m 54s | |
56m 30s | |
1h 1m 21s | |
56m 6s | |
58m 51s | |
57m 16s | |
57m 18s | |
57m 45s | |
14h 26m 44s |
Job | Run time |
---|---|
56m 30s | |
58m 4s | |
56m 37s | |
1h 1m 14s | |
58m 53s | |
56m 45s | |
57m 40s | |
55m 54s | |
56m 30s | |
1h 1m 21s | |
56m 6s | |
58m 51s | |
57m 16s | |
57m 18s | |
57m 45s | |
14h 26m 44s |