A self-adaptive multi-engine solver for quantified Boolean formulas