[CP-SAT] add shared tree worker parameter override; more use of spans #873
Job | Run time |
---|---|
24m 33s | |
24m 15s | |
22m 58s | |
23m 38s | |
47m 49s | |
48m 6s | |
50m 45s | |
47m 47s | |
44m 10s | |
47m 14s | |
45m 25s | |
45m 16s | |
47m 32s | |
49m 40s | |
47m 57s | |
51m 21s | |
41m 8s | |
45m 27s | |
44m 5s | |
45m 50s | |
43m 50s | |
43m 38s | |
43m 31s | |
44m 49s | |
42m 1s | |
43m 10s | |
42m 10s | |
43m 11s | |
19h 51m 16s |