QBF Evaluation 2008



QBFEVAL'08


Organization: Claudia Peschiera, 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'08 - non-prenex non-cnf track.


Organization: Claudia Peschiera, 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: