Classes of Hard Formulas for QBF Resolution