Restyle refactor: Use merge_sort
instead of qsort
for sorting.
#5097
Job | Run time |
---|---|
2m 31s | |
13s | |
51s | |
6m 18s | |
48s | |
22s | |
2m 5s | |
52s | |
50s | |
2m 26s | |
46s | |
13m 21s | |
23s | |
16s | |
11m 3s | |
33s | |
2m 32s | |
18s | |
1s | |
7s | |
1s | |
1s | |
1s | |
6s | |
46m 45s |