Fix effect substitutions, free names and unification of entities #2728
Job | Run time |
---|---|
42s | |
5m 42s | |
58s | |
5m 41s | |
8m 27s | |
9m 59s | |
1m 55s | |
6m 13s | |
1m 41s | |
2m 0s | |
2m 11s | |
2m 11s | |
2m 23s | |
4m 36s | |
4m 59s | |
59m 38s |
Job | Run time |
---|---|
42s | |
5m 42s | |
58s | |
5m 41s | |
8m 27s | |
9m 59s | |
1m 55s | |
6m 13s | |
1m 41s | |
2m 0s | |
2m 11s | |
2m 11s | |
2m 23s | |
4m 36s | |
4m 59s | |
59m 38s |