Rename $str$parse_int()
to $str$to_integer()
#3135
Job | Run time |
---|---|
53s | |
8m 20s | |
20s | |
28m 46s | |
28s | |
32m 28s | |
29s | |
10m 54s | |
35s | |
10m 1s | |
14s | |
10m 28s | |
15s | |
8m 4s | |
12s | |
32m 23s | |
9m 49s | |
2h 34m 39s |