MutHamt: make sure the last level has array sizes <= 16 #1498
Job | Run time |
---|---|
11m 16s | |
10m 39s | |
10m 5s | |
9m 55s | |
9m 22s | |
9m 46s | |
15m 57s | |
16m 37s | |
16m 42s | |
10m 18s | |
9m 48s | |
8m 52s | |
8m 50s | |
27m 34s | |
14m 40s | |
14m 23s | |
12m 49s | |
14m 37s | |
9m 9s | |
11m 46s | |
4h 13m 5s |