Solver Statistics - David Holland
From Sokoban Wiki
This is a summary of running what I called the Holland collection (81 levels total) using these solvers:
- BoxSearch v5.1 beta2
- JSoko 1.35
- Takaken v7.2
- YASS v2.95
- BoxSearch v5.1 beta2
The Holland collection is a collection of level sets by David Holland (81 levels total).
It consists of these level sets (and in this order):
- dh1 (10 levels)
- dh2 (10 levels)
- bagatelle (20 levels)
- cantrip (20 levels)
- maelstrom (21 levels)
- dh1 (10 levels)
Note: the maelstrom set contains a level, which is a variant of "Maelstrom Collection #9" (level #70 in the Holland collection), by Aymeric Du Peloux.
Each solver is tested separately to ensure that they don't compete for system resources.
For copyrights, credits and redistribution of these statistics, please read the disclaimer.
Though some people might be interested in how long it takes to solve a given level and/or how good the solution is (optimal or not), this summary disregards all timing associated with solving the levels and solution statistics.
These tests are mainly for gauging solvability, not timing nor how good the solution is.
- Not all Sokoban solvers are created equal
-
- BoxSearch: (level size limit: none)
- JSoko: (level size limit: width=40, height=40)
- Takaken: (level size limit: width=50, height=50, Boxes=64)
- YASS: (level size limit: width=50, height=50)
- Test machine info
-
- Machine: ThinkPad T61P
- CPU: x86 Family 6 Model 15 Stepping 11 Genuine Intel
- Physical RAM: 2 GB
- OS Name & Version: Microsoft Windows XP Professional v5.12600 Service Pack 2 Build 2600.
- NOTE: The JSoko results are tested on a Samsung Aura Dillen Core 2 Duo T9300 (2,5 GHz) with 3 GiB RAM, OS: Vista Home (Service Pack 1), JRE: 1.6.02_12
- Test settings
-
- BoxSearch is set with max memory limit of 1500 MB and 600 seconds. (using quick mode)
- JSoko is set with 1500 MB memory and 600 second limit. (any solution method)
- Takaken is set with 1500 MB memory and 600 second limit.
- YASS is set with 1500 MB memory and 600 second limit.
- Further tests
-
- (none so far)
The following table shows the levels where each of the solvers failed:
======================================================================
BoxSearch JSoko Takaken YASS
============== ============== ============== ==============
4 4 4
5 5
6 6 6
8 8 8 8
11 11 11
12 12
16 16 16 16
17 17 17
18 18 18 18
20 20 20 20
23 23 23
25 25 25
29 29
31 31 31
33
37 37 37
62 62 62 62
63
64 64 64 64
67 67 67
68 68 68 68
71 71 71 71
73 73 73 73
75 75 75 75
76 76 76 76
78 78 78 78
80 80 80 80
81 81 81 81
============== ============== ============== ==============
Total: 25 26 17 23
Total (unique level count): 28
All solvers failed on these levels:
===================================================================================
8 16 18 20 62 64 68 71 73 75
76 78 80 81
===================================================================================
Total count: 14
"BoxSearch" failed on these levels where at least one solver solved:
===================================================================================
4 5 6 11 12 17 23 29 31 37
67
===================================================================================
Total count: 11
"JSoko" failed on these levels where at least one solver solved:
===================================================================================
4 5 6 11 23 25 29 31 33 37
63 67
===================================================================================
Total count: 12
"Takaken" failed on these levels where at least one solver solved:
===================================================================================
17 25 31
===================================================================================
Total count: 3
"YASS" failed on these levels where at least one solver solved:
===================================================================================
4 6 11 12 17 23 25 37 67
===================================================================================
Total count: 9
"BoxSearch" solved these levels where all other solvers failed:
===================================================================================
25
===================================================================================
Total count: 1
"JSoko" solved these levels where all other solvers failed:
===================================================================================
17
===================================================================================
Total count: 1
"Takaken" solved these levels where all other solvers failed:
===================================================================================
4 6 11 23 37 67
===================================================================================
Total count: 6
"YASS" solved these levels where all other solvers failed:
===================================================================================
31
===================================================================================
Total count: 1
"BoxSearch" failed on these levels where all other solvers solved:
===================================================================================
===================================================================================
Total count: 0
"JSoko" failed on these levels where all other solvers solved:
===================================================================================
33 63
===================================================================================
Total count: 2
"Takaken" failed on these levels where all other solvers solved:
===================================================================================
===================================================================================
Total count: 0
"YASS" failed on these levels where all other solvers solved:
===================================================================================
===================================================================================
Total count: 0
BoxSearch solved 56 of 81 levels.
BoxSearch 69.1%
JSoko solved 55 of 81 levels.
JSoko 67.9%
Takaken solved 64 of 81 levels.
Takaken 79.0%
YASS solved 58 of 81 levels.
YASS 71.6%
All solvers combined solved 67 of 81 levels.
All solvers 82.7%
