improve commute-subst-rename #756
Job | Run time |
---|---|
30m 54s | |
54m 7s | |
34m 40s | |
34m 14s | |
35m 5s | |
34m 49s | |
33m 41s | |
30m 40s | |
34m 23s | |
43m 10s | |
39m 59s | |
0s | |
0s | |
6h 45m 42s |
Job | Run time |
---|---|
30m 54s | |
54m 7s | |
34m 40s | |
34m 14s | |
35m 5s | |
34m 49s | |
33m 41s | |
30m 40s | |
34m 23s | |
43m 10s | |
39m 59s | |
0s | |
0s | |
6h 45m 42s |