Instructions for installing LTSmin and replication the runs reported in our TACAS 2014 submission.