PrSAT problem

A description of our input file format for PrSAT, problem generators, and problem instances can be dowloaded here (190KB).