2009-09-01 : Submission to QBFEVAL'10 is now open! Please, go to QBFEVAL section for further details about registration, formula and solver submissions.
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.