Text this: Classes of Hard Formulas for QBF Resolution.