Instances in QBFLIB
| Suites | Submitter | # Families |
|---|---|---|
| Akshay-Chakraborty-John-Shah-Rabe | Markus N. Rabe | 2 |
| Amendola-Ricca-Truszczynski | Francesco Ricca | 3 |
| Ansotegui | Ansotegui | 5 |
| Ayari | Ayari | 5 |
| Balabanov | Valeriy Balabanov | 1 |
| Basler | Gérard Basler | 3 |
| Biere | Armin Biere | 3 |
| Bloem | Roderick Bloem | 1 |
| Cashmore-Fox-Giunchiglia | Michael Cashmore | 1 |
| Castellini | Claudio Castellini | 3 |
| Chen-Interian | Hubie Chen | 4 |
| Cooksey-Batty-Grigore-Janota | Mikolas Janota | 1 |
| Diptarama-Jordan-Shinohara | Charles Jordan | 1 |
| Egly-Seidl-Tompits-Woltran-Zolda | Egly | 1 |
| Faber-Leone-Maratea-Ricca | Marco Maratea | 1 |
| Gent-Rowley | Gent | 8 |
| HeckingHarbusch | Jesko Hecking-Harbusch | 2 |
| Herbstritt | Marc Herbstritt | 2 |
| Interian | Yannet Interian | 91 |
| Jordan-Kaiser | Charles Jordan | 2 |
| Katz | Katz | 2 |
| Klieber | William Klieber | 1 |
| Kontchakov | Roman Kontchakov | 2 |
| Kronegger-Pfandler-Pichler | Martin Kronegger | 2 |
| Kullmann-Shukla | Ankit Shukla | 1 |
| Lahiri-Seshia | Lahiri | 1 |
| Lee-Jiang | Nian-Ze Lee | 1 |
| Letombe | Florian Letombe | 3 |
| Letz | Letz | 1 |
| Ling | Ling | 2 |
| Mangassarian-Veneris | Hratch Mangassarian | 2 |
| MayerEichberger-Saffidine | Valentin Mayer-Eichberger | 5 |
| Messinger | Daaven Messinger | 1 |
| Miller-Marin | Paolo Marin | 3 |
| Miller-Scholl-Becker | Christian Miller | 1 |
| Mneimneh-Sakallah | Sakallah | 12 |
| Narizzano | Massimo Narizzano | 5 |
| Oetsch | Johannes Oetsch | 1 |
| Palacios | Hector Palacios | 1 |
| Pan | Pan | 19 |
| Peitl | Tomas Peitl | 3 |
| Preusser | Thomas Preusser | 1 |
| qbfeval12 | administrator | 1 |
| QBF_1.0 | Luca Pulina | 2 |
| Rabe | Markus N. Rabe | 1 |
| Rintanen | Jussi Rintanen | 6 |
| SAT_competition_2005 | SAT Competition 2005 | 2 |
| Sauer-Reimer | Sven Reimer | 2 |
| Scholl | Scholl | 1 |
| Scholl-Becker | Becker | 8 |
| Seidl | Martina Seidl | 5 |
| Tacchella | Armando Tacchella | 356 |
| Tentrup | Leander Tentrup | 12 |
| Wintersteiger | Christoph Wintersteiger | 3 |