Prefer system-provided robin-map #158
Job | Run time |
---|---|
1m 32s | |
1m 46s | |
30s | |
1m 11s | |
46s | |
1m 56s | |
2m 55s | |
32s | |
2m 13s | |
1m 10s | |
29s | |
1m 14s | |
2m 27s | |
40s | |
1m 59s | |
2m 20s | |
46s | |
1m 1s | |
2m 18s | |
41s | |
2m 24s | |
2m 28s | |
40s | |
1m 8s | |
58s | |
34s | |
36s | |
29s | |
33s | |
33s | |
22s | |
29s | |
1m 3s | |
40s | |
1m 3s | |
32s | |
1s | |
42m 59s |