QBF Evaluation 2016



QBFEVAL'16 - Prenex CNF Track.


Organization: Luca Pulina

Judges: Hubie Chen, Martina Seidl, 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'16 - Prenex non-CNF Track.


Organization: Luca Pulina

Judges: Hubie Chen, Martina Seidl, 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'16 - 2QBF Track.


Organization: Luca Pulina

Judges: Hubie Chen, Martina Seidl, 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'16 - Evaluate & Certify (non-competitive) Track.


Organization: Luca Pulina

Judges: Hubie Chen, Martina Seidl, 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'16 - Solver Portfolio Track.


Organization: Luca Pulina

Judges: Hubie Chen, Martina Seidl, 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'16 - Parallel QBF Solvers (non-competitive) Track.


Organization: Luca Pulina

Judges: Hubie Chen, Martina Seidl, 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'16 - Random QBFs Track.


Organization: Luca Pulina

Judges: Hubie Chen, Martina Seidl, 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: