datashed(grep): add options for document refinements #286
Job | Run time |
---|---|
1m 56s | |
2m 0s | |
33s | |
25s | |
37s | |
0s | |
2m 8s | |
4m 32s | |
3s | |
4m 49s | |
0s | |
4m 2s | |
4m 2s | |
3m 48s | |
0s | |
28m 55s |
Job | Run time |
---|---|
1m 56s | |
2m 0s | |
33s | |
25s | |
37s | |
0s | |
2m 8s | |
4m 32s | |
3s | |
4m 49s | |
0s | |
4m 2s | |
4m 2s | |
3m 48s | |
0s | |
28m 55s |