The Efficiency of Theorem Proving Strategies