Florent Diedler has released a new version of Sokolution - one of the best Sokoban solvers.
Change log for version 6.1:
- Improve global speed of the solver
- Allow to solve more difficult levels...
The solver can be downloaded from the Sokolution website.
You can find details about which levels have been solved in the Sokoban Wiki.