An update of the pss5 preview 1 file was just posted. The random path algorithm was improved and a few bugs were fixed. This is the version used for the updated experiments in the new version of the paper (dec 2015). Preview 2 (with cheater homotopies) is coming soon!