SolverStatistics-Sokolutionv4.0-ThinkingRabbit-XSokoban-Push-Optimal
From Sokoban Wiki
(Difference between revisions)
m (Reverted edits by Briandamgaard (Talk) to last revision by Matthias Meger) |
(new push optimal results Sokolution) |
||
| (2 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
| - | ;Program: Sokolution 4. | + | ;Program: Sokolution 4.02 |
| - | ;RAM for solver: | + | ;RAM for solver: 32 GB |
| - | ;Computer: Intel(R) Core(TM) | + | ;Computer: Intel(R) Core(TM) i5-6600K CPU @ 4.7 GHz, 64 GiB RAM |
;Solving method: Default settings | ;Solving method: Default settings | ||
;Time limit: 3600 seconds | ;Time limit: 3600 seconds | ||
| Line 9: | Line 9: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
| - | ! colspan="5" | Solver StatisticsSokolution - Sokolution v4. | + | ! colspan="5" | Solver StatisticsSokolution - Sokolution v4.02 Set: XSokoban |
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| width="115" align="left" | Level | | width="115" align="left" | Level | ||
| Line 31: | Line 31: | ||
| style="text-align:left;" | xsokoban-6 || 342 || 110 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-6 || 342 || 110 || || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-7 || | + | | style="text-align:left;" | xsokoban-7 || 339 || 88 || 1 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-8 || || || | + | | style="text-align:left;" | xsokoban-8 || || || 3600|| style="text-align:center;" | {{n}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-9 || | + | | style="text-align:left;" | xsokoban-9 || 686 || 237 || || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-10 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-10 || || || 3600 || style="text-align:center;" | {{n}} | ||
| Line 49: | Line 49: | ||
| style="text-align:left;" | xsokoban-15 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-15 || || || 3600 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-16 || 934 || 186 || | + | | style="text-align:left;" | xsokoban-16 || 934 || 186 || 175|| style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-17 || 554 || 213 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-17 || 554 || 213 || || style="text-align:center;" | {{y}} | ||
| Line 55: | Line 55: | ||
| style="text-align:left;" | xsokoban-18 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-18 || || || 3600 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-19 || 2083 || 302 || | + | | style="text-align:left;" | xsokoban-19 || 2083 || 302 || 28|| style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-20 || || || | + | | style="text-align:left;" | xsokoban-20 || || || 3600|| style="text-align:center;" | {{n}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-21 || 736 || 147 || | + | | style="text-align:left;" | xsokoban-21 || 736 || 147 || 11 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-22 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-22 || || || 3600 || style="text-align:center;" | {{n}} | ||
| Line 65: | Line 65: | ||
| style="text-align:left;" | xsokoban-23 || 1271 || 448 || 1751 || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-23 || 1271 || 448 || 1751 || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-24 || | + | | style="text-align:left;" | xsokoban-24 || 2398 || 544 || 2347 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-25 || 1618 || 386 || | + | | style="text-align:left;" | xsokoban-25 || 1618 || 386 || 19 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-26 || 581 || 195 || | + | | style="text-align:left;" | xsokoban-26 || 581 || 195 || 2 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-27 || 1432 || 363 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-27 || 1432 || 363 || || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-28 || | + | | style="text-align:left;" | xsokoban-28 || 1107 || 308 || 11 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-29 || 1137 || 164 || | + | | style="text-align:left;" | xsokoban-29 || 1137 || 164 || 655 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-30 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-30 || || || 3600 || style="text-align:center;" | {{n}} | ||
| Line 83: | Line 83: | ||
| style="text-align:left;" | xsokoban-32 || || || 1764 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-32 || || || 1764 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-33 || | + | | style="text-align:left;" | xsokoban-33 || 1584 || 174 || 352 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-34 || | + | | style="text-align:left;" | xsokoban-34 || 772 || 168 || 9 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-35 || | + | | style="text-align:left;" | xsokoban-35 || 1820 || 378 || 5 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-36 || | + | | style="text-align:left;" | xsokoban-36 || 1917 || 521 || 139 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-37 || || || 2279 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-37 || || || 2279 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-38 || | + | | style="text-align:left;" | xsokoban-38 || 544 || 81 || || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-39 || | + | | style="text-align:left;" | xsokoban-39 || 1950 || 672 || 36 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-40 || | + | | style="text-align:left;" | xsokoban-40 || 1512 || 324 || 15 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-41 || || || 3425 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-41 || || || 3425 || style="text-align:center;" | {{n}} | ||
| Line 105: | Line 105: | ||
| style="text-align:left;" | xsokoban-43 || 634 || 146 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-43 || 634 || 146 || || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-44 || | + | | style="text-align:left;" | xsokoban-44 || 854 || 179 || 8 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-45 || 889 || 300 || | + | | style="text-align:left;" | xsokoban-45 || 889 || 300 || 1 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-46 || 1230 || 247 || 20 || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-46 || 1230 || 247 || 20 || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-47 || | + | | style="text-align:left;" | xsokoban-47 || 736 || 209 || 1 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-48 || 596 || 200 || | + | | style="text-align:left;" | xsokoban-48 || 596 || 200 || 449 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-49 || 719 || 124 || | + | | style="text-align:left;" | xsokoban-49 || 719 || 124 || 156 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-50 || || || 3885 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-50 || || || 3885 || style="text-align:center;" | {{n}} | ||
| Line 127: | Line 127: | ||
| style="text-align:left;" | xsokoban-54 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-54 || || || 3600 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-55 || 472 || 120 || | + | | style="text-align:left;" | xsokoban-55 || 472 || 120 || 1882 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-56 || || || 2736 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-56 || || || 2736 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-57 || | + | | style="text-align:left;" | xsokoban-57 || || || 3600 || style="text-align:center;" | {{n}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-58 || || || 1746 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-58 || || || 1746 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-59 || | + | | style="text-align:left;" | xsokoban-59 || 1777 || 230 || 210 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-60 || 944 || 152 || | + | | style="text-align:left;" | xsokoban-60 || 944 || 152 || 83 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-61 || || || 2956 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-61 || || || 2956 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-62 || 767 || 245 || | + | | style="text-align:left;" | xsokoban-62 || 767 || 245 || 0 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-63 || | + | | style="text-align:left;" | xsokoban-63 || 1700 || 431 || 2 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-64 || | + | | style="text-align:left;" | xsokoban-64 || 1182 || 385 || 4 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-65 || 981 || 211 || 2 || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-65 || 981 || 211 || 2 || style="text-align:center;" | {{y}} | ||
| Line 151: | Line 151: | ||
| style="text-align:left;" | xsokoban-66 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-66 || || || 3600 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-67 || | + | | style="text-align:left;" | xsokoban-67 || 1366 || 401 || 2 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-68 || 1420 || 341 || | + | | style="text-align:left;" | xsokoban-68 || 1420 || 341 || 4 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-69 || || || 3496 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-69 || || || 3496 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-70 || 2109 || 333 || | + | | style="text-align:left;" | xsokoban-70 || 2109 || 333 || 108 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-71 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-71 || || || 3600 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-72 || | + | | style="text-align:left;" | xsokoban-72 || 1371 || 296 || 19 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-73 || 1544 || 441 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-73 || 1544 || 441 || || style="text-align:center;" | {{y}} | ||
| Line 167: | Line 167: | ||
| style="text-align:left;" | xsokoban-74 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-74 || || || 3600 || style="text-align:center;" | {{n}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-75 || | + | | style="text-align:left;" | xsokoban-75 || 2952 || 295 || 423 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-76 || | + | | style="text-align:left;" | xsokoban-76 || 1591 || 204 || 275 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-77 || | + | | style="text-align:left;" | xsokoban-77 || 2509 || 368 || 137 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-78 || 476 || 136 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-78 || 476 || 136 || || style="text-align:center;" | {{y}} | ||
| Line 177: | Line 177: | ||
| style="text-align:left;" | xsokoban-79 || 521 || 174 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-79 || 521 || 174 || || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-80 || | + | | style="text-align:left;" | xsokoban-80 || 715 || 231 || || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-81 || 1341 || 173 || 2 || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-81 || 1341 || 173 || 2 || style="text-align:center;" | {{y}} | ||
| Line 185: | Line 185: | ||
| style="text-align:left;" | xsokoban-83 || 545 || 194 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-83 || 545 || 194 || || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-84 || 775 || 155 || | + | | style="text-align:left;" | xsokoban-84 || 775 || 155 || 1190 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-85 || || || 2574 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-85 || || || 2574 || style="text-align:center;" | {{n}} | ||
| Line 191: | Line 191: | ||
| style="text-align:left;" | xsokoban-86 || 650 || 134 || || style="text-align:center;" | {{y}} | | style="text-align:left;" | xsokoban-86 || 650 || 134 || || style="text-align:center;" | {{y}} | ||
|- align="right" | |- align="right" | ||
| - | | style="text-align:left;" | xsokoban-87 || 1498 || 233 || | + | | style="text-align:left;" | xsokoban-87 || 1498 || 233 || 38 || style="text-align:center;" | {{y}} |
|- align="right" | |- align="right" | ||
| style="text-align:left;" | xsokoban-88 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-88 || || || 3600 || style="text-align:center;" | {{n}} | ||
| Line 199: | Line 199: | ||
| style="text-align:left;" | xsokoban-90 || || || 3600 || style="text-align:center;" | {{n}} | | style="text-align:left;" | xsokoban-90 || || || 3600 || style="text-align:center;" | {{n}} | ||
|} | |} | ||
| - | Total solved: | + | Total solved: 59 |
Current revision as of 12:48, 30 July 2020
- Program
- Sokolution 4.02
- RAM for solver
- 32 GB
- Computer
- Intel(R) Core(TM) i5-6600K CPU @ 4.7 GHz, 64 GiB RAM
- Solving method
- Default settings
- Time limit
- 3600 seconds
| Solver StatisticsSokolution - Sokolution v4.02 Set: XSokoban | ||||
|---|---|---|---|---|
| Level | Moves | Pushes | Time | Result |
| xsokoban-1 | 257 | 97 | 
| |
| xsokoban-2 | 516 | 131 |
| |
| xsokoban-3 | 395 | 134 |
| |
| xsokoban-4 | 937 | 355 |
| |
| xsokoban-5 | 442 | 143 |
| |
| xsokoban-6 | 342 | 110 |
| |
| xsokoban-7 | 339 | 88 | 1 |
|
| xsokoban-8 | 3600 | 
| ||
| xsokoban-9 | 686 | 237 |
| |
| xsokoban-10 | 3600 |
| ||
| xsokoban-11 | 987 | 241 | 17 |
|
| xsokoban-12 | 2361 |
| ||
| xsokoban-13 | 3164 |
| ||
| xsokoban-14 | 2716 |
| ||
| xsokoban-15 | 3600 |
| ||
| xsokoban-16 | 934 | 186 | 175 |
|
| xsokoban-17 | 554 | 213 |
| |
| xsokoban-18 | 3600 |
| ||
| xsokoban-19 | 2083 | 302 | 28 |
|
| xsokoban-20 | 3600 |
| ||
| xsokoban-21 | 736 | 147 | 11 |
|
| xsokoban-22 | 3600 |
| ||
| xsokoban-23 | 1271 | 448 | 1751 |
|
| xsokoban-24 | 2398 | 544 | 2347 |
|
| xsokoban-25 | 1618 | 386 | 19 |
|
| xsokoban-26 | 581 | 195 | 2 |
|
| xsokoban-27 | 1432 | 363 |
| |
| xsokoban-28 | 1107 | 308 | 11 |
|
| xsokoban-29 | 1137 | 164 | 655 |
|
| xsokoban-30 | 3600 |
| ||
| xsokoban-31 | 3600 |
| ||
| xsokoban-32 | 1764 |
| ||
| xsokoban-33 | 1584 | 174 | 352 |
|
| xsokoban-34 | 772 | 168 | 9 |
|
| xsokoban-35 | 1820 | 378 | 5 |
|
| xsokoban-36 | 1917 | 521 | 139 |
|
| xsokoban-37 | 2279 |
| ||
| xsokoban-38 | 544 | 81 |
| |
| xsokoban-39 | 1950 | 672 | 36 |
|
| xsokoban-40 | 1512 | 324 | 15 |
|
| xsokoban-41 | 3425 |
| ||
| xsokoban-42 | 2038 |
| ||
| xsokoban-43 | 634 | 146 |
| |
| xsokoban-44 | 854 | 179 | 8 |
|
| xsokoban-45 | 889 | 300 | 1 |
|
| xsokoban-46 | 1230 | 247 | 20 |
|
| xsokoban-47 | 736 | 209 | 1 |
|
| xsokoban-48 | 596 | 200 | 449 |
|
| xsokoban-49 | 719 | 124 | 156 |
|
| xsokoban-50 | 3885 |
| ||
| xsokoban-51 | 601 | 118 |
| |
| xsokoban-52 | 3600 |
| ||
| xsokoban-53 | 3600 |
| ||
| xsokoban-54 | 3600 |
| ||
| xsokoban-55 | 472 | 120 | 1882 |
|
| xsokoban-56 | 2736 |
| ||
| xsokoban-57 | 3600 |
| ||
| xsokoban-58 | 1746 |
| ||
| xsokoban-59 | 1777 | 230 | 210 |
|
| xsokoban-60 | 944 | 152 | 83 |
|
| xsokoban-61 | 2956 |
| ||
| xsokoban-62 | 767 | 245 | 0 |
|
| xsokoban-63 | 1700 | 431 | 2 |
|
| xsokoban-64 | 1182 | 385 | 4 |
|
| xsokoban-65 | 981 | 211 | 2 |
|
| xsokoban-66 | 3600 |
| ||
| xsokoban-67 | 1366 | 401 | 2 |
|
| xsokoban-68 | 1420 | 341 | 4 |
|
| xsokoban-69 | 3496 |
| ||
| xsokoban-70 | 2109 | 333 | 108 |
|
| xsokoban-71 | 3600 |
| ||
| xsokoban-72 | 1371 | 296 | 19 |
|
| xsokoban-73 | 1544 | 441 |
| |
| xsokoban-74 | 3600 |
| ||
| xsokoban-75 | 2952 | 295 | 423 |
|
| xsokoban-76 | 1591 | 204 | 275 |
|
| xsokoban-77 | 2509 | 368 | 137 |
|
| xsokoban-78 | 476 | 136 |
| |
| xsokoban-79 | 521 | 174 |
| |
| xsokoban-80 | 715 | 231 |
| |
| xsokoban-81 | 1341 | 173 | 2 |
|
| xsokoban-82 | 412 | 143 |
| |
| xsokoban-83 | 545 | 194 |
| |
| xsokoban-84 | 775 | 155 | 1190 |
|
| xsokoban-85 | 2574 |
| ||
| xsokoban-86 | 650 | 134 |
| |
| xsokoban-87 | 1498 | 233 | 38 |
|
| xsokoban-88 | 3600 |
| ||
| xsokoban-89 | 3600 |
| ||
| xsokoban-90 | 3600 |
| ||
Total solved: 59
