Remove leading zeros in the numerical version (#18) #72
| Job | Run time |
|---|---|
| 4s | |
| 4s | |
| 6s | |
| 9s | |
| 12s | |
| 6s | |
| 5s | |
| 11s | |
| 5s | |
| 8s | |
| 11s | |
| 9s | |
| 10s | |
| 4m 39s | |
| 3m 36s | |
| 34s | |
| 3m 56s | |
| 36s | |
| 40s | |
| 39s | |
| 1m 56s | |
| 2m 3s | |
| 1m 55s | |
| 2m 10s | |
| 1m 56s | |
| 1m 57s | |
| 2m 8s | |
| 2m 12s | |
| 2m 4s | |
| 1m 57s | |
| 1m 55s | |
| 2m 14s | |
| 1m 59s | |
| 1m 56s | |
| 2m 8s | |
| 2m 12s | |
| 49m 2s |