Solver Statistics - David Holland

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
 
(19 intermediate revisions not shown)
Line 1: Line 1:
-
This is a summary of running what I called the Holland collection (81 levels total) using these solvers:<br>
+
=Sokoban Solver Statistics - Level Set Summary - Holland=
-
:*BoxSearch v5.1 beta2 <br>
+
 
-
:*JSoko 1.35 <br>
+
Each solver has been tested separately to ensure that they don't compete for system resources. <br><br>
-
:*Takaken v7.2<br>
+
-
:*YASS v2.95<br>
+
-
<br>
+
-
The Holland collection is a collection of level sets by David Holland (81 levels total).<br>
+
-
It consists of these level sets (and in this order):<br>
+
-
:* dh1 (10 levels)<br>
+
-
:* dh2 (10 levels)<br>
+
-
:* bagatelle (20 levels)<br>
+
-
:* cantrip (20 levels)<br>
+
-
:* maelstrom (21 levels)<br>
+
-
<br>
+
-
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.<br>
+
-
<br>
+
-
Each solver is tested separately to ensure that they don't compete for system resources.
+
-
<br><br>
+
-
For copyrights, credits and redistribution of these statistics, please read the [[Solvers#Disclaimer | disclaimer]].<br>
+
All solvers combined solved 76 of 81 levels.
 +
<div class="box-progress">
 +
  <div class="small" style="width: 94%;">All solvers 94%</div>
 +
</div><br>
 +
The Holland collection is a made up of the following collections, in this order:<br>
 +
* dh1 (10 levels)<br>
 +
* dh2 (10 levels)<br>
 +
* Bagatelle (20 levels)<br>
 +
* Cantrip (20 levels)<br>
 +
* Maelstrom (21 levels)<br>
<br>
<br>
-
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.
+
The Maelstrom collection contains a level by Aymeric Du Peloux which is a variant of "Maelstrom #9" (level #70 in the Holland collection).<br>
-
These tests are mainly for gauging solvability, not timing nor how good the solution is.
+
-
<div class="note-2 margin">
 
-
;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)
 
 +
{| class="soko-table"
 +
|-
-
;Test machine info:
+
<!-- -------------------------------------------------------------------------------------------- -->
-
:*Machine: ThinkPad T61P
+
! colspan="9" | Sokoban Solver Statistics - Level Set Summary - Pushes - Holland
-
:*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.
+
|- bgcolor="#f1efe5" align="right"
-
*<b>NOTE:</b> 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
+
| width=" 65"              | Level &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-takaken-Holland | Takaken ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-yass-Holland | YASS ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-David_Holland-Holland | JSoko ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-sokolutionv3-Holland | Sokolution ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-festival-Holland | Festival ]] &nbsp;&nbsp;
 +
| width="140"              | Solved by only one &nbsp;&nbsp;
 +
| width="140"              | Solved by all &nbsp;&nbsp;
 +
| width="140"              | Solved by none &nbsp;&nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=0 1 ]</span> &nbsp;&nbsp; || 102 &nbsp;&nbsp; || 76 &nbsp;&nbsp; || 84 &nbsp;&nbsp; || 86 &nbsp;&nbsp; || 82 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=1 2 ]</span> &nbsp;&nbsp; || 31 &nbsp;&nbsp; || 27 &nbsp;&nbsp; || 31 &nbsp;&nbsp; || 33 &nbsp;&nbsp; || 33 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=2 3 ]</span> &nbsp;&nbsp; || 55 &nbsp;&nbsp; || 49 &nbsp;&nbsp; || 87 &nbsp;&nbsp; || 115 &nbsp;&nbsp; || 119 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=3 4 ]</span> &nbsp;&nbsp; || 421 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 373 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=4 5 ]</span> &nbsp;&nbsp; || 287 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 347 &nbsp;&nbsp; || 269 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=5 6 ]</span> &nbsp;&nbsp; || 118 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 200 &nbsp;&nbsp; || 166 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=6 7 ]</span> &nbsp;&nbsp; || 49 &nbsp;&nbsp; || 41 &nbsp;&nbsp; || 67 &nbsp;&nbsp; || 83 &nbsp;&nbsp; || 53 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=7 8 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 284 &nbsp;&nbsp; || {{y}} &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=8 9 ]</span> &nbsp;&nbsp; || 40 &nbsp;&nbsp; || 40 &nbsp;&nbsp; || 60 &nbsp;&nbsp; || 64 &nbsp;&nbsp; || 62 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh1&lvl=9 10 ]</span> &nbsp;&nbsp; || 77 &nbsp;&nbsp; || 51 &nbsp;&nbsp; || 83 &nbsp;&nbsp; || 81 &nbsp;&nbsp; || 115 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=0 11 ]</span> &nbsp;&nbsp; || 122 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 172 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=1 12 ]</span> &nbsp;&nbsp; || 138 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 130 &nbsp;&nbsp; || 100 &nbsp;&nbsp; || 204 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=2 13 ]</span> &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 27 &nbsp;&nbsp; || 113 &nbsp;&nbsp; || 67 &nbsp;&nbsp; || 113 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=3 14 ]</span> &nbsp;&nbsp; || 63 &nbsp;&nbsp; || 59 &nbsp;&nbsp; || 75 &nbsp;&nbsp; || 77 &nbsp;&nbsp; || 119 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=4 15 ]</span> &nbsp;&nbsp; || 189 &nbsp;&nbsp; || 79 &nbsp;&nbsp; || 137 &nbsp;&nbsp; || 127 &nbsp;&nbsp; || 193 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=5 16 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 310 &nbsp;&nbsp; || {{y}} &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=6 17 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 513 &nbsp;&nbsp; || 261 &nbsp;&nbsp; || 151 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=7 18 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || {{y}} &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=8 19 ]</span> &nbsp;&nbsp; || 87 &nbsp;&nbsp; || 55 &nbsp;&nbsp; || 99 &nbsp;&nbsp; || 111 &nbsp;&nbsp; || 79 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=dh2&lvl=9 20 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 150 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 78 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="right"
 +
