Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae