QBF Evaluation 2017



QBFEVAL'17 - Prenex CNF Track


Organization: Luca Pulina and Martina Seidl

Judges: Olaf Beyersdorff, Daniel Le Berre, Martin Suda, and Christoph Wintersteiger

Quick overview

Solver-centric views Instance-centric views SOTA solver views

Discrepancy analysis: Overview, Overview by instance.


Customize tables

Overview by instance type:

Overview by family grouping:




QBFEVAL'17 - Prenex non-CNF Track


Organization: Luca Pulina and Martina Seidl

Judges: Olaf Beyersdorff, Daniel Le Berre, Martin Suda, and Christoph Wintersteiger

Quick overview

Solver-centric views Instance-centric views SOTA solver views

Discrepancy analysis: Overview, Overview by instance.


Customize tables

Overview by instance type:

Overview by family grouping:




QBFEVAL'17 - Prenex 2QBF Track


Organization: Luca Pulina and Martina Seidl

Judges: Olaf Beyersdorff, Daniel Le Berre, Martin Suda, and Christoph Wintersteiger

Quick overview

Solver-centric views Instance-centric views SOTA solver views

Discrepancy analysis: Overview, Overview by instance.


Customize tables

Overview by instance type:

Overview by family grouping:




QBFEVAL'17 - Random QBFs Track


Organization: Luca Pulina and Martina Seidl

Judges: Olaf Beyersdorff, Daniel Le Berre, Martin Suda, and Christoph Wintersteiger

Quick overview

Solver-centric views Instance-centric views SOTA solver views

Discrepancy analysis: Overview, Overview by instance.


Customize tables

Overview by instance type:

Overview by family grouping: