Merge pull request #3053 from mrmundt/pin-gurobi #4044
| Job | Run time |
|---|---|
| 49s | |
| 10s | |
| 21m 4s | |
| 21m 12s | |
| 16m 27s | |
| 16m 40s | |
| 20m 10s | |
| 17m 53s | |
| 24m 53s | |
| 19m 56s | |
| 23m 31s | |
| 17m 47s | |
| 3m 51s | |
| 3m 24s | |
| 44m 59s | |
| 39m 20s | |
| 32m 30s | |
| 19m 26s | |
| 8m 55s | |
| 29m 11s | |
| 19m 24s | |
| 26m 9s | |
| 3m 15s | |
| 21m 9s | |
| 46m 44s | |
| 1m 1s | |
| 1m 17s | |
| 1m 25s | |
| 8h 22m 32s |