Fix effect substitutions, free names and unification of entities #2725
Job | Run time |
---|---|
1m 19s | |
36s | |
5m 36s | |
45s | |
9m 29s | |
6m 36s | |
1m 5s | |
9m 56s | |
2m 37s | |
9m 3s | |
2m 2s | |
2m 28s | |
2m 28s | |
4m 16s | |
5m 22s | |
1h 3m 38s |
Job | Run time |
---|---|
1m 19s | |
36s | |
5m 36s | |
45s | |
9m 29s | |
6m 36s | |
1m 5s | |
9m 56s | |
2m 37s | |
9m 3s | |
2m 2s | |
2m 28s | |
2m 28s | |
4m 16s | |
5m 22s | |
1h 3m 38s |