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 - Latest version

Sokolution v6.01 - Download: Sokolution v6.01 Standalone version (Released 31/10/2022)

This version is a minor release from Sokolution v6.0

Change log :

Sokolution - Old versions

Sokolution v6.0 - Download: Sokolution v6 Standalone version (Released 19/10/2022)

This version does not include algorithms (FESS) from Festival, the best existing Sokoban solver. It uses classical algorithms (Greedy, Astar...) with a lot of enhancements.
It should be as good as Festival 2.3

This version is able to solve all instance of IAG package.

Change log :

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

Change log :

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

This version does not include algorithms (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 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 (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 Sokolution 6.0 Sokolution 6.01
Aymeric Aymeric du Peloux 282 282 282 282 282
Bruno Druille Bruno Druille 29 13 13 17 17
Disciple Crazy Monk 50 27 28 37 38
Grigr2001 Evgeny Grigoriev 100 95 96 98 98
Grigr2002 Evgeny Grigoriev 40 40 40 40 40
GrigrSpecial Evgeny Grigoriev 40 40 40 40 40
Holland David Holland 81 66 67 76 76
IAG DrFogh 35 22 20 35 35
Kevin 1 Kevin B. Reilly 100 92 99 100 100
Kobus Theron Kobus Theron 107 107 107 107 107
Marcus Palstra Marcus Palstra 30 12 12 13 15
Master Head Master Head 45 44 44 44 44
Mircoban David W. Skinner 155 155 155 155 155
Mircoban II David W. Skinner 135 135 135 135 135
Numbers DrFogh 12 11 11 11 11
Sasquatch David W. Skinner 50 43 43 48 49
Sasquatch2 David W. Skinner 50 35 37 41 41
Sasquatch3 David W. Skinner 50 25 29 40 40
Sasquatch4 David W. Skinner 50 37 39 43 43
Sasquatch5 David W. Skinner 50 38 38 41 42
Sasquatch6 David W. Skinner 50 37 40 41 41
Sasquatch7 David W. Skinner 50 40 41 42 42
Sharpen Sven Egevad 153 97 95 118 121
SokEvo Lee J Haywood 107 107 107 107 107
SokHard Lee J Haywood 163 163 163 163 163
Sokoban Perfect Thinking Rabbit 306 259 268 280 280
Sokoban Revenge Thinking Rabbit 306 248 263 273 275
Sokobet DrFogh 29 25 26 28 28
Sven Sven Egevad 1911 1726 1742 1827 1828
XSokoban Thinking Rabbit 90 89 90 90 90
Y.M. Auto Yoshio Murase 52 52 52 52 52
Y.M. Handmade Yoshio Murase 54 54 54 54 54
TOTAL 4762 4216 4276 4478 4489

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