Merge pull request #5 from tlambert03/pin-scip #19
Job | Run time |
---|---|
3m 26s | |
3m 37s | |
3m 26s | |
6m 39s | |
6m 12s | |
7m 6s | |
7m 6s | |
7m 59s | |
7m 35s | |
10m 37s | |
13m 38s | |
13m 41s | |
1h 31m 2s |
Job | Run time |
---|---|
3m 26s | |
3m 37s | |
3m 26s | |
6m 39s | |
6m 12s | |
7m 6s | |
7m 6s | |
7m 59s | |
7m 35s | |
10m 37s | |
13m 38s | |
13m 41s | |
1h 31m 2s |