Answer:
Yup it finds the shortest possible solution to solve the cube (20 moves average) and then speed solves the 20 move in 0.38 seconds, which is roughly 3 seconds faster then the human world record. :D speeeed
4.5m questions
5.7m answers