2008-02-01 : Submission to QBFEVAL'08 is closed.
2008-01-14 : Submission to QBFEVAL'08 is now open! Please, go to QBFEVAL section for further details about registration, formula and solver submissions.
2007-03-09 : Formulas in QBF 1.0 non-prenex, non-cnf format now availables for download in "Instances" section.