Download the Main competition test set
Download the 2QBF track test set
Download the Small hard track test set
Download the Random track test set
Download the non-prenex non-CNF track test set