[CP-SAT] improve mod doc; improve precedences in scheduling; speed up… #1369
Job | Run time |
---|---|
56m 39s | |
1h 1m 58s | |
1h 8m 0s | |
1h 2m 45s | |
1h 17m 34s | |
1h 20m 28s | |
1h 25m 48s | |
1h 19m 24s | |
1h 14m 21s | |
1h 12m 52s | |
1h 35m 50s | |
1h 16m 13s | |
1h 6m 12s | |
1h 9m 59s | |
1h 16m 27s | |
1h 10m 4s | |
1h 5m 2s | |
1h 3m 44s | |
1h 13m 50s | |
1h 6m 37s | |
18s | |
20s | |
22s | |
16s | |
57m 17s | |
1h 5m 13s | |
1h 7m 58s | |
1h 1m 43s | |
1h 8m 32s | |
1h 12m 57s | |
1h 17m 2s | |
1h 12m 1s | |
1d 9h 7m 46s |