QBF Evaluation 2007



QBFEVAL'07


Organization: Massimo Narizzano, Luca Pulina, Armando Tacchella

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'07 - Evaluation of Suite Audemard as hors concours formulas.


Organization: Massimo Narizzano, Luca Pulina, Armando Tacchella

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'07 - Evaluation track on non-prenex non-cnf formulas.


Organization: Massimo Narizzano, Luca Pulina, Armando Tacchella

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: