Default integers to 32-bit precision #4145
Job | Run time |
---|---|
1m 16s | |
1m 27s | |
24s | |
24s | |
2m 22s | |
2m 22s | |
25s | |
25s | |
1m 23s | |
1m 23s | |
1m 20s | |
1m 20s | |
44s | |
44s | |
45s | |
45s | |
17m 29s |
Job | Run time |
---|---|
1m 16s | |
1m 27s | |
24s | |
24s | |
2m 22s | |
2m 22s | |
25s | |
25s | |
1m 23s | |
1m 23s | |
1m 20s | |
1m 20s | |
44s | |
44s | |
45s | |
45s | |
17m 29s |