Solver Statistics

From Sokoban Wiki

Revision as of 20:16, 20 November 2016 by Briandamgaard (Talk | contribs)
Jump to: navigation, search

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

There are different solver types:

  1. Solvers which just try to find any solution
  2. Solvers which try to find push optimal solutions
  3. Solvers which try to find push optimal solutions with best moves
  4. Solvers which try to find move optimal solutions
  5. Solvers which try 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.

Solver Statistics - Solved Levels
Collection Author Levels BoxSearch Takaken YASS JSoko Sokolution
Aymeric Aymeric du Peloux 282 282 282 282 282 NC
BoxWorld Various Authors 100 87 98 93 82 NC
Grigr2001 Evgeny Grigoriev 100 93 94 93 91 NC
Grigr2002 Evgeny Grigoriev 40 37 36 38 34 NC
GrigrSpecial Evgeny Grigoriev 40 39 40 40 39 NC
Holland David Holland 81 56 64 57 55 NC
Kenyam Set A Kenya Maruyama 52 48 50 51 45 NC
Microban David W. Skinner 155 155 155 155 155 NC
Microban II David W. Skinner 135 134 134 135 135 NC
Sasquatch David W. Skinner 50 22 35 26 28 NC
Sasquatch II David W. Skinner 50 16 32 19 18 NC
Sasquatch III David W. Skinner 50 14 20 13 12 NC
Sasquatch IV David W. Skinner 50 27 36 30 25 NC
Sasquatch V David W. Skinner 50 30 36 28 25 NC
Sasquatch VI David W. Skinner 50 30 31 25 26 NC
Sasquatch VII David W. Skinner 50 30 31 26 25 NC
SokEvo Lee J Haywood 107 107 107 107 107 NC
SokHard Lee J Haywood 163 163 163 163 158 NC
Sven Sven Egevad 1623 1170 1363 1250 1147 NC
XSokoban Thinking Rabbit, ... 90 42 86 85 71 73
Y.M. AutoYoshio Murase 52 52 52 52 52 NC
Y.M. Handmade Yoshio Murase 54 54 54 52 52 NC
Total 3424 2688 2999 2820 2664 73


Solver Statistics - Push-optimal Solutions
Collection Author Levels Pereira et al. JSoko Sokolution
XSokoban Thinking Rabbit, ... 90 28 31 TBA
Total 90 28 31 TBA

The statistics show that the different solvers have advantages and disadvantages depending on the level type. Therefore it's worth trying several solvers when a level seems unsolvable. It's highly level-dependent on how a solver performs.

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) =================================
Sokolution Copyright (C) 2016 by Florent DIEDLER E-mail: fdiedler2000@gmail.com Web site: http://codeanalysis.fr/sokoban/
BoxSearch Copyright (C) 2007 by Ge Yong E-mail: notabdc@hotmail.com Web site: http://www.freewebs.com/gamesolver/
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/
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/
Kenyam Set A Copyright (C) 2000-2006 by Kenya Maruyama E-mail: rmckenyam@hotmail.com Web Site: http://www.geocities.jp/rmcsokoban/soko/skrmc_a.htm
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
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
Box World Copyright (C) 1998 by Jeng-Long Jiang E-mail: unknown Web Site: unknown
Sokofan Copyright (C) 2005-2007 by Eric Leung E-mail: eleung2@hotpop.com Web Site: http://www.freewebs.com/sokofan/
Sokoban YASC Copyright (C) 2007 by Brian Damgaard E-mail: BrianDamgaard@jubii.dk Web Site: http://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
Trademarks ==========
Company names, brand names and product names are trademarks or registered trademarks of their respective holders.
Contact =======
E-mail: minglw@yahoo.com
Personal tools