Sokolution - A powerful Sokoban solver

Sokolution is a powerful solver for Sokoban levels. The first version was released in may 2017 and this project is still active.

Since 18/11/2017, Sokolution has dethroned Takaken and can solve 3039 levels in the standard Large Test Suite. This was the world record !
Since 05/08/2020, Sokolution is beaten by Festival, the new solver by Yaron. Congratulations to Yaron for this fantastic solver !

If you don't know what is Sokoban game, follow these links :

Here, you can see the draft that explains algorithms and concepts inside Sokolution :

Here, you can see the statistics for each level :

Main features :

Sokolution - Last version

Sokolution v5.1 Download: Sokolution v5.1 Standalone version (Released 19/11/2021)

This version does not include algorithms (called FESS) from Festival, the best existing Sokoban solver. It uses classical algorithms (Greedy, Astar...) with a lot of enhancements.
This version can solve all XSokoban levels !

This version does not have the powerful penalty engine of previous versions. If you want to solve levels with push-optimality, please use Sokolution v5.01 or Sokolution 4.02 versions.

Description of the main script file sokolution.bat :

If you want to use Sokolution with its build-in script file (under Windows or using Wine under Linux), we can open the sokolution.bat file with a basic text editor like Notepad. Then you can set solving parameters like for example :

Change log :

Sokolution - Old versions

Sokolution v5.01 - Download: Sokolution v5.01 Standalone version (Released 24/06/2021)

This version can optimally (push-optimality) solve 51 / 90 levels for XSokoban set (time limit : 10 minutes)
This version can optimally (push-optimality) solve 58 / 90 levels for XSokoban set (time limit : 60 minutes)

This version does not include algorithms (called FESS) from Festival, the best existing Sokoban solver. It uses classical algorithms (Greedy, Astar...) with a lot of enhancements.
This version can solve 89/90 of XSokoban package !

Description of the 3 script files :

Change log :

Sokolution v2.031 (plugin version) - Download: Sokolution v2.031 installer (Released 22/10/2019)

This version can solve 3050 / 3424 levels

The Multiple Pattern DataBase for X boxes called MPDB-X parameter is a pre-computation of deadlocks before the search starts. It computes all deadlocks created by X boxes. We can set the X value between 1 (very fast) and 4 (can be very long).

By default, Sokolution v2.X uses a MPDB-2 because it is really fast even for big levels and it helps a bit the solving process.

Please note that the MPDB generation cannot be canceled if you use YASC or Sokoban++.
Please also note that it uses threads and the CPU will be busy at 100% during this process.

Change log :

Sokolution - Old versions

You can see all previous versions on this page

Statistics for each set of levels

All statistics can be found on the Sokoban Wiki.

Time limit : 600 sec | Memory limit : 12 GB

Collection Author Levels Sokolution 5.01 Sokolution 5.1
Aymeric Aymeric du Peloux 282 282 282
Bruno Druille Bruno Druille 29 13 13
Disciple Crazy Monk 50 27 28
Grigr2001 Evgeny Grigoriev 100 95 96
Grigr2002 Evgeny Grigoriev 40 40 40
GrigrSpecial Evgeny Grigoriev 40 40 40
Holland David Holland 81 66 67
IAG DrFogh 35 22 20
Kevin 1 Kevin B. Reilly 100 92 99
Kobus Theron Kobus Theron 107 107 107
Marcus Palstra Marcus Palstra 30 12 12
Master Head Master Head 45 44 44
Mircoban David W. Skinner 155 155 155
Mircoban II David W. Skinner 135 135 135
Numbers DrFogh 12 11 11
Sasquatch David W. Skinner 50 43 43
Sasquatch2 David W. Skinner 50 35 37
Sasquatch3 David W. Skinner 50 25 29
Sasquatch4 David W. Skinner 50 37 39
Sasquatch5 David W. Skinner 50 38 38
Sasquatch6 David W. Skinner 50 37 40
Sasquatch7 David W. Skinner 50 40 41
Sharpen Sven Egevad 153 97 95
SokEvo Lee J Haywood 107 107 107
SokHard Lee J Haywood 163 163 163
Sokoban Perfect Thinking Rabbit 306 259 268
Sokoban Revenge Thinking Rabbit 306 248 263
Sokobet DrFogh 29 25 26
Sven Sven Egevad 1911 1726 1742
XSokoban Thinking Rabbit 90 89 90
Y.M. Auto Yoshio Murase 52 52 52
Y.M. Handmade Yoshio Murase 54 54 54
TOTAL 4762 4216 4276

*** Copyright Florent DIEDLER 2016 - 2022 ***