• 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