Dotty #30390
Job | Run time |
---|---|
50m 20s | |
16m 34s | |
56m 41s | |
0s | |
12m 27s | |
40m 25s | |
58m 53s | |
1h 1m 31s | |
1h 8m 51s | |
1h 2m 40s | |
21m 1s | |
49s | |
48s | |
0s | |
19m 8s | |
0s | |
7h 50m 8s |
Job | Run time |
---|---|
50m 20s | |
16m 34s | |
56m 41s | |
0s | |
12m 27s | |
40m 25s | |
58m 53s | |
1h 1m 31s | |
1h 8m 51s | |
1h 2m 40s | |
21m 1s | |
49s | |
48s | |
0s | |
19m 8s | |
0s | |
7h 50m 8s |