Replace derivative by educe #4127
Job | Run time |
---|---|
7s | |
17s | |
13s | |
15s | |
19s | |
4m 15s | |
48s | |
45s | |
21s | |
24s | |
24s | |
19s | |
34s | |
23s | |
48s | |
43s | |
41s | |
21s | |
19s | |
36s | |
20s | |
21s | |
28s | |
18s | |
30s | |
1m 40s | |
41s | |
2m 32s | |
2m 21s | |
2m 16s | |
2m 23s | |
2m 26s | |
2m 31s | |
1m 58s | |
2m 56s | |
1s | |
0s | |
0s | |
36m 34s |