Fix implementations of symbol_substitution() for boxes that cannot contain symbols. #4226
Job | Run time |
---|---|
14s | |
40m 54s | |
28m 27s | |
59s | |
1h 14m 56s | |
1m 11s | |
4m 47s | |
0s | |
23m 35s | |
22m 28s | |
0s | |
35m 50s | |
4m 15s | |
11s | |
0s | |
3h 57m 47s |
Job | Run time |
---|---|
14s | |
40m 54s | |
28m 27s | |
59s | |
1h 14m 56s | |
1m 11s | |
4m 47s | |
0s | |
23m 35s | |
22m 28s | |
0s | |
35m 50s | |
4m 15s | |
11s | |
0s | |
3h 57m 47s |