[CP-SAT] bugfixes; improving the connection to glop #1565
Job | Run time |
---|---|
1h 1m 55s | |
1h 4m 46s | |
1h 13m 42s | |
1h 0m 22s | |
1h 29m 31s | |
1h 32m 51s | |
1h 37m 43s | |
1h 24m 7s | |
1h 18m 20s | |
1h 21m 55s | |
1h 24m 16s | |
1h 14m 21s | |
1h 11m 12s | |
1h 17m 9s | |
1h 19m 47s | |
1h 9m 41s | |
1h 9m 24s | |
1h 6m 39s | |
1h 20m 30s | |
1h 4m 37s | |
1h 3m 37s | |
1h 13m 24s | |
1h 13m 37s | |
1h 6m 19s | |
1h 7m 21s | |
1h 6m 53s | |
1h 14m 26s | |
1h 1m 45s | |
1h 15m 18s | |
1h 20m 31s | |
1h 27m 0s | |
1h 12m 16s | |
1d 15h 45m 15s |