# Sokoban Automatic Solver Ver7.2 (AUG/2007) by Takaken # Options: TimeLimit=600sec / Memory=1000MB / BeginEnd=On # LevelSetName = revenge (2007/08/06 07:13:07 Start) 1 [17*11(10)] OK 1sec 282moves 97pushes 2 [ 7* 5( 5)] OK 1sec 24moves 10pushes 3 [ 8* 7( 4)] OK 0sec 103moves 14pushes 4 [18*14(19)] OK 5sec 321moves 96pushes 5 [13*12(17)] OK 2sec 355moves 131pushes 6 [ 9* 7( 7)] OK 1sec 41moves 15pushes 7 [ 9* 6( 3)] OK 0sec 80moves 13pushes 8 [ 9* 7( 3)] OK 1sec 97moves 22pushes 9 [ 7* 7( 5)] OK 1sec 61moves 16pushes 10 [ 7* 7( 5)] OK 1sec 69moves 14pushes 11 [ 9* 8( 5)] OK 1sec 109moves 18pushes 12 [10* 9( 7)] OK 1sec 132moves 40pushes 13 [14* 8( 7)] OK 1sec 141moves 73pushes 14 [ 8* 8( 2)] OK 1sec 140moves 22pushes 15 [10* 7( 6)] OK 1sec 137moves 30pushes 16 [12* 7(10)] OK 2sec 171moves 37pushes 17 [11* 7(15)] OK 1sec 128moves 46pushes 18 [10*13( 9)] OK 1sec 107moves 36pushes 19 [12*12( 4)] OK 1sec 115moves 42pushes 20 [11*12(10)] OK 2sec 368moves 55pushes 21 [15*10( 9)] OK 2sec 332moves 39pushes 22 [ 7* 7( 5)] OK 0sec 54moves 13pushes 23 [13* 7(10)] OK 1sec 227moves 46pushes 24 [11*13( 9)] OK 1sec 128moves 38pushes 25 [12*10(11)] OK 1sec 199moves 64pushes 26 [ 9* 8(13)] OK 1sec 162moves 32pushes 27 [10* 8( 7)] OK 2sec 120moves 26pushes 28 [ 9* 9(13)] OK 1sec 100moves 12pushes 29 [ 9* 9(17)] OK 2sec 269moves 51pushes 30 [ 9*10(13)] OK 2sec 122moves 34pushes 31 [ 9* 9( 9)] OK 1sec 195moves 48pushes 32 [ 7* 9(11)] OK 1sec 71moves 22pushes 33 [10*10(10)] OK 1sec 182moves 65pushes 34 [10* 9(12)] OK 5sec 413moves 124pushes 35 [ 7* 8( 4)] OK 0sec 163moves 24pushes 36 [ 9*19(16)] OK 3sec 658moves 264pushes 37 [11*10( 9)] OK 2sec 197moves 36pushes 38 [ 9* 9( 9)] OK 1sec 164moves 41pushes 39 [10*10( 7)] OK 1sec 179moves 38pushes 40 [15*12( 7)] OK 2sec 584moves 217pushes 41 [13* 9(17)] OK 1sec 140moves 32pushes 42 [12*10( 8)] OK 1sec 183moves 46pushes 43 [12*11(10)] OK 1sec 171moves 47pushes 44 [15*14(12)] OK 9sec 615moves 159pushes 45 [13*13( 9)] OK 2sec 437moves 67pushes 46 [10* 8( 8)] OK 1sec 264moves 64pushes 47 [11* 8(12)] OK 6sec 257moves 42pushes 48 [ 9* 9(17)] OK 6sec 295moves 49pushes 49 [15* 7( 8)] OK 1sec 136moves 36pushes 50 [ 9* 9( 9)] OK 1sec 94moves 19pushes 51 [15*15(25)] OK 15sec 313moves 48pushes 52 [28*17(25)] OK 10sec 510moves 85pushes 53 [11*11(24)] Ok 71sec 200moves 55pushes 54 [11*11( 9)] OK 16sec 444moves 140pushes 55 [18*11(15)] OK 130sec 3122moves 547pushes 56 [17*12(14)] OK 1sec 646moves 135pushes 57 [17*11(24)] X 600sec 58 [20*14(19)] OK 5sec 1145moves 384pushes 59 [16*15(11)] OK 52sec 1239moves 283pushes 60 [15*12(14)] OK 2sec 520moves 179pushes 61 [14*15(16)] OK 3sec 434moves 125pushes 62 [15*15(15)] OK 2sec 1070moves 257pushes 63 [16*15(12)] OK 2sec 634moves 249pushes 64 [14*14(12)] OK 4sec 395moves 99pushes 65 [20*18(21)] OK 11sec 2665moves 589pushes 66 [13*13(14)] OK 1sec 613moves 164pushes 67 [13*13(14)] OK 7sec 775moves 184pushes 68 [17*16(12)] OK 17sec 1273moves 337pushes 69 [17*17(10)] OK 23sec 982moves 287pushes 70 [21*19(27)] OK 65sec 1871moves 471pushes 71 [17*16(18)] X 600sec 72 [25*14(19)] OK 59sec 1275moves 511pushes 73 [22*14(13)] OK 20sec 1438moves 425pushes 74 [18*18(39)] OK 24sec 1420moves 477pushes 75 [32*20(59)] OK 154sec 3837moves1586pushes 76 [21*19(43)] OK 23sec 1529moves 573pushes 77 [27*16(14)] OK 274sec 2746moves1293pushes 78 [21*19(41)] X 600sec 79 [30*19(70)] - 80 [32*19( 1)] OK 0sec 330moves 100pushes 81 [32*20( 1)] OK 1sec 189moves 72pushes 82 [32*20( 1)] OK 0sec 300moves 90pushes 83 [32*20( 1)] OK 1sec 537moves 118pushes 84 [32*20( 1)] OK 0sec 275moves 80pushes 85 [10* 8( 4)] OK 1sec 48moves 13pushes 86 [10* 8( 8)] OK 1sec 130moves 36pushes 87 [15*16(16)] OK 2sec 820moves 261pushes 88 [19*13(18)] OK 250sec 1659moves 427pushes 89 [15*18(16)] X 291sec 90 [17*17(20)] OK 124sec 2223moves 692pushes 91 [16*15(18)] OK 12sec 921moves 332pushes 92 [19*12(12)] OK 1sec 827moves 188pushes 93 [16*12(14)] OK 1sec 425moves 118pushes 94 [17*14(13)] X 600sec 95 [19*11(12)] OK 1sec 665moves 210pushes 96 [14*14(11)] OK 6sec 956moves 270pushes 97 [16*12(12)] OK 1sec 496moves 157pushes 98 [22*18(27)] OK 22sec 3226moves1289pushes 99 [18*17(29)] OK 9sec 1426moves 560pushes 100 [18*18(21)] OK 18sec 2318moves 771pushes 101 [30*20(43)] OK 66sec 4664moves1446pushes 102 [13*13( 8)] OK 3sec 321moves 43pushes 103 [ 9* 7( 9)] OK 1sec 96moves 16pushes 104 [ 9* 9( 4)] OK 1sec 125moves 22pushes 105 [20*13(13)] OK 3sec 749moves 214pushes 106 [15*16(18)] OK 2sec 1357moves 370pushes 107 [18*15(15)] OK 21sec 740moves 194pushes 108 [ 8* 7( 6)] OK 1sec 65moves 15pushes 109 [ 8* 8(12)] OK 1sec 94moves 16pushes 110 [14*10( 9)] OK 8sec 1028moves 162pushes 111 [14* 8(28)] OK 3sec 205moves 51pushes 112 [19*19(29)] OK 25sec 1121moves 482pushes 113 [19*19(13)] X 600sec 114 [28*19(25)] OK 59sec 1144moves 411pushes 115 [21*10(18)] OK 7sec 480moves 148pushes 116 [27*18(18)] X 600sec 117 [11* 8(10)] OK 0sec 141moves 26pushes 118 [15*11(32)] X 600sec 119 [ 8* 8( 8)] OK 0sec 75moves 18pushes 120 [10*10( 9)] OK 1sec 114moves 30pushes 121 [18*11(17)] OK 14sec 1176moves 278pushes 122 [14*12(17)] OK 2sec 646moves 196pushes 123 [16*12(13)] OK 3sec 1071moves 218pushes 124 [20*13(18)] X 600sec 125 [24*17(24)] X 600sec 126 [13*13(21)] OK 4sec 909moves 254pushes 127 [16*10(16)] OK 43sec 956moves 164pushes 128 [ 8* 8(10)] OK 1sec 112moves 24pushes 129 [32*20(25)] OK 10sec 4259moves 959pushes 130 [ 9* 8( 9)] OK 1sec 92moves 21pushes 131 [15*14(12)] OK 1sec 405moves 90pushes 132 [14* 9(10)] OK 1sec 273moves 34pushes 133 [12*11( 9)] OK 1sec 258moves 45pushes 134 [16*20(33)] X 600sec 135 [ 9* 9( 9)] OK 1sec 94moves 19pushes 136 [16* 7(13)] OK 3sec 324moves 79pushes 137 [ 9*10(21)] OK 5sec 218moves 74pushes 138 [13*12(40)] OK 59sec 425moves 156pushes 139 [32*16(37)] X 600sec 140 [27*14(23)] X 465sec 141 [31*18(38)] OK 354sec 838moves 280pushes 142 [27*20(72)] OK 196sec 1854moves 503pushes 143 [21*13( 7)] OK 1sec 1181moves 311pushes 144 [11*11(32)] OK 7sec 341moves 120pushes 145 [13*12(10)] OK 22sec 1025moves 226pushes 146 [15*11(10)] OK 18sec 924moves 152pushes 147 [29*17(14)] X 600sec 148 [13*18(16)] OK 19sec 477moves 114pushes 149 [10*10( 9)] OK 1sec 161moves 38pushes 150 [15*13(59)] X 600sec 151 [13*14(17)] OK 7sec 1542moves 340pushes 152 [15*13(12)] OK 64sec 1037moves 229pushes 153 [15*13(12)] OK 63sec 1165moves 265pushes 154 [26*18(26)] X 600sec 155 [16*13(19)] OK 3sec 782moves 169pushes 156 [17* 9(13)] OK 1sec 774moves 223pushes 157 [12*18(12)] OK 30sec 1223moves 317pushes 158 [11*10( 7)] OK 1sec 143moves 29pushes 159 [15*11(12)] OK 2sec 358moves 83pushes 160 [11*10( 8)] OK 1sec 257moves 41pushes 161 [13*14(10)] OK 2sec 847moves 211pushes 162 [16*15(16)] X 328sec 163 [18*12(11)] OK 22sec 641moves 209pushes 164 [16*12(13)] OK 2sec 546moves 168pushes 165 [14*13(11)] OK 194sec 703moves 162pushes 166 [16*14(15)] OK 10sec 667moves 163pushes 167 [14*14(12)] OK 1sec 460moves 80pushes 168 [18*16(20)] OK 27sec 1804moves 424pushes 169 [20*15(14)] OK 2sec 915moves 277pushes 170 [17*12(10)] OK 1sec 986moves 228pushes 171 [20*20(24)] OK 7sec 2606moves 777pushes 172 [15*16(15)] OK 56sec 1231moves 334pushes 173 [13*12(10)] OK 6sec 579moves 87pushes 174 [19*18(24)] OK 4sec 1384moves 439pushes 175 [17*17(14)] OK 59sec 2130moves 402pushes 176 [14*12(10)] OK 4sec 760moves 162pushes 177 [18*15(12)] OK 366sec 962moves 229pushes 178 [16*17(18)] X 600sec 179 [15*13(13)] OK 50sec 829moves 183pushes 180 [18*16(15)] OK 192sec 1997moves 365pushes 181 [19*15(14)] OK 3sec 884moves 244pushes 182 [23*14(16)] X 600sec 183 [13*16(14)] OK 24sec 1359moves 302pushes 184 [15*10(20)] OK 4sec 433moves 77pushes 185 [10* 8(10)] OK 1sec 150moves 39pushes 186 [22*14(15)] OK 143sec 1606moves 411pushes 187 [19*14(20)] OK 12sec 1115moves 453pushes 188 [18*18(35)] OK 38sec 2702moves 731pushes 189 [17*14(18)] X 600sec 190 [19*16(19)] OK 11sec 1153moves 334pushes 191 [ 9*18(30)] OK 29sec 577moves 125pushes 192 [ 8* 8( 6)] OK 1sec 64moves 19pushes 193 [11* 9( 6)] OK 2sec 356moves 50pushes 194 [29*20(18)] OK 12sec 1912moves 636pushes 195 [14*14(15)] OK 27sec 1094moves 354pushes 196 [13*10(34)] X 600sec 197 [11*11(10)] OK 2sec 709moves 149pushes 198 [13*13( 9)] OK 4sec 909moves 193pushes 199 [13*10( 8)] OK 1sec 513moves 143pushes 200 [14*11(16)] OK 2sec 316moves 78pushes 201 [17*10( 8)] OK 2sec 305moves 68pushes 202 [25*15(21)] OK 82sec 1648moves 468pushes 203 [23*13(20)] X 600sec 204 [31*19(74)] - 205 [19*11(50)] OK 285sec 525moves 160pushes 206 [17*13(19)] X 301sec 207 [11* 8(11)] OK 6sec 466moves 108pushes 208 [12*10( 6)] OK 6sec 291moves 96pushes 209 [20*14( 8)] OK 4sec 514moves 167pushes 210 [13*12(13)] OK 4sec 356moves 64pushes 211 [10* 9( 9)] OK 1sec 149moves 43pushes 212 [16*14(23)] OK 62sec 967moves 178pushes 213 [24*17(28)] OK 80sec 3136moves 928pushes 214 [19*16(17)] X 384sec 215 [16*15(16)] OK 2sec 683moves 160pushes 216 [19*15(14)] X 600sec 217 [24*16(20)] OK 11sec 2151moves 513pushes 218 [19*16(23)] OK 280sec 1659moves 545pushes 219 [18*17(22)] OK 415sec 1681moves 541pushes 220 [20*15(20)] X 510sec 221 [13*13(12)] OK 1sec 519moves 146pushes 222 [ 7* 9(11)] OK 2sec 121moves 31pushes 223 [ 9* 8(14)] OK 2sec 139moves 34pushes 224 [ 9* 9(12)] OK 11sec 258moves 49pushes 225 [ 7* 9( 7)] OK 1sec 96moves 20pushes 226 [12* 7( 5)] OK 1sec 93moves 23pushes 227 [ 8* 9(10)] OK 1sec 154moves 39pushes 228 [15*15(37)] X 410sec 229 [11* 9(12)] OK 2sec 441moves 132pushes 230 [16*10(18)] X 290sec 231 [17*16(19)] X 600sec 232 [11* 8(11)] OK 1sec 154moves 44pushes 233 [11*10( 7)] OK 4sec 224moves 31pushes 234 [29*17(66)] - 235 [12*13(13)] OK 2sec 466moves 129pushes 236 [19*19(21)] X 600sec 237 [13*13(12)] OK 31sec 289moves 104pushes 238 [28*20(34)] X 600sec 239 [18* 9(38)] X 601sec 240 [21*19(23)] X 600sec 241 [13*12( 9)] OK 3sec 703moves 205pushes 242 [13*12(14)] OK 11sec 464moves 135pushes 243 [11*11(11)] OK 1sec 210moves 53pushes 244 [22*14(14)] X 427sec 245 [12*12(16)] OK 16sec 316moves 96pushes 246 [15*15(13)] OK 2sec 477moves 80pushes 247 [23*13(17)] OK 43sec 1544moves 401pushes 248 [20*12(24)] X 600sec 249 [15*17(16)] OK 39sec 752moves 206pushes 250 [15*15(17)] X 600sec 251 [16*18(20)] X 519sec 252 [14*13(14)] X 600sec 253 [20*14(16)] OK 18sec 1738moves 480pushes 254 [17*16(21)] OK 5sec 1072moves 321pushes 255 [18*14(11)] OK 25sec 978moves 277pushes 256 [17*15(17)] OK 11sec 835moves 209pushes 257 [17*15(19)] OK 5sec 1176moves 358pushes 258 [13* 8(12)] OK 1sec 212moves 48pushes 259 [15*15(24)] X 600sec 260 [19*13(34)] X 600sec 261 [19*13(21)] OK 35sec 325moves 92pushes 262 [12*12(11)] OK 4sec 434moves 91pushes 263 [13*10(10)] OK 5sec 427moves 120pushes 264 [27*16(22)] X 600sec 265 [17*17(20)] OK 1sec 562moves 167pushes 266 [23*20(28)] X 600sec 267 [32*18(50)] X 600sec 268 [18*11(16)] OK 58sec 1659moves 348pushes 269 [ 7* 9(11)] OK 1sec 122moves 37pushes 270 [13*13(13)] OK 4sec 580moves 82pushes 271 [16*15(21)] X 265sec 272 [13*10( 3)] OK 3sec 574moves 83pushes 273 [17*12(19)] X 600sec 274 [18*10(21)] X 161sec 275 [18*13(14)] OK 92sec 1297moves 237pushes 276 [17*13(21)] X 258sec 277 [ 9* 7( 9)] OK 0sec 175moves 30pushes 278 [11*10( 8)] OK 2sec 187moves 26pushes 279 [18*18(36)] X 600sec 280 [ 7* 9(11)] OK 1sec 113moves 28pushes 281 [18*13(19)] X 600sec 282 [18*13(25)] X 600sec 283 [31*16(59)] X 600sec 284 [25*18(24)] X 87sec 285 [ 7* 7( 6)] OK 1sec 62moves 12pushes 286 [11* 9( 5)] OK 1sec 239moves 50pushes 287 [20*12(17)] X 600sec 288 [18* 9(15)] X 396sec 289 [32*20(31)] X 600sec 290 [19*16(20)] OK 66sec 1321moves 383pushes 291 [27*18(27)] X 600sec 292 [19*18(22)] X 155sec 293 [15*15(13)] X 600sec 294 [21*16(20)] OK 478sec 1741moves 440pushes 295 [31*20(41)] X 600sec 296 [20* 9(37)] X 600sec 297 [21*18(22)] X 600sec 298 [13* 7( 7)] OK 1sec 166moves 42pushes 299 [ 9* 9( 9)] OK 1sec 210moves 39pushes 300 [15*13(22)] OK 15sec 466moves 68pushes 301 [26*16(32)] X 600sec 302 [26*16(47)] OK 35sec 4135moves1159pushes 303 [25*18(41)] X 600sec 304 [19*17(53)] X 600sec 305 [15*15(61)] X 600sec 306 [25*16(43)] X 600sec ---------------- (2007/08/06 18:47:22 Finish) Solved = 237 Cancel(-) = 3 Failed(X) = 66 Skips (?) = 0 ---------------- Total = 306