Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers