Hotfix check/adjust subsorting for substitutions based on ==K terms
#6902
| Job | Run time |
|---|---|
| 1m 4s | |
| 35m 49s | |
| 25m 36s | |
| 13m 22s | |
| 1m 42s | |
| 24m 33s | |
| 1h 42m 6s |
==K terms
#6902
| Job | Run time |
|---|---|
| 1m 4s | |
| 35m 49s | |
| 25m 36s | |
| 13m 22s | |
| 1m 42s | |
| 24m 33s | |
| 1h 42m 6s |