HRT-and-SMTI-instances.zip