For input formats see http://coco.nue.riec.tohoku.ac.jp/problems/trs.php for TRSs, http://coco.nue.riec.tohoku.ac.jp/problems/ctrs.php for CTRSs, and http://coco.nue.riec.tohoku.ac.jp/problems/hrs.php for HRSs.