Implement $str$head()
and $str$tail()
#3235
Job | Run time |
---|---|
8m 58s | |
39s | |
30m 10s | |
24s | |
30m 54s | |
29s | |
10m 48s | |
30s | |
10m 31s | |
33s | |
11s | |
13s | |
11s | |
9m 46s | |
9m 0s | |
29m 48s | |
10m 44s | |
2h 33m 49s |