Wrong web page. The official QBF Evaluation 2005 web page is availablel at: http://www.qbflib.org/qbfeval/2005