Replace derivative with educe (#832) #2897
Job | Run time |
---|---|
11s | |
1m 4s | |
7s | |
6s | |
9m 58s | |
1m 12s | |
17m 56s | |
15m 39s | |
20s | |
38s | |
8m 35s | |
9s | |
1m 21s | |
5m 41s | |
1m 17s | |
1m 29s | |
3m 56s | |
51s | |
3m 33s | |
1m 14s | |
1m 14s | |
1m 6s | |
2m 18s | |
3m 56s | |
1m 15s | |
1m 15s | |
1m 8s | |
4m 0s | |
1m 4s | |
1m 11s | |
1m 16s | |
1m 26s | |
1m 40s | |
1m 30s | |
4m 25s | |
4m 3s | |
1h 48m 4s |