HT -> SMT

https://doc.zih.tu-dresden.de/preview/jobs_and_resources/partitions_and_limits/

assigned to @rotscher--tu-dresden.de

created branch 433-ht-smt to address this issue

mentioned in merge request !740 (merged)

closed with merge request !740 (merged)

mentioned in commit bf61ccde