Subst.py: fix bugs and improve substitution performance #2376
| Job | Run time |
|---|---|
| 6m 15s | |
| 9m 12s | |
| 6m 30s | |
| 6m 49s | |
| 15m 16s | |
| 3m 55s | |
| 17m 15s | |
| 9m 24s | |
| 30m 14s | |
| 16m 46s | |
| 9m 24s | |
| 16m 2s | |
| 6m 30s | |
| 15m 16s | |
| 17m 15s | |
| 6m 15s | |
| 6m 49s | |
| 3m 55s | |
| 16m 46s | |
| 9m 12s | |
| 3h 49m 0s |
| Job | Run time |
|---|---|
| 6m 15s | |
| 9m 12s | |
| 6m 30s | |
| 6m 49s | |
| 15m 16s | |
| 3m 55s | |
| 17m 15s | |
| 9m 24s | |
| 30m 14s | |
| 16m 46s | |
| 9m 24s | |
| 16m 2s | |
| 6m 30s | |
| 15m 16s | |
| 17m 15s | |
| 6m 15s | |
| 6m 49s | |
| 3m 55s | |
| 16m 46s | |
| 9m 12s | |
| 3h 49m 0s |