Improve prims for floating-point arithmetic #1424
Job | Run time |
---|---|
2m 24s | |
13m 23s | |
24m 46s | |
8m 43s | |
34m 19s | |
17m 20s | |
33m 15s | |
8m 9s | |
23m 57s | |
13m 59s | |
29m 59s | |
9m 33s | |
10m 49s | |
10m 18s | |
16m 5s | |
3m 54s | |
4h 20m 53s |
Job | Run time |
---|---|
2m 24s | |
13m 23s | |
24m 46s | |
8m 43s | |
34m 19s | |
17m 20s | |
33m 15s | |
8m 9s | |
23m 57s | |
13m 59s | |
29m 59s | |
9m 33s | |
10m 49s | |
10m 18s | |
16m 5s | |
3m 54s | |
4h 20m 53s |