Solver Statistics

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(Solver Statistics)
(Solver Statistics)
Line 413: Line 413:
| width=" 70"  |                Levels
| width=" 70"  |                Levels
| width=" 80"  |                BoxSearch
| width=" 80"  |                BoxSearch
-
| 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://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]]
Line 433: Line 433:
| [[SolverStatistics-festival-Aymeric      |      0    ]]
| [[SolverStatistics-festival-Aymeric      |      0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
-
<!-- Bruno Druille. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Bruno Druille. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Bruno Druille | Bruno Druille]]
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Bruno Druille | Bruno Druille]]
Line 447: Line 447:
| [[SolverStatistics-festival-BrunoDruille  |    0    ]]
| [[SolverStatistics-festival-BrunoDruille  |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------- -->
-
<!-- Disciple. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"         -->
+
<!-- Disciple. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Disciple | Disciple]]
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - Disciple | Disciple]]
Line 459: Line 459:
| [[SolverStatistics-jsoko-Disciple        |    10    ]]
| [[SolverStatistics-jsoko-Disciple        |    10    ]]
| [[SolverStatistics-sokolution-Disciple  |    18    ]]
| [[SolverStatistics-sokolution-Disciple  |    18    ]]
-
| [[SolverStatistics-festival-Disciple    |     0  ]]
+
| [[SolverStatistics-festival-Disciple    |     0  ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
-
<!-- Grigr2001. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"         -->
+
<!-- Grigr2001. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2001 - Evgeny Grigoriev| Grigr2001]]
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2001 - Evgeny Grigoriev| Grigr2001]]
Line 475: Line 475:
| [[SolverStatistics-festival-Grigr2001              |    0    ]]
| [[SolverStatistics-festival-Grigr2001              |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
-
<!-- Grigr2002. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"         -->
+
<!-- Grigr2002. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2002 - Evgeny Grigoriev| Grigr2002]]
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Grigr2002 - Evgeny Grigoriev| Grigr2002]]
Line 489: Line 489:
| [[SolverStatistics-festival-Grigr2002              |    0    ]]
| [[SolverStatistics-festival-Grigr2002              |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
-
<!-- GrigrSpecial. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- GrigrSpecial. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                        | [[Solver Statistics - GrigrSpecial - Evgeny Grigoriev| GrigrSpecial]]
| align="left" bgcolor="#f1efe5"                        | [[Solver Statistics - GrigrSpecial - Evgeny Grigoriev| GrigrSpecial]]
Line 504: Line 504:
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
-
<!-- Holland. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"           -->
+
<!-- Holland. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
Line 517: Line 517:
| [[SolverStatistics-festival-Holland        |    0    ]]
| [[SolverStatistics-festival-Holland        |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------- -->
-
<!-- IAG. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"               -->
+
<!-- IAG. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - IAG | It's All Greek]]
| align="left" bgcolor="#f1efe5"          | [[Solver Statistics - IAG | It's All Greek]]
Line 532: Line 532:
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
-
<!-- Kevin 1. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"               -->
+
<!-- Kevin 1. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
Line 545: Line 545:
| [[SolverStatistics-festival-Kevin 1      |    0    ]]
| [[SolverStatistics-festival-Kevin 1      |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
-
<!-- Kobus Theron. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"               -->
+
<!-- Kobus Theron. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Kobus Theron | Kobus Theron]]
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Kobus Theron | Kobus Theron]]
Line 559: Line 559:
| [[SolverStatistics-festival-KobusTheron |      0    ]]
| [[SolverStatistics-festival-KobusTheron |      0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------------- -->
-
<!-- Marcus Palstra. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"   -->
+
<!-- Marcus Palstra. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Marcus Palstra| Marcus Palstra]]
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Marcus Palstra| Marcus Palstra]]
Line 573: Line 573:
| [[SolverStatistics-festival-MarcusPalstra  |    0    ]]
| [[SolverStatistics-festival-MarcusPalstra  |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------ -->
-
<!-- Master Head. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"       -->
+
<!-- Master Head. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------ -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Master Head| Master Head]]
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Master Head| Master Head]]
Line 587: Line 587:
| [[SolverStatistics-festival-MasterHead    |    0    ]]
| [[SolverStatistics-festival-MasterHead    |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------- -->
-
<!-- Microban. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"         -->
+
<!-- Microban. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Microban - David W. Skinner| Microban]]
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Microban - David W. Skinner| Microban]]
Line 601: Line 601:
| [[SolverStatistics-festival-Microban            |      0    ]]
| [[SolverStatistics-festival-Microban            |      0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------ -->
-
<!-- Microban II. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"       -->
+
<!-- Microban II. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------ -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Microban II - David W. Skinner| Microban II]]
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Microban II - David W. Skinner| Microban II]]
Line 616: Line 616:
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
-
<!-- Numbers. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"           -->
+
<!-- Numbers. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
Line 629: Line 629:
| [[SolverStatistics-festival-Numbers                |    0    ]]
| [[SolverStatistics-festival-Numbers                |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
-
<!-- Sasquatch. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"         -->
+
<!-- Sasquatch. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Sasquatch - David W. Skinner| Sasquatch]]
| align="left" bgcolor="#f1efe5"                  | [[Solver Statistics - Sasquatch - David W. Skinner| Sasquatch]]
Line 643: Line 643:
| [[SolverStatistics-festival-Sasquatch            |    0    ]]
| [[SolverStatistics-festival-Sasquatch            |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
-
<!-- Sasquatch II. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Sasquatch II. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch II - David W. Skinner| Sasquatch II]]
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch II - David W. Skinner| Sasquatch II]]
Line 657: Line 657:
| [[SolverStatistics-festival-Sasquatch-II            |    0    ]]
| [[SolverStatistics-festival-Sasquatch-II            |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
-
<!-- Sasquatch III. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Sasquatch III. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch III - David W. Skinner| Sasquatch III]]
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch III - David W. Skinner| Sasquatch III]]
Line 671: Line 671:
| [[SolverStatistics-festival-Sasquatch-III          |    0    ]]
| [[SolverStatistics-festival-Sasquatch-III          |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
-
<!-- Sasquatch IV. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Sasquatch IV. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch IV - David W. Skinner| Sasquatch IV]]
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch IV - David W. Skinner| Sasquatch IV]]
Line 685: Line 685:
| [[SolverStatistics-festival-Sasquatch-IV          |    0    ]]
| [[SolverStatistics-festival-Sasquatch-IV          |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------ -->
-
<!-- Sasquatch V. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"       -->
+
<!-- Sasquatch V. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------ -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch V - David W. Skinner| Sasquatch V]]
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch V - David W. Skinner| Sasquatch V]]
Line 699: Line 699:
| [[SolverStatistics-festival-Sasquatch-V          |    0    ]]
| [[SolverStatistics-festival-Sasquatch-V          |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
-
<!-- Sasquatch VI. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Sasquatch VI. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch VI - David W. Skinner| Sasquatch VI]]
| align="left" bgcolor="#f1efe5"                    | [[Solver Statistics - Sasquatch VI - David W. Skinner| Sasquatch VI]]
Line 713: Line 713:
| [[SolverStatistics-festival-Sasquatch-VI          |    0    ]]
| [[SolverStatistics-festival-Sasquatch-VI          |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
-
<!-- Sasquatch VII. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Sasquatch VII. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch VII - David W. Skinner| Sasquatch VII]]
| align="left" bgcolor="#f1efe5"                      | [[Solver Statistics - Sasquatch VII - David W. Skinner| Sasquatch VII]]
Line 727: Line 727:
| [[SolverStatistics-festival-Sasquatch-VII          |    0    ]]
| [[SolverStatistics-festival-Sasquatch-VII          |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
-
<!-- Sven Sharpen. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Sven Sharpen. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Sven Egevad - Sharpen| Sharpen ]]
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Sven Egevad - Sharpen| Sharpen ]]
Line 741: Line 741:
| [[SolverStatistics-festival-SvenEgevad-Sharpen      |    0    ]]
| [[SolverStatistics-festival-SvenEgevad-Sharpen      |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------- -->
-
<!-- SokEvo. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"           -->
+
<!-- SokEvo. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"      | [[Solver Statistics - SokEvo - Lee J Haywood | SokEvo]]
| align="left" bgcolor="#f1efe5"      | [[Solver Statistics - SokEvo - Lee J Haywood | SokEvo]]
Line 756: Line 756:
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
-
<!-- SokHard. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"           -->
+
<!-- SokHard. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
Line 769: Line 769:
| [[SolverStatistics-festival-SokHard          |      0    ]]
| [[SolverStatistics-festival-SokHard          |      0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------------- -->
-
<!-- Sokoban Perfect "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"   -->
+
<!-- Sokoban Perfect "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                            | [[Solver Statistics - Perfect - Thinking Rabbit | Sokoban Perfect ]]
| align="left" bgcolor="#f1efe5"                            | [[Solver Statistics - Perfect - Thinking Rabbit | Sokoban Perfect ]]
Line 783: Line 783:
| [[SolverStatistics-festival-ThinkingRabbit-Perfect        |      0    ]]
| [[SolverStatistics-festival-ThinkingRabbit-Perfect        |      0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------------- -->
-
<!-- Sokoban Revenge "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"   -->
+
<!-- Sokoban Revenge "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                            | [[Solver Statistics - Revenge - Thinking Rabbit | Sokoban Revenge ]]
| align="left" bgcolor="#f1efe5"                            | [[Solver Statistics - Revenge - Thinking Rabbit | Sokoban Revenge ]]
Line 797: Line 797:
| [[SolverStatistics-festival-ThinkingRabbit-Revenge        |      0    ]]
| [[SolverStatistics-festival-ThinkingRabbit-Revenge        |      0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------- -->
-
<!-- Sokobet "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"           -->
+
<!-- Sokobet "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Sokobet | Sokobet ]]
| align="left" bgcolor="#f1efe5"            | [[Solver Statistics - Sokobet | Sokobet ]]
Line 811: Line 811:
| [[SolverStatistics-festival-Sokobet        |    0    ]]
| [[SolverStatistics-festival-Sokobet        |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ----------------------------------------------------------------------------------------- -->
-
<!-- Sven. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"             -->
+
<!-- Sven. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ----------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Sven Egevad1911 | Sven ]]
| align="left" bgcolor="#f1efe5"              | [[Solver Statistics - Sven Egevad1911 | Sven ]]
Line 825: Line 825:
| [[SolverStatistics-festival-SvenEgevad1911      |      0  ]]
| [[SolverStatistics-festival-SvenEgevad1911      |      0  ]]
-
<!-- ---------------------------------------------------------------------------------------------- -->
+
<!-- --------------------------------------------------------------------------------------------- -->
-
<!-- XSokoban. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"           -->
+
<!-- XSokoban. "Collection, author, levels, BoxSearch, 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" | [[Solver Statistics - XSokoban - Thinking Rabbit & Various Authors| XSokoban ]]
Line 839: Line 839:
| [[SolverStatistics-festival-ThinkingRabbit-XSokoban        |    0    ]]
| [[SolverStatistics-festival-ThinkingRabbit-XSokoban        |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
-
<!-- Y.M. Auto. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"         -->
+
<!-- Y.M. Auto. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- ---------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                              | [[Solver Statistics - Y.M. Auto - Yoshio Murase| Y.M. Auto ]]
| align="left" bgcolor="#f1efe5"                              | [[Solver Statistics - Y.M. Auto - Yoshio Murase| Y.M. Auto ]]
Line 853: Line 853:
| [[SolverStatistics-festival-YoshioMuraseAutogenerated        |    0    ]]
| [[SolverStatistics-festival-YoshioMuraseAutogenerated        |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
-
<!-- Y.M. Handmade. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution"     -->
+
<!-- Y.M. Handmade. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------- -->
+
<!-- -------------------------------------------------------------------------------------------------- -->
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"                          | [[Solver Statistics - Y.M. Handmade - Yoshio Murase| Y.M. Handmade ]]
| align="left" bgcolor="#f1efe5"                          | [[Solver Statistics - Y.M. Handmade - Yoshio Murase| Y.M. Handmade ]]
Line 867: Line 867:
| [[SolverStatistics-festival-YoshioMuraseHandmade        |    0    ]]
| [[SolverStatistics-festival-YoshioMuraseHandmade        |    0    ]]
-
<!-- -------------------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------------------------ -->
-
<!-- Total solved levels by solver. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution" -->
+
<!-- Total solved levels by solver. "Collection, author, levels, BoxSearch, Takaken, YASS, JSoko, Sokolution, Festival" -->
-
<!-- -------------------------------------------------------------------------------------------------------- -->
+
<!-- ------------------------------------------------------------------------------------------------------------------ -->
|- bgcolor="#f1efe5" align="right"
|- bgcolor="#f1efe5" align="right"
| align="left" | Total
| align="left" | Total

Revision as of 20:41, 19 June 2020

Sokoban solvers are programs that solve sokoban levels. There are many programs available that can solve Sokoban levels (see Sokoban solvers).

There are different types of solvers:

  1. Solvers trying to find any solution
  2. Solvers trying to find push optimal solutions
  3. Solvers trying to find push optimal solutions with best moves
  4. Solvers trying to find move optimal solutions
  5. Solvers trying to 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 (Optimizers).

To get an impression of what levels are solvable by which solver, here are some statistics.
For copyrights, credits and redistribution of these statistics, please read the disclaimer.


Contents

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 Junghanns BoxSearch Takaken YASS JSoko Sokolution Festival
XSokoban Thinking Rabbit, ... 90 54 42 86 84 67 81 0
Sokoban Solver Statistics - XSokoban Test Suite - Push-optimal Solutions
Collection Author Levels Junghanns Pereira et al. JSoko Sokolution
XSokoban Thinking Rabbit, ... 90 6 28 31 57

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
Collection Author Levels BoxSearch Takaken YASS JSoko Sokolution Festival
Aymeric Aymeric du Peloux 282 282 282 282 282 282 0
Grigr2001 Evgeny Grigoriev 100 93 94 93 92 96 0
Grigr2002 Evgeny Grigoriev 40 37 37 38 36 40 0
GrigrSpecial Evgeny Grigoriev 40 39 40 40 39 40 0
Holland David Holland 81 56 65 59 55 66 0
Microban David W. Skinner 155 155 155 155 155 155 0
Microban II David W. Skinner 135 134 134 135 135 135 0
Sasquatch David W. Skinner 50 22 36 26 31 37 0
Sasquatch II David W. Skinner 50 16 33 20 20 33 0
Sasquatch III David W. Skinner 50 14 22 13 12 25 0
Sasquatch IV David W. Skinner 50 27 37 30 29 37 0
Sasquatch V David W. Skinner 50 30 36 29 25 37 0
Sasquatch VI David W. Skinner 50 30 32 25 28 37 0
Sasquatch VII David W. Skinner 50 30 31 26 26 40 0
SokEvo Lee J Haywood 107 107 107 107 107 107 0
SokHard Lee J Haywood 163 163 163 163 137 163 0
Sven Sven Egevad 1623 1170 1384 1251 1179 1443 0
XSokoban Thinking Rabbit, ... 90 42 86 84 67 81 0
Y.M. Auto Yoshio Murase 52 52 52 52 52 52 0
Y.M. Handmade Yoshio Murase 54 54 54 52 52 54 0
Total 3272 2553 2880 2680 2559 2960 0

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

Solver Statistics

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.

Sokoban Solver Statistics - Solved Levels
Collection Author Levels BoxSearch Takaken YASS JSoko Sokolution Festival
Aymeric Aymeric du Peloux 282 282 282 282 282 282 0
Bruno Druille Bruno Druille 29 3 17 4 4 13 0
Disciple Crazy Monk 50 6 27 12 10 18 0
Grigr2001 Evgeny Grigoriev 100 93 94 93 92 96 0
Grigr2002 Evgeny Grigoriev 40 37 37 38 36 40 0
GrigrSpecial Evgeny Grigoriev 40 39 40 40 39 40 0
Holland David Holland 81 56 65 59 55 66 0
It's All Greek DrFogh 35 6 23 14 10 22 0
Kevin 1 Kevin B. Reilly 100 53 95 86 74 86 0
Kobus Theron Kobus Theron 107 74 106 91 71 105 0
Marcus Palstra Marcus Palstra 30 4 10 7 4 10 0
Master Head Master Head 45 19 44 37 36 39 0
Microban David W. Skinner 155 155 155 155 155 155 0
Microban II David W. Skinner 135 134 134 135 135 135 0
Numbers DrFogh 12 6 10 10 7 9 0
Sasquatch David W. Skinner 50 22 36 26 31 37 0
Sasquatch II David W. Skinner 50 16 33 20 20 33 0
Sasquatch III David W. Skinner 50 14 22 13 12 25 0
Sasquatch IV David W. Skinner 50 27 37 30 29 37 0
Sasquatch V David W. Skinner 50 30 36 29 25 37 0
Sasquatch VI David W. Skinner 50 30 32 25 28 37 0
Sasquatch VII David W. Skinner 50 30 31 26 26 40 0
Sharpen Sven Egevad 153 34 76 43 48 92 0
SokEvo Lee J Haywood 107 107 107 107 107 107 0
SokHard Lee J Haywood 163 163 163 163 137 163 0
Sokoban Perfect Thinking Rabbit 306 146 261 188 188 242 0
Sokoban Revenge Thinking Rabbit 306 148 244 194 170 229 0
Sokobet DrFogh 29 18 24 19 19 24 0
Sven Sven Egevad 1911 1416 1652 1520 1426 1726 0
XSokoban Thinking Rabbit, ... 90 42 86 84 67 81 0
Y.M. Auto Yoshio Murase 52 52 52 52 52 52 0
Y.M. Handmade Yoshio Murase 54 54 54 52 52 54 0
Total 4762 3316 4085 3654 3447 4132 0

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 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 Sokolution Takaken JSoko YASS
Small Set 200 196 (a)(c) 200 (a) 192 (b) 180 (b) 191 (b)
Large Set 2851 1566 (a)(c) 2471 (a) 2462 (b) 2165 (b) 2260 (b)
Total 3051 1762 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
BoxSearch Copyright (C) 2007 by Ge Yong E-mail: notabdc@hotmail.com Web site: unknown
JSoko Copyright (C) by Matthias Meger E-mail: JSoko@online.de Web site: http://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: http://www.ic-net.or.jp/home/takaken/e/soko/index.html
YASS - Yet Another Sokoban Solver and Optimizer - For Small Levels Copyright (C) 2007 by Brian Damgaard E-mail: BrianDamgaard@jubii.dk Web site: http://sourceforge.net/projects/sokobanyasc/
Sokoban YASC Copyright (C) 2001-2019 by Brian Damgaard E-mail: BrianDamgaard@jubii.dk 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/
Trademarks ==========
Company names, brand names and product names are trademarks or registered trademarks of their respective holders.
Contact =======
E-mail: sokoban@online.de
Personal tools