Comment by koide

I guess you mean efficient in that they produce a shorter (or even the shortest) sequence of moves to solve a given scramble. But if it takes 5 minutes of computation to produce the solve, then in practice they are not yet very efficient.