Unicode: remove lookup from valid_utf8() #205
Job | Run time |
---|---|
3m 4s | |
7m 45s | |
11m 28s | |
6m 42s | |
3m 32s | |
6m 42s | |
9m 18s | |
3m 22s | |
3m 9s | |
3m 43s | |
3m 34s | |
3m 28s | |
3m 22s | |
3m 11s | |
3m 16s | |
2m 56s | |
3m 52s | |
3m 28s | |
7m 35s | |
9m 58s | |
8m 13s | |
2m 53s | |
3m 9s | |
12s | |
1h 57m 52s |