Florent Diedler has released a new version of Sokolution - one of the best Sokoban solvers.
Change log for version 6.2:
- Improved strategy for complicated levels
- Fix for possible memory corruption
The solver can be downloaded from the Sokolution website.
You can find details about which levels have been solved in the Sokoban Wiki.