Bump upper bounds (#104) #110
Job | Run time |
---|---|
16m 54s | |
4m 14s | |
17m 50s | |
4m 14s | |
40m 27s | |
4m 14s | |
39m 12s | |
3m 58s | |
17m 17s | |
1s | |
39m 33s | |
1s | |
28m 47s | |
36m 35s | |
4h 13m 17s |
Job | Run time |
---|---|
16m 54s | |
4m 14s | |
17m 50s | |
4m 14s | |
40m 27s | |
4m 14s | |
39m 12s | |
3m 58s | |
17m 17s | |
1s | |
39m 33s | |
1s | |
28m 47s | |
36m 35s | |
4h 13m 17s |