Real fn renames and Eq refactor #507
Job | Run time |
---|---|
28m 23s | |
27s | |
24m 51s | |
28s | |
12m 10s | |
12m 18s | |
3s | |
12m 8s | |
35m 0s | |
13m 56s | |
30s | |
2h 20m 14s |
Job | Run time |
---|---|
28m 23s | |
27s | |
24m 51s | |
28s | |
12m 10s | |
12m 18s | |
3s | |
12m 8s | |
35m 0s | |
13m 56s | |
30s | |
2h 20m 14s |