A friend of mine used their very fast solver to determine the number of moves required to solve a worst case configuration (and, of course, also to determine on

A friend of mine used their very fast solver to determine the number of moves required to solve a worst case configuration (and, of course, also to determine one of those worst case configurations). Pretty slick.