This repository contains test cases for two different types of problems: SMTI,
and HRT. Each type of problem is contained within its own directory, and more
specialised instructions are available within these directories.