[CP-SAT] improve cumulative relaxation; more spans #845
Job | Run time |
---|---|
1h 10m 9s | |
1h 11m 59s | |
1h 19m 20s | |
1h 13m 49s | |
1h 0m 44s | |
1h 3m 46s | |
1h 11m 38s | |
1h 6m 27s | |
58m 36s | |
1h 3m 2s | |
1h 8m 42s | |
1h 0m 27s | |
1h 3m 17s | |
1h 2m 42s | |
1h 10m 55s | |
1h 4m 5s | |
57m 40s | |
1h 0m 7s | |
1h 5m 8s | |
1h 0m 48s | |
54m 45s | |
1h 0m 42s | |
1h 2m 46s | |
58m 26s | |
56m 5s | |
58m 0s | |
1h 3m 55s | |
58m 8s | |
1d 5h 46m 8s |