I wonder if that includes the compute the solution time... It appeared to use god's algorithm given that it solved it in 20 moves and I thought that was quite hard to compute.