| width=" 65"              | Level &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-takaken-Holland | Takaken ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-yass-Holland | YASS ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-David_Holland-Holland | JSoko ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-sokolutionv3-Holland | Sokolution ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-festival-Holland | Festival ]] &nbsp;&nbsp;
 +
| width="140"              | Solved by only one &nbsp;&nbsp;
 +
| width="140"              | Solved by all &nbsp;&nbsp;
 +
| width="140"              | Solved by none &nbsp;&nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=0 21 ]</span> &nbsp;&nbsp; || 82 &nbsp;&nbsp; || 36 &nbsp;&nbsp; || 42 &nbsp;&nbsp; || 62 &nbsp;&nbsp; || 74 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=1 22 ]</span> &nbsp;&nbsp; || 145 &nbsp;&nbsp; || 127 &nbsp;&nbsp; || 165 &nbsp;&nbsp; || 149 &nbsp;&nbsp; || 127 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=2 23 ]</span> &nbsp;&nbsp; || 90 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 110 &nbsp;&nbsp; || 90 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=3 24 ]</span> &nbsp;&nbsp; || 80 &nbsp;&nbsp; || 74 &nbsp;&nbsp; || 62 &nbsp;&nbsp; || 86 &nbsp;&nbsp; || 66 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=4 25 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 272 &nbsp;&nbsp; || {{y}} &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=5 26 ]</span> &nbsp;&nbsp; || 59 &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 73 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 55 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=6 27 ]</span> &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 27 &nbsp;&nbsp; || 57 &nbsp;&nbsp; || 49 &nbsp;&nbsp; || 75 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=7 28 ]</span> &nbsp;&nbsp; || 61 &nbsp;&nbsp; || 55 &nbsp;&nbsp; || 65 &nbsp;&nbsp; || 65 &nbsp;&nbsp; || 65 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=8 29 ]</span> &nbsp;&nbsp; || 112 &nbsp;&nbsp; || 186 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 80 &nbsp;&nbsp; || 138 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=9 30 ]</span> &nbsp;&nbsp; || 64 &nbsp;&nbsp; || 64 &nbsp;&nbsp; || 96 &nbsp;&nbsp; || 90 &nbsp;&nbsp; || 74 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=10 31 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 80 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 242 &nbsp;&nbsp; || 130 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=11 32 ]</span> &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 43 &nbsp;&nbsp; || 39 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=12 33 ]</span> &nbsp;&nbsp; || 110 &nbsp;&nbsp; || 94 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 178 &nbsp;&nbsp; || 104 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=13 34 ]</span> &nbsp;&nbsp; || 52 &nbsp;&nbsp; || 40 &nbsp;&nbsp; || 70 &nbsp;&nbsp; || 56 &nbsp;&nbsp; || 84 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=14 35 ]</span> &nbsp;&nbsp; || 61 &nbsp;&nbsp; || 81 &nbsp;&nbsp; || 113 &nbsp;&nbsp; || 85 &nbsp;&nbsp; || 71 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=15 36 ]</span> &nbsp;&nbsp; || 71 &nbsp;&nbsp; || 53 &nbsp;&nbsp; || 87 &nbsp;&nbsp; || 69 &nbsp;&nbsp; || 97 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=16 37 ]</span> &nbsp;&nbsp; || 238 &nbsp;&nbsp; || 254 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 172 &nbsp;&nbsp; || 250 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=17 38 ]</span> &nbsp;&nbsp; || 36 &nbsp;&nbsp; || 30 &nbsp;&nbsp; || 68 &nbsp;&nbsp; || 40 &nbsp;&nbsp; || 36 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=18 39 ]</span> &nbsp;&nbsp; || 149 &nbsp;&nbsp; || 127 &nbsp;&nbsp; || 137 &nbsp;&nbsp; || 137 &nbsp;&nbsp; || 147 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=bagatelle&lvl=19 40 ]</span> &nbsp;&nbsp; || 29 &nbsp;&nbsp; || 29 &nbsp;&nbsp; || 77 &nbsp;&nbsp; || 33 &nbsp;&nbsp; || 29 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="right"
 +
