(overflowing|checked)_(add|sub)_offset
implementations
#2396
Job | Run time |
---|---|
8m 12s | |
14m 15s | |
12m 3s | |
2m 3s | |
2m 14s | |
2m 33s | |
2m 38s | |
2m 21s | |
2m 20s | |
2m 18s | |
2m 14s | |
2m 32s | |
1m 11s | |
1m 38s | |
3m 20s | |
2m 21s | |
2m 36s | |
2m 37s | |
2m 31s | |
40s | |
30s | |
27s | |
37s | |
1m 56s | |
3m 23s | |
29s | |
23s | |
43s | |
28s | |
1h 21m 33s |