Solver Statistics - David Holland
From Sokoban Wiki
(Difference between revisions)
(copied the comment about the levels from an old version back to this new statistic) |
|||
Line 1: | Line 1: | ||
- | = Summary | + | =Sokoban Solver Statistics - Level Set Summary - Holland= |
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | Each solver has been tested separately to ensure that they don't compete for system resources. <br><br> | |
- | < | + | |
- | + | ||
- | + | ||
- | + | ||
- | <br> | + | |
- | + | All solvers combined solved 69 of 81 levels. | |
- | + | <div class="box-progress"> | |
- | + | <div class="small" style="width: 85%;">All solvers 85%</div> | |
+ | </div><br> | ||
+ | The Holland collection is a made up of the following collections (and in this order):<br> | ||
* dh1 (10 levels)<br> | * dh1 (10 levels)<br> | ||
* dh2 (10 levels)<br> | * dh2 (10 levels)<br> | ||
- | * | + | * Bagatelle (20 levels)<br> |
- | * | + | * Cantrip (20 levels)<br> |
- | * | + | * Maelstrom (21 levels)<br> |
<br> | <br> | ||
- | + | The Maelstrom collection contains a level by Aymeric Du Peloux which is a variant of "Maelstrom #9" (level #70 in the Holland collection).<br> | |
+ | |||
- | |||
{| class="soko-table" | {| class="soko-table" | ||
Line 29: | Line 22: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | ! colspan=" | + | ! colspan="8" | Sokoban Solver Statistics - Level Set Summary - Holland |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- bgcolor="#f1efe5" align=" | + | |- bgcolor="#f1efe5" align="right" |
- | | width=" 65" | Level | + | | width=" 65" | Level |
- | | width=" | + | | width=" 80" | [[SolverStatistics-takaken-Holland | Takaken ]] |
- | + | | width=" 80" | [[SolverStatistics-yass-Holland | YASS ]] | |
- | | width=" | + | | width=" 80" | [[SolverStatistics-David_Holland-Holland | JSoko ]] |
- | | width=" 80" | JSoko | + | | width=" 80" | [[SolverStatistics-sokolutionv3.01-Holland | Sokolution ]] |
- | | width=" 80" | Sokolution | + | | width="110" | Solved by only one |
- | | width=" | + | | width="110" | Solved by all |
- | | width=" | + | | width="110" | Solved by none |
- | | width=" | + | |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- align=" | + | |- align="right" |
- | | align="right" | 1 || | + | | align="right" | 1 || 102 || 76 || 84 || 86 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 2 || | + | | align="right" | 2 || 31 || 27 || 31 || 33 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 3 || | + | | align="right" | 3 || 55 || 49 || 87 || 115 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 4 || | + | | align="right" | 4 || 421 || || || || {{y}} || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 5 || | + | | align="right" | 5 || 287 || || || 423 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 6 || | + | | align="right" | 6 || 118 || || || 216 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 7 || | + | | align="right" | 7 || 49 || 41 || 67 || 83 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 8 || | + | | align="right" | 8 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 9 || | + | | align="right" | 9 || 40 || 40 || 60 || 64 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 10 || | + | | align="right" | 10 || 77 || 51 || 83 || 81 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 11 || | + | | align="right" | 11 || 122 || || || || {{y}} || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 12 || | + | | align="right" | 12 || 138 || || 130 || 100 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 13 || | + | | align="right" | 13 || 45 || 27 || 113 || 67 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 14 || | + | | align="right" | 14 || 63 || 59 || 75 || 77 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 15 || | + | | align="right" | 15 || 189 || 79 || 137 || 127 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 16 || | + | | align="right" | 16 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 17 || | + | | align="right" | 17 || || || 513 || 261 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 18 || | + | | align="right" | 18 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 19 || | + | | align="right" | 19 || 87 || 55 || 99 || 111 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 20 || | + | | align="right" | 20 || || 150 || || 78 || || || |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- bgcolor="#f1efe5" align=" | + | |- bgcolor="#f1efe5" align="right" |
- | | width=" 65" | Level | + | | width=" 65" | Level |
- | | width=" | + | | width=" 80" | [[SolverStatistics-takaken-Holland | Takaken ]] |
- | + | | width=" 80" | [[SolverStatistics-yass-Holland | YASS ]] | |
- | | width=" | + | | width=" 80" | [[SolverStatistics-David_Holland-Holland | JSoko ]] |
- | | width=" 80" | JSoko | + | | width=" 80" | [[SolverStatistics-sokolutionv3.01-Holland | Sokolution ]] |
- | | width=" 80" | Sokolution | + | | width="110" | Solved by only one |
- | | width=" | + | | width="110" | Solved by all |
- | | width=" | + | | width="110" | Solved by none |
- | | width=" | + | |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- align=" | + | |- align="right" |
- | | align="right" | 21 || | + | | align="right" | 21 || 82 || 36 || 42 || 62 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 22 || | + | | align="right" | 22 || 145 || 127 || 165 || 149 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 23 || | + | | align="right" | 23 || 90 || || || 110 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 24 || | + | | align="right" | 24 || 80 || 74 || 62 || 86 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 25 || | + | | align="right" | 25 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 26 || | + | | align="right" | 26 || 59 || 37 || 73 || 47 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 27 || | + | | align="right" | 27 || 37 || 27 || 57 || 49 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 28 || | + | | align="right" | 28 || 61 || 55 || 65 || 65 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 29 || | + | | align="right" | 29 || 112 || 186 || || 80 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 30 || | + | | align="right" | 30 || 64 || 64 || 96 || 90 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 31 || | + | | align="right" | 31 || || 80 || || || {{y}} || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 32 || | + | | align="right" | 32 || 45 || 37 || 47 || 43 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 33 || | + | | align="right" | 33 || 110 || 94 || || 178 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 34 || | + | | align="right" | 34 || 52 || 40 || 70 || 56 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 35 || | + | | align="right" | 35 || 61 || 81 || 113 || 85 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 36 || | + | | align="right" | 36 || 71 || 53 || 87 || 69 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 37 || | + | | align="right" | 37 || 238 || 254 || || 172 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 38 || | + | | align="right" | 38 || 36 || 30 || 68 || 40 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 39 || | + | | align="right" | 39 || 149 || 127 || 137 || 137 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 40 || | + | | align="right" | 40 || 29 || 29 || 77 || 33 || || {{y}} || |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- bgcolor="#f1efe5" align=" | + | |- bgcolor="#f1efe5" align="right" |
- | | width=" 65" | Level | + | | width=" 65" | Level |
- | | width=" | + | | width=" 80" | [[SolverStatistics-takaken-Holland | Takaken ]] |
- | + | | width=" 80" | [[SolverStatistics-yass-Holland | YASS ]] | |
- | | width=" | + | | width=" 80" | [[SolverStatistics-David_Holland-Holland | JSoko ]] |
- | | width=" 80" | JSoko | + | | width=" 80" | [[SolverStatistics-sokolutionv3.01-Holland | Sokolution ]] |
- | | width=" 80" | Sokolution | + | | width="110" | Solved by only one |
- | | width=" | + | | width="110" | Solved by all |
- | | width=" | + | | width="110" | Solved by none |
- | | width=" | + | |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- align=" | + | |- align="right" |
- | | align="right" | 41 || | + | | align="right" | 41 || 52 || 40 || 58 || 48 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 42 || | + | | align="right" | 42 || 86 || 60 || 66 || 64 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 43 || | + | | align="right" | 43 || 99 || 63 || 125 || 115 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 44 || | + | | align="right" | 44 || 67 || 53 || 73 || 95 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 45 || | + | | align="right" | 45 || 47 || 37 || 45 || 47 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 46 || | + | | align="right" | 46 || 48 || 42 || 54 || 52 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 47 || | + | | align="right" | 47 || 39 || 39 || 45 || 43 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 48 || | + | | align="right" | 48 || 47 || 45 || 95 || 63 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 49 || | + | | align="right" | 49 || 46 || 42 || 60 || 72 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 50 || | + | | align="right" | 50 || 74 || 60 || 130 || 144 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 51 || | + | | align="right" | 51 || 45 || 45 || 55 || 49 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 52 || | + | | align="right" | 52 || 45 || 39 || 45 || 65 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 53 || | + | | align="right" | 53 || 38 || 34 || 42 || 72 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 54 || | + | | align="right" | 54 || 50 || 42 || 74 || 48 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 55 || | + | | align="right" | 55 || 89 || 63 || 91 || 101 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 56 || | + | | align="right" | 56 || 55 || 47 || 59 || 51 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 57 || | + | | align="right" | 57 || 95 || 63 || 81 || 79 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 58 || | + | | align="right" | 58 || 51 || 47 || 57 || 69 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 59 || | + | | align="right" | 59 || 91 || 39 || 47 || 121 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 60 || | + | | align="right" | 60 || 78 || 60 || 76 || 80 || || {{y}} || |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- bgcolor="#f1efe5" align=" | + | |- bgcolor="#f1efe5" align="right" |
- | | width=" 65" | Level | + | | width=" 65" | Level |
- | | width=" | + | | width=" 80" | [[SolverStatistics-takaken-Holland | Takaken ]] |
- | + | | width=" 80" | [[SolverStatistics-yass-Holland | YASS ]] | |
- | | width=" | + | | width=" 80" | [[SolverStatistics-David_Holland-Holland | JSoko ]] |
- | | width=" 80" | JSoko | + | | width=" 80" | [[SolverStatistics-sokolutionv3.01-Holland | Sokolution ]] |
- | | width=" 80" | Sokolution | + | | width="110" | Solved by only one |
- | | width=" | + | | width="110" | Solved by all |
- | | width=" | + | | width="110" | Solved by none |
- | | width=" | + | |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
- | |- align=" | + | |- align="right" |
- | | align="right" | 61 || | + | | align="right" | 61 || 62 || 60 || 120 || 80 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 62 || | + | | align="right" | 62 || 353 || || || 241 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 63 || | + | | align="right" | 63 || 125 || 237 || || 189 || || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 64 || | + | | align="right" | 64 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 65 || | + | | align="right" | 65 || 205 || 117 || 223 || 231 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 66 || | + | | align="right" | 66 || 54 || 40 || 64 || 58 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 67 || | + | | align="right" | 67 || 154 || || || || {{y}} || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 68 || | + | | align="right" | 68 || || || || 329 || {{y}} || || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 69 || | + | | align="right" | 69 || 56 || 50 || 96 || 74 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 70 || | + | | align="right" | 70 || 58 || 46 || 122 || 78 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 71 || | + | | align="right" | 71 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 72 || | + | | align="right" | 72 || 32 || 30 || 34 || 36 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 73 || | + | | align="right" | 73 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 74 || | + | | align="right" | 74 || 37 || 37 || 47 || 43 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 75 || | + | | align="right" | 75 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 76 || | + | | align="right" | 76 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 77 || | + | | align="right" | 77 || 63 || 51 || 65 || 59 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 78 || | + | | align="right" | 78 || || || || || || || {{y}} |
- | |- align=" | + | |- align="right" |
- | | align="right" | 79 || | + | | align="right" | 79 || 37 || 35 || 37 || 51 || || {{y}} || |
- | |- align=" | + | |- align="right" |
- | | align="right" | 80 || | + | | align="right" | 80 || || || || || || || {{y}} |
- | |- align=" | + | <!-- -------------------------------------------------------------------------------------------- --> |
- | | align="right" | 81 || | + | |- bgcolor="#f1efe5" align="right" |
- | |- bgcolor="#f1efe5" align=" | + | | width=" 65" | Level |
- | | align="right" | | + | | width=" 80" | [[SolverStatistics-takaken-Holland | Takaken ]] |
+ | | width=" 80" | [[SolverStatistics-yass-Holland | YASS ]] | ||
+ | | width=" 80" | [[SolverStatistics-David_Holland-Holland | JSoko ]] | ||
+ | | width=" 80" | [[SolverStatistics-sokolutionv3.01-Holland | Sokolution ]] | ||
+ | | width="110" | Solved by only one | ||
+ | | width="110" | Solved by all | ||
+ | | width="110" | Solved by none | ||
+ | <!-- -------------------------------------------------------------------------------------------- --> | ||
+ | |- align="right" | ||
+ | | align="right" | 81 || || || || || || || {{y}} | ||
+ | |||
+ | |- bgcolor="#f1efe5" align="right" | ||
+ | | align="right" | Solved || 65 || 59 || 55 || 65 || 5 || 53 || 12 | ||
|} | |} |
Revision as of 08:45, 12 May 2019
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 69 of 81 levels.
All solvers 85%
The Holland collection is a made up of the following collections (and 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 - Holland | |||||||
---|---|---|---|---|---|---|---|
Level | Takaken | YASS | JSoko | Sokolution | Solved by only one | Solved by all | Solved by none |
1 | 102 | 76 | 84 | 86 | |||
2 | 31 | 27 | 31 | 33 | |||
3 | 55 | 49 | 87 | 115 | |||
4 | 421 | ||||||
5 | 287 | 423 | |||||
6 | 118 | 216 | |||||
7 | 49 | 41 | 67 | 83 | |||
8 | |||||||
9 | 40 | 40 | 60 | 64 | |||
10 | 77 | 51 | 83 | 81 | |||
11 | 122 | ||||||
12 | 138 | 130 | 100 | ||||
13 | 45 | 27 | 113 | 67 | |||
14 | 63 | 59 | 75 | 77 | |||
15 | 189 | 79 | 137 | 127 | |||
16 | |||||||
17 | 513 | 261 | |||||
18 | |||||||
19 | 87 | 55 | 99 | 111 | |||
20 | 150 | 78 | |||||
Level | Takaken | YASS | JSoko | Sokolution | Solved by only one | Solved by all | Solved by none |
21 | 82 | 36 | 42 | 62 | |||
22 | 145 | 127 | 165 | 149 | |||
23 | 90 | 110 | |||||
24 | 80 | 74 | 62 | 86 | |||
25 | |||||||
26 | 59 | 37 | 73 | 47 | |||
27 | 37 | 27 | 57 | 49 | |||
28 | 61 | 55 | 65 | 65 | |||
29 | 112 | 186 | 80 | ||||
30 | 64 | 64 | 96 | 90 | |||
31 | 80 | ||||||
32 | 45 | 37 | 47 | 43 | |||
33 | 110 | 94 | 178 | ||||
34 | 52 | 40 | 70 | 56 | |||
35 | 61 | 81 | 113 | 85 | |||
36 | 71 | 53 | 87 | 69 | |||
37 | 238 | 254 | 172 | ||||
38 | 36 | 30 | 68 | 40 | |||
39 | 149 | 127 | 137 | 137 | |||
40 | 29 | 29 | 77 | 33 | |||
Level | Takaken | YASS | JSoko | Sokolution | Solved by only one | Solved by all | Solved by none |
41 | 52 | 40 | 58 | 48 | |||
42 | 86 | 60 | 66 | 64 | |||
43 | 99 | 63 | 125 | 115 | |||
44 | 67 | 53 | 73 | 95 | |||
45 | 47 | 37 | 45 | 47 | |||
46 | 48 | 42 | 54 | 52 | |||
47 | 39 | 39 | 45 | 43 | |||
48 | 47 | 45 | 95 | 63 | |||
49 | 46 | 42 | 60 | 72 | |||
50 | 74 | 60 | 130 | 144 | |||
51 | 45 | 45 | 55 | 49 | |||
52 | 45 | 39 | 45 | 65 | |||
53 | 38 | 34 | 42 | 72 | |||
54 | 50 | 42 | 74 | 48 | |||
55 | 89 | 63 | 91 | 101 | |||
56 | 55 | 47 | 59 | 51 | |||
57 | 95 | 63 | 81 | 79 | |||
58 | 51 | 47 | 57 | 69 | |||
59 | 91 | 39 | 47 | 121 | |||
60 | 78 | 60 | 76 | 80 | |||
Level | Takaken | YASS | JSoko | Sokolution | Solved by only one | Solved by all | Solved by none |
61 | 62 | 60 | 120 | 80 | |||
62 | 353 | 241 | |||||
63 | 125 | 237 | 189 | ||||
64 | |||||||
65 | 205 | 117 | 223 | 231 | |||
66 | 54 | 40 | 64 | 58 | |||
67 | 154 | ||||||
68 | 329 | ||||||
69 | 56 | 50 | 96 | 74 | |||
70 | 58 | 46 | 122 | 78 | |||
71 | |||||||
72 | 32 | 30 | 34 | 36 | |||
73 | |||||||
74 | 37 | 37 | 47 | 43 | |||
75 | |||||||
76 | |||||||
77 | 63 | 51 | 65 | 59 | |||
78 | |||||||
79 | 37 | 35 | 37 | 51 | |||
80 | |||||||
Level | Takaken | YASS | JSoko | Sokolution | Solved by only one | Solved by all | Solved by none |
81 | |||||||
Solved | 65 | 59 | 55 | 65 | 5 | 53 | 12 |