Solver Statistics

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(XSokoban Test Suite: updated result for Sokolution)
(Open Test Suite: new Takaken 7.4 results)
(35 intermediate revisions not shown)
Line 1: Line 1:
-
Sokoban solvers are programs that solve sokoban levels. There are many programs available that can solve Sokoban levels (see [[Links#Sokoban Solvers |Sokoban solvers]]).
+
A Sokoban solver program is a program that <u>''tries to''</u> solve Sokoban levels. There are several solver programs available. (See [[Links#Sokoban Solvers |Sokoban solvers]].)
-
There are different types of solvers:
+
Solver programs may have different objectives:
-
# Solvers trying to find any solution
+
# Find any solution
-
# Solvers trying to find push optimal solutions
+
# Find push optimal solutions
-
# Solvers trying to find push optimal solutions with best moves
+
# Find push optimal solutions with best moves
-
# Solvers trying to find move optimal solutions
+
# Find move optimal solutions
-
# Solvers trying to find move optimal solutions with best pushes
+
# Find move optimal solutions with best pushes
-
Usually, a solver is designed to just find any solution. If the solution is to be optimized an optimizer program can be used ([[Links#Sokoban Solvers |Optimizers]]).
+
Given the computational complexity of these tasks, a solver program is usually designed for just finding any solution. If a solution is to be optimized, an optimizer program can be used. (See [[Links#Sokoban Solvers |Optimizers]].)
-
To get an impression of what levels are solvable by which solver, here are some statistics.<br />  
+
The statistics presented here provide a picture of what the best freely available Sokoban solvers can do.<br />  
For copyrights, credits and redistribution of these statistics, please read the disclaimer.
For copyrights, credits and redistribution of these statistics, please read the disclaimer.
 +
== General benchmarking information ==
 +
 +
For practical reasons, almost all tests have been performed with a 10 minutes time limit. The tests are, however, not a 10 minutes contest but a showcase for what the solvers can do, so other time limits are entirely feasible.
 +
 +
The hardware used for the tests is a standard PC with a modern operating system (64bit).
 +
 +
Tests are performed with default solver settings, except that RAM usage may be increased manually when this is beneficial.
 +
 +
{| class="soko-table feature-list"
 +
!Solver          || Version || Author                        || Architecture || CPU usage || Sourcecode available || More info
 +
|-
 +
|Festival        || 2.0    || Yaron Shoham                  || 64bit        || 2 threads || no                  || [https://festival-solver.site/ Website with papers about the solver]
 +
|-
 +
|Sokolution      || 5.11    || Florent Diedler                || 64bit        || 2 threads || no                  || [[Sokoban solver "scribbles" by Florent Diedler about the Sokolution solver | Sokoban solver "scribbles" by Florent Diedler]]
 +
|-
 +
|Takaken        || 7.4    || Ken'ichiro Takahashi (takaken) || 64bit        || 2 threads || no                  || [https://computerpuzzle.net/puzzle/sokoban/ver731/index.html Description of the used algorithms]
 +
|-
 +
|Curry          || 0.3    || Yaron Shoham                  || 64bit        || 1 thread  || [https://festival-solver.site/curry/ Curry 0.3] || [https://festival-solver.site/curry/ Website with paper about the solver]
 +
|-
 +
|YASS            || 2.148  || Brian Damgaard                || 32bit        || 1 thread  ||[https://sourceforge.net/projects/sokobanyasc/files/sokobanyasc/ YASS 2.148] || [[Sokoban solver "scribbles" by Brian Damgaard about the YASS solver | Sokoban solver "scribbles" by Brian Damgaard]]
 +
|-
 +
|JSoko          || 2.03    || Matthias Meger                || 64bit        || 1 thread  ||[https://sourceforge.net/projects/jsokoapplet/files/JSoko/Version%202.03/ JSoko 2.03] || [[Solver | Solver information]]
 +
|-
 +
|Rolling Stone  || 1.0    || Andreas Junghanns              || 32bit        || 1 thread  ||[https://webdocs.cs.ualberta.ca/~games/Sokoban/Src/ RS] || [https://scholar.google.com/scholar?hl=de&as_sdt=0%2C5&q=rolling+stone+sokoban&btnG= Rolling Stone papers]
 +
|}
 +
 +
Contact: SokobanoWiki@gmail.com
== XSokoban Test Suite ==
== XSokoban Test Suite ==
Line 21: Line 48:
{| class="soko-table"
{| class="soko-table"
|-
|-
-
! colspan="10" | Sokoban Solver Statistics - XSokoban Test Suite - Solved Levels
+
! colspan="11" | Sokoban Solver Statistics - XSokoban Test Suite - Solved Levels
<!-- Header -->
<!-- Header -->
Line 28: Line 55:
| width="160"  |                Author
| width="160"  |                Author
| width=" 70"  |                Levels
| width=" 70"  |                Levels
-
| width= "80"  | <span class="plainlinks">[https://www.researchgate.net/publication/2305703_Pushing_the_Limits_New_Developments_in_Single-Agent_Search Junghanns]</span>
+
| width= "90"  | <span class="plainlinks">[https://www.researchgate.net/publication/2305703_Pushing_the_Limits_New_Developments_in_Single-Agent_Search Rolling Stone]</span>
-
| width=" 80"  |                BoxSearch
+
| width= "80"  | <span class="plainlinks">[https://computerpuzzle.net/english/sokoban/ver740/index.html                Takaken]</span>
-
| width= "80"  | <span class="plainlinks">[http://www.ic-net.or.jp/home/takaken/e/soko/index.html                Takaken]</span>
+
| width=" 80"  | <span class="plainlinks">[https://sourceforge.net/projects/sokobanyasc/ YASS]</span>
| width=" 80"  | <span class="plainlinks">[https://sourceforge.net/projects/sokobanyasc/ YASS]</span>
| width=" 80"  | [[JSoko Solver    | JSoko]]
| width=" 80"  | [[JSoko Solver    | JSoko]]
| width=" 80"  | <span class="plainlinks">[http://codeanalysis.fr/sokoban/ Sokolution ]</span>
| width=" 80"  | <span class="plainlinks">[http://codeanalysis.fr/sokoban/ Sokolution ]</span>
 +
| width=" 80"  | <span class="plainlinks">[https://festival-solver.site/curry/ Curry ]</span>
| width=" 80"  | <span class="plainlinks">[https://festival-solver.site/ Festival ]</span>
| width=" 80"  | <span class="plainlinks">[https://festival-solver.site/ Festival ]</span>
<!-- -------------------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------------------- -->
-
<!-- XSokoban. "Collection, author, levels, Junghanns, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
+
<!-- XSokoban. "Collection, author, levels, Rolling Stone, Takaken, YASS, JSoko, Sokolution, Festival" -->
<!-- -------------------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
-
| align="left" bgcolor="#f1efe5" | [[Solver Statistics - XSokoban - Thinking Rabbit & Various Authors| XSokoban ]]
+
| align="left" bgcolor="#f1efe5" | <span class="plainlinks">[https://sokoban-solver-statistics.sourceforge.io/statistics/XSokoban/ XSokoban]</span>
| align="left"                                                | Thinking Rabbit, ...
| align="left"                                                | Thinking Rabbit, ...
|                                                                  90
|                                                                  90
| <span class="plainlinks">[https://webdocs.cs.ualberta.ca/~games/Sokoban/program.html 54]</span>
| <span class="plainlinks">[https://webdocs.cs.ualberta.ca/~games/Sokoban/program.html 54]</span>
-
|                                                                 42
+
| <span class="plainlinks">[https://sokoban-solver-statistics.sourceforge.io/statistics/XSokoban/Takaken%20-%20XSokoban.html '''90''']</span>
-
| [[SolverStatistics-takaken-ThinkingRabbit-XSokoban          |    86    ]]
+
| <span class="plainlinks">[https://sokoban-solver-statistics.sourceforge.io/statistics/XSokoban/YASS%20-%20XSokoban.html 84]</span>
-
| [[SolverStatistics-yass-ThinkingRabbit-XSokoban            |    84   ]]
+
| [[SolverStatistics-jsoko-ThinkingRabbit-XSokoban            |    67    ]]
| [[SolverStatistics-jsoko-ThinkingRabbit-XSokoban            |    67    ]]
-
| [[SolverStatistics-sokolutionv3-ThinkingRabbit-XSokoban     |    89    ]]
+
| <span class="plainlinks">[https://sokoban-solver-statistics.sourceforge.io/statistics/XSokoban/Sokolution%20-%20XSokoban.html '''90''']</span>
-
| [[SolverStatistics-festival-ThinkingRabbit-XSokoban         | '''90''' ]]
+
| <span class="plainlinks">[https://sokoban-solver-statistics.sourceforge.io/statistics/XSokoban/Curry%20-%20XSokoban.html '''90''']</span>
 +
| <span class="plainlinks">[https://sokoban-solver-statistics.sourceforge.io/statistics/XSokoban/Festival%20-%20XSokoban.html '''90''']</span>
|}
|}
Line 62: Line 89:
| width="160"              | Author
| width="160"              | Author
| width=" 70"              | Levels
| width=" 70"              | Levels
-
| width=" 80"              | <span class="plainlinks">[https://www.researchgate.net/publication/2305703_Pushing_the_Limits_New_Developments_in_Single-Agent_Search Junghanns]</span>
+
| width=" 80"              | <span class="plainlinks">[https://www.researchgate.net/publication/2305703_Pushing_the_Limits_New_Developments_in_Single-Agent_Search Rolling Stone]</span>
| width=" 80"              | <span class="plainlinks">[http://www.ijcai.org/Abstract/16/100 Pereira et al.]</span>
| width=" 80"              | <span class="plainlinks">[http://www.ijcai.org/Abstract/16/100 Pereira et al.]</span>
| width=" 80"              | <span class="plainlinks">[http://sourceforge.net/projects/jsokoapplet/ JSoko]</span>  
| width=" 80"              | <span class="plainlinks">[http://sourceforge.net/projects/jsokoapplet/ JSoko]</span>  
Line 87: Line 114:
{| class="soko-table"
{| class="soko-table"
|-
|-
-
! colspan="8" | Sokoban Solver Statistics - Large Test Suite - Solved Levels
+
! colspan="6" | Sokoban Solver Statistics - Large Test Suite - Solved levels
<!-- Header -->
<!-- Header -->
|- bgcolor="#f1efe5" align="center"
|- bgcolor="#f1efe5" align="center"
-
| width="115" align="left" |     Collection
+
| width="115" align="left" |  
-
| width="160"  |                 Author
+
| width=" 70"  | Levels
-
| width=" 70"  |                 Levels
+
| width= "80"  | <span class="plainlinks">[https://festival-solver.site/ Festival ]</span>
-
| width= "80"  | <span class="plainlinks">[http://www.ic-net.or.jp/home/takaken/e/soko/index.html Takaken]</span>
+
| width=" 80"  | <span class="plainlinks">[http://codeanalysis.fr/sokoban/ Sokolution ]</span>
 +
| width=" 80"  | <span class="plainlinks">[https://computerpuzzle.net/english/sokoban/ver740/index.html Takaken]</span>
| width=" 80"  | <span class="plainlinks">[https://sourceforge.net/projects/sokobanyasc/ YASS]</span>
| width=" 80"  | <span class="plainlinks">[https://sourceforge.net/projects/sokobanyasc/ YASS]</span>
-
| width=" 80"  | [[JSoko Solver    | JSoko]]
 
-
| width=" 80"  | <span class="plainlinks">[http://codeanalysis.fr/sokoban/ Sokolution ]</span>
 
-
| width=" 80"  | <span class="plainlinks">[https://festival-solver.site/ Festival ]</span>
 
-
<!-- ------------------------------------------------------------------------------------------- -->
 
-
<!-- Aymeric du Peloux. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------------- -->
 
-
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Aymeric | Aymeric]]
 
-
| align="left"                            | Aymeric du Peloux
 
-
|                                              282
 
-
| [[SolverStatistics-takaken-Aymeric      | '''282''' ]]
 
-
| [[SolverStatistics-yass-Aymeric          | '''282''' ]]
 
-
| [[SolverStatistics-jsoko-AymericduPeloux | '''282''' ]]
 
-
| [[SolverStatistics-sokolution-Aymeric    | '''282''' ]]
 
-
| [[SolverStatistics-festival-Aymeric      | '''282''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Grigr2001. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2001 - Evgeny Grigoriev| Grigr2001]]
 
-
| align="left"                                      | Evgeny Grigoriev
 
-
|                                                        100
 
-
| [[SolverStatistics-takaken-Grigr2001              |    94    ]]
 
-
| [[SolverStatistics-yass-Grigr2001                  |    93    ]]
 
-
| [[SolverStatistics-jsoko-EvgenyGrigoriev-Grigr2001 |    92    ]]
 
-
| [[SolverStatistics-sokolutionv3-Grigr2001          |    95    ]]
 
-
| [[SolverStatistics-festival-Grigr2001              | '''99''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Grigr2002. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2002 - Evgeny Grigoriev| Grigr2002]]
 
-
| align="left"                                      | Evgeny Grigoriev
 
-
|                                                        40
 
-
| [[SolverStatistics-takaken-Grigr2002              |    37    ]]
 
-
| [[SolverStatistics-yass-Grigr2002                  |    38    ]]
 
-
| [[SolverStatistics-jsoko-EvgenyGrigoriev-Grigr2002 |    36    ]]
 
-
| [[SolverStatistics-sokolutionv3-Grigr2002          | '''40''' ]]
 
-
| [[SolverStatistics-festival-Grigr2002              |    39    ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- GrigrSpecial. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                        | [[Solver Statistics - GrigrSpecial - Evgeny Grigoriev| GrigrSpecial]]
 
-
| align="left"                                          | Evgeny Grigoriev
 
-
|                                                            40
 
-
| [[SolverStatistics-takaken-GrigrSpecial              | '''40''' ]]
 
-
| [[SolverStatistics-yass-GrigrSpecial                  | '''40''' ]]
 
-
| [[SolverStatistics-jsoko-EvgenyGrigoriev-GrigrSpecial |    39    ]]
 
-
| [[SolverStatistics-sokolutionv3-GrigrSpecial          | '''40''' ]]
 
-
| [[SolverStatistics-festival-GrigrSpecial              | '''40''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
<!-- Holland. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - David Holland| Holland]]
 
-
| align="left"                              | David Holland
 
-
|                                                81
 
-
| [[SolverStatistics-takaken-Holland        |    65    ]]
 
-
| [[SolverStatistics-yass-Holland            |    59    ]]
 
-
| [[SolverStatistics-David Holland-Holland  |    55    ]]
 
-
| [[SolverStatistics-sokolutionv3-Holland    |    66    ]]
 
-
| [[SolverStatistics-festival-Holland        | '''75''' ]]
 
-
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
<!-- Microban. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Microban - David W. Skinner| Microban]]
 
-
| align="left"                                    | David W. Skinner
 
-
|                                                      155
 
-
| [[SolverStatistics-takaken-Microban            | '''155''' ]]
 
-
| [[SolverStatistics-yass-Microban                | '''155''' ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-Microban | '''155''' ]]
 
-
| [[SolverStatistics-sokolutionv3-Microban        | '''155''' ]]
 
-
| [[SolverStatistics-festival-Microban            | '''155''' ]]
 
-
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
<!-- Microban II. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Microban II - David W. Skinner| Microban II]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        135
 
-
| [[SolverStatistics-takaken-Microban-II            |    134    ]]
 
-
| [[SolverStatistics-yass-Microban-II                | '''135''' ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-MasMicroban | '''135''' ]]
 
-
| [[SolverStatistics-sokolutionv3-Microban-II        | '''135''' ]]
 
-
| [[SolverStatistics-festival-Microban-II            | '''135''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Sasquatch - David W. Skinner| Sasquatch]]
 
-
| align="left"                                    | David W. Skinner
 
-
|                                                      50
 
-
| [[SolverStatistics-takaken-Sasquatch            |    36    ]]
 
-
| [[SolverStatistics-yass-Sasquatch                |    26    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-Sasquatch |    31    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch        |    43    ]]
 
-
| [[SolverStatistics-festival-Sasquatch            | '''48''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch II. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch II - David W. Skinner| Sasquatch II]]
 
-
| align="left"                                        | David W. Skinner
 
-
|                                                          50
 
-
| [[SolverStatistics-takaken-Sasquatch-II            |    33    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-II                |    20    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-MasSasquatch |    20    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-II        |    35    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-II            | '''42''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch III. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch III - David W. Skinner| Sasquatch III]]
 
-
| align="left"                                        | David W. Skinner
 
-
|                                                          50
 
-
| [[SolverStatistics-takaken-Sasquatch-III            |    22    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-III              |    13    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchIII |    12    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-III      |    25    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-III          | '''36''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch IV. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch IV - David W. Skinner| Sasquatch IV]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        50
 
-
| [[SolverStatistics-takaken-Sasquatch-IV            |    37    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-IV              |    30    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchIV |    29    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-IV      |    37    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-IV          | '''40''' ]]
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch V. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch V - David W. Skinner| Sasquatch V]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        50
 
-
| [[SolverStatistics-takaken-Sasquatch-V            |    36    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-V              |    29    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchV |    25    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-V      | '''38''' ]]
 
-
| [[SolverStatistics-festival-Sasquatch-V          | '''38''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch VI. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch VI - David W. Skinner| Sasquatch VI]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        50
 
-
| [[SolverStatistics-takaken-Sasquatch-VI            |    32    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-VI              |    25    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchVI |    28    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-VI      |    37    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-VI          | '''39''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch VII. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch VII - David W. Skinner| Sasquatch VII]]
 
-
| align="left"                                        | David W. Skinner
 
-
|                                                          50
 
-
| [[SolverStatistics-takaken-Sasquatch-VII            |    31    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-VII              |    26    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchVII |    26    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-VII      | '''40''' ]]
 
-
| [[SolverStatistics-festival-Sasquatch-VII          |    39    ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------- -->
 
-
<!-- SokEvo. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"      | [[Solver Statistics - SokEvo - Lee J Haywood | SokEvo]]
 
-
| align="left"                        | Lee J Haywood
 
-
|                                          107
 
-
| [[SolverStatistics-takaken-SokEvo    | '''107''' ]]
 
-
| [[SolverStatistics-yass-SokEvo      | '''107''' ]]
 
-
| [[SolverStatistics-jsoko-SokEvo      | '''107''' ]]
 
-
| [[SolverStatistics-sokolution-SokEvo | '''107''' ]]
 
-
| [[SolverStatistics-festival-SokEvo  | '''107''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
<!-- SokHard. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Lee J Haywood | SokHard ]]
 
-
| align="left"                                | Lee J Haywood
 
-
|                                                  163
 
-
| [[SolverStatistics-takaken-SokHard          | '''163''' ]]
 
-
| [[SolverStatistics-yass-SokHard              | '''163''' ]]
 
-
| [[SolverStatistics-jsoko-LeeJHaywood-SokHard |    137    ]]
 
-
| [[SolverStatistics-sokolutionv3-SokHard      | '''163''' ]]
 
-
| [[SolverStatistics-festival-SokHard          | '''163''' ]]
 
-
 
-
<!-- ------------------------------------------------------------------------------ -->
 
-
<!-- Sven. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------ -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Sven Egevad | Sven ]]
 
-
| align="left"                                | Sven Egevad
 
-
|                                                  1623
 
-
| [[SolverStatistics-takaken-SvenEgevad        |    1384  ]]
 
-
| [[SolverStatistics-yass-SvenEgevad          |    1251  ]]
 
-
| [[SolverStatistics-jsoko-SvenEgevad-Sven    |    1179  ]]
 
-
| [[SolverStatistics-sokolutionv3-SvenEgevad  |    1445  ]]
 
-
| [[SolverStatistics-festival-SvenEgevad      | '''1498''']]
 
-
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
<!-- XSokoban. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5" | [[Solver Statistics - XSokoban - Thinking Rabbit & Various Authors| XSokoban ]]
 
-
| align="left"                                                | Thinking Rabbit, ...
 
-
|                                                                  90
 
-
| [[SolverStatistics-takaken-ThinkingRabbit-XSokoban          |    86    ]]
 
-
| [[SolverStatistics-yass-ThinkingRabbit-XSokoban            |    84    ]]
 
-
| [[SolverStatistics-jsoko-ThinkingRabbit-XSokoban            |    67    ]]
 
-
| [[SolverStatistics-sokolutionv3-ThinkingRabbit-XSokoban    |    89    ]]
 
-
| [[SolverStatistics-festival-ThinkingRabbit-XSokoban        | '''90''' ]]
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Y.M. Auto. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                              | [[Solver Statistics - Y.M. Auto - Yoshio Murase| Y.M. Auto ]]
 
-
| align="left"                                                | Yoshio Murase
 
-
|                                                                  52
 
-
| [[SolverStatistics-takaken-YoshioMuraseAutogenerated        | '''52''' ]]
 
-
| [[SolverStatistics-yass-YoshioMuraseAutogenerated            | '''52''' ]]
 
-
| [[SolverStatistics-jsoko-YoshioMuraseAutogenerated          | '''52''' ]]
 
-
| [[SolverStatistics-sokolutionv3-YoshioMuraseAutogenerated    | '''52''' ]]
 
-
| [[SolverStatistics-festival-YoshioMuraseAutogenerated        | '''52''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
<!-- Y.M. Handmade. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                          | [[Solver Statistics - Y.M. Handmade - Yoshio Murase| Y.M. Handmade ]]
 
-
| align="left"                                            | Yoshio Murase
 
-
|                                                              54
 
-
| [[SolverStatistics-takaken-YoshioMuraseHandmade        | '''54''' ]]
 
-
| [[SolverStatistics-yass-YoshioMuraseHandmade            |    52    ]]
 
-
| [[SolverStatistics-jsoko-YoshioMurase-Handmade          |    52    ]]
 
-
| [[SolverStatistics-sokolutionv3-YoshioMuraseHandmade    | '''54''' ]]
 
-
| [[SolverStatistics-festival-YoshioMuraseHandmade        | '''54''' ]]
 
-
<!-- --------------------------------------------------------------------------------------------- -->
 
-
<!-- Total solved levels by solver. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution" -->
 
-
<!-- --------------------------------------------------------------------------------------------- -->
 
|- bgcolor="#f1efe5" align="right"
|- bgcolor="#f1efe5" align="right"
-
| align="left" | Total
+
| align="left" | Total levels
-
|
+
|    3272      <!-- Total levels -->
|    3272      <!-- Total levels -->
-
|   2880      <!-- Takaken      -->
+
| '''3121'''  <!-- Festival    -->
-
|    2680     <!-- YASS        -->
+
|    3009     <!-- Sokolution  -->
-
|    2559     <!-- JSoko        -->
+
|    2944     <!-- Takaken      -->
-
|    2978     <!-- Sokolution  -->
+
|    2687     <!-- YASS        -->
-
| '''3071'''  <!-- Festival    -->
+
|}
|}
-
Download the entire test suite [https://sourceforge.net/projects/jsokoapplet/files/Wiki/Large%20Test%20Suite.zip/download here] or from [http://sokobano.de/de/levels.php www.sokobano.de].
+
'''[https://sokoban-solver-statistics.sourceforge.io/statistics/LargeTestSuite/ Click here to see the detailed results for the Large Test Suite].'''
-
== Solver Statistics ==
+
Download the entire test suite [https://sourceforge.net/projects/sokoban-solver-statistics/files/Large%20Test%20Suite.zip/download here] or the individual level sets from [http://sokobano.de/de/levels.php www.sokobano.de].
-
The statistics shows the results for the leading Sokoban solvers for various level packs. Please note that the grand totals are simple summations. The number of solved unique levels may differ slightly due to duplicate levels in the level packs.
+
== Open Test Suite ==
 +
 
 +
The statistics shows the results for the leading Sokoban solvers for various level collections. Please note that the grand totals are simple summations. The number of solved unique levels may differ slightly due to duplicate levels in the level packs.
 +
 
 +
This test suite may be changed by adding new level collections from time to time.  
{| class="soko-table"
{| class="soko-table"
|-
|-
-
! colspan="8" | Sokoban Solver Statistics - Solved Levels
+
! colspan="6" | Sokoban Solver Statistics - Open Test Suite - Solved levels
<!-- Header -->
<!-- Header -->
|- bgcolor="#f1efe5" align="center"
|- bgcolor="#f1efe5" align="center"
-
| width="115" align="left" |     Collection
+
| width="115" align="left" |  
-
| width="160"  |                 Author
+
| width=" 70"  | Levels
-
| width=" 70"  |                 Levels
+
| width= "80"  | <span class="plainlinks">[https://festival-solver.site/ Festival ]</span>
-
| width= "80"  | <span class="plainlinks">[http://www.ic-net.or.jp/home/takaken/e/soko/index.html Takaken]</span>
+
| width=" 80"  | <span class="plainlinks">[http://codeanalysis.fr/sokoban/ Sokolution ]</span>
 +
| width=" 80"  | <span class="plainlinks">[https://computerpuzzle.net/english/sokoban/ver740/index.html Takaken]</span>
| width=" 80"  | <span class="plainlinks">[https://sourceforge.net/projects/sokobanyasc/ YASS]</span>
| width=" 80"  | <span class="plainlinks">[https://sourceforge.net/projects/sokobanyasc/ YASS]</span>
-
| width=" 80"  | [[JSoko Solver    | JSoko]]
 
-
| width=" 80"  | <span class="plainlinks">[http://codeanalysis.fr/sokoban/ Sokolution ]</span>
 
-
| width=" 80"  | <span class="plainlinks">[https://festival-solver.site/ Festival ]</span>
 
-
<!-- ------------------------------------------------------------------------------------------- -->
 
-
<!-- Aymeric du Peloux. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Aymeric | Aymeric]]
 
-
| align="left"                            | Aymeric du Peloux
 
-
|                                              282
 
-
| [[SolverStatistics-takaken-Aymeric      | '''282''' ]]
 
-
| [[SolverStatistics-yass-Aymeric          | '''282''' ]]
 
-
| [[SolverStatistics-jsoko-AymericduPeloux | '''282''' ]]
 
-
| [[SolverStatistics-sokolution-Aymeric    | '''282''' ]]
 
-
| [[SolverStatistics-festival-Aymeric      | '''282''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
<!-- Bruno Druille. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Bruno Druille | Bruno Druille]]
 
-
| align="left"                            | Bruno Druille
 
-
|                                                29
 
-
| [[SolverStatistics-takaken-BrunoDruille    |    17    ]]
 
-
| [[SolverStatistics-yass-BrunoDruille      |    4    ]]
 
-
| [[SolverStatistics-jsoko-BrunoDruille      |    4    ]]
 
-
| [[SolverStatistics-sokolution-BrunoDruille |    13    ]]
 
-
| [[SolverStatistics-festival-BrunoDruille  | '''19''' ]]
 
-
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
<!-- Disciple. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Disciple | Disciple]]
 
-
| align="left"                            | Crazy Monk
 
-
|                                              50
 
-
| [[SolverStatistics-takaken-Disciple      |    27    ]]
 
-
| [[SolverStatistics-yass-Disciple        |    12    ]]
 
-
| [[SolverStatistics-jsoko-Disciple        |    10    ]]
 
-
| [[SolverStatistics-sokolution-Disciple  |    27    ]]
 
-
| [[SolverStatistics-festival-Disciple    | '''41''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Grigr2001. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2001 - Evgeny Grigoriev| Grigr2001]]
 
-
| align="left"                                      | Evgeny Grigoriev
 
-
|                                                        100
 
-
| [[SolverStatistics-takaken-Grigr2001              |    94    ]]
 
-
| [[SolverStatistics-yass-Grigr2001                  |    93    ]]
 
-
| [[SolverStatistics-jsoko-EvgenyGrigoriev-Grigr2001 |    92    ]]
 
-
| [[SolverStatistics-sokolutionv3-Grigr2001          |    95    ]]
 
-
| [[SolverStatistics-festival-Grigr2001              | '''99''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Grigr2002. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2002 - Evgeny Grigoriev| Grigr2002]]
 
-
| align="left"                                      | Evgeny Grigoriev
 
-
|                                                        40
 
-
| [[SolverStatistics-takaken-Grigr2002              |    37    ]]
 
-
| [[SolverStatistics-yass-Grigr2002                  |    38    ]]
 
-
| [[SolverStatistics-jsoko-EvgenyGrigoriev-Grigr2002 |    36    ]]
 
-
| [[SolverStatistics-sokolutionv3-Grigr2002          | '''40''' ]]
 
-
| [[SolverStatistics-festival-Grigr2002              |    39    ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- GrigrSpecial. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                        | [[Solver Statistics - GrigrSpecial - Evgeny Grigoriev| GrigrSpecial]]
 
-
| align="left"                                          | Evgeny Grigoriev
 
-
|                                                            40
 
-
| [[SolverStatistics-takaken-GrigrSpecial              | '''40''' ]]
 
-
| [[SolverStatistics-yass-GrigrSpecial                  | '''40''' ]]
 
-
| [[SolverStatistics-jsoko-EvgenyGrigoriev-GrigrSpecial |    39    ]]
 
-
| [[SolverStatistics-sokolutionv3-GrigrSpecial          | '''40''' ]]
 
-
| [[SolverStatistics-festival-GrigrSpecial              | '''40''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
<!-- Holland. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - David Holland| Holland]]
 
-
| align="left"                              | David Holland
 
-
|                                                81
 
-
| [[SolverStatistics-takaken-Holland        |    65    ]]
 
-
| [[SolverStatistics-yass-Holland            |    59    ]]
 
-
| [[SolverStatistics-David Holland-Holland  |    55    ]]
 
-
| [[SolverStatistics-sokolutionv3-Holland    |    66    ]]
 
-
| [[SolverStatistics-festival-Holland        | '''75''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------- -->
 
-
<!-- IAG. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - IAG | It's All Greek]]
 
-
| align="left"                            | DrFogh
 
-
|                                              35
 
-
| [[SolverStatistics-takaken-IAG          |    23    ]]
 
-
| [[SolverStatistics-yass-IAG              |    14    ]]
 
-
| [[SolverStatistics-jsoko-IAG            |    10    ]]
 
-
| [[SolverStatistics-sokolution-IAG        |    22    ]]
 
-
| [[SolverStatistics-festival-IAG          | '''31''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
<!-- Kevin 1. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Kevin 1 | Kevin 1]]
 
-
| align="left"                            | Kevin B. Reilly
 
-
|                                              100
 
-
| [[SolverStatistics-takaken-Kevin 1      |    95    ]]
 
-
| [[SolverStatistics-yass-Kevin 1          |    86    ]]
 
-
| [[SolverStatistics-jsoko-Kevin 1        |    74    ]]
 
-
| [[SolverStatistics-sokolution-Kevin 1    |    92    ]]
 
-
| [[SolverStatistics-festival-Kevin 1      | '''100''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Kobus Theron. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Kobus Theron | Kobus Theron]]
 
-
| align="left"                              | Kobus Theron
 
-
|                                                107
 
-
| [[SolverStatistics-takaken-KobusTheron    | '''106''' ]]
 
-
| [[SolverStatistics-yass-KobusTheron      |    91    ]]
 
-
| [[SolverStatistics-jsoko-KobusTheron      |    71    ]]
 
-
| [[SolverStatistics-sokolution-KobusTheron | '''107''' ]]
 
-
| [[SolverStatistics-festival-KobusTheron  |    106    ]]
 
-
 
-
<!-- ---------------------------------------------------------------------------------------- -->
 
-
<!-- Marcus Palstra. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Marcus Palstra| Marcus Palstra]]
 
-
| align="left"                                | Marcus Palstra
 
-
|                                                  30
 
-
| [[SolverStatistics-takaken-MarcusPalstra    |    10    ]]
 
-
| [[SolverStatistics-yass-MarcusPalstra      |    7    ]]
 
-
| [[SolverStatistics-jsoko-MarcusPalstra      |    4    ]]
 
-
| [[SolverStatistics-sokolution-MarcusPalstra |    12    ]]
 
-
| [[SolverStatistics-festival-MarcusPalstra  | '''15''' ]]
 
-
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
<!-- Master Head. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Master Head| Master Head]]
 
-
| align="left"                              | Master Head
 
-
|                                                45
 
-
| [[SolverStatistics-takaken-MasterHead      |    44    ]]
 
-
| [[SolverStatistics-yass-MasterHead        |    37    ]]
 
-
| [[SolverStatistics-jsoko-MasterHead        |    36    ]]
 
-
| [[SolverStatistics-sokolution-MasterHead  |    44    ]]
 
-
| [[SolverStatistics-festival-MasterHead    | '''45''' ]]
 
-
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
<!-- Microban. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Microban - David W. Skinner| Microban]]
 
-
| align="left"                                    | David W. Skinner
 
-
|                                                      155
 
-
| [[SolverStatistics-takaken-Microban            | '''155''' ]]
 
-
| [[SolverStatistics-yass-Microban                | '''155''' ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-Microban | '''155''' ]]
 
-
| [[SolverStatistics-sokolutionv3-Microban        | '''155''' ]]
 
-
| [[SolverStatistics-festival-Microban            | '''155''' ]]
 
-
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
<!-- Microban II. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Microban II - David W. Skinner| Microban II]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        135
 
-
| [[SolverStatistics-takaken-Microban-II            |    134    ]]
 
-
| [[SolverStatistics-yass-Microban-II                | '''135''' ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-MasMicroban | '''135''' ]]
 
-
| [[SolverStatistics-sokolutionv3-Microban-II        | '''135''' ]]
 
-
| [[SolverStatistics-festival-Microban-II            | '''135''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
<!-- Numbers. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Numbers| Numbers]]
 
-
| align="left"                                      | DrFogh
 
-
|                                                        12
 
-
| [[SolverStatistics-takaken-Numbers                |    8    ]]
 
-
| [[SolverStatistics-yass-Numbers                    |    10    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-Numbers    |    7    ]]
 
-
| [[SolverStatistics-sokolutionv3-Numbers            | '''11''' ]]
 
-
| [[SolverStatistics-festival-Numbers                | '''11''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Sasquatch - David W. Skinner| Sasquatch]]
 
-
| align="left"                                    | David W. Skinner
 
-
|                                                      50
 
-
| [[SolverStatistics-takaken-Sasquatch            |    36    ]]
 
-
| [[SolverStatistics-yass-Sasquatch                |    26    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-Sasquatch |    31    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch        |    43    ]]
 
-
| [[SolverStatistics-festival-Sasquatch            | '''48''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch II. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch II - David W. Skinner| Sasquatch II]]
 
-
| align="left"                                        | David W. Skinner
 
-
|                                                          50
 
-
| [[SolverStatistics-takaken-Sasquatch-II            |    33    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-II                |    20    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-MasSasquatch |    20    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-II        |    35    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-II            | '''42''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch III. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch III - David W. Skinner| Sasquatch III]]
 
-
| align="left"                                        | David W. Skinner
 
-
|                                                          50
 
-
| [[SolverStatistics-takaken-Sasquatch-III            |    22    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-III              |    13    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchIII |    12    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-III      |    25    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-III          | '''36''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch IV. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch IV - David W. Skinner| Sasquatch IV]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        50
 
-
| [[SolverStatistics-takaken-Sasquatch-IV            |    37    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-IV              |    30    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchIV |    29    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-IV      |    37    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-IV          | '''40''' ]]
 
-
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch V. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch V - David W. Skinner| Sasquatch V]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        50
 
-
| [[SolverStatistics-takaken-Sasquatch-V            |    36    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-V              |    29    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchV |    25    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-V      | '''38''' ]]
 
-
| [[SolverStatistics-festival-Sasquatch-V          | '''38''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch VI. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch VI - David W. Skinner| Sasquatch VI]]
 
-
| align="left"                                      | David W. Skinner
 
-
|                                                        50
 
-
| [[SolverStatistics-takaken-Sasquatch-VI            |    32    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-VI              |    25    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchVI |    28    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-VI      |    37    ]]
 
-
| [[SolverStatistics-festival-Sasquatch-VI          | '''39''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
<!-- Sasquatch VII. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch VII - David W. Skinner| Sasquatch VII]]
 
-
| align="left"                                        | David W. Skinner
 
-
|                                                          50
 
-
| [[SolverStatistics-takaken-Sasquatch-VII            |    31    ]]
 
-
| [[SolverStatistics-yass-Sasquatch-VII              |    26    ]]
 
-
| [[SolverStatistics-jsoko-DavidWSkinner-SasquatchVII |    26    ]]
 
-
| [[SolverStatistics-sokolutionv3-Sasquatch-VII      | '''40''' ]]
 
-
| [[SolverStatistics-festival-Sasquatch-VII          |    39    ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
<!-- Sven Sharpen. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Sven Egevad - Sharpen| Sharpen ]]
 
-
| align="left"                                        | Sven Egevad
 
-
|                                                          153
 
-
| [[SolverStatistics-takaken-SvenEgevad-Sharpen        |    76    ]]
 
-
| [[SolverStatistics-yass-SvenEgevad-Sharpen          |    43    ]]
 
-
| [[SolverStatistics-jsoko-SvenEgevad-Sharpen          |    48    ]]
 
-
| [[SolverStatistics-sokolutionv3-SvenEgevad-Sharpen  | '''97''' ]]
 
-
| [[SolverStatistics-festival-SvenEgevad-Sharpen      |    94    ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------- -->
 
-
<!-- SokEvo. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"      | [[Solver Statistics - SokEvo - Lee J Haywood | SokEvo]]
 
-
| align="left"                        | Lee J Haywood
 
-
|                                          107
 
-
| [[SolverStatistics-takaken-SokEvo    | '''107''' ]]
 
-
| [[SolverStatistics-yass-SokEvo      | '''107''' ]]
 
-
| [[SolverStatistics-jsoko-SokEvo      | '''107''' ]]
 
-
| [[SolverStatistics-sokolution-SokEvo | '''107''' ]]
 
-
| [[SolverStatistics-festival-SokEvo  | '''107''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
<!-- SokHard. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Lee J Haywood | SokHard ]]
 
-
| align="left"                                | Lee J Haywood
 
-
|                                                  163
 
-
| [[SolverStatistics-takaken-SokHard          | '''163''' ]]
 
-
| [[SolverStatistics-yass-SokHard              | '''163''' ]]
 
-
| [[SolverStatistics-jsoko-LeeJHaywood-SokHard |    137    ]]
 
-
| [[SolverStatistics-sokolutionv3-SokHard      | '''163''' ]]
 
-
| [[SolverStatistics-festival-SokHard          | '''163''' ]]
 
-
 
-
<!-- ---------------------------------------------------------------------------------------- -->
 
-
<!-- Sokoban Perfect "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                            | [[Solver Statistics - Perfect - Thinking Rabbit | Sokoban Perfect ]]
 
-
| align="left"                                              | Thinking Rabbit
 
-
|                                                                306
 
-
| [[SolverStatistics-takaken-ThinkingRabbit-Perfect        |    261    ]]
 
-
| [[SolverStatistics-yass-ThinkingRabbit-Perfect            |    188    ]]
 
-
| [[SolverStatistics-jsoko-ThinkingRabbit-Perfect          |    188    ]]
 
-
| [[SolverStatistics-sokolutionv3-ThinkingRabbit-Perfect    |    259    ]]
 
-
| [[SolverStatistics-festival-ThinkingRabbit-Perfect        | '''282''' ]]
 
-
 
-
<!-- ---------------------------------------------------------------------------------------- -->
 
-
<!-- Sokoban Revenge "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                            | [[Solver Statistics - Revenge - Thinking Rabbit | Sokoban Revenge ]]
 
-
| align="left"                                              | Thinking Rabbit
 
-
|                                                                306
 
-
| [[SolverStatistics-takaken-ThinkingRabbit-Revenge        |    244    ]]
 
-
| [[SolverStatistics-yass-ThinkingRabbit-Revenge            |    194    ]]
 
-
| [[SolverStatistics-jsoko-ThinkingRabbit-Revenge          |    170    ]]
 
-
| [[SolverStatistics-sokolutionv3-ThinkingRabbit-Revenge    |    248    ]]
 
-
| [[SolverStatistics-festival-ThinkingRabbit-Revenge        | '''277''' ]]
 
-
 
-
<!-- -------------------------------------------------------------------------------- -->
 
-
<!-- Sokobet "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- -------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Sokobet | Sokobet ]]
 
-
| align="left"                              | DrFogh
 
-
|                                                29
 
-
| [[SolverStatistics-takaken-Sokobet        |    17    ]]
 
-
| [[SolverStatistics-yass-Sokobet            |    19    ]]
 
-
| [[SolverStatistics-jsoko-Sokobet          |    19    ]]
 
-
| [[SolverStatistics-sokolution-Sokobet      |    25    ]]
 
-
| [[SolverStatistics-festival-Sokobet        | '''28''' ]]
 
-
 
-
<!-- ------------------------------------------------------------------------------ -->
 
-
<!-- Sven. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------ -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Sven Egevad1911 | Sven ]]
 
-
| align="left"                                | Sven Egevad
 
-
|                                                      1911
 
-
| [[SolverStatistics-takaken-SvenEgevad1911        |    1652  ]]
 
-
| [[SolverStatistics-yass-SvenEgevad1911          |    1520  ]]
 
-
| [[SolverStatistics-jsoko-SvenEgevad-Sven1911    |    1426  ]]
 
-
| [[SolverStatistics-sokolutionv3-SvenEgevad1911  |    1726  ]]
 
-
| [[SolverStatistics-festival-SvenEgevad1911      | '''1779''']]
 
-
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
<!-- XSokoban. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ---------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5" | [[Solver Statistics - XSokoban - Thinking Rabbit & Various Authors| XSokoban ]]
 
-
| align="left"                                                | Thinking Rabbit, ...
 
-
|                                                                  90
 
-
| [[SolverStatistics-takaken-ThinkingRabbit-XSokoban          |    86    ]]
 
-
| [[SolverStatistics-yass-ThinkingRabbit-XSokoban            |    84    ]]
 
-
| [[SolverStatistics-jsoko-ThinkingRabbit-XSokoban            |    67    ]]
 
-
| [[SolverStatistics-sokolutionv3-ThinkingRabbit-XSokoban    |    89    ]]
 
-
| [[SolverStatistics-festival-ThinkingRabbit-XSokoban        | '''90''' ]]
 
-
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
<!-- Y.M. Auto. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ----------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                              | [[Solver Statistics - Y.M. Auto - Yoshio Murase| Y.M. Auto ]]
 
-
| align="left"                                                | Yoshio Murase
 
-
|                                                                  52
 
-
| [[SolverStatistics-takaken-YoshioMuraseAutogenerated        | '''52''' ]]
 
-
| [[SolverStatistics-yass-YoshioMuraseAutogenerated            | '''52''' ]]
 
-
| [[SolverStatistics-jsoko-YoshioMuraseAutogenerated          | '''52''' ]]
 
-
| [[SolverStatistics-sokolutionv3-YoshioMuraseAutogenerated    | '''52''' ]]
 
-
| [[SolverStatistics-festival-YoshioMuraseAutogenerated        | '''52''' ]]
 
-
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
<!-- Y.M. Handmade. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- --------------------------------------------------------------------------------------- -->
 
-
|- align="right"
 
-
| align="left" bgcolor="#f1efe5"                          | [[Solver Statistics - Y.M. Handmade - Yoshio Murase| Y.M. Handmade ]]
 
-
| align="left"                                            | Yoshio Murase
 
-
|                                                              54
 
-
| [[SolverStatistics-takaken-YoshioMuraseHandmade        | '''54''' ]]
 
-
| [[SolverStatistics-yass-YoshioMuraseHandmade            |    52    ]]
 
-
| [[SolverStatistics-jsoko-YoshioMurase-Handmade          |    52    ]]
 
-
| [[SolverStatistics-sokolutionv3-YoshioMuraseHandmade    | '''54''' ]]
 
-
| [[SolverStatistics-festival-YoshioMuraseHandmade        | '''54''' ]]
 
-
 
-
<!-- ------------------------------------------------------------------------------------------------------- -->
 
-
<!-- Total solved levels by solver. "Collection, author, levels, Takaken, YASS, JSoko, Sokolution, Festival" -->
 
-
<!-- ------------------------------------------------------------------------------------------------------- -->
 
|- bgcolor="#f1efe5" align="right"
|- bgcolor="#f1efe5" align="right"
-
| align="left" | Total
+
| align="left" | Total levels
-
|
+
|    4762      <!-- Total levels -->
|    4762      <!-- Total levels -->
-
|   4076      <!-- Takaken      -->
+
| '''4487'''  <!-- Festival    -->
-
|    3654     <!-- YASS        -->
+
|    4283     <!-- Sokolution  -->
-
|    3447     <!-- JSoko        -->
+
|    4196     <!-- Takaken      -->
-
|    4216     <!-- Sokolution  -->
+
|    3697     <!-- YASS        -->
-
| '''4401'''  <!-- Festival    -->
+
|}
|}
 +
 +
'''[https://sokoban-solver-statistics.sourceforge.io/statistics/OpenTestSuite/ Click here to see the detailed results for the Open Test Suite].'''
== GroupEffort Test Suite ==
== GroupEffort Test Suite ==
-
The only reason for benchmarking the GroupEffort test suite is to show the limited veracity of the statement made in section "6 Conclusion" of the thesis, where the author writes that the GroupEffort solver "outperforms existing solvers".  
+
The only reason for benchmarking the GroupEffort test suite is to demonstrate the limited veracity of the statement made in section "6 Conclusion" of the thesis, where the author writes that the GroupEffort solver "outperforms existing solvers".  
The benchmarks show that this was only true for the cherry-picked small test set at the time the thesis was published, never for the presumably more representative large test set.  
The benchmarks show that this was only true for the cherry-picked small test set at the time the thesis was published, never for the presumably more representative large test set.  
Line 952: Line 297:
  E-mail: yoshio@asahi.email.ne.jp
  E-mail: yoshio@asahi.email.ne.jp
  Web Site: http://www.ne.jp/asahi/ai/yoshio/sokoban/index.html
  Web Site: http://www.ne.jp/asahi/ai/yoshio/sokoban/index.html
-
<br>
 
-
BoxSearch
 
-
Copyright (C) 2007 by Ge Yong
 
-
E-mail: notabdc@hotmail.com
 
-
Web site: unknown 
 
  <br>
  <br>
  JSoko
  JSoko
Line 966: Line 306:
  Copyright (C) 2002 - 200X Ken'ichiro Takahashi (aka takaken)
  Copyright (C) 2002 - 200X Ken'ichiro Takahashi (aka takaken)
  E-mail: takaken@ic-net.or.jp
  E-mail: takaken@ic-net.or.jp
-
  Web site: http://www.ic-net.or.jp/home/takaken/e/soko/index.html  
+
  Web site: https://computerpuzzle.net/english/sokoban/ver731/index.html  
  <br>
  <br>
  YASS - Yet Another Sokoban Solver and Optimizer - For Small Levels
  YASS - Yet Another Sokoban Solver and Optimizer - For Small Levels

Revision as of 15:45, 4 August 2022

A Sokoban solver program is a program that tries to solve Sokoban levels. There are several solver programs available. (See Sokoban solvers.)

Solver programs may have different objectives:

  1. Find any solution
  2. Find push optimal solutions
  3. Find push optimal solutions with best moves
  4. Find move optimal solutions
  5. Find move optimal solutions with best pushes

Given the computational complexity of these tasks, a solver program is usually designed for just finding any solution. If a solution is to be optimized, an optimizer program can be used. (See Optimizers.)

The statistics presented here provide a picture of what the best freely available Sokoban solvers can do.
For copyrights, credits and redistribution of these statistics, please read the disclaimer.


Contents

General benchmarking information

For practical reasons, almost all tests have been performed with a 10 minutes time limit. The tests are, however, not a 10 minutes contest but a showcase for what the solvers can do, so other time limits are entirely feasible.

The hardware used for the tests is a standard PC with a modern operating system (64bit).

Tests are performed with default solver settings, except that RAM usage may be increased manually when this is beneficial.

Solver Version Author Architecture CPU usage Sourcecode available More info
Festival 2.0 Yaron Shoham 64bit 2 threads no Website with papers about the solver
Sokolution 5.11 Florent Diedler 64bit 2 threads no Sokoban solver "scribbles" by Florent Diedler
Takaken 7.4 Ken'ichiro Takahashi (takaken) 64bit 2 threads no Description of the used algorithms
Curry 0.3 Yaron Shoham 64bit 1 thread Curry 0.3 Website with paper about the solver
YASS 2.148 Brian Damgaard 32bit 1 thread YASS 2.148 Sokoban solver "scribbles" by Brian Damgaard
JSoko 2.03 Matthias Meger 64bit 1 thread JSoko 2.03 Solver information
Rolling Stone 1.0 Andreas Junghanns 32bit 1 thread RS Rolling Stone papers

Contact: SokobanoWiki@gmail.com

XSokoban Test Suite

The XSokoban level set is the de facto standard test suite in the academic literature on Sokoban solver programming.

Sokoban Solver Statistics - XSokoban Test Suite - Solved Levels
Collection Author Levels Rolling Stone Takaken YASS JSoko Sokolution Curry Festival
XSokoban Thinking Rabbit, ... 90 54 90 84 67 90 90 90
Sokoban Solver Statistics - XSokoban Test Suite - Push-optimal Solutions
Collection Author Levels Rolling Stone Pereira et al. JSoko Sokolution
XSokoban Thinking Rabbit, ... 90 6 28 31 59

Large Test Suite

The large test suite comprises level packs selected for being a challenge for the solvers, but not too difficult. The statistics shows the results for the leading Sokoban solver programs.

This test suite is not subject to change, as it is meant to be a "Large Standard Test Suite" for Sokoban solver programs.

Sokoban Solver Statistics - Large Test Suite - Solved levels
Levels Festival Sokolution Takaken YASS
Total levels 3272 3121 3009 2944 2687

Click here to see the detailed results for the Large Test Suite.

Download the entire test suite here or the individual level sets from www.sokobano.de.

Open Test Suite

The statistics shows the results for the leading Sokoban solvers for various level collections. Please note that the grand totals are simple summations. The number of solved unique levels may differ slightly due to duplicate levels in the level packs.

This test suite may be changed by adding new level collections from time to time.

Sokoban Solver Statistics - Open Test Suite - Solved levels
Levels Festival Sokolution Takaken YASS
Total levels 4762 4487 4283 4196 3697

Click here to see the detailed results for the Open Test Suite.

GroupEffort Test Suite

The only reason for benchmarking the GroupEffort test suite is to demonstrate the limited veracity of the statement made in section "6 Conclusion" of the thesis, where the author writes that the GroupEffort solver "outperforms existing solvers".

The benchmarks show that this was only true for the cherry-picked small test set at the time the thesis was published, never for the presumably more representative large test set.

Sokoban Solver Statistics - GroupEffort Test Suite - Solved Levels
Collection Levels GroupEffort Festival Sokolution Takaken JSoko YASS
Small Set 200 196 (a)(c) 200 (b) 200 (a) 192 (b) 180 (b) 191 (b)
Large Set 2851 1566 (a)(c) 2642 (b) 2471 (a) 2462 (b) 2165 (b) 2260 (b)
Total 3051 1762 2842 2671 2654 2345 2471

(a): Time limit: 5 minutes     (b): Time limit: 10 minutes     (c): Best GroupEffort solver configuration

Disclaimer

Sokoban
=======

Sokoban (R) Registered Trademark of Falcon Co., Ltd., Japan Sokoban Copyright (C) 1982-2004 by Hiroyuki Imabayashi, Japan Sokoban Copyright (C) 1989, 1990, 2001-2004 by Falcon Co., Ltd., Japan
License =======
Redistribution and use of the Sokoban Solver statistics are permitted provided that the following conditions are met:
* Redistributions may not be sold, nor may they be used in a commercial product or activity. * Redistributions must reproduce the entire content of this disclaimer in the documentation and/or other materials provided with the distribution.
Credits (in no particular order) ================================
CosmoNotes, CosmoPoly, LOMA, MicroCosmos, MiniCosmos, NaboCosmos and PicoCosmos level sets Copyright (C) by Aymeric du Peloux. E-mail: aymeric.du-peloux@gadz.org Web site: unknown
dh1, dh2, bagatelle, cantrip, and maelstrom level sets Copyright (C) by David Holland E-mail: unknown Web site: unknown
Microban, Mas Microban, Sasquatch, Mas Sasquatch, Sasquatch III, Sasquatch IV, Sasquatch V, Sasquatch VI and Sasquatch VII level sets. Copyright (C) by David W. Skinner E-mail: sasquatch@bentonrea.com Web site: unknown
Grigr2001, Grigr2002 and GrigrSpecial level sets Copyright (C) by Evgeny Grigoriev (aka GRIGoRusha) E-mail: grigr@yandex.ru Web site: http://grigr.narod.ru/
SokEvo and SokHard level sets Copyright (C) 2002-2006 by Lee J Haywood E-mail: fruise@gmail.com Web Site: http://leehaywood.org/games/sokoban/
Sven level set Copyright (C) 2007 by Sven Egevad E-mail: sven.egevad@telia.com Web Site: unknown
Sokoban Perfect and Sokoban Revenge level sets Copyright (C) 1989, 1991 by Thinking Rabbit Web Site: https://sokoban.jp/
Y.M. Auto and Y.M. Handmade level sets Copyright (C) Yoshio Murase E-mail: yoshio@asahi.email.ne.jp Web Site: http://www.ne.jp/asahi/ai/yoshio/sokoban/index.html
JSoko Copyright (C) by Matthias Meger E-mail: JSoko@mail.de Web site: https://www.sokoban-online.de
Sokoban Automatic Solver (aka Takaken solver) Copyright (C) 2002 - 200X Ken'ichiro Takahashi (aka takaken) E-mail: takaken@ic-net.or.jp Web site: https://computerpuzzle.net/english/sokoban/ver731/index.html
YASS - Yet Another Sokoban Solver and Optimizer - For Small Levels Copyright (C) 2007 by Brian Damgaard Web site: https://sourceforge.net/projects/sokobanyasc/
Sokoban YASC Copyright (C) 2001-2020 by Brian Damgaard Web Site: https://sourceforge.net/projects/sokobanyasc/
YSokoban Copyright (C) 2007 by George Petrov E-mail: YGP@WriteMe.com Web Site: http://ygp.orgfree.com/sokoban.html
XSokoban Copyright (C) by Andrew Myers E-mail: andru@cs.cornell.edu Web Site: http://www.cs.cornell.edu/andru/xsokoban.html
Sokofan Copyright (C) 2005-2007 by Eric Leung E-mail: eleung2@hotpop.com Web Site: unknown
Sokolution Copyright (C) 2016-2019 by Florent DIEDLER E-mail: fdiedler2000@gmail.com Web site: http://codeanalysis.fr/sokoban/
Festival Copyright (C) 2020 by Yaron Shoham Web site: https://festival-solver.site/
Trademarks ==========
Company names, brand names and product names are trademarks or registered trademarks of their respective holders.
Contact =======
E-mail: sokobanowiki@gmail.com
Personal tools