User:Heiner

From Sokoban Wiki

Revision as of 23:00, 21 November 2010

Hello Sokoban-Fans!

About me

While I also have written a sokoban solver program, it is not the usual kind, that tries hard to find some solution at all, but I rather restrict to brute force methods, i.e. I only generate push-optimal solutions.

Also, no graphics.

Sometime I will publish the program (written in C), but currently I do not yet feel so.

My personal home page is: http://www.drb.insel.de/~heiner
I'm living in: Berlin, Germany.

Wanted

• A reference or link to "Edelkamp's work", as mentioned in Sokoban solver "scribbles" by Brian Damgaard about the YASS solver
  Answer: http://www.tzi.de/~edelkamp/publications/
• A reference or link to explicitly push-optimal move numbers (that is not the same as a world record)
  I don't know if such a link exists. However, the world records at sokobano.de are push optimal for most of the (small to middle size) levels. For small levels you can use a solver like JSoko which can solve easy levels push optimal to compare the results.

Microban

Since I'm not yet sure how that will look like in the end, as an experiment I show my current results of Microban (from Skinner). All but one (153) are solved:

Level 001 from Microban            :   33 moves,    8 pushes
Level 002 from Microban            :   16 moves,    3 pushes
Level 003 from Microban            :   41 moves,   13 pushes
Level 004 from Microban            :   31 moves,    7 pushes
Level 005 from Microban            :   31 moves,    6 pushes
Level 006 from Microban            :  107 moves,   29 pushes
Level 007 from Microban            :   38 moves,    6 pushes
Level 008 from Microban            :  113 moves,   32 pushes
Level 009 from Microban            :   30 moves,   10 pushes
Level 010 from Microban            :   91 moves,   21 pushes
Level 011 from Microban            :   80 moves,   16 pushes
Level 012 from Microban            :   49 moves,   11 pushes
Level 013 from Microban            :   63 moves,   21 pushes
Level 014 from Microban            :   55 moves,   10 pushes
Level 015 from Microban            :   43 moves,   12 pushes
Level 016 from Microban            :  110 moves,   39 pushes
Level 017 from Microban            :   27 moves,    9 pushes
Level 018 from Microban            :   73 moves,   13 pushes
Level 019 from Microban            :   41 moves,   20 pushes
Level 020 from Microban            :   50 moves,   16 pushes
Level 021 from Microban            :   17 moves,    5 pushes
Level 022 from Microban            :   47 moves,   15 pushes
Level 023 from Microban            :   56 moves,   10 pushes
Level 024 from Microban            :   35 moves,    9 pushes
Level 025 from Microban            :   33 moves,    7 pushes
Level 026 from Microban            :   42 moves,   10 pushes
Level 027 from Microban            :   50 moves,   10 pushes
Level 028 from Microban            :   33 moves,    9 pushes
Level 029 from Microban            :  108 moves,   22 pushes
Level 030 from Microban            :   21 moves,    5 pushes
Level 031 from Microban            :   17 moves,    6 pushes
Level 032 from Microban            :   35 moves,    9 pushes
Level 033 from Microban            :   49 moves,   10 pushes
Level 034 from Microban            :   39 moves,    8 pushes
Level 035 from Microban            :   96 moves,   31 pushes
Level 036 from Microban            :  200 moves,   59 pushes
Level 037 from Microban            :   73 moves,   23 pushes
Level 038 from Microban            :   37 moves,    8 pushes
Level 039 from Microban            :   93 moves,   27 pushes
Level 040 from Microban            :   22 moves,    7 pushes
Level 041 from Microban            :   60 moves,   13 pushes
Level 042 from Microban            :   70 moves,   15 pushes
Level 043 from Microban            :   63 moves,   22 pushes
Level 044 from Microban            :    1 moves,    1 pushes
Level 045 from Microban            :   49 moves,   11 pushes
Level 046 from Microban            :   47 moves,    8 pushes
Level 047 from Microban            :   83 moves,   22 pushes
Level 048 from Microban            :   67 moves,   14 pushes
Level 049 from Microban            :  100 moves,   21 pushes
Level 050 from Microban            :   80 moves,   17 pushes
Level 051 from Microban            :   34 moves,    8 pushes
Level 052 from Microban            :   29 moves,    8 pushes
Level 053 from Microban            :   37 moves,   12 pushes
Level 054 from Microban            :   94 moves,   30 pushes
Level 055 from Microban            :   72 moves,   27 pushes
Level 056 from Microban            :   23 moves,    6 pushes
Level 057 from Microban            :   66 moves,   23 pushes
Level 058 from Microban            :   44 moves,   11 pushes
Level 059 from Microban            :  185 moves,   50 pushes
Level 060 from Microban            :  169 moves,   44 pushes
Level 061 from Microban            :  100 moves,   21 pushes
Level 062 from Microban            :   68 moves,   30 pushes
Level 063 from Microban            :  115 moves,   50 pushes
Level 064 from Microban            :   99 moves,   30 pushes
Level 065 from Microban            :  170 moves,   41 pushes
Level 066 from Microban            :   95 moves,   15 pushes
Level 067 from Microban            :   37 moves,    8 pushes
Level 068 from Microban            :   98 moves,   28 pushes
Level 069 from Microban            :  144 moves,   37 pushes
Level 070 from Microban            :   78 moves,   26 pushes
Level 071 from Microban            :  120 moves,   21 pushes
Level 072 from Microban            :  115 moves,   40 pushes
Level 073 from Microban            :  116 moves,   25 pushes
Level 074 from Microban            :  123 moves,   34 pushes
Level 075 from Microban            :   94 moves,   34 pushes
Level 076 from Microban            :  201 moves,   56 pushes
Level 077 from Microban            :  201 moves,   55 pushes
Level 078 from Microban            :  147 moves,   33 pushes
Level 079 from Microban            :   56 moves,   18 pushes
Level 080 from Microban            :  135 moves,   38 pushes
Level 081 from Microban            :   46 moves,   12 pushes
Level 082 from Microban            :   52 moves,   14 pushes
Level 083 from Microban            :  188 moves,   47 pushes
Level 084 from Microban            :  243 moves,   68 pushes
Level 085 from Microban            :  159 moves,   51 pushes
Level 086 from Microban            :  119 moves,   25 pushes
Level 087 from Microban            :  155 moves,   53 pushes
Level 088 from Microban            :  217 moves,   63 pushes
Level 089 from Microban            :  147 moves,   35 pushes
Level 090 from Microban            :   71 moves,   16 pushes
Level 091 from Microban            :   50 moves,   14 pushes
Level 092 from Microban            :  152 moves,   48 pushes
Level 093 from Microban            :  111 moves,   34 pushes
Level 094 from Microban            :   87 moves,   29 pushes
Level 095 from Microban            :   25 moves,    8 pushes
Level 096 from Microban            :  102 moves,   37 pushes
Level 097 from Microban            :  164 moves,   41 pushes
Level 098 from Microban            :  281 moves,  110 pushes
Level 099 from Microban            :  373 moves,  131 pushes
Level 100 from Microban            :  183 moves,   52 pushes
Level 101 from Microban            :   79 moves,   15 pushes
Level 102 from Microban            :  170 moves,   44 pushes
Level 103 from Microban            :   39 moves,   12 pushes
Level 104 from Microban            :  101 moves,   27 pushes
Level 105 from Microban            :   83 moves,   24 pushes
Level 106 from Microban            :  259 moves,   50 pushes
Level 107 from Microban            :   42 moves,   10 pushes
Level 108 from Microban            :  256 moves,   68 pushes
Level 109 from Microban            :  215 moves,   42 pushes
Level 110 from Microban            :   99 moves,   14 pushes
Level 111 from Microban            :  184 moves,   61 pushes
Level 112 from Microban            :  287 moves,   94 pushes
Level 113 from Microban            :  206 moves,   51 pushes
Level 114 from Microban            :  323 moves,   60 pushes
Level 115 from Microban            :  209 moves,   29 pushes
Level 116 from Microban            :   78 moves,   14 pushes
Level 117 from Microban            :  278 moves,   47 pushes
Level 118 from Microban            :  196 moves,   44 pushes
Level 119 from Microban            :  145 moves,   18 pushes
Level 120 from Microban            :  217 moves,   64 pushes
Level 121 from Microban            :  159 moves,   47 pushes
Level 122 from Microban            :  287 moves,   90 pushes
Level 123 from Microban            :  372 moves,  101 pushes
Level 124 from Microban            :  245 moves,   39 pushes
Level 125 from Microban            :  131 moves,   38 pushes
Level 126 from Microban            :  120 moves,   23 pushes
Level 127 from Microban            :  136 moves,   32 pushes
Level 128 from Microban            :   94 moves,   19 pushes
Level 129 from Microban            :  126 moves,   22 pushes
Level 130 from Microban            :  114 moves,   36 pushes
Level 131 from Microban            :   84 moves,   31 pushes
Level 132 from Microban            :  165 moves,   37 pushes
Level 133 from Microban            :  161 moves,   39 pushes
Level 134 from Microban            :  340 moves,   76 pushes
Level 135 from Microban            :  165 moves,   36 pushes
Level 136 from Microban            :  146 moves,   25 pushes
Level 137 from Microban            :  195 moves,   46 pushes
Level 138 from Microban            :  215 moves,   54 pushes
Level 139 from Microban            :  368 moves,  106 pushes
Level 140 from Microban            :  330 moves,   80 pushes
Level 141 from Microban            :  149 moves,   52 pushes
Level 142 from Microban            :   84 moves,   20 pushes
Level 143 from Microban            :  262 moves,   65 pushes
Level 144 from Microban            :  166 moves,   36 pushes
Level 145 from Microban            :   81 moves,   18 pushes
Level 146 from Microban            :   51 moves,   14 pushes
Level 147 from Microban            :  156 moves,   50 pushes
Level 148 from Microban            :  208 moves,   49 pushes
Level 149 from Microban            :  100 moves,   35 pushes
Level 150 from Microban            :  179 moves,   43 pushes
Level 151 from Microban            :  137 moves,   50 pushes
Level 152 from Microban            :  297 moves,   35 pushes
Level 153 from Microban            :   -- moves,   -- pushes
Level 154 from Microban            :  429 moves,    2 pushes
Level 155 from Microban            :  282 moves,  175 pushes

