Solver Statistics

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(→Disclaimer)
(new results for JSoko)
Line 53: Line 53:
| align="left" bgcolor="#f1efe5"| SokEvo ||align="left"|Lee J Haywood|| 107 || '''107''' || '''107''' || '''107''' || '''107'''
| align="left" bgcolor="#f1efe5"| SokEvo ||align="left"|Lee J Haywood|| 107 || '''107''' || '''107''' || '''107''' || '''107'''
|- align="right"
|- align="right"
-
| align="left" bgcolor="#f1efe5"| [[Solver Statistics - Lee J Haywood | SokHard ]] ||align="left"|Lee J Haywood|| 163 || '''163''' || '''163''' || '''163''' || [[SolverStatistics-jsoko-LeeJHaywood-SokHard | 101 ]]
+
| align="left" bgcolor="#f1efe5"| [[Solver Statistics - Lee J Haywood | SokHard ]] ||align="left"|Lee J Haywood|| 163 || '''163''' || '''163''' || '''163''' || [[SolverStatistics-jsoko-LeeJHaywood-SokHard | 131 ]]
|- align="right"
|- align="right"
| align="left" bgcolor="#f1efe5"| [[Solver Statistics - Sven Egevad | Sven ]] ||align="left"|Sven Egevad|| 1623 || 1170 || '''1363''' || 1234 || [[SolverStatistics-jsoko-SvenEgevad-Sven| 1147]]
| align="left" bgcolor="#f1efe5"| [[Solver Statistics - Sven Egevad | Sven ]] ||align="left"|Sven Egevad|| 1623 || 1170 || '''1363''' || 1234 || [[SolverStatistics-jsoko-SvenEgevad-Sven| 1147]]
Line 63: Line 63:
| align="left" bgcolor="#f1efe5"| [[Solver Statistics - Y.M. Handmade - Yoshio Murase| Y.M. Handmade ]] ||align="left"|Yoshio Murase|| 54 || '''54''' || '''54''' || 52 || [[SolverStatistics-jsoko-YoshioMurase-Handmade | 50 ]]
| align="left" bgcolor="#f1efe5"| [[Solver Statistics - Y.M. Handmade - Yoshio Murase| Y.M. Handmade ]] ||align="left"|Yoshio Murase|| 54 || '''54''' || '''54''' || 52 || [[SolverStatistics-jsoko-YoshioMurase-Handmade | 50 ]]
|- bgcolor="#f1efe5" align="right"
|- bgcolor="#f1efe5" align="right"
-
| align="left"| Total || || 3424 || 2688 || '''2999''' || 2781 || 2599
+
| align="left"| Total || || 3424 || 2688 || '''2999''' || 2781 || 2629
|}
|}

Revision as of 14:43, 28 November 2010

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
Aymeric Aymeric du Peloux 282 282 282 282 282
BoxWorld Various Authors 100 87 98 89 82
Grigr2001 Evgeny Grigoriev 100 93 94 92 91
Grigr2002 Evgeny Grigoriev 40 37 36 38 34
GrigrSpecial Evgeny Grigoriev 40 39 40 40 39
Holland David Holland 81 56 64 58 55
Kenyam Set A Kenya Maruyama 52 48 50 50 45
Microban David W. Skinner 155 155 155 155 155
Microban II David W. Skinner 135 134 134 135 135
Sasquatch David W. Skinner 50 22 35 23 28
Sasquatch II David W. Skinner 50 16 32 18 18
Sasquatch III David W. Skinner 50 14 20 9 12
Sasquatch IV David W. Skinner 50 27 36 27 25
Sasquatch V David W. Skinner 50 30 36 31 25
Sasquatch VI David W. Skinner 50 30 31 24 26
Sasquatch VII David W. Skinner 50 30 31 27 25
SokEvo Lee J Haywood 107 107 107 107 107
SokHard Lee J Haywood 163 163 163 163 131
Sven Sven Egevad 1623 1170 1363 1234 1147
XSokoban Thinking Rabbit, ... 90 42 86 75 65
Y.M. AutoYoshio Murase 52 52 52 52 52
Y.M. Handmade Yoshio Murase 54 54 54 52 50
Total 3424 2688 2999 2781 2629

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)
=================================


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@justmail.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: http://membres.lycos.fr/nabokos/


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: http://users.bentonrea.com/~sasquatch/sokoban/


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://fruise.googlepages.com/sokoban.html


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
Retrieved from "http://sokobano.de/wiki/index.php?title=Solver_Statistics"
Personal tools