new unicode maps #254
Job | Run time |
---|---|
40s | |
40s | |
40s | |
38s | |
37s | |
47s | |
37s | |
38s | |
37s | |
38s | |
42s | |
42s | |
39s | |
39s | |
47s | |
38s | |
39s | |
38s | |
0s | |
11m 56s |
Job | Run time |
---|---|
40s | |
40s | |
40s | |
38s | |
37s | |
47s | |
37s | |
38s | |
37s | |
38s | |
42s | |
42s | |
39s | |
39s | |
47s | |
38s | |
39s | |
38s | |
0s | |
11m 56s |