update hackage input #2617
Job | Run time |
---|---|
1m 52s | |
29m 49s | |
28m 13s | |
29m 10s | |
41s | |
22m 58s | |
34m 7s | |
34m 32s | |
52s | |
28m 37s | |
30m 13s | |
31m 0s | |
2m 55s | |
0s | |
4h 34m 59s |
Job | Run time |
---|---|
1m 52s | |
29m 49s | |
28m 13s | |
29m 10s | |
41s | |
22m 58s | |
34m 7s | |
34m 32s | |
52s | |
28m 37s | |
30m 13s | |
31m 0s | |
2m 55s | |
0s | |
4h 34m 59s |