QBF Solver Evaluation Portal
qbflib.orgQBF Evaluation 2008
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
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.