The search efficiency of theorem proving strategies: an analytical comparison