Instructions for installing LTSmin and replicating the runs reported in our TACAS 2015 submission.