Make user-defined sorts accessible in "\dl_" escapes #3696
| Job | Run time |
|---|---|
| 59m 32s | |
| 9m 41s | |
| 34m 49s | |
| 1m 9s | |
| 1m 39s | |
| 6m 37s | |
| 1m 12s | |
| 19m 46s | |
| 1m 56s | |
| 1m 28s | |
| 1m 31s | |
| 2m 39s | |
| 1m 33s | |
| 1m 27s | |
| 1m 56s | |
| 1m 31s | |
| 2m 31s | |
| 2m 5s | |
| 2m 32s | |
| 2m 3s | |
| 53s | |
| 2m 0s | |
| 1m 16s | |
| 2m 2s | |
| 2m 56s | |
| 1m 24s | |
| 1m 59s | |
| 2m 5s | |
| 1m 41s | |
| 7m 40s | |
| 21m 12s | |
| 2m 7s | |
| 2m 1s | |
| 3h 26m 53s |