| width=" 65"              | Level &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-takaken-Holland | Takaken ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-yass-Holland | YASS ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-David_Holland-Holland | JSoko ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-sokolutionv3-Holland | Sokolution ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-festival-Holland | Festival ]] &nbsp;&nbsp;
 +
| width="140"              | Solved by only one &nbsp;&nbsp;
 +
| width="140"              | Solved by all &nbsp;&nbsp;
 +
| width="140"              | Solved by none &nbsp;&nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=0 41 ]</span> &nbsp;&nbsp; || 52 &nbsp;&nbsp; || 40 &nbsp;&nbsp; || 58 &nbsp;&nbsp; || 48 &nbsp;&nbsp; || 58 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=1 42 ]</span> &nbsp;&nbsp; || 86 &nbsp;&nbsp; || 60 &nbsp;&nbsp; || 66 &nbsp;&nbsp; || 132 &nbsp;&nbsp; || 78 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=2 43 ]</span> &nbsp;&nbsp; || 99 &nbsp;&nbsp; || 63 &nbsp;&nbsp; || 125 &nbsp;&nbsp; || 115 &nbsp;&nbsp; || 97 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=3 44 ]</span> &nbsp;&nbsp; || 67 &nbsp;&nbsp; || 53 &nbsp;&nbsp; || 73 &nbsp;&nbsp; || 95 &nbsp;&nbsp; || 99 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=4 45 ]</span> &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 57 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=5 46 ]</span> &nbsp;&nbsp; || 48 &nbsp;&nbsp; || 42 &nbsp;&nbsp; || 54 &nbsp;&nbsp; || 52 &nbsp;&nbsp; || 52 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=6 47 ]</span> &nbsp;&nbsp; || 39 &nbsp;&nbsp; || 39 &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 43 &nbsp;&nbsp; || 39 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=7 48 ]</span> &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 95 &nbsp;&nbsp; || 63 &nbsp;&nbsp; || 91 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=8 49 ]</span> &nbsp;&nbsp; || 46 &nbsp;&nbsp; || 42 &nbsp;&nbsp; || 60 &nbsp;&nbsp; || 72 &nbsp;&nbsp; || 62 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=9 50 ]</span> &nbsp;&nbsp; || 74 &nbsp;&nbsp; || 60 &nbsp;&nbsp; || 130 &nbsp;&nbsp; || 144 &nbsp;&nbsp; || 128 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=10 51 ]</span> &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 55 &nbsp;&nbsp; || 49 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=11 52 ]</span> &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 39 &nbsp;&nbsp; || 45 &nbsp;&nbsp; || 65 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=12 53 ]</span> &nbsp;&nbsp; || 38 &nbsp;&nbsp; || 34 &nbsp;&nbsp; || 42 &nbsp;&nbsp; || 72 &nbsp;&nbsp; || 48 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=13 54 ]</span> &nbsp;&nbsp; || 50 &nbsp;&nbsp; || 42 &nbsp;&nbsp; || 74 &nbsp;&nbsp; || 48 &nbsp;&nbsp; || 48 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=14 55 ]</span> &nbsp;&nbsp; || 89 &nbsp;&nbsp; || 63 &nbsp;&nbsp; || 91 &nbsp;&nbsp; || 101 &nbsp;&nbsp; || 83 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=15 56 ]</span> &nbsp;&nbsp; || 55 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 59 &nbsp;&nbsp; || 51 &nbsp;&nbsp; || 59 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=16 57 ]</span> &nbsp;&nbsp; || 95 &nbsp;&nbsp; || 63 &nbsp;&nbsp; || 81 &nbsp;&nbsp; || 79 &nbsp;&nbsp; || 133 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=17 58 ]</span> &nbsp;&nbsp; || 51 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 57 &nbsp;&nbsp; || 69 &nbsp;&nbsp; || 69 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=18 59 ]</span> &nbsp;&nbsp; || 91 &nbsp;&nbsp; || 39 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 121 &nbsp;&nbsp; || 45 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=cantrip&lvl=19 60 ]</span> &nbsp;&nbsp; || 78 &nbsp;&nbsp; || 60 &nbsp;&nbsp; || 76 &nbsp;&nbsp; || 80 &nbsp;&nbsp; || 90 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="right"
 +