Note that all push numbers are optimal (minimal).

Results for Yoshio's Handmade

Level 001 from Yoshio's Handmade   :  154 moves,   48 pushes
Level 002 from Yoshio's Handmade   :  100 moves,   17 pushes
Level 003 from Yoshio's Handmade   :  115 moves,   14 pushes
Level 004 from Yoshio's Handmade   :   84 moves,   11 pushes
Level 005 from Yoshio's Handmade   :   85 moves,   16 pushes
Level 006 from Yoshio's Handmade   :   76 moves,   16 pushes
Level 007 from Yoshio's Handmade   :   59 moves,   10 pushes
Level 008 from Yoshio's Handmade   :   -- moves,   -- pushes
Level 009 from Yoshio's Handmade   :  142 moves,   22 pushes
Level 010 from Yoshio's Handmade   :   43 moves,   14 pushes
Level 011 from Yoshio's Handmade   :  101 moves,   12 pushes
Level 012 from Yoshio's Handmade   :   69 moves,   20 pushes
Level 013 from Yoshio's Handmade   :   -- moves,   -- pushes
Level 014 from Yoshio's Handmade   :  225 moves,   47 pushes
Level 015 from Yoshio's Handmade   :   51 moves,   16 pushes
Level 016 from Yoshio's Handmade   :   66 moves,   17 pushes
Level 017 from Yoshio's Handmade   :   89 moves,   25 pushes
Level 018 from Yoshio's Handmade   :  178 moves,   51 pushes
Level 019 from Yoshio's Handmade   :  155 moves,   29 pushes
Level 020 from Yoshio's Handmade   :  199 moves,   45 pushes
Level 021 from Yoshio's Handmade   :  190 moves,   45 pushes
Level 022 from Yoshio's Handmade   :  179 moves,   35 pushes
Level 023 from Yoshio's Handmade   :   95 moves,   26 pushes
Level 024 from Yoshio's Handmade   :  119 moves,   24 pushes
Level 025 from Yoshio's Handmade   :  139 moves,   30 pushes
Level 026 from Yoshio's Handmade   :  129 moves,   33 pushes
Level 027 from Yoshio's Handmade   :  176 moves,   43 pushes
Level 028 from Yoshio's Handmade   :  143 moves,   24 pushes
Level 029 from Yoshio's Handmade   :  441 moves,   84 pushes
Level 030 from Yoshio's Handmade   :   93 moves,   25 pushes
Level 031 from Yoshio's Handmade   :  263 moves,   54 pushes
Level 032 from Yoshio's Handmade   :  145 moves,   28 pushes
Level 033 from Yoshio's Handmade   :  198 moves,   37 pushes
Level 035 from Yoshio's Handmade   :  344 moves,   61 pushes
Level 036 from Yoshio's Handmade   :  182 moves,   40 pushes
Level 037 from Yoshio's Handmade   :  117 moves,   21 pushes
Level 038 from Yoshio's Handmade   :  134 moves,   21 pushes
Level 039 from Yoshio's Handmade   :  126 moves,   18 pushes
Level 040 from Yoshio's Handmade   :   69 moves,   16 pushes
Level 041 from Yoshio's Handmade   :  188 moves,   28 pushes
Level 042 from Yoshio's Handmade   :  164 moves,   34 pushes
Level 043 from Yoshio's Handmade   :  210 moves,   33 pushes
Level 044 from Yoshio's Handmade   :  132 moves,   32 pushes
Level 045 from Yoshio's Handmade   :  273 moves,   35 pushes
Level 046 from Yoshio's Handmade   :  374 moves,   60 pushes
Level 047 from Yoshio's Handmade   :  139 moves,   30 pushes
Level 048 from Yoshio's Handmade   :  141 moves,   19 pushes
Level 049 from Yoshio's Handmade   :  120 moves,   26 pushes
Level 050 from Yoshio's Handmade   :  171 moves,   17 pushes
Level 051 from Yoshio's Handmade   :  228 moves,   34 pushes
Level 052 from Yoshio's Handmade   :   88 moves,   23 pushes
Level 053 from Yoshio's Handmade   :   72 moves,   12 pushes

My program seems to solve 2 levels, which JSoko does not solve: 27 and 29. Ha!