[CP-SAT] more checks #1678
Job | Run time |
---|---|
1h 7m 15s | |
1h 20m 13s | |
1h 14m 53s | |
1h 21m 30s | |
1h 21m 32s | |
1h 12m 54s | |
1h 7m 37s | |
1h 6m 36s | |
1h 9m 18s | |
1h 7m 30s | |
12h 9m 18s |
Job | Run time |
---|---|
1h 7m 15s | |
1h 20m 13s | |
1h 14m 53s | |
1h 21m 30s | |
1h 21m 32s | |
1h 12m 54s | |
1h 7m 37s | |
1h 6m 36s | |
1h 9m 18s | |
1h 7m 30s | |
12h 9m 18s |