Instances in QBFLIB

SuitesSubmitter# Families
Amendola-Ricca-TruszczynskiFrancesco Ricca1
Ansotegui Ansotegui5
Ayari Ayari5
BaslerGérard Basler3
BiereArmin Biere3
Cashmore-Fox-GiunchigliaMichael Cashmore1
CastelliniClaudio Castellini3
Chen-InterianHubie Chen4
Diptarama-Jordan-ShinoharaCharles Jordan1
Egly-Seidl-Tompits-Woltran-Zolda Egly1
Faber-Leone-Maratea-RiccaMarco Maratea1
Gent-Rowley Gent8
HerbstrittMarc Herbstritt2
InterianYannet Interian91
Jordan-KaiserCharles Jordan1
Katz Katz2
KontchakovRoman Kontchakov2
Kronegger-Pfandler-PichlerMartin Kronegger2
Lahiri-Seshia Lahiri1
LetombeFlorian Letombe3
Letz Letz1
Ling Ling2
Mangassarian-VenerisHratch Mangassarian2
MessingerDaaven Messinger1
Miller-MarinPaolo Marin3
Miller-Scholl-BeckerChristian Miller1
Mneimneh-Sakallah Sakallah12
NarizzanoMassimo Narizzano5
PalaciosHector Palacios1
Pan Pan19
PeitlTomas Peitl1
qbfeval12administrator 1
QBF_1.0Luca Pulina2
RintanenJussi Rintanen6
SAT_competition_2005 SAT Competition 20052
Sauer-ReimerSven Reimer2
Scholl-Becker Becker8
SeidlMartina Seidl3
TacchellaArmando Tacchella356
WintersteigerChristoph Wintersteiger3