Sokolution - Short presentation

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

Since 18/11/2017, Sokolution has dethrone Takaken and can solve 3039 levels. This is the world record !

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 versions

Sokolution v3.01 - Download: Sokolution v3.01 Standalone version (Released 17/03/2019)

This version can solve 3053 / 3424 levels
This version can optimally (push-optimality) solve 37 / 90 levels for XSokoban set

Change log :

Sokolution v2.03 - Download: Sokolution v2.03 installer (Released 10/03/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

Sokolution v3.0 - Download: Sokolution v3.0 Standalone version (Released 26/02/2019 - Updated 28/02/2019)

This version can solve 3044 / 3424 levels
This version can optimally (push-optimality) solve 40 / 90 levels for XSokoban set

Small update that improves the statistic report in benching mode. Now, the number of pushes, moves and the XSB solution are displayed.

Use the config.bat file to launch benchs. This script is configured with default settings. Don't hesitate to modify them in order to fit with your needs.
While this is a x64 application, there is almost no limits for memory alloted to the solver. I tested up to 32 GB and it works fine.

Solver limits : Maximum level size: 256 floor squares. Maximum boxes: 255. No limits for level width and height.

Change log :

Sokolution v2.02 - Download: Sokolution v2.02 installer (Released 24/01/2019)

This version can solve 3041 / 3424 levels

Sokolution v2.01 - Download: Sokolution v2.01 installer (Released 18/11/2017)

This version can solve 3039 / 3424 levels

Sokolution v2.0 - Initial release: Sokolution beta v2.0 (Released 14/11/2017)

New world record ! Sokolution solved about 3026 levels, twenty-seven levels more than Takaken !

Sokolution 1.X - Old plugin versions

Download Sokolution v1.54t installer package compatible with YASC Host (Released 27/05/2017)

Download Sokolution v1.54t plugin compatible with YASC Host (Released 05/05/2017)

Note: There is a minor problem with Sokolution v1.54t when it runs under control of the YASC host. Indeed, some levels in SVEN collection are not solved when you run a full bench.
But if you try to solve individually these levels, they are solved...

Download Sokolution v1.53t compatible with YASC Host

Statistics for each set of levels

All statistics can be found on the Sokoban Wiki.

Time limit for all solvers : 600 sec (10 minutes) and memory limit : 1024 MB except for Sokolution v3.X due to x64 architecture that takes more memory so I ajust to 1500 MB.

Collection Author Levels Sokolution 1.53t Sokolution 1.54t Sokolution 2.0 Sokolution 2.01 Sokolution 2.02 Sokolution 2.03 Sokolution 3.0 Sokolution 3.01
AymericAymeric du Peloux282282282282282282282282282
BoxWorldVarious Authors1009494969696969797
Grigr2001Evgeny Grigoriev1009595969696969695
Grigr2002Evgeny Grigoriev403637393939393939
GrigrSpecialEvgeny Grigoriev404040404040404040
HollandDavid Holland816162636464646464
Kenyam Set AKenya Maruyama525051525252525252
MicrobanDavid W. Skinner155155155155155155155155155
Microban IIDavid W. Skinner135131134131132132132132132
SasquatchDavid W. Skinner503334353634363636
Sasquatch 2David W. Skinner502424292929313030
Sasquatch 3David W. Skinner502120232424242124
Sasquatch 4David W. Skinner503232343434343434
Sasquatch 5David W. Skinner503333363737373537
Sasquatch 6David W. Skinner503535363636363737
Sasquatch 7David W. Skinner503636393939393939
SokEvoLee J Haywood107107107107107107107107107
SokHardLee J Haywood163163163163163163163163163
SvenSven Egevad162313331359138913971401140614031408
XSokobanThinking Rabbit907272767676767777
Y.M. AutoYoshio Murase525252525252525252
Y.M. HandmadeYoshio Murase545353535353535353
TOTAL 3424 2938 2970 3026 3039 3041 3050 3044 3053

*** Copyright Florent DIEDLER 2017 - 2019 ***