SolverStatistics-Sokolutionv4.0-ThinkingRabbit-XSokoban-Push-Optimal
From Sokoban Wiki
(Difference between revisions)
(new results Sokolution 4.0) |
(new push optimal results Sokolution) |
||
(4 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
Total solved: 59