support hinting literals in CP-SAT Python #1548
Job | Run time |
---|---|
1h 15m 16s | |
1h 18m 39s | |
1h 21m 59s | |
1h 15m 41s | |
1h 26m 39s | |
1h 32m 27s | |
1h 29m 36s | |
1h 29m 3s | |
1h 18m 35s | |
1h 18m 15s | |
1h 15m 39s | |
1h 18m 13s | |
1h 27m 16s | |
1h 27m 17s | |
1h 33m 24s | |
1h 25m 18s | |
1h 2m 41s | |
1h 9m 22s | |
1h 2m 53s | |
1h 10m 26s | |
1h 2m 43s | |
1h 7m 48s | |
1h 4m 22s | |
1h 4m 38s | |
1h 11m 42s | |
1h 18m 0s | |
1h 25m 8s | |
1h 18m 23s | |
1h 26m 1s | |
1h 29m 43s | |
1h 32m 48s | |
1h 30m 34s | |
1d 18h 10m 29s |