QBFEVAL'10 RANKING