QBF Solver Evaluation Portal

The ranking is computed considering these guidelines:

• Solvers: we do not rank "hors concours" solvers (including incorrect ones).
• Formulas: we considered only the "official" prenex-cnf test set.