A Self-adaptive Multi-engine solver for quantified Boolean formulas