Instances in QBFLIB

SuitesSubmitter# Families
Akshay-Chakraborty-John-Shah-RabeMarkus N. Rabe2
Amendola-Ricca-TruszczynskiFrancesco Ricca3
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
HeckingHarbuschJesko Hecking-Harbusch1
HerbstrittMarc Herbstritt2
InterianYannet Interian91
Jordan-KaiserCharles Jordan1
Katz Katz2
KlieberWilliam Klieber1
KontchakovRoman Kontchakov2
Kronegger-Pfandler-PichlerMartin Kronegger2
Lahiri-Seshia Lahiri1
Lee-JiangNian-Ze Lee1
LetombeFlorian Letombe3
Letz Letz1
Ling Ling2
Mangassarian-VenerisHratch Mangassarian2
MayerEichberger-SaffidineValentin Mayer-Eichberger2
MessingerDaaven Messinger1
Miller-MarinPaolo Marin3
Miller-Scholl-BeckerChristian Miller1
Mneimneh-Sakallah Sakallah12
NarizzanoMassimo Narizzano5
PalaciosHector Palacios1
Pan Pan19
PeitlTomas Peitl1
PreusserThomas Preusser1
qbfeval12administrator 1
QBF_1.0Luca Pulina2
RabeMarkus N. Rabe1
RintanenJussi Rintanen6
SAT_competition_2005 SAT Competition 20052
Sauer-ReimerSven Reimer2
Scholl-Becker Becker8
SeidlMartina Seidl3
TacchellaArmando Tacchella356
TentrupLeander Tentrup11
WintersteigerChristoph Wintersteiger3