Solver Statistics

From Sokoban Wiki

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. Auto	Yoshio 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