QBF Evaluation 2020



Prenex CNF Track


Organization: Luca Pulina, Martina Seidl, and Ankit Shukla

Judges: Olaf Beyersdorff 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:




Crafted Instances Track


Organization: Luca Pulina, Martina Seidl, and Ankit Shukla

Judges: Olaf Beyersdorff 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:




Prenex non-CNF Track


Organization: Luca Pulina, Martina Seidl, and Ankit Shukla

Judges: Olaf Beyersdorff 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:




DQBF Solvers Track


Organization: Luca Pulina, Martina Seidl, and Ankit Shukla

Judges: Olaf Beyersdorff 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: