QBF Evaluation 2010



QBFEVAL'10 - Competitive Track.


Organization: Claudia Peschiera, Luca Pulina, Armando Tacchella

Judges: Uwe Bubeck, Oliver Kullmann, Ines Lynce

Quick overview

YASM Ranking 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'10 - 2QBF Track.


Organization: Claudia Peschiera, Luca Pulina, Armando Tacchella

Judges: Uwe Bubeck, Oliver Kullmann, Ines Lynce

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'10 - Small Hard Track.


Organization: Claudia Peschiera, Luca Pulina, Armando Tacchella

Judges: Uwe Bubeck, Oliver Kullmann, Ines Lynce

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'10 - Random QBFs Track.


Organization: Claudia Peschiera, Luca Pulina, Armando Tacchella

Judges: Uwe Bubeck, Oliver Kullmann, Ines Lynce

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'10 - Non-prenex Non-CNF Track.


Organization: Claudia Peschiera, Luca Pulina, Armando Tacchella

Judges: Uwe Bubeck, Oliver Kullmann, Ines Lynce

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: