[CP-SAT] check the time limit more frequently; experimental support f… #1612
Job | Run time |
---|---|
1h 30m 35s | |
1h 35m 13s | |
1h 38m 52s | |
1h 33m 59s | |
2h 5m 12s | |
2h 4m 15s | |
2h 14m 0s | |
2h 6m 30s | |
1h 49m 23s | |
1h 48m 41s | |
1h 55m 5s | |
1h 52m 52s | |
1h 45m 37s | |
1h 44m 47s | |
1h 51m 29s | |
1h 45m 33s | |
1h 32m 59s | |
1h 36m 44s | |
1h 49m 53s | |
1h 41m 30s | |
1h 32m 21s | |
1h 36m 6s | |
1h 40m 32s | |
1h 38m 39s | |
1h 29m 28s | |
1h 34m 40s | |
1h 40m 55s | |
1h 35m 25s | |
1h 28m 50s | |
1h 44m 15s | |
1h 45m 44s | |
1h 36m 36s | |
2d 7h 26m 40s |