Relax upper bounds #1925
Job | Run time |
---|---|
33m 25s | |
13m 26s | |
6m 9s | |
19m 2s | |
12m 2s | |
15m 38s | |
27m 48s | |
19m 7s | |
1m 39s | |
27m 19s | |
2m 21s | |
2m 5s | |
5m 39s | |
5m 14s | |
13m 34s | |
14m 19s | |
3m 44s | |
3m 10s | |
0s | |
3h 45m 41s |
Job | Run time |
---|---|
33m 25s | |
13m 26s | |
6m 9s | |
19m 2s | |
12m 2s | |
15m 38s | |
27m 48s | |
19m 7s | |
1m 39s | |
27m 19s | |
2m 21s | |
2m 5s | |
5m 39s | |
5m 14s | |
13m 34s | |
14m 19s | |
3m 44s | |
3m 10s | |
0s | |
3h 45m 41s |