View source

From Sokoban Wiki

You do not have permission to edit this page, for the following reasons:

• The action you have requested is limited to users in the group: emailconfirmed.
• You must confirm your e-mail address before editing pages. Please set and validate your e-mail address through your user preferences.

You can view and copy the source of this page:

;Program: Sokolution 3.0 ;RAM for solver: 26 GB ;Computer: Intel(R) Core(TM) i5-6600K CPU @ 4.5 GHz, 32 GiB RAM ;Solver settings: --solver-algo=50 -solver-memory-limit=26000 --solver-time-limit=3600 --solver-mode=0 --solver-flags=639 ;Time limit: 3600 seconds {| class="soko-table" |- <!-- -------------------------------------------------------------------------------------------- --> ! colspan="5" | Solver StatisticsSokolution - Sokolution v3.0 Set: xsokoban |- bgcolor="#f1efe5" align="center" | width="115" align="left" | Level | width=" 65" | Moves | width=" 65" | Pushes | width=" 65" | Time | width=" 80" | Result <!-- -------------------------------------------------------------------------------------------- --> |- align="right" | style="text-align:left;" | xsokoban-1 || 255 || 97 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-2 || 543 || 131 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-3 || 433 || 134 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-4 || 1015 || 355 || 4 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-5 || 522 || 143 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-6 || 354 || 110 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-7 || 395 || 88 || 1 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-8 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-9 || 748 || 237 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-10 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-11 || 1349 || 241 || 506 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-12 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-13 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-14 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-15 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-16 || 1170 || 186 || 1239 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-17 || 610 || 213 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-18 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-19 || 2263 || 302 || 162 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-20 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-21 || 940 || 147 || 594 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-22 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-23 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-24 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-25 || 2225 || 386 || 2142 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-26 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-27 || 2100 || 363 || 101 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-28 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-29 || 1139 || 164 || 2458 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-30 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-31 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-32 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-33 || 1372 || 174 || 179 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-34 || 1204 || 168 || 565 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-35 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-36 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-37 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-38 || 674 || 81 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-39 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-40 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-41 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-42 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-43 || 796 || 146 || 4 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-44 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-45 || 1303 || 300 || 2235 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-46 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-47 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-48 || 836 || 200 || 23 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-49 || 713 || 124 || 9 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-50 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-51 || 667 || 118 || 3 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-52 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-53 || 1685 || 186 || 207 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-54 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-55 || 864 || 120 || 196 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-56 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-57 || 1392 || 225 || 2997 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-58 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-59 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-60 || 1183 || 152 || 1912 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-61 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-62 || 1047 || 245 || 44 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-63 || 3515 || 431 || 225 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-64 || 1352 || 385 || 35 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-65 || 981 || 211 || 13 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-66 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-67 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-68 || 2747 || 341 || 2675 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-69 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-70 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-71 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-72 || 1349 || 296 || 15 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-73 || 3015 || 441 || 440 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-74 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-75 || 4040 || 295 || 87 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-76 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-77 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-78 || 1024 || 136 || 2 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-79 || 974 || 174 || 375 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-80 || 665 || 231 || 1 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-81 || 1297 || 173 || 2 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-82 || 509 || 143 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-83 || 681 || 194 || 0 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-84 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-85 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-86 || 1130 || 134 || 2370 || style="text-align:center;" | solved |- align="right" | style="text-align:left;" | xsokoban-87 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-88 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-89 || || || 3600 || style="text-align:center;" | not solved |- align="right" | style="text-align:left;" | xsokoban-90 || || || 3600 || style="text-align:center;" | not solved |} Total solved: 43

Return to SolverStatistics-Sokolution-ThinkingRabbit-XSokoban-Push-Optimal.