Merge pull request #1216 from tfranzel/more_higher_order #731
Job | Run time |
---|---|
13s | |
45s | |
44s | |
1m 52s | |
1m 28s | |
2m 17s | |
1m 57s | |
1m 24s | |
2m 0s | |
1m 57s | |
1m 31s | |
2m 8s | |
1m 34s | |
1m 23s | |
1m 41s | |
1m 37s | |
1m 29s | |
1m 28s | |
1m 52s | |
1m 30s | |
1m 30s | |
1m 26s | |
1m 50s | |
1m 24s | |
1m 48s | |
1m 26s | |
1m 20s | |
1m 17s | |
1m 47s | |
1m 57s | |
1s | |
46m 36s |