| width=" 65"              | Level &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-takaken-Holland | Takaken ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-yass-Holland | YASS ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-David_Holland-Holland | JSoko ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-sokolutionv3-Holland | Sokolution ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-festival-Holland | Festival ]] &nbsp;&nbsp;
 +
| width="140"              | Solved by only one &nbsp;&nbsp;
 +
| width="140"              | Solved by all &nbsp;&nbsp;
 +
| width="140"              | Solved by none &nbsp;&nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=0 61 ]</span> &nbsp;&nbsp; || 62 &nbsp;&nbsp; || 60 &nbsp;&nbsp; || 120 &nbsp;&nbsp; || 80 &nbsp;&nbsp; || 82 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=1 62 ]</span> &nbsp;&nbsp; || 353 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 207 &nbsp;&nbsp; || 177 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=2 63 ]</span> &nbsp;&nbsp; || 125 &nbsp;&nbsp; || 237 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 189 &nbsp;&nbsp; || 149 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=3 64 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 271 &nbsp;&nbsp; || {{y}} &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=4 65 ]</span> &nbsp;&nbsp; || 205 &nbsp;&nbsp; || 117 &nbsp;&nbsp; || 223 &nbsp;&nbsp; || 231 &nbsp;&nbsp; || 185 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=5 66 ]</span> &nbsp;&nbsp; || 54 &nbsp;&nbsp; || 40 &nbsp;&nbsp; || 64 &nbsp;&nbsp; || 58 &nbsp;&nbsp; || 54 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=6 67 ]</span> &nbsp;&nbsp; || 154 &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 198 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=7 68 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 329 &nbsp;&nbsp; || 161 &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=8 69 ]</span> &nbsp;&nbsp; || 56 &nbsp;&nbsp; || 50 &nbsp;&nbsp; || 96 &nbsp;&nbsp; || 74 &nbsp;&nbsp; || 64 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=9 70 ]</span> &nbsp;&nbsp; || 58 &nbsp;&nbsp; || 46 &nbsp;&nbsp; || 122 &nbsp;&nbsp; || 78 &nbsp;&nbsp; || 70 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=10 71 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 270 &nbsp;&nbsp; || {{y}} &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=11 72 ]</span> &nbsp;&nbsp; || 32 &nbsp;&nbsp; || 30 &nbsp;&nbsp; || 34 &nbsp;&nbsp; || 36 &nbsp;&nbsp; || 32 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=12 73 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || {{y}} &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=13 74 ]</span> &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 47 &nbsp;&nbsp; || 43 &nbsp;&nbsp; || 65 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=14 75 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || {{y}} &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=15 76 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || {{y}} &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=16 77 ]</span> &nbsp;&nbsp; || 63 &nbsp;&nbsp; || 51 &nbsp;&nbsp; || 65 &nbsp;&nbsp; || 59 &nbsp;&nbsp; || 51 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=17 78 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 174 &nbsp;&nbsp; || {{y}} &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=18 79 ]</span> &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 35 &nbsp;&nbsp; || 37 &nbsp;&nbsp; || 51 &nbsp;&nbsp; || 37 &nbsp;&nbsp; || &nbsp; &nbsp; || {{y}} &nbsp; || &nbsp; &nbsp;
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=19 80 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp; || {{y}} &nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="right"
 +
| width=" 65"              | Level &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-takaken-Holland | Takaken ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-yass-Holland | YASS ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-David_Holland-Holland | JSoko ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-sokolutionv3-Holland | Sokolution ]] &nbsp;&nbsp;
 +
| width=" 80"              | [[SolverStatistics-festival-Holland | Festival ]] &nbsp;&nbsp;
 +
| width="140"              | Solved by only one &nbsp;&nbsp;
 +
| width="140"              | Solved by all &nbsp;&nbsp;
 +
| width="140"              | Solved by none &nbsp;&nbsp;
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="right"
 +
| align="right" | <span class="plainlinks">[http://sokobano.de/results/display.php?set=maelstrom&lvl=20 81 ]</span> &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || &nbsp; &nbsp;&nbsp; || 245 &nbsp;&nbsp; || {{y}} &nbsp; || &nbsp; &nbsp; || &nbsp; &nbsp;
 +
|- bgcolor="#f1efe5" align="right"
 +
| align="right" | Solved &nbsp;&nbsp;  || 65 &nbsp;&nbsp;  || 59 &nbsp;&nbsp;  || 55 &nbsp;&nbsp;  || 66 &nbsp;&nbsp;  || 75 &nbsp;&nbsp;  || 7 &nbsp;&nbsp;  || 53 &nbsp;&nbsp;  || 5 &nbsp;&nbsp;
 +
|}
-
;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.
 
 +
<div style="visibility:hidden">
 +
<pre>
-
;Further tests:
+
level-websites
-
:*[[SolverStatistics-yass-Holland | YASS 2.137: 58 ]]
+
(
-
</div>
+
(sokobano . "http://sokobano.de/results/display.php?set={set}&lvl={index}")
 +
)
 +
/level-websites
 +
level-webpages
 +
(
 +
(1 10 sokobano (set dh1) (index))
 +
(11 20 sokobano (set dh2) (index))
 +
(21 40 sokobano (set bagatelle) (index))
 +
(41 60 sokobano (set cantrip) (index))
 +
(61 81 sokobano (set maelstrom) (index))
 +
)
 +
/level-webpages
-
 
+
</pre>
-
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
+
-
+
-
+
-
<!-- STAT --><div class="box margin-2"><div style="width:500px;">
+
-
BoxSearch solved 56 of 81 levels.
+
-
<div class="box-progress">
+
-
<div class="small" style="width: 69.1%;">BoxSearch 69.1%</div>
+
</div>
</div>
-
 
-
JSoko solved 55 of 81 levels.
 
-
<div class="box-progress">
 
-
<div class="small" style="width: 67.9%;">JSoko 67.9%</div>
 
-
</div>
 
-
 
-
Takaken solved 64 of 81 levels.
 
-
<div class="box-progress">
 
-
<div class="small" style="width: 79.0%;">Takaken 79.0%</div>
 
-
</div>
 
-
 
-
YASS solved 58 of 81 levels.
 
-
<div class="box-progress">
 
-
<div class="small" style="width: 71.6%;">YASS 71.6%</div>
 
-
</div>
 
-
 
-
All solvers combined solved 67 of 81 levels.
 
-
<div class="box-progress">
 
-
<div class="small" style="width: 82.7%;background:rgb(125,190,255);">All solvers 82.7%</div>
 
-
</div>
 
-
 
-
</div></div><!--/STAT -->
 

Current revision as of 07:47, 21 June 2021

Sokoban Solver Statistics - Level Set Summary - Holland

Each solver has been tested separately to ensure that they don't compete for system resources.

All solvers combined solved 76 of 81 levels.

All solvers 94%

The Holland collection is a made up of the following collections, in this order:

  • dh1 (10 levels)
  • dh2 (10 levels)
  • Bagatelle (20 levels)
  • Cantrip (20 levels)
  • Maelstrom (21 levels)


The Maelstrom collection contains a level by Aymeric Du Peloux which is a variant of "Maelstrom #9" (level #70 in the Holland collection).


Sokoban Solver Statistics - Level Set Summary - Pushes - Holland
Level    Takaken    YASS    JSoko    Sokolution    Festival    Solved by only one    Solved by all    Solved by none   
1    102    76    84    86    82        yes      
2    31    27    31    33    33        yes      
3    55    49    87    115    119        yes      
4    421                   373               
5    287              347    269               
6    118              200    166               
7    49    41    67    83    53        yes      
8                        284    yes          
9    40    40    60    64    62        yes      
10    77    51    83    81    115        yes      
11    122                   172               
12    138         130    100    204               
13    45    27    113    67    113        yes      
14    63    59    75    77    119        yes      
15    189    79    137    127    193        yes      
16                        310    yes          
17              513    261    151               
18                                     yes  
19    87    55    99    111    79        yes      
20         150         78                    
Level    Takaken    YASS    JSoko    Sokolution    Festival    Solved by only one    Solved by all    Solved by none   
21    82    36    42    62    74        yes      
22    145    127    165    149    127        yes      
23    90              110    90               
24    80    74    62    86    66        yes      
25                        272    yes          
26    59    37    73    47    55        yes      
27    37    27    57    49    75        yes      
28    61    55    65    65    65        yes      
29    112    186         80    138               
30    64    64    96    90    74        yes      
31         80         242    130               
32    45    37    47    43    39        yes      
33    110    94         178    104               
34    52    40    70    56    84        yes      
35    61    81    113    85    71        yes      
36    71    53    87    69    97        yes      
37    238    254         172    250               
38    36    30    68    40    36        yes      
39    149    127    137    137    147        yes      
40    29    29    77    33    29        yes      
Level    Takaken    YASS    JSoko    Sokolution    Festival    Solved by only one    Solved by all    Solved by none   
41    52    40    58    48    58        yes      
42    86    60    66    132    78        yes      
43    99    63    125    115    97        yes      
44    67    53    73    95    99        yes      
45    47    37    45    47    57        yes      
46    48    42    54    52    52        yes      
47    39    39    45    43    39        yes      
48    47    45    95    63    91        yes      
49    46    42    60    72    62        yes      
50    74    60    130    144    128        yes      
51    45    45    55    49    47        yes      
52    45    39    45    65    47        yes      
53    38    34    42    72    48        yes      
54    50    42    74    48    48        yes      
55    89    63    91    101    83        yes      
56    55    47    59    51    59        yes      
57    95    63    81    79    133        yes      
58    51    47    57    69    69        yes      
59    91    39    47    121    45        yes      
60    78    60    76    80    90        yes      
Level    Takaken    YASS    JSoko    Sokolution    Festival    Solved by only one    Solved by all    Solved by none   
61    62    60    120    80    82        yes      
62    353              207    177               
63    125    237         189    149               
64                        271    yes          
65    205    117    223    231    185        yes      
66    54    40    64    58    54        yes      
67    154                   198               
68                   329    161               
69    56    50    96    74    64        yes      
70    58    46    122    78    70        yes      
71                        270    yes          
72    32    30    34    36    32        yes      
73                                     yes  
74    37    37    47    43    65        yes      
75                                     yes  
76                                     yes  
77    63    51    65    59    51        yes      
78                        174    yes          
79    37    35    37    51    37        yes      
80                                     yes  
Level    Takaken    YASS    JSoko    Sokolution    Festival    Solved by only one    Solved by all    Solved by none   
81                        245    yes          
Solved    65    59    55    66    75    7    53    5   



level-websites
(
 (sokobano . "http://sokobano.de/results/display.php?set={set}&lvl={index}")
)
/level-websites

level-webpages
(
 (1 10 sokobano (set dh1) (index))
 (11 20 sokobano (set dh2) (index))
 (21 40 sokobano (set bagatelle) (index))
 (41 60 sokobano (set cantrip) (index))
 (61 81 sokobano (set maelstrom) (index))
)
/level-webpages

Personal tools