Deep-Type Dictionaries (#142) #1607
Job | Run time |
---|---|
25s | |
23s | |
28s | |
29s | |
21s | |
25s | |
45s | |
44s | |
35s | |
20s | |
22s | |
57s | |
1m 17s | |
1m 4s | |
1m 10s | |
1m 12s | |
10m 57s |
Job | Run time |
---|---|
25s | |
23s | |
28s | |
29s | |
21s | |
25s | |
45s | |
44s | |
35s | |
20s | |
22s | |
57s | |
1m 17s | |
1m 4s | |
1m 10s | |
1m 12s | |
10m 57s |