SolverStatistics-Sokolutionv4.0-ThinkingRabbit-XSokoban-Push-Optimal

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(new push optimal results Sokolution)
 
(3 intermediate revisions not shown)
Line 1: Line 1:
-
;Program: Sokolution 4.0
+
;Program: Sokolution 4.02
-
;RAM for solver: 12 GB
+
;RAM for solver: 32 GB
-
;Computer: Intel(R) Core(TM) i7-7700K @4.20Ghz, 16 GiB RAM
+
;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
-
;<div style="background:red; color:yellow"> Note that the solver time reported by Sokolution is always artificially low. Florent Diedler refuse to fix it. </div>
 
{| class="soko-table"
{| class="soko-table"
Line 10: Line 9:
<!-- -------------------------------------------------------------------------------------------- -->
<!-- -------------------------------------------------------------------------------------------- -->
-
! colspan="5" | Solver StatisticsSokolution - Sokolution v4.0     Set: xsokoban
+
! 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 32: Line 31:
| style="text-align:left;" | xsokoban-6    ||    342    ||    110 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-6    ||    342    ||    110 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-7    ||    335     ||    88 ||        1 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-7    ||    339     ||    88 ||        1 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-8    ||            ||        ||    2704 ||  style="text-align:center;" |        {{n}} &nbsp;
+
| style="text-align:left;" | xsokoban-8    ||            ||        ||    3600||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-9    ||    700     ||    237 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-9    ||    686     ||    237 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-10  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-10  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
Line 50: Line 49:
| style="text-align:left;" | xsokoban-15  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-15  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-16  ||    934    ||    186 ||      188 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-16  ||    934    ||    186 ||      175||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-17  ||    554    ||    213 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-17  ||    554    ||    213 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
Line 56: Line 55:
| style="text-align:left;" | xsokoban-18  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-18  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-19  ||  2083    ||    302 ||      63 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-19  ||  2083    ||    302 ||      28||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-20  ||            ||        ||    3638 ||  style="text-align:center;" |        {{n}} &nbsp;
+
| style="text-align:left;" | xsokoban-20  ||            ||        ||    3600||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-21  ||    736    ||    147 ||       4 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-21  ||    736    ||    147 ||       11 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-22  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-22  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
Line 66: Line 65:
| style="text-align:left;" | xsokoban-23  ||  1271    ||    448 ||    1751 ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-23  ||  1271    ||    448 ||    1751 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-24  ||           ||       ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
+
| style="text-align:left;" | xsokoban-24  ||   2398    ||   544 ||    2347 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-25  ||  1618    ||    386 ||      17 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-25  ||  1618    ||    386 ||      19 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-26  ||    581    ||    195 ||         ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-26  ||    581    ||    195 ||       2 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-27  ||  1432    ||    363 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-27  ||  1432    ||    363 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-28  ||  1105     ||    308 ||       2 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-28  ||  1107     ||    308 ||       11 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-29  ||  1137    ||    164 ||      492 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-29  ||  1137    ||    164 ||      655 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-30  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-30  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
Line 84: Line 83:
| style="text-align:left;" | xsokoban-32  ||            ||        ||    1764 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-32  ||            ||        ||    1764 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-33  ||  1602     ||    174 ||      423 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-33  ||  1584     ||    174 ||      352 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-34  ||    736     ||    168 ||     143 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-34  ||    772     ||    168 ||       9 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-35  ||  1854     ||    378 ||       14 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-35  ||  1820     ||    378 ||       5 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-36  ||           ||       ||     3600 ||  style="text-align:center;" |        {{n}} &nbsp;
+
| style="text-align:left;" | xsokoban-36  ||   1917    ||   521 ||     139 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-37  ||            ||        ||    2279 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-37  ||            ||        ||    2279 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-38  ||    538     ||    81 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-38  ||    544     ||    81 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-39  ||  1966     ||    672 ||       8 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-39  ||  1950     ||    672 ||       36 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-40  ||  1502     ||    324 ||      16 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-40  ||  1512     ||    324 ||      15 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-41  ||            ||        ||    3425 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-41  ||            ||        ||    3425 ||  style="text-align:center;" |        {{n}} &nbsp;
Line 106: Line 105:
| style="text-align:left;" | xsokoban-43  ||    634    ||    146 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-43  ||    634    ||    146 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-44  ||    802     ||    179 ||         ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-44  ||    854     ||    179 ||       8 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-45  ||    889    ||    300 ||        4 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-45  ||    889    ||    300 ||        1 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-46  ||  1230    ||    247 ||      20 ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-46  ||  1230    ||    247 ||      20 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-47  ||    750     ||    209 ||         ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-47  ||    736     ||    209 ||       1 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-48  ||    596    ||    200 ||      404 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-48  ||    596    ||    200 ||      449 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-49  ||    719    ||    124 ||      129 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-49  ||    719    ||    124 ||      156 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-50  ||            ||        ||    3885 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-50  ||            ||        ||    3885 ||  style="text-align:center;" |        {{n}} &nbsp;
Line 128: Line 127:
| style="text-align:left;" | xsokoban-54  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-54  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-55  ||    472    ||    120 ||    1696 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-55  ||    472    ||    120 ||    1882 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-56  ||            ||        ||    2736 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-56  ||            ||        ||    2736 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-57  ||   998    ||   225 ||     937 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-57  ||           ||       ||     3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-58  ||            ||        ||    1746 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-58  ||            ||        ||    1746 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-59  ||  1617     ||    230 ||       48 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-59  ||  1777     ||    230 ||     210 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-60  ||    944    ||    152 ||      50 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-60  ||    944    ||    152 ||      83 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-61  ||            ||        ||    2956 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-61  ||            ||        ||    2956 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-62  ||    767    ||    245 ||       20 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-62  ||    767    ||    245 ||       0 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-63  ||  1688     ||    431 ||         ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-63  ||  1700     ||    431 ||       2 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-64  ||  1198     ||    385 ||        3 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-64  ||  1182     ||    385 ||        4 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-65  ||    981    ||    211 ||        2 ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-65  ||    981    ||    211 ||        2 ||  style="text-align:center;" |        {{y}} &nbsp;
Line 152: Line 151:
| style="text-align:left;" | xsokoban-66  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-66  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-67  ||  1324     ||    401 ||        8 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-67  ||  1366     ||    401 ||        2 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-68  ||  1420    ||    341 ||        7 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-68  ||  1420    ||    341 ||        4 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-69  ||            ||        ||    3496 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-69  ||            ||        ||    3496 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-70  ||  2109    ||    333 ||      155 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-70  ||  2109    ||    333 ||      108 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-71  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-71  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-72  ||  1337     ||    296 ||       6 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-72  ||  1371     ||    296 ||       19 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-73  ||  1544    ||    441 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-73  ||  1544    ||    441 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
Line 168: Line 167:
| style="text-align:left;" | xsokoban-74  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-74  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-75  ||  2932     ||    295 ||      607 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-75  ||  2952     ||    295 ||      423 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-76  ||  1605     ||    204 ||      180 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-76  ||  1591     ||    204 ||      275 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-77  ||           ||       ||     3600 ||  style="text-align:center;" |        {{n}} &nbsp;
+
| style="text-align:left;" | xsokoban-77  ||   2509    ||   368 ||     137 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-78  ||    476    ||    136 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-78  ||    476    ||    136 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
Line 178: Line 177:
| style="text-align:left;" | xsokoban-79  ||    521    ||    174 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-79  ||    521    ||    174 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-80  ||    683     ||    231 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-80  ||    715     ||    231 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-81  ||  1341    ||    173 ||        2 ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-81  ||  1341    ||    173 ||        2 ||  style="text-align:center;" |        {{y}} &nbsp;
Line 186: Line 185:
| style="text-align:left;" | xsokoban-83  ||    545    ||    194 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-83  ||    545    ||    194 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-84  ||    775    ||    155 ||     823 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-84  ||    775    ||    155 ||     1190 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-85  ||            ||        ||    2574 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-85  ||            ||        ||    2574 ||  style="text-align:center;" |        {{n}} &nbsp;
Line 192: Line 191:
| style="text-align:left;" | xsokoban-86  ||    650    ||    134 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
| style="text-align:left;" | xsokoban-86  ||    650    ||    134 ||          ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
-
| style="text-align:left;" | xsokoban-87  ||  1498    ||    233 ||       8 ||  style="text-align:center;" |        {{y}} &nbsp;
+
| style="text-align:left;" | xsokoban-87  ||  1498    ||    233 ||       38 ||  style="text-align:center;" |        {{y}} &nbsp;
|- align="right"
|- align="right"
| style="text-align:left;" | xsokoban-88  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-88  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
Line 200: Line 199:
| style="text-align:left;" | xsokoban-90  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
| style="text-align:left;" | xsokoban-90  ||            ||        ||    3600 ||  style="text-align:center;" |        {{n}} &nbsp;
|}
|}
-
Total solved: 57
+
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 yes  
xsokoban-2 516 131 yes  
xsokoban-3 395 134 yes  
xsokoban-4 937 355 yes  
xsokoban-5 442 143 yes  
xsokoban-6 342 110 yes  
xsokoban-7 339 88 1 yes  
xsokoban-8 3600 no  
xsokoban-9 686 237 yes  
xsokoban-10 3600 no  
xsokoban-11 987 241 17 yes  
xsokoban-12 2361 no  
xsokoban-13 3164 no  
xsokoban-14 2716 no  
xsokoban-15 3600 no  
xsokoban-16 934 186 175 yes  
xsokoban-17 554 213 yes  
xsokoban-18 3600 no  
xsokoban-19 2083 302 28 yes  
xsokoban-20 3600 no  
xsokoban-21 736 147 11 yes  
xsokoban-22 3600 no  
xsokoban-23 1271 448 1751 yes  
xsokoban-24 2398 544 2347 yes  
xsokoban-25 1618 386 19 yes  
xsokoban-26 581 195 2 yes  
xsokoban-27 1432 363 yes  
xsokoban-28 1107 308 11 yes  
xsokoban-29 1137 164 655 yes  
xsokoban-30 3600 no  
xsokoban-31 3600 no  
xsokoban-32 1764 no  
xsokoban-33 1584 174 352 yes  
xsokoban-34 772 168 9 yes  
xsokoban-35 1820 378 5 yes  
xsokoban-36 1917 521 139 yes  
xsokoban-37 2279 no  
xsokoban-38 544 81 yes  
xsokoban-39 1950 672 36 yes  
xsokoban-40 1512 324 15 yes  
xsokoban-41 3425 no  
xsokoban-42 2038 no  
xsokoban-43 634 146 yes  
xsokoban-44 854 179 8 yes  
xsokoban-45 889 300 1 yes  
xsokoban-46 1230 247 20 yes  
xsokoban-47 736 209 1 yes  
xsokoban-48 596 200 449 yes  
xsokoban-49 719 124 156 yes  
xsokoban-50 3885 no  
xsokoban-51 601 118 yes  
xsokoban-52 3600 no  
xsokoban-53 3600 no  
xsokoban-54 3600 no  
xsokoban-55 472 120 1882 yes  
xsokoban-56 2736 no  
xsokoban-57 3600 no  
xsokoban-58 1746 no  
xsokoban-59 1777 230 210 yes  
xsokoban-60 944 152 83 yes  
xsokoban-61 2956 no  
xsokoban-62 767 245 0 yes  
xsokoban-63 1700 431 2 yes  
xsokoban-64 1182 385 4 yes  
xsokoban-65 981 211 2 yes  
xsokoban-66 3600 no  
xsokoban-67 1366 401 2 yes  
xsokoban-68 1420 341 4 yes  
xsokoban-69 3496 no  
xsokoban-70 2109 333 108 yes  
xsokoban-71 3600 no  
xsokoban-72 1371 296 19 yes  
xsokoban-73 1544 441 yes  
xsokoban-74 3600 no  
xsokoban-75 2952 295 423 yes  
xsokoban-76 1591 204 275 yes  
xsokoban-77 2509 368 137 yes  
xsokoban-78 476 136 yes  
xsokoban-79 521 174 yes  
xsokoban-80 715 231 yes  
xsokoban-81 1341 173 2 yes  
xsokoban-82 412 143 yes  
xsokoban-83 545 194 yes  
xsokoban-84 775 155 1190 yes  
xsokoban-85 2574 no  
xsokoban-86 650 134 yes  
xsokoban-87 1498 233 38 yes  
xsokoban-88 3600 no  
xsokoban-89 3600 no  
xsokoban-90 3600 no  

Total solved: 59

Retrieved from "http://sokobano.de/wiki/index.php?title=SolverStatistics-Sokolutionv4.0-ThinkingRabbit-XSokoban-Push-Optimal"
Personal tools