Fix problem with unbound type parameters (#313) #2743
Job | Run time |
---|---|
10m 15s | |
24m 47s | |
7m 31s | |
6m 2s | |
4m 34s | |
13m 5s | |
0s | |
13m 26s | |
5m 14s | |
5m 34s | |
15m 51s | |
10m 37s | |
5m 12s | |
2m 52s | |
9m 17s | |
4m 41s | |
9m 54s | |
2h 28m 52s |
Job | Run time |
---|---|
10m 15s | |
24m 47s | |
7m 31s | |
6m 2s | |
4m 34s | |
13m 5s | |
0s | |
13m 26s | |
5m 14s | |
5m 34s | |
15m 51s | |
10m 37s | |
5m 12s | |
2m 52s | |
9m 17s | |
4m 41s | |
9m 54s | |
2h 28m 52s |