• 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