Rename $str$parse_int()
to $str$to_integer()
#709
Job | Run time |
---|---|
15m 43s | |
15m 55s | |
18m 2s | |
18m 36s | |
33m 7s | |
4m 17s | |
1m 59s | |
5m 55s | |
6m 45s | |
3m 53s | |
3m 4s | |
2m 20s | |
7m 10s | |
42s | |
0s | |
2h 17m 28s |