All questions are attempted by the prover, but if the proof fails the QA system resorts to other answer extraction methods that were part of the system before the prover.
some questions are answered by the QA system without the prover, some only by the prover and some by both the non-prover system and the prover.