Better unicode support #232
| Job | Run time |
|---|---|
| 46m 43s | |
| 42m 40s | |
| 46m 31s | |
| 52m 15s | |
| 54m 25s | |
| 1h 6m 24s | |
| 44m 19s | |
| 1h 14m 58s | |
| 1h 11m 27s | |
| 1h 15m 52s | |
| 52m 32s | |
| 1h 38m 21s | |
| 1h 10m 52s | |
| 1h 28m 51s | |
| 2h 28m 8s | |
| 1h 53m 19s | |
| 14s | |
| 18s | |
| 18s | |
| 2h 26m 35s | |
| 18s | |
| 19s | |
| 2h 55m 40s | |
| 17s | |
| 15s | |
| 2h 34m 29s | |
| 2h 25m 42s | |
| 2h 42m 18s | |
| 15s | |
| 2h 24m 12s | |
| 21s | |
| 14s | |
| 2h 21m 37s | |
| 1m 14s | |
| 2h 38m 43s | |
| 15s | |
| 2h 19m 36s | |
| 27s | |
| 1d 18h 1m 14s |