SolverStatistics-takaken-SvenEgevad
From Sokoban Wiki
(Difference between revisions)
Revision as of 07:07, 1 December 2017
- Program
- Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken)
- RAM
- 1500 MiB
- Computer
- Intel(R) Core(TM) i5 6600K @ 4.70 GHz, 32 GiB RAM
- Solving method
- Default settings
- Time limit
- 600 seconds = 10 minutes
# Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Takaken # Options: TimeLimit=600sec / Memory=1500MB / BeginEnd=On # LevelSetName = Sven_1623.xsb (2017/11/29 22:18:47 Start) 1 [19*16(36)] OK 8sec 1266moves 146pushes 2 [19*16(41)] OK 3sec 1907moves 890pushes 3 [19*16(12)] OK 55sec 653moves 147pushes 4 [19*16(24)] OK 2sec 563moves 118pushes 5 [19*16(15)] OK 3sec 547moves 103pushes 6 [19*16(29)] OK 1sec 1389moves 460pushes 7 [19*16(31)] X 600sec 8 [19*16( 8)] OK 0sec 1040moves 279pushes 9 [19*16( 8)] OK 0sec 444moves 41pushes 10 [19*16(17)] X 428sec 11 [19*16(60)] OK 26sec 1932moves 572pushes 12 [19*16(16)] X 600sec 13 [19*16(14)] OK 0sec 1371moves 433pushes 14 [19*15(14)] OK 0sec 2016moves 594pushes 15 [19*16(36)] X 319sec 16 [19*16(40)] X 600sec 17 [19*16(29)] OK 1sec 1818moves 429pushes 18 [19*16(39)] OK 4sec 1490moves 518pushes 19 [19*16(30)] OK 2sec 2600moves 742pushes 20 [19*16( 8)] OK 0sec 2006moves 126pushes 21 [19*16(48)] OK 173sec 2327moves 457pushes 22 [19*16(14)] OK 1sec 966moves 220pushes 23 [19*16(42)] X 600sec 24 [19*16(57)] X 600sec 25 [19*16(17)] OK 2sec 457moves 87pushes 26 [13*13(32)] OK 0sec 270moves 28pushes 27 [10*10(16)] OK 0sec 257moves 50pushes 28 [11* 8(14)] OK 1sec 238moves 54pushes 29 [11*14(15)] OK 1sec 258moves 57pushes 30 [18*16(26)] X 600sec 31 [19*16(16)] OK 0sec 2314moves 691pushes 32 [15*15( 8)] OK 0sec 300moves 18pushes 33 [15*15( 6)] OK 1sec 704moves 91pushes 34 [19*16(36)] OK 2sec 1152moves 402pushes 35 [13*12( 6)] OK 1sec 188moves 21pushes 36 [12*12(13)] OK 1sec 343moves 52pushes 37 [19*16( 8)] OK 0sec 918moves 198pushes 38 [17*16(16)] OK 0sec 234moves 52pushes 39 [19*16(12)] OK 2sec 1108moves 153pushes 40 [19*16( 8)] OK 0sec 884moves 54pushes 41 [11* 9(12)] OK 1sec 132moves 15pushes 42 [19*16(90)] - 43 [19*16(20)] OK 2sec 660moves 238pushes 44 [ 9* 9( 4)] OK 0sec 55moves 10pushes 45 [19*16( 8)] OK 0sec 1537moves 442pushes 46 [19*16(41)] OK 2sec 961moves 208pushes 47 [19*17(17)] OK 1sec 3261moves 494pushes 48 [11*11(30)] OK 2sec 317moves 84pushes 49 [19*16(34)] OK 2sec 809moves 317pushes 50 [11*12(21)] OK 2sec 240moves 45pushes 51 [13*11( 4)] OK 0sec 69moves 7pushes 52 [12*12(16)] OK 1sec 325moves 98pushes 53 [12* 9(14)] OK 2sec 163moves 44pushes 54 [12* 9(14)] OK 0sec 188moves 48pushes 55 [14*14(28)] OK 22sec 368moves 134pushes 56 [13*13(31)] Ok 158sec 92moves 24pushes 57 [13*13(31)] OK 1sec 399moves 36pushes 58 [13*13(31)] OK 7sec 878moves 104pushes 59 [13*13(29)] OK 4sec 388moves 50pushes 60 [11*13(29)] OK 1sec 276moves 34pushes 61 [11*13(27)] Ok 192sec 776moves 162pushes 62 [11*13(27)] Ok 116sec 590moves 110pushes 63 [11*13(27)] Ok 304sec 524moves 104pushes 64 [12*12(25)] OK 1sec 508moves 88pushes 65 [12*12(25)] OK 0sec 319moves 68pushes 66 [ 9* 9(16)] OK 3sec 209moves 46pushes 67 [ 9* 9(16)] OK 0sec 99moves 28pushes 68 [ 9* 9(15)] OK 0sec 107moves 28pushes 69 [ 9* 9(16)] OK 0sec 123moves 28pushes 70 [ 9* 9(15)] OK 1sec 177moves 38pushes 71 [ 8* 8( 8)] OK 0sec 90moves 30pushes 72 [ 8* 8( 8)] OK 0sec 91moves 30pushes 73 [11*11( 8)] OK 0sec 91moves 18pushes 74 [13*13(16)] OK 2sec 213moves 56pushes 75 [11*11( 8)] OK 1sec 45moves 10pushes 76 [ 7* 7( 2)] OK 0sec 43moves 7pushes 77 [ 6* 9( 2)] OK 0sec 39moves 9pushes 78 [ 7* 9( 2)] OK 0sec 43moves 15pushes 79 [11*11( 4)] OK 0sec 103moves 20pushes 80 [15*15( 8)] OK 0sec 116moves 52pushes 81 [17* 7(13)] OK 15sec 381moves 64pushes 82 [17*13(20)] X 600sec 83 [10*10( 8)] OK 0sec 187moves 30pushes 84 [11*11(12)] OK 31sec 291moves 28pushes 85 [11*11(12)] OK 1sec 305moves 64pushes 86 [17*17( 8)] OK 1sec 403moves 32pushes 87 [13* 9( 6)] OK 0sec 129moves 22pushes 88 [13* 9( 8)] OK 0sec 150moves 24pushes 89 [13* 9( 8)] OK 0sec 178moves 30pushes 90 [13*11(10)] OK 1sec 210moves 34pushes 91 [13*11(10)] OK 1sec 179moves 28pushes 92 [13*13( 8)] OK 1sec 157moves 28pushes 93 [14* 9(25)] OK 1sec 201moves 51pushes 94 [14* 9(25)] OK 1sec 255moves 55pushes 95 [14* 9(25)] OK 0sec 222moves 55pushes 96 [17* 9(25)] OK 73sec 197moves 40pushes 97 [17* 9(25)] X 600sec 98 [17* 9(25)] OK 1sec 131moves 34pushes 99 [17* 9(25)] OK 20sec 120moves 32pushes 100 [11* 8( 6)] OK 0sec 164moves 35pushes 101 [11*10( 9)] OK 0sec 433moves 89pushes 102 [19*10(13)] OK 1sec 548moves 93pushes 103 [19*11(16)] OK 10sec 685moves 95pushes 104 [17*13(25)] OK 21sec 479moves 107pushes 105 [17*13(25)] OK 2sec 423moves 119pushes 106 [19*16(13)] OK 38sec 861moves 166pushes 107 [17*12(33)] OK 4sec 1015moves 153pushes 108 [17*12(33)] OK 13sec 606moves 125pushes 109 [16*12(32)] OK 10sec 493moves 87pushes 110 [16*12(32)] OK 8sec 717moves 109pushes 111 [17*12(33)] OK 5sec 563moves 88pushes 112 [17*12(33)] OK 18sec 845moves 180pushes 113 [12*13(12)] OK 0sec 565moves 127pushes 114 [13*14(12)] OK 0sec 738moves 124pushes 115 [13*12(33)] OK 5sec 455moves 87pushes 116 [13*12(33)] OK 6sec 590moves 89pushes 117 [12*12(34)] OK 8sec 450moves 70pushes 118 [12*12(34)] OK 3sec 706moves 118pushes 119 [17*11(24)] OK 0sec 122moves 18pushes 120 [16*11(25)] OK 0sec 121moves 21pushes 121 [17*11(23)] OK 0sec 310moves 26pushes 122 [16*11(21)] OK 0sec 127moves 25pushes 123 [17*11(19)] OK 0sec 292moves 26pushes 124 [16*11(19)] OK 1sec 139moves 27pushes 125 [17*11(13)] OK 0sec 298moves 36pushes 126 [16*15(59)] OK 2sec 440moves 78pushes 127 [17*11(11)] OK 0sec 362moves 28pushes 128 [16*11(17)] OK 0sec 232moves 37pushes 129 [15*11(11)] OK 0sec 272moves 26pushes 130 [13*11(11)] OK 0sec 170moves 26pushes 131 [ 8*11( 7)] OK 0sec 136moves 34pushes 132 [12*10(15)] OK 1sec 230moves 44pushes 133 [12*10(15)] OK 1sec 236moves 42pushes 134 [ 9* 9(15)] OK 1sec 154moves 20pushes 135 [ 9* 9(15)] OK 1sec 110moves 22pushes 136 [11* 8( 5)] OK 0sec 84moves 22pushes 137 [10*10(19)] OK 2sec 204moves 38pushes 138 [10*10(19)] OK 2sec 314moves 46pushes 139 [11*11(24)] X 102sec 140 [11*11(25)] X 108sec 141 [19*14(25)] OK 1sec 906moves 255pushes 142 [11*13(28)] OK 2sec 378moves 70pushes 143 [11*11(28)] OK 7sec 748moves 130pushes 144 [19*16(31)] X 92sec 145 [19*13(14)] OK 1sec 732moves 276pushes 146 [16*12(17)] X 308sec 147 [11*11(23)] OK 10sec 290moves 46pushes 148 [11*11(23)] OK 10sec 370moves 56pushes 149 [11*11(23)] OK 0sec 142moves 20pushes 150 [11*11(23)] OK 11sec 582moves 88pushes 151 [11*11(23)] OK 1sec 558moves 102pushes 152 [13*13(10)] OK 1sec 693moves 215pushes 153 [11*11(23)] OK 7sec 426moves 58pushes 154 [11*11(23)] OK 7sec 584moves 88pushes 155 [12*12(27)] OK 13sec 1008moves 104pushes 156 [13*13(31)] X 600sec 157 [ 8* 8(11)] OK 0sec 66moves 10pushes 158 [14*14(35)] OK 34sec 1384moves 172pushes 159 [12*12(38)] Ok 88sec 176moves 28pushes 160 [13*13(46)] OK 27sec 1984moves 216pushes 161 [14*14(54)] OK 54sec 1694moves 192pushes 162 [11*11(21)] OK 1sec 154moves 20pushes 163 [12*12(25)] OK 2sec 264moves 42pushes 164 [17*17(43)] X 600sec 165 [16*13(39)] X 600sec 166 [15*15(54)] OK 32sec 968moves 138pushes 167 [15*15(54)] OK 62sec 1376moves 140pushes 168 [16*13(14)] OK 8sec 934moves 216pushes 169 [19*10(37)] X 600sec 170 [19*13(46)] X 178sec 171 [19*13(47)] OK 14sec 923moves 161pushes 172 [19*13(49)] OK 10sec 905moves 226pushes 173 [19*13(50)] X 600sec 174 [ 8* 9( 9)] OK 0sec 121moves 26pushes 175 [17* 9(20)] X 600sec 176 [17*11(27)] X 600sec 177 [19*16(45)] OK 9sec 2733moves1128pushes 178 [19*16(39)] X 600sec 179 [ 9* 9(13)] OK 0sec 40moves 4pushes 180 [ 9* 9(13)] OK 1sec 45moves 6pushes 181 [11*11(25)] OK 1sec 127moves 14pushes 182 [11*11(25)] OK 2sec 187moves 36pushes 183 [13*15(41)] OK 104sec 541moves 104pushes 184 [13*11(21)] OK 1sec 146moves 45pushes 185 [ 9*10( 9)] OK 0sec 152moves 55pushes 186 [ 9*10( 9)] OK 0sec 116moves 37pushes 187 [13*13(32)] OK 4sec 788moves 140pushes 188 [13*15(43)] X 600sec 189 [13*13(32)] OK 4sec 387moves 114pushes 190 [ 7* 7( 5)] OK 1sec 40moves 8pushes 191 [ 9* 9(13)] OK 0sec 142moves 16pushes 192 [11*11(25)] OK 0sec 390moves 46pushes 193 [15* 9( 9)] OK 0sec 154moves 35pushes 194 [19* 9(12)] OK 1sec 200moves 42pushes 195 [ 9*12( 9)] OK 0sec 168moves 60pushes 196 [19*16(61)] X 600sec 197 [19*16(62)] X 600sec 198 [19*16(63)] X 600sec 199 [17*15(71)] X 600sec 200 [19*10(20)] X 267sec 201 [13*13(25)] OK 1sec 509moves 159pushes 202 [17*17(27)] OK 14sec 1150moves 337pushes 203 [13* 9(26)] Ok 85sec 258moves 54pushes 204 [13*13(43)] Ok 439sec 886moves 188pushes 205 [19*16(61)] X 600sec 206 [19*16(64)] X 600sec 207 [19*16(62)] X 600sec 208 [19*16(61)] X 600sec 209 [19*16(59)] X 600sec 210 [11*16(21)] OK 0sec 109moves 25pushes 211 [13*13(37)] X 600sec 212 [11*11(30)] Ok 4sec 140moves 22pushes 213 [14*14(55)] X 600sec 214 [17* 9(37)] X 600sec 215 [13*13(44)] X 600sec 216 [17*15(65)] - 217 [17*13(49)] X 600sec 218 [17*15(65)] - 219 [17*13(49)] X 600sec 220 [13*17(48)] X 600sec 221 [17*17(84)] - 222 [17*17(73)] - 223 [17*17(66)] - 224 [17*17(87)] - 225 [17*17(75)] - 226 [19*16(62)] X 600sec 227 [19*16(63)] X 600sec 228 [19*16(66)] - 229 [17*12(12)] OK 12sec 600moves 118pushes 230 [19*13(22)] OK 1sec 645moves 216pushes 231 [19*16(64)] X 600sec 232 [15*15(65)] - 233 [15*15(66)] - 234 [18*18(36)] OK 2sec 1579moves 589pushes 235 [18*17(37)] X 600sec 236 [14*12( 9)] OK 27sec 490moves 89pushes 237 [17*15(13)] OK 3sec 505moves 82pushes 238 [18*13(12)] OK 1sec 930moves 145pushes 239 [12*16(23)] OK 10sec 833moves 247pushes 240 [19*15(25)] OK 13sec 1311moves 391pushes 241 [13*12(17)] OK 1sec 515moves 138pushes 242 [13*12(17)] OK 0sec 443moves 146pushes 243 [19* 7(17)] OK 1sec 900moves 121pushes 244 [19* 7(17)] OK 1sec 629moves 126pushes 245 [13* 9(21)] OK 4sec 129moves 30pushes 246 [11*11(21)] OK 4sec 298moves 36pushes 247 [11*11(21)] OK 1sec 590moves 66pushes 248 [11*11(21)] OK 0sec 79moves 24pushes 249 [13*13(32)] X 349sec 250 [13*13(34)] Ok 229sec 840moves 156pushes 251 [ 9*10(13)] OK 0sec 178moves 58pushes 252 [ 9* 9( 4)] OK 0sec 55moves 10pushes 253 [ 8* 8( 4)] OK 0sec 55moves 14pushes 254 [ 8* 8( 4)] OK 0sec 51moves 12pushes 255 [ 8* 8( 4)] OK 0sec 43moves 12pushes 256 [11*10( 6)] OK 0sec 142moves 26pushes 257 [15*12( 8)] OK 1sec 402moves 70pushes 258 [13*11( 8)] OK 0sec 214moves 22pushes 259 [11*11(24)] OK 1sec 357moves 100pushes 260 [11* 7(14)] OK 0sec 187moves 48pushes 261 [11* 9(15)] OK 0sec 207moves 37pushes 262 [ 8* 8( 4)] OK 0sec 37moves 14pushes 263 [ 8* 8( 4)] OK 0sec 25moves 8pushes 264 [ 8* 8( 4)] OK 0sec 37moves 12pushes 265 [ 8* 8( 4)] OK 0sec 45moves 12pushes 266 [ 8* 8( 4)] OK 0sec 57moves 18pushes 267 [14*12(16)] OK 0sec 572moves 183pushes 268 [15*15(30)] X 600sec 269 [11*10( 8)] OK 0sec 97moves 27pushes 270 [19*11(49)] X 600sec 271 [19*16(63)] X 440sec 272 [19*16(19)] X 600sec 273 [19*16(28)] X 145sec 274 [19*16(29)] X 308sec 275 [13*10(14)] OK 0sec 125moves 18pushes 276 [11*10(14)] OK 1sec 77moves 14pushes 277 [13*10(14)] OK 3sec 178moves 28pushes 278 [19*16(57)] X 600sec 279 [19*16(41)] X 600sec 280 [16*16(56)] OK 46sec 1223moves 334pushes 281 [13*13(13)] OK 2sec 614moves 124pushes 282 [11*13(14)] OK 1sec 222moves 42pushes 283 [15*15(29)] X 348sec 284 [11*13(13)] OK 0sec 330moves 77pushes 285 [11*11(13)] OK 3sec 744moves 145pushes 286 [11* 9(15)] OK 1sec 279moves 65pushes 287 [13*13(20)] X 109sec 288 [15*15( 8)] OK 1sec 510moves 46pushes 289 [11*15(13)] OK 0sec 1076moves 222pushes 290 [19*14(18)] OK 1sec 327moves 109pushes 291 [19*16(49)] OK 14sec 1831moves 639pushes 292 [18*15(27)] X 513sec 293 [16*16(51)] X 600sec 294 [ 9* 9(13)] OK 0sec 69moves 25pushes 295 [19*16(29)] X 600sec 296 [13* 9(23)] OK 3sec 395moves 126pushes 297 [13*13(41)] OK 64sec 715moves 174pushes 298 [ 7* 7( 6)] OK 0sec 48moves 8pushes 299 [13*13(41)] OK 10sec 1492moves 430pushes 300 [13*13(41)] OK 26sec 761moves 204pushes 301 [19*16(35)] X 467sec 302 [13* 6(13)] OK 1sec 103moves 13pushes 303 [15* 6(16)] OK 0sec 106moves 14pushes 304 [14*11(32)] OK 3sec 425moves 48pushes 305 [12*11(28)] Ok 94sec 279moves 30pushes 306 [12*11(30)] OK 6sec 111moves 21pushes 307 [12*11(29)] OK 6sec 648moves 65pushes 308 [11*11(27)] OK 4sec 304moves 48pushes 309 [11*11(28)] OK 0sec 163moves 37pushes 310 [11*11(28)] OK 7sec 227moves 47pushes 311 [14*11(31)] OK 1sec 580moves 84pushes 312 [17*11(34)] OK 1sec 628moves 74pushes 313 [17*11(32)] OK 8sec 447moves 62pushes 314 [ 8* 9( 3)] OK 1sec 110moves 30pushes 315 [ 7* 9( 3)] OK 0sec 60moves 17pushes 316 [ 7* 9( 4)] OK 0sec 126moves 35pushes 317 [10* 9( 5)] OK 0sec 113moves 24pushes 318 [10*10( 7)] OK 0sec 209moves 58pushes 319 [10*11( 9)] OK 0sec 337moves 99pushes 320 [10*12(11)] OK 1sec 465moves 141pushes 321 [13*11( 5)] OK 0sec 120moves 20pushes 322 [11* 9( 5)] OK 0sec 116moves 17pushes 323 [11* 9( 5)] OK 0sec 86moves 13pushes 324 [ 9*12(16)] OK 1sec 161moves 24pushes 325 [ 9*12(16)] OK 1sec 254moves 36pushes 326 [13*13(24)] Ok 66sec 696moves 124pushes 327 [13*13(24)] X 600sec 328 [13*13(24)] OK 1sec 212moves 38pushes 329 [12* 9(12)] OK 1sec 286moves 82pushes 330 [ 9* 9(15)] OK 1sec 90moves 18pushes 331 [10* 9(17)] OK 1sec 244moves 35pushes 332 [11* 9(19)] OK 1sec 83moves 22pushes 333 [11*11(24)] OK 4sec 225moves 38pushes 334 [11*11(24)] OK 0sec 234moves 42pushes 335 [13* 8(17)] OK 0sec 232moves 55pushes 336 [13* 8(18)] OK 0sec 83moves 25pushes 337 [13* 8(17)] OK 1sec 152moves 33pushes 338 [11*10(18)] OK 1sec 125moves 21pushes 339 [11*10(18)] OK 0sec 140moves 18pushes 340 [17*13(48)] OK 211sec 2626moves 286pushes 341 [17*13(48)] OK 61sec 693moves 97pushes 342 [17* 9(25)] OK 1sec 187moves 36pushes 343 [17*17(51)] X 600sec 344 [15* 8(17)] OK 0sec 106moves 16pushes 345 [15*15(35)] OK 6sec 991moves 154pushes 346 [13* 7( 9)] OK 0sec 39moves 10pushes 347 [13*13(19)] OK 8sec 363moves 48pushes 348 [ 9* 9(10)] OK 0sec 122moves 34pushes 349 [ 9* 9( 9)] OK 0sec 170moves 32pushes 350 [ 9* 7( 5)] OK 0sec 60moves 14pushes 351 [ 9* 7( 5)] OK 1sec 58moves 14pushes 352 [ 9*15( 8)] OK 0sec 105moves 32pushes 353 [ 9*12( 7)] OK 0sec 188moves 25pushes 354 [ 9*13( 8)] OK 0sec 129moves 24pushes 355 [ 7* 9( 4)] OK 0sec 52moves 14pushes 356 [ 9* 8(12)] OK 1sec 114moves 23pushes 357 [ 9* 9(15)] OK 0sec 215moves 38pushes 358 [ 9* 8( 8)] OK 0sec 168moves 44pushes 359 [ 9* 8(11)] OK 0sec 81moves 25pushes 360 [ 9* 9(18)] OK 0sec 51moves 20pushes 361 [ 9* 9(18)] OK 1sec 51moves 20pushes 362 [ 9* 9(14)] OK 0sec 70moves 21pushes 363 [ 9* 9(14)] OK 0sec 299moves 55pushes 364 [ 9* 9(12)] OK 0sec 71moves 17pushes 365 [11*11( 7)] OK 0sec 152moves 40pushes 366 [11*11( 7)] OK 1sec 86moves 44pushes 367 [11*11( 7)] OK 1sec 131moves 50pushes 368 [11*11( 7)] OK 1sec 200moves 58pushes 369 [ 9* 9( 5)] OK 0sec 131moves 32pushes 370 [ 9* 9( 5)] OK 0sec 131moves 32pushes 371 [ 9* 9( 5)] OK 0sec 111moves 29pushes 372 [ 9* 9( 5)] OK 0sec 111moves 29pushes 373 [ 9* 8( 5)] OK 0sec 125moves 30pushes 374 [11*10( 5)] OK 0sec 201moves 35pushes 375 [11*10( 5)] OK 0sec 201moves 35pushes 376 [11*10( 5)] OK 0sec 147moves 38pushes 377 [11*11( 5)] OK 1sec 160moves 42pushes 378 [11*10( 5)] OK 0sec 195moves 41pushes 379 [ 9*10( 5)] OK 0sec 91moves 27pushes 380 [ 9*10( 5)] OK 0sec 135moves 31pushes 381 [ 9*10( 5)] OK 0sec 98moves 36pushes 382 [ 9*10( 5)] OK 1sec 98moves 28pushes 383 [ 9*10( 5)] OK 0sec 87moves 30pushes 384 [ 9*10( 7)] OK 0sec 91moves 34pushes 385 [ 9* 9( 8)] OK 0sec 79moves 24pushes 386 [10*11(10)] OK 1sec 203moves 26pushes 387 [10*11(10)] OK 0sec 157moves 27pushes 388 [ 9* 9(12)] OK 0sec 216moves 44pushes 389 [ 9* 9(12)] OK 0sec 248moves 39pushes 390 [ 9* 9(12)] OK 0sec 232moves 32pushes 391 [ 9* 9(12)] OK 1sec 236moves 32pushes 392 [ 9* 9(12)] OK 1sec 232moves 31pushes 393 [ 9* 9(12)] OK 0sec 216moves 31pushes 394 [ 9* 9(12)] OK 0sec 152moves 28pushes 395 [ 9* 9(12)] OK 0sec 71moves 23pushes 396 [ 9* 9(12)] OK 1sec 183moves 29pushes 397 [13*11(17)] OK 0sec 109moves 28pushes 398 [13*11(16)] OK 0sec 194moves 51pushes 399 [13*11(17)] OK 0sec 192moves 38pushes 400 [13*11(17)] OK 1sec 189moves 40pushes 401 [ 8* 8( 8)] OK 0sec 127moves 32pushes 402 [ 8* 8( 9)] OK 0sec 165moves 37pushes 403 [ 8* 8( 9)] OK 1sec 183moves 39pushes 404 [ 8* 8( 9)] OK 0sec 181moves 39pushes 405 [ 8* 8(10)] OK 0sec 61moves 20pushes 406 [ 8* 8(10)] OK 0sec 61moves 17pushes 407 [ 8* 8(11)] OK 0sec 27moves 10pushes 408 [ 8* 8(10)] OK 0sec 67moves 17pushes 409 [ 8* 8(10)] OK 0sec 39moves 15pushes 410 [ 8* 8(10)] OK 1sec 66moves 17pushes 411 [ 8* 8(10)] OK 0sec 59moves 17pushes 412 [ 8* 8(10)] OK 0sec 35moves 15pushes 413 [ 8* 8(10)] OK 0sec 69moves 20pushes 414 [ 8* 8(10)] OK 0sec 74moves 23pushes 415 [ 8* 8(10)] OK 0sec 74moves 23pushes 416 [ 8* 8(10)] OK 0sec 76moves 21pushes 417 [ 8* 8(10)] OK 1sec 86moves 25pushes 418 [ 8* 8(10)] OK 0sec 67moves 19pushes 419 [ 8* 8(10)] OK 0sec 44moves 15pushes 420 [ 8* 8(10)] OK 0sec 64moves 16pushes 421 [ 8* 8(10)] OK 0sec 50moves 16pushes 422 [ 8* 8(10)] OK 0sec 43moves 13pushes 423 [ 8* 8(10)] OK 0sec 71moves 20pushes 424 [ 8* 8(10)] OK 1sec 80moves 19pushes 425 [ 8* 8(10)] OK 0sec 66moves 19pushes 426 [ 8* 8(10)] OK 0sec 43moves 14pushes 427 [ 8* 8(10)] OK 0sec 45moves 14pushes 428 [ 7* 8( 6)] OK 0sec 30moves 9pushes 429 [ 7* 8( 6)] OK 0sec 42moves 9pushes 430 [ 7* 7( 4)] OK 0sec 43moves 10pushes 431 [13* 7( 9)] OK 1sec 180moves 36pushes 432 [13* 7(10)] OK 0sec 180moves 46pushes 433 [13* 7(10)] OK 0sec 216moves 50pushes 434 [13* 7(10)] OK 0sec 214moves 48pushes 435 [13* 7( 9)] OK 1sec 178moves 48pushes 436 [ 9* 9( 8)] OK 0sec 121moves 20pushes 437 [ 9* 9( 8)] OK 0sec 150moves 28pushes 438 [ 9* 9( 8)] OK 0sec 180moves 42pushes 439 [ 9* 9( 8)] OK 1sec 138moves 28pushes 440 [ 9* 9( 8)] OK 0sec 216moves 38pushes 441 [13* 7(15)] OK 0sec 273moves 66pushes 442 [13* 7(15)] OK 1sec 313moves 76pushes 443 [13* 7(15)] OK 1sec 267moves 60pushes 444 [13* 7(15)] OK 1sec 287moves 70pushes 445 [13* 7(15)] OK 0sec 277moves 67pushes 446 [13* 7(15)] OK 1sec 227moves 47pushes 447 [13* 7(14)] OK 1sec 167moves 28pushes 448 [11*11( 4)] OK 0sec 89moves 30pushes 449 [11*11( 4)] OK 0sec 89moves 30pushes 450 [11*11( 6)] OK 0sec 110moves 33pushes 451 [ 9* 7( 9)] OK 1sec 95moves 27pushes 452 [ 9* 7( 9)] OK 0sec 88moves 27pushes 453 [ 9* 7( 9)] OK 0sec 75moves 27pushes 454 [ 9* 7( 8)] OK 1sec 44moves 10pushes 455 [ 9* 7( 9)] OK 0sec 51moves 9pushes 456 [13* 7( 9)] OK 0sec 180moves 55pushes 457 [13* 7( 9)] OK 0sec 65moves 25pushes 458 [ 9* 9(11)] OK 1sec 152moves 31pushes 459 [ 9* 9(11)] OK 0sec 158moves 35pushes 460 [ 9* 9(11)] OK 0sec 69moves 20pushes 461 [10*10(12)] OK 0sec 51moves 17pushes 462 [10*10(11)] OK 1sec 90moves 23pushes 463 [10*10(11)] OK 0sec 98moves 23pushes 464 [10*10(12)] OK 0sec 197moves 35pushes 465 [10*10(12)] OK 0sec 202moves 35pushes 466 [10*10(11)] OK 0sec 249moves 37pushes 467 [10*10(11)] OK 1sec 220moves 37pushes 468 [10*10(18)] OK 1sec 165moves 30pushes 469 [10*10(18)] OK 1sec 195moves 28pushes 470 [10*10(17)] OK 1sec 82moves 20pushes 471 [10* 9(16)] OK 1sec 1048moves 220pushes 472 [10* 9(16)] OK 1sec 491moves 102pushes 473 [10* 9(18)] OK 1sec 94moves 31pushes 474 [10* 9(18)] OK 0sec 94moves 31pushes 475 [10* 9(18)] OK 0sec 102moves 29pushes 476 [10* 9(18)] OK 0sec 60moves 18pushes 477 [10* 9(18)] OK 1sec 61moves 22pushes 478 [10* 9(18)] OK 0sec 76moves 21pushes 479 [10* 9(18)] OK 0sec 70moves 21pushes 480 [10* 9(16)] OK 0sec 75moves 23pushes 481 [10* 9(16)] OK 1sec 168moves 26pushes 482 [10* 9(16)] OK 1sec 171moves 26pushes 483 [10* 9(16)] OK 1sec 161moves 26pushes 484 [10* 9(16)] OK 1sec 171moves 26pushes 485 [11* 7( 8)] OK 0sec 109moves 30pushes 486 [11* 7( 8)] OK 0sec 119moves 32pushes 487 [11* 7( 8)] OK 0sec 98moves 28pushes 488 [11* 7( 8)] OK 0sec 97moves 26pushes 489 [11* 7( 9)] OK 1sec 104moves 22pushes 490 [11* 7( 8)] OK 0sec 101moves 18pushes 491 [11*11(14)] OK 1sec 109moves 35pushes 492 [11*11(13)] OK 1sec 87moves 37pushes 493 [11*11(13)] OK 0sec 162moves 37pushes 494 [11*11(13)] OK 0sec 153moves 37pushes 495 [11*11(14)] OK 0sec 194moves 36pushes 496 [11*11(14)] OK 0sec 185moves 38pushes 497 [11*11(14)] OK 0sec 179moves 38pushes 498 [11*11( 9)] OK 0sec 235moves 52pushes 499 [11*11( 9)] OK 1sec 87moves 29pushes 500 [11* 7( 7)] OK 0sec 87moves 32pushes 501 [11* 7( 7)] OK 0sec 73moves 27pushes 502 [11* 7( 7)] OK 1sec 103moves 38pushes 503 [11* 7( 8)] OK 0sec 87moves 32pushes 504 [11* 7( 9)] OK 0sec 81moves 31pushes 505 [ 9* 9(10)] OK 0sec 132moves 47pushes 506 [ 9* 9(10)] OK 1sec 154moves 47pushes 507 [ 9*12( 9)] OK 0sec 236moves 68pushes 508 [13* 6(10)] OK 0sec 159moves 49pushes 509 [13* 6(11)] OK 0sec 158moves 53pushes 510 [11* 6( 8)] OK 1sec 74moves 26pushes 511 [13* 6(11)] OK 0sec 129moves 36pushes 512 [13* 6(12)] OK 0sec 310moves 64pushes 513 [13* 6(12)] OK 0sec 217moves 66pushes 514 [13* 6(12)] OK 0sec 270moves 66pushes 515 [13* 6(12)] OK 0sec 198moves 65pushes 516 [13* 6(12)] OK 1sec 403moves 115pushes 517 [13* 6(12)] OK 1sec 76moves 30pushes 518 [13* 6(12)] OK 0sec 96moves 29pushes 519 [13* 6(12)] OK 0sec 189moves 58pushes 520 [13* 6(12)] OK 0sec 240moves 78pushes 521 [13* 6(12)] OK 1sec 267moves 88pushes 522 [13* 6(11)] OK 0sec 261moves 68pushes 523 [13* 6(11)] OK 0sec 166moves 62pushes 524 [11* 9(18)] OK 0sec 167moves 28pushes 525 [13* 6(11)] OK 1sec 161moves 44pushes 526 [11* 6( 9)] OK 0sec 289moves 70pushes 527 [11* 6( 9)] OK 1sec 259moves 63pushes 528 [11* 6( 9)] OK 0sec 165moves 43pushes 529 [11* 6( 9)] OK 0sec 123moves 41pushes 530 [11* 6( 9)] OK 0sec 225moves 61pushes 531 [11* 6( 9)] OK 0sec 205moves 55pushes 532 [11* 6( 9)] OK 1sec 207moves 49pushes 533 [11* 6( 9)] OK 0sec 141moves 42pushes 534 [ 9* 6( 6)] OK 0sec 137moves 45pushes 535 [ 9* 6( 6)] OK 0sec 105moves 32pushes 536 [ 9* 6( 6)] OK 0sec 97moves 31pushes 537 [ 9* 7( 9)] OK 0sec 197moves 50pushes 538 [ 9* 7( 9)] OK 0sec 212moves 54pushes 539 [ 9* 7(10)] OK 0sec 123moves 36pushes 540 [15* 7( 8)] OK 0sec 223moves 71pushes 541 [10*11( 7)] OK 1sec 161moves 32pushes 542 [13* 7(15)] OK 1sec 209moves 48pushes 543 [13* 7( 8)] OK 0sec 211moves 40pushes 544 [13* 7( 8)] OK 0sec 241moves 46pushes 545 [13* 7( 8)] OK 0sec 203moves 30pushes 546 [13* 7( 8)] OK 0sec 185moves 36pushes 547 [12* 7( 8)] OK 1sec 161moves 27pushes 548 [12* 7( 8)] OK 0sec 207moves 26pushes 549 [12* 7( 8)] OK 0sec 182moves 30pushes 550 [12* 7( 8)] OK 0sec 151moves 27pushes 551 [12* 7( 8)] OK 0sec 168moves 34pushes 552 [11* 7( 6)] OK 1sec 165moves 30pushes 553 [11* 7( 6)] OK 0sec 173moves 30pushes 554 [11* 7( 6)] OK 0sec 118moves 16pushes 555 [11* 7( 7)] OK 0sec 97moves 17pushes 556 [11* 7( 7)] OK 0sec 138moves 30pushes 557 [11* 7( 7)] OK 0sec 148moves 30pushes 558 [11* 7( 7)] OK 1sec 99moves 20pushes 559 [19* 7(20)] OK 0sec 337moves 76pushes 560 [11*15(38)] Ok 231sec 241moves 84pushes 561 [19* 7(22)] OK 0sec 370moves 72pushes 562 [19* 7(16)] OK 0sec 304moves 78pushes 563 [17* 7(16)] OK 1sec 271moves 75pushes 564 [19* 7(21)] OK 1sec 301moves 64pushes 565 [13* 7( 9)] OK 0sec 164moves 34pushes 566 [17* 7(18)] OK 0sec 295moves 72pushes 567 [20* 7(22)] OK 0sec 420moves 132pushes 568 [16* 7(16)] OK 0sec 351moves 112pushes 569 [13* 7( 6)] OK 0sec 171moves 46pushes 570 [ 9* 9(11)] OK 0sec 164moves 26pushes 571 [ 9* 8(10)] OK 0sec 116moves 24pushes 572 [ 9* 7( 8)] OK 0sec 79moves 18pushes 573 [ 8* 7( 7)] OK 1sec 45moves 10pushes 574 [ 9* 8(11)] OK 0sec 62moves 14pushes 575 [ 9* 7( 9)] OK 0sec 70moves 12pushes 576 [13* 7( 8)] OK 1sec 257moves 62pushes 577 [11* 7( 8)] OK 0sec 201moves 58pushes 578 [11* 7( 8)] OK 0sec 207moves 56pushes 579 [11* 7( 8)] OK 0sec 142moves 58pushes 580 [11* 7( 8)] OK 1sec 140moves 40pushes 581 [11* 7( 8)] OK 0sec 148moves 42pushes 582 [ 8* 7( 8)] OK 0sec 99moves 24pushes 583 [ 8* 7( 8)] OK 0sec 175moves 32pushes 584 [ 8* 7( 8)] OK 1sec 122moves 24pushes 585 [ 8* 7( 8)] OK 0sec 111moves 30pushes 586 [ 8* 7( 8)] OK 0sec 152moves 30pushes 587 [ 9* 7( 4)] OK 0sec 99moves 26pushes 588 [ 9* 7( 4)] OK 1sec 100moves 30pushes 589 [ 9* 7( 4)] OK 0sec 125moves 29pushes 590 [ 9* 7( 4)] OK 0sec 129moves 25pushes 591 [13* 7( 8)] OK 1sec 147moves 30pushes 592 [13* 7( 9)] OK 0sec 153moves 38pushes 593 [13* 7( 9)] OK 0sec 175moves 32pushes 594 [13* 7(10)] OK 0sec 167moves 44pushes 595 [13* 7(10)] OK 1sec 171moves 47pushes 596 [13* 7( 6)] OK 0sec 122moves 36pushes 597 [13* 7( 8)] OK 0sec 190moves 44pushes 598 [13* 7(10)] OK 1sec 216moves 50pushes 599 [13* 7( 9)] OK 0sec 148moves 40pushes 600 [13* 7( 8)] OK 0sec 185moves 46pushes 601 [13* 7( 8)] OK 1sec 165moves 46pushes 602 [13* 7( 8)] OK 1sec 106moves 28pushes 603 [13* 7( 8)] OK 0sec 133moves 28pushes 604 [13* 7( 9)] OK 0sec 153moves 32pushes 605 [13* 7( 9)] OK 0sec 139moves 38pushes 606 [13* 7(10)] OK 1sec 159moves 34pushes 607 [13* 7(10)] OK 0sec 171moves 33pushes 608 [11* 8(14)] OK 0sec 191moves 28pushes 609 [11* 8(14)] OK 1sec 191moves 44pushes 610 [11* 8(14)] OK 0sec 148moves 26pushes 611 [11* 8(14)] OK 0sec 135moves 24pushes 612 [11* 8(14)] OK 0sec 117moves 14pushes 613 [11* 6(12)] OK 1sec 99moves 45pushes 614 [11* 6(11)] OK 0sec 39moves 10pushes 615 [11* 6(11)] OK 0sec 53moves 14pushes 616 [10* 7( 9)] OK 1sec 143moves 23pushes 617 [10* 8(12)] OK 0sec 176moves 20pushes 618 [10* 8(12)] OK 0sec 186moves 32pushes 619 [10* 8(12)] OK 0sec 209moves 28pushes 620 [10* 6( 7)] OK 0sec 96moves 18pushes 621 [10* 6( 8)] OK 0sec 108moves 20pushes 622 [10* 6( 8)] OK 0sec 153moves 26pushes 623 [10* 6( 7)] OK 1sec 108moves 28pushes 624 [10* 6( 8)] OK 0sec 53moves 15pushes 625 [10* 6( 8)] OK 0sec 71moves 22pushes 626 [10* 6( 8)] OK 1sec 81moves 24pushes 627 [11* 7(10)] OK 0sec 167moves 45pushes 628 [11* 7(10)] OK 0sec 135moves 30pushes 629 [ 9* 7( 7)] OK 0sec 83moves 28pushes 630 [ 9* 7( 6)] OK 1sec 91moves 25pushes 631 [ 9* 7( 6)] OK 0sec 93moves 19pushes 632 [13* 7(14)] OK 0sec 142moves 32pushes 633 [13* 7(14)] OK 0sec 108moves 30pushes 634 [13* 7(14)] OK 0sec 144moves 32pushes 635 [13* 7(14)] OK 1sec 103moves 30pushes 636 [13* 7(16)] OK 0sec 185moves 51pushes 637 [ 6* 9( 5)] OK 0sec 63moves 16pushes 638 [ 7* 9( 7)] OK 0sec 106moves 24pushes 639 [ 8* 9( 9)] OK 1sec 141moves 34pushes 640 [ 9* 9(11)] OK 0sec 425moves 98pushes 641 [ 6* 9( 6)] OK 0sec 37moves 8pushes 642 [ 7* 9( 9)] OK 0sec 212moves 32pushes 643 [ 8* 9(11)] OK 1sec 231moves 36pushes 644 [ 9* 9(13)] OK 1sec 702moves 126pushes 645 [ 7*13(15)] OK 2sec 318moves 77pushes 646 [ 7* 7( 3)] OK 0sec 45moves 11pushes 647 [ 6* 7( 3)] OK 1sec 28moves 9pushes 648 [ 9* 8(14)] OK 0sec 93moves 17pushes 649 [ 9* 8(10)] OK 0sec 151moves 29pushes 650 [ 9* 6( 4)] OK 0sec 107moves 23pushes 651 [ 9* 6( 4)] OK 0sec 73moves 17pushes 652 [ 9* 6( 4)] OK 0sec 72moves 18pushes 653 [ 9* 7( 5)] OK 0sec 94moves 20pushes 654 [ 9* 8( 6)] OK 0sec 101moves 25pushes 655 [ 9* 9( 7)] OK 0sec 156moves 30pushes 656 [ 9*10( 8)] OK 0sec 167moves 35pushes 657 [ 9*11( 9)] OK 0sec 198moves 40pushes 658 [ 9*12(10)] OK 1sec 249moves 45pushes 659 [ 9* 7( 6)] OK 1sec 116moves 22pushes 660 [ 9* 8( 8)] OK 0sec 127moves 23pushes 661 [ 9* 9(10)] OK 0sec 138moves 24pushes 662 [ 9* 7( 8)] OK 0sec 114moves 15pushes 663 [ 9* 7( 7)] OK 0sec 93moves 15pushes 664 [ 9* 8( 8)] OK 0sec 106moves 20pushes 665 [ 9* 9( 9)] OK 0sec 133moves 19pushes 666 [ 9*10(10)] OK 0sec 142moves 22pushes 667 [ 9*11(11)] OK 0sec 323moves 45pushes 668 [ 9* 7( 7)] OK 0sec 102moves 24pushes 669 [ 9* 7( 7)] OK 1sec 98moves 18pushes 670 [ 9* 8( 7)] OK 0sec 173moves 33pushes 671 [11*13(12)] OK 1sec 335moves 80pushes 672 [ 9* 9( 8)] OK 0sec 119moves 31pushes 673 [ 9* 9( 9)] OK 0sec 118moves 19pushes 674 [ 9* 9( 9)] OK 0sec 119moves 29pushes 675 [ 9* 9(11)] OK 1sec 77moves 25pushes 676 [ 9* 9(11)] OK 0sec 105moves 45pushes 677 [ 9* 8( 6)] OK 0sec 165moves 25pushes 678 [ 9* 7( 4)] OK 1sec 71moves 20pushes 679 [ 9* 7( 4)] OK 0sec 141moves 39pushes 680 [ 9* 9( 8)] OK 0sec 125moves 46pushes 681 [ 9* 9( 6)] OK 0sec 111moves 28pushes 682 [ 9* 9( 6)] OK 1sec 107moves 28pushes 683 [ 9* 7( 5)] OK 0sec 95moves 23pushes 684 [ 9* 7( 4)] OK 0sec 87moves 17pushes 685 [ 9* 7( 8)] OK 1sec 92moves 18pushes 686 [ 9* 7( 8)] OK 0sec 80moves 22pushes 687 [11*13(12)] X 600sec 688 [ 9* 7( 6)] OK 0sec 54moves 16pushes 689 [11*13(14)] X 600sec 690 [11*13(15)] X 600sec 691 [11*13(15)] X 600sec 692 [11*11(14)] OK 0sec 160moves 30pushes 693 [11*11(14)] OK 1sec 209moves 25pushes 694 [11*11(14)] OK 0sec 230moves 34pushes 695 [11*11(14)] OK 0sec 175moves 29pushes 696 [ 8* 8( 5)] OK 0sec 95moves 22pushes 697 [ 8* 8( 5)] OK 1sec 89moves 26pushes 698 [ 8* 8( 5)] OK 0sec 105moves 28pushes 699 [ 8* 8( 5)] OK 0sec 107moves 28pushes 700 [ 8* 8( 5)] OK 0sec 127moves 28pushes 701 [ 8* 8( 6)] OK 0sec 151moves 30pushes 702 [ 8* 8( 6)] OK 0sec 118moves 32pushes 703 [ 8* 8( 6)] OK 0sec 113moves 32pushes 704 [ 8* 8( 7)] OK 1sec 149moves 33pushes 705 [ 8* 8( 6)] OK 0sec 82moves 27pushes 706 [ 8* 8( 5)] OK 0sec 74moves 25pushes 707 [ 8* 8( 5)] OK 0sec 76moves 25pushes 708 [ 8* 8( 6)] OK 0sec 85moves 23pushes 709 [ 8* 8( 6)] OK 0sec 85moves 23pushes 710 [ 8* 8( 7)] OK 0sec 87moves 26pushes 711 [ 8* 8( 7)] OK 1sec 87moves 26pushes 712 [ 8* 8( 7)] OK 0sec 135moves 29pushes 713 [ 8* 8( 7)] OK 0sec 61moves 21pushes 714 [ 8* 8( 5)] OK 0sec 105moves 31pushes 715 [ 8* 8( 6)] OK 0sec 81moves 26pushes 716 [ 8* 8( 5)] OK 0sec 99moves 32pushes 717 [ 8* 8( 5)] OK 0sec 163moves 37pushes 718 [ 8* 8( 7)] OK 1sec 147moves 41pushes 719 [ 8* 8( 7)] OK 0sec 96moves 33pushes 720 [ 8* 8( 7)] OK 0sec 128moves 31pushes 721 [ 8* 8( 6)] OK 0sec 142moves 44pushes 722 [ 8* 8( 8)] OK 1sec 106moves 26pushes 723 [ 7* 9( 8)] OK 1sec 167moves 34pushes 724 [ 7* 8( 6)] OK 0sec 126moves 30pushes 725 [ 8* 8( 9)] OK 0sec 88moves 29pushes 726 [ 8* 8( 7)] OK 0sec 65moves 24pushes 727 [ 8* 8( 5)] OK 0sec 61moves 24pushes 728 [ 9*10( 6)] OK 0sec 104moves 30pushes 729 [ 9*10( 7)] OK 0sec 88moves 29pushes 730 [13* 6( 6)] OK 1sec 77moves 31pushes 731 [12* 6( 7)] OK 0sec 128moves 40pushes 732 [11* 6( 7)] OK 0sec 154moves 40pushes 733 [10* 6( 5)] OK 0sec 97moves 26pushes 734 [10* 6( 4)] OK 0sec 129moves 31pushes 735 [10* 7( 7)] OK 0sec 103moves 24pushes 736 [10* 7( 7)] OK 0sec 124moves 28pushes 737 [10* 7( 7)] OK 0sec 85moves 24pushes 738 [ 8* 7( 6)] OK 1sec 80moves 24pushes 739 [ 8* 7( 6)] OK 0sec 81moves 25pushes 740 [ 8* 7( 6)] OK 0sec 58moves 23pushes 741 [ 8* 8( 9)] OK 1sec 131moves 41pushes 742 [ 8* 8( 4)] OK 0sec 71moves 13pushes 743 [ 9* 7(10)] OK 0sec 67moves 24pushes 744 [17*18(79)] - 745 [11* 7(12)] OK 1sec 188moves 41pushes 746 [11* 7(11)] OK 0sec 123moves 43pushes 747 [11* 7(11)] OK 0sec 128moves 43pushes 748 [11* 7( 9)] OK 0sec 97moves 26pushes 749 [11* 7( 9)] OK 1sec 151moves 38pushes 750 [11* 7(10)] OK 0sec 133moves 38pushes 751 [11* 7(10)] OK 0sec 87moves 28pushes 752 [11* 7(10)] OK 1sec 92moves 32pushes 753 [11* 7( 7)] OK 0sec 76moves 22pushes 754 [13* 9( 3)] OK 0sec 68moves 27pushes 755 [ 9*13( 3)] OK 0sec 81moves 35pushes 756 [12* 8( 3)] OK 1sec 62moves 31pushes 757 [ 9*10( 3)] OK 0sec 86moves 26pushes 758 [ 9*13( 3)] OK 0sec 63moves 25pushes 759 [ 9* 7( 3)] OK 0sec 90moves 24pushes 760 [ 8*12( 3)] OK 0sec 125moves 46pushes 761 [14* 8( 3)] OK 0sec 104moves 34pushes 762 [ 7*10( 3)] OK 0sec 92moves 26pushes 763 [ 6*13( 3)] OK 0sec 55moves 24pushes 764 [11* 7( 6)] OK 0sec 83moves 24pushes 765 [13* 8( 3)] OK 0sec 90moves 37pushes 766 [11*11( 3)] OK 1sec 117moves 37pushes 767 [ 8*10( 3)] OK 0sec 96moves 24pushes 768 [11* 7( 4)] OK 0sec 107moves 29pushes 769 [11* 7( 4)] OK 1sec 141moves 48pushes 770 [11* 7( 4)] OK 0sec 142moves 50pushes 771 [11* 7( 5)] OK 0sec 154moves 51pushes 772 [11* 7( 5)] OK 0sec 173moves 56pushes 773 [11* 7( 6)] OK 1sec 116moves 43pushes 774 [11* 7( 6)] OK 0sec 185moves 73pushes 775 [ 9* 7( 6)] OK 0sec 78moves 23pushes 776 [ 7*10( 6)] OK 1sec 83moves 24pushes 777 [ 7*12( 7)] OK 0sec 183moves 46pushes 778 [ 7*10( 7)] OK 0sec 123moves 36pushes 779 [ 7*10(14)] OK 0sec 200moves 55pushes 780 [ 7* 9(11)] OK 0sec 117moves 23pushes 781 [ 7* 9(10)] OK 1sec 180moves 48pushes 782 [ 7* 9( 9)] OK 0sec 127moves 40pushes 783 [ 7* 9(11)] OK 0sec 190moves 45pushes 784 [ 7* 9(10)] OK 0sec 64moves 20pushes 785 [ 7* 9(10)] OK 0sec 90moves 22pushes 786 [ 7* 9( 9)] OK 1sec 130moves 24pushes 787 [ 9* 8( 4)] OK 0sec 155moves 37pushes 788 [ 8* 8( 4)] OK 0sec 101moves 24pushes 789 [ 7* 8( 4)] OK 1sec 92moves 20pushes 790 [ 7* 7( 3)] OK 0sec 67moves 14pushes 791 [ 7* 7( 6)] OK 0sec 62moves 19pushes 792 [ 7* 9( 4)] OK 0sec 60moves 17pushes 793 [ 7* 9( 6)] OK 0sec 143moves 35pushes 794 [ 6* 8( 5)] OK 0sec 77moves 23pushes 795 [ 8* 8(10)] OK 0sec 113moves 32pushes 796 [ 8* 7( 8)] OK 1sec 101moves 27pushes 797 [ 8* 6( 5)] OK 0sec 66moves 19pushes 798 [11* 9( 9)] OK 0sec 143moves 40pushes 799 [ 9* 9( 7)] OK 0sec 145moves 44pushes 800 [ 9* 9( 7)] OK 1sec 179moves 50pushes 801 [ 9* 9( 8)] OK 0sec 144moves 47pushes 802 [ 9* 9( 8)] OK 0sec 160moves 47pushes 803 [ 9* 9( 8)] OK 0sec 118moves 30pushes 804 [10*10( 7)] OK 1sec 492moves 105pushes 805 [10*10( 6)] OK 1sec 284moves 80pushes 806 [10*10( 6)] OK 0sec 296moves 94pushes 807 [10*10( 7)] OK 0sec 493moves 108pushes 808 [ 9*10( 7)] OK 0sec 284moves 66pushes 809 [ 9*10( 7)] OK 0sec 434moves 80pushes 810 [ 9*10( 7)] OK 1sec 330moves 58pushes 811 [ 9* 8( 4)] OK 0sec 197moves 34pushes 812 [ 8* 8( 4)] OK 0sec 149moves 24pushes 813 [ 9* 8( 4)] OK 1sec 147moves 27pushes 814 [ 9* 8( 4)] OK 0sec 197moves 33pushes 815 [ 9* 8( 5)] OK 0sec 122moves 34pushes 816 [ 8* 8( 4)] OK 0sec 165moves 30pushes 817 [ 8* 8( 4)] OK 0sec 137moves 26pushes 818 [ 8* 8( 3)] OK 0sec 102moves 19pushes 819 [ 8* 8( 3)] OK 0sec 150moves 22pushes 820 [ 8* 8( 3)] OK 0sec 74moves 22pushes 821 [17*13(44)] X 600sec 822 [15*15(38)] OK 37sec 924moves 84pushes 823 [19*17(88)] - 824 [16*13(25)] OK 18sec 3189moves 727pushes 825 [19*17(82)] - 826 [11*13(24)] OK 37sec 569moves 128pushes 827 [13*13(32)] OK 209sec 882moves 144pushes 828 [17*13(46)] X 600sec 829 [17*13(42)] X 600sec 830 [15* 9(31)] Ok 3sec 617moves 106pushes 831 [13*11(32)] OK 3sec 393moves 84pushes 832 [13*13(38)] OK 35sec 879moves 164pushes 833 [13* 9(12)] OK 1sec 255moves 40pushes 834 [12* 9(12)] OK 0sec 180moves 34pushes 835 [11* 9( 8)] OK 1sec 161moves 24pushes 836 [11* 9(12)] OK 0sec 120moves 18pushes 837 [17*17(93)] - 838 [13* 9(14)] OK 3sec 384moves 93pushes 839 [13* 9(12)] OK 2sec 503moves 124pushes 840 [15*13(14)] OK 5sec 1191moves 201pushes 841 [13*15(18)] OK 1sec 567moves 146pushes 842 [19*19(56)] OK 59sec 1723moves 642pushes 843 [17*13(46)] OK 14sec 1525moves 556pushes 844 [24* 9(23)] Ok 4sec 1939moves 355pushes 845 [ 8* 9( 8)] OK 0sec 232moves 44pushes 846 [ 9* 9(12)] OK 1sec 165moves 40pushes 847 [14*14(12)] OK 3sec 276moves 60pushes 848 [10* 9(14)] OK 4sec 177moves 42pushes 849 [ 8* 9(10)] OK 1sec 93moves 20pushes 850 [12*11(22)] OK 5sec 559moves 86pushes 851 [10*11(20)] OK 2sec 340moves 66pushes 852 [10*11(18)] OK 1sec 271moves 64pushes 853 [ 8* 9(10)] OK 0sec 138moves 34pushes 854 [10* 9(14)] OK 0sec 140moves 44pushes 855 [15* 9(17)] OK 1sec 486moves 102pushes 856 [12*10(16)] OK 17sec 603moves 140pushes 857 [10*10(10)] OK 0sec 264moves 58pushes 858 [12* 9(16)] OK 1sec 268moves 51pushes 859 [15*10(19)] OK 9sec 710moves 114pushes 860 [19*11(19)] OK 4sec 735moves 162pushes 861 [ 9*13(19)] X 288sec 862 [15*17(33)] OK 148sec 1618moves 286pushes 863 [15*17(40)] OK 59sec 970moves 238pushes 864 [13*15(24)] OK 0sec 367moves 62pushes 865 [19*19(40)] Ok 104sec 1060moves 218pushes 866 [11*11(26)] OK 13sec 226moves 42pushes 867 [13*13(30)] X 280sec 868 [11* 6( 4)] OK 0sec 128moves 30pushes 869 [14* 7( 6)] OK 0sec 116moves 40pushes 870 [15* 6( 7)] OK 0sec 130moves 27pushes 871 [16*12(18)] OK 14sec 1025moves 274pushes 872 [ 9* 9(10)] OK 1sec 75moves 16pushes 873 [ 9* 9( 8)] OK 0sec 71moves 16pushes 874 [13*13(24)] X 600sec 875 [11*11(15)] OK 0sec 101moves 20pushes 876 [ 9* 9( 8)] OK 0sec 49moves 12pushes 877 [ 7* 9( 8)] OK 1sec 48moves 10pushes 878 [17* 9(25)] Ok 102sec 492moves 131pushes 879 [19*19(60)] OK 30sec 2565moves1070pushes 880 [15*12(22)] X 226sec 881 [24*10(26)] X 117sec 882 [11*14( 9)] OK 1sec 319moves 128pushes 883 [10*14(10)] OK 0sec 321moves 128pushes 884 [ 9* 7( 9)] OK 0sec 72moves 13pushes 885 [13* 7(15)] OK 1sec 76moves 13pushes 886 [ 9*13(21)] OK 2sec 542moves 63pushes 887 [13*13(33)] X 600sec 888 [13*13(36)] OK 19sec 856moves 77pushes 889 [ 9*13(24)] OK 90sec 1050moves 119pushes 890 [ 9*11(14)] OK 0sec 140moves 31pushes 891 [ 9*10(14)] OK 1sec 229moves 28pushes 892 [11*11(24)] OK 5sec 970moves 125pushes 893 [ 9* 9(14)] OK 0sec 336moves 57pushes 894 [ 9* 9(14)] OK 0sec 77moves 24pushes 895 [13*10(12)] Ok 76sec 524moves 108pushes 896 [13*11(16)] OK 1sec 578moves 130pushes 897 [11*11(16)] OK 0sec 337moves 83pushes 898 [11*11(18)] OK 2sec 219moves 64pushes 899 [ 9*17(30)] Ok 466sec 979moves 143pushes 900 [ 9*17(33)] Ok 153sec 309moves 46pushes 901 [17* 9(30)] Ok 186sec 380moves 54pushes 902 [ 9*11(22)] OK 0sec 136moves 34pushes 903 [11*11(28)] OK 6sec 322moves 50pushes 904 [13*12(43)] OK 1sec 70moves 21pushes 905 [13*13(47)] Ok 393sec 866moves 170pushes 906 [14* 9(24)] OK 0sec 119moves 40pushes 907 [15* 9(26)] OK 0sec 174moves 54pushes 908 [15* 9(26)] OK 4sec 206moves 52pushes 909 [ 7*11(10)] OK 1sec 128moves 22pushes 910 [13*15(23)] X 259sec 911 [11*11(16)] OK 1sec 484moves 44pushes 912 [ 7*12(13)] OK 0sec 198moves 56pushes 913 [11*15(24)] OK 1sec 282moves 68pushes 914 [11*11( 7)] OK 0sec 379moves 64pushes 915 [10*11( 9)] OK 2sec 250moves 42pushes 916 [11*11(13)] OK 1sec 305moves 70pushes 917 [ 9* 7( 9)] OK 0sec 160moves 30pushes 918 [13* 7(15)] OK 1sec 282moves 38pushes 919 [ 9*11(19)] OK 3sec 324moves 72pushes 920 [13*11(31)] X 600sec 921 [13*11(30)] X 600sec 922 [ 9*13(22)] OK 85sec 588moves 130pushes 923 [11*11(28)] X 600sec 924 [13* 8(13)] OK 1sec 158moves 34pushes 925 [ 9* 9(16)] OK 10sec 214moves 64pushes 926 [10*12(14)] OK 0sec 192moves 31pushes 927 [11*11(24)] OK 8sec 552moves 126pushes 928 [11* 6( 3)] OK 0sec 107moves 23pushes 929 [12* 6( 6)] OK 0sec 101moves 23pushes 930 [16*16(20)] OK 1sec 766moves 308pushes 931 [16*10( 9)] OK 1sec 271moves 53pushes 932 [18*10(14)] OK 2sec 1238moves 234pushes 933 [22* 6(12)] OK 0sec 324moves 60pushes 934 [10* 8( 6)] OK 0sec 131moves 28pushes 935 [11* 8( 8)] OK 1sec 210moves 54pushes 936 [11* 8( 9)] OK 0sec 120moves 30pushes 937 [11* 8( 9)] OK 0sec 171moves 38pushes 938 [11* 8(11)] OK 0sec 120moves 26pushes 939 [11* 8( 8)] OK 1sec 140moves 20pushes 940 [11* 8( 7)] OK 0sec 113moves 25pushes 941 [13*11(12)] OK 9sec 203moves 40pushes 942 [13*11(12)] OK 23sec 336moves 84pushes 943 [13*11(14)] OK 15sec 306moves 58pushes 944 [13*11(15)] OK 64sec 334moves 53pushes 945 [17*14(14)] OK 0sec 345moves 118pushes 946 [14*14(12)] OK 0sec 225moves 38pushes 947 [15*15(49)] X 600sec 948 [14*14(45)] OK 51sec 1874moves 292pushes 949 [13*13(41)] OK 13sec 1117moves 148pushes 950 [12*12(17)] OK 1sec 188moves 30pushes 951 [10*10(12)] OK 2sec 491moves 118pushes 952 [ 6* 9( 7)] OK 0sec 32moves 11pushes 953 [13*13(20)] OK 37sec 256moves 60pushes 954 [ 9*13(24)] OK 1sec 205moves 36pushes 955 [ 9*10(11)] OK 1sec 282moves 67pushes 956 [13* 8(16)] OK 1sec 252moves 47pushes 957 [15* 8(19)] OK 14sec 400moves 53pushes 958 [17* 8(22)] Ok 98sec 608moves 123pushes 959 [11*16(13)] OK 54sec 449moves 123pushes 960 [12*12(10)] OK 0sec 422moves 153pushes 961 [12*12(11)] OK 1sec 452moves 140pushes 962 [ 9* 9( 9)] OK 0sec 236moves 50pushes 963 [10*10( 8)] OK 0sec 292moves 54pushes 964 [13*13(24)] OK 59sec 800moves 100pushes 965 [13*13(26)] X 600sec 966 [17*13(41)] X 372sec 967 [14*11( 5)] OK 0sec 678moves 161pushes 968 [ 6*13( 8)] OK 0sec 186moves 28pushes 969 [ 6*13( 8)] OK 0sec 189moves 40pushes 970 [13* 8(12)] OK 1sec 124moves 24pushes 971 [17* 9(11)] OK 0sec 241moves 48pushes 972 [15* 7( 9)] OK 0sec 185moves 41pushes 973 [15* 7(11)] OK 0sec 261moves 50pushes 974 [19* 9(15)] OK 1sec 315moves 56pushes 975 [19* 9(16)] OK 1sec 355moves 84pushes 976 [17* 9(13)] OK 1sec 331moves 80pushes 977 [11*17(36)] Ok 36sec 2109moves 284pushes 978 [19*17(54)] X 600sec 979 [17*17(54)] X 600sec 980 [14*11(16)] OK 11sec 491moves 136pushes 981 [14*11(16)] OK 5sec 340moves 82pushes 982 [11*10( 6)] OK 0sec 323moves 44pushes 983 [11*10( 6)] OK 0sec 281moves 42pushes 984 [19*11(26)] X 37sec 985 [15*11(24)] X 251sec 986 [15*11(23)] X 600sec 987 [13*12(11)] OK 12sec 422moves 144pushes 988 [15*13(28)] OK 0sec 159moves 37pushes 989 [15*13(29)] OK 3sec 388moves 89pushes 990 [11*11(24)] OK 1sec 432moves 74pushes 991 [ 9*15(30)] OK 52sec 458moves 88pushes 992 [17*17(63)] X 600sec 993 [17*17(61)] X 600sec 994 [ 8*10( 8)] OK 0sec 140moves 46pushes 995 [17*15(16)] OK 3sec 306moves 98pushes 996 [14* 7( 5)] OK 0sec 154moves 49pushes 997 [14*13(10)] OK 1sec 378moves 94pushes 998 [14*13(12)] OK 0sec 384moves 122pushes 999 [13*13(32)] OK 14sec 343moves 104pushes 1000 [15*15(32)] OK 42sec 474moves 150pushes 1001 [14*13(32)] X 600sec 1002 [15*13(25)] OK 34sec 1043moves 366pushes 1003 [17* 8(13)] OK 1sec 358moves 113pushes 1004 [11*10( 5)] OK 0sec 182moves 23pushes 1005 [ 9*12( 9)] OK 0sec 198moves 31pushes 1006 [13*10(11)] OK 35sec 578moves 104pushes 1007 [10* 8( 4)] OK 0sec 164moves 29pushes 1008 [10* 6( 4)] OK 1sec 82moves 18pushes 1009 [11* 6( 5)] OK 0sec 98moves 31pushes 1010 [13* 6( 6)] OK 0sec 178moves 46pushes 1011 [11*10(12)] OK 1sec 133moves 46pushes 1012 [11*11(11)] OK 0sec 147moves 52pushes 1013 [10* 9( 9)] OK 0sec 195moves 47pushes 1014 [13*15(26)] X 326sec 1015 [13*15(28)] X 85sec 1016 [17*17(16)] OK 286sec 2148moves 482pushes 1017 [19*17(70)] - 1018 [19*17(70)] - 1019 [19*16(20)] OK 7sec 1000moves 172pushes 1020 [10* 9(18)] OK 0sec 259moves 53pushes 1021 [15*15(33)] X 600sec 1022 [ 7* 9(11)] OK 0sec 80moves 18pushes 1023 [13*13(30)] X 600sec 1024 [15* 7(12)] OK 0sec 117moves 30pushes 1025 [11* 9( 8)] OK 1sec 210moves 51pushes 1026 [13*13(19)] OK 2sec 289moves 115pushes 1027 [11*11(12)] OK 0sec 121moves 28pushes 1028 [11*17(21)] OK 7sec 419moves 102pushes 1029 [19*17(44)] X 174sec 1030 [10*12(13)] OK 0sec 213moves 46pushes 1031 [19*12(26)] X 300sec 1032 [19*11(24)] OK 6sec 752moves 154pushes 1033 [19*11(25)] OK 3sec 780moves 112pushes 1034 [13* 9(15)] OK 0sec 338moves 71pushes 1035 [13*17(32)] X 600sec 1036 [13*14(34)] X 600sec 1037 [19*11(16)] OK 3sec 393moves 110pushes 1038 [13*13(20)] OK 1sec 558moves 36pushes 1039 [18*13(17)] OK 10sec 1286moves 407pushes 1040 [13*13(36)] X 600sec 1041 [19*17(36)] X 600sec 1042 [19*17(38)] X 600sec 1043 [19*17(29)] X 600sec 1044 [11*13(13)] OK 4sec 816moves 254pushes 1045 [11* 9( 9)] OK 0sec 230moves 66pushes 1046 [15* 9(19)] OK 3sec 362moves 84pushes 1047 [16*16(24)] OK 1sec 648moves 98pushes 1048 [19*17(41)] X 600sec 1049 [19* 9(16)] X 600sec 1050 [19* 7(13)] OK 0sec 440moves 161pushes 1051 [13*14( 8)] OK 1sec 264moves 45pushes 1052 [12*12(16)] OK 0sec 269moves 60pushes 1053 [17* 7(15)] OK 4sec 322moves 106pushes 1054 [ 9* 7( 8)] OK 0sec 82moves 20pushes 1055 [12*13(18)] OK 2sec 963moves 260pushes 1056 [13* 7( 9)] OK 0sec 111moves 25pushes 1057 [19* 9(14)] OK 3sec 526moves 84pushes 1058 [19*15(28)] X 406sec 1059 [13* 9( 6)] OK 0sec 550moves 125pushes 1060 [15*13(12)] OK 3sec 1629moves 287pushes 1061 [15*13(12)] OK 4sec 1471moves 289pushes 1062 [13*17(12)] OK 0sec 924moves 211pushes 1063 [11* 9(12)] OK 0sec 272moves 59pushes 1064 [15*10(24)] X 214sec 1065 [13*10(18)] OK 5sec 343moves 80pushes 1066 [13*12(20)] OK 144sec 657moves 160pushes 1067 [13*11(18)] OK 3sec 299moves 96pushes 1068 [ 9* 9(11)] OK 3sec 432moves 94pushes 1069 [ 9* 7( 8)] OK 0sec 82moves 14pushes 1070 [17* 7(16)] OK 0sec 444moves 78pushes 1071 [17* 7(18)] OK 13sec 852moves 180pushes 1072 [17*13(38)] X 559sec 1073 [15* 7(16)] OK 0sec 198moves 42pushes 1074 [15* 7(17)] OK 0sec 186moves 31pushes 1075 [10*12(13)] OK 0sec 285moves 56pushes 1076 [19*12(29)] OK 3sec 768moves 108pushes 1077 [19*12(28)] OK 3sec 873moves 120pushes 1078 [19*11(24)] OK 13sec 601moves 92pushes 1079 [19*11(18)] OK 3sec 871moves 168pushes 1080 [19*17(22)] X 137sec 1081 [13*11(12)] OK 36sec 197moves 36pushes 1082 [13*11(11)] OK 6sec 369moves 62pushes 1083 [17* 8(12)] OK 1sec 748moves 164pushes 1084 [15* 9(10)] OK 1sec 274moves 38pushes 1085 [12* 9( 7)] OK 0sec 204moves 26pushes 1086 [17* 9(12)] OK 1sec 286moves 54pushes 1087 [17*17(29)] X 552sec 1088 [11* 9(14)] OK 1sec 222moves 37pushes 1089 [15*15(50)] X 600sec 1090 [13*13(16)] OK 8sec 599moves 144pushes 1091 [13*13(14)] OK 3sec 313moves 84pushes 1092 [15*11(12)] OK 3sec 333moves 72pushes 1093 [13*11(12)] OK 1sec 273moves 64pushes 1094 [13*11(16)] OK 3sec 427moves 88pushes 1095 [13*11(14)] OK 1sec 447moves 88pushes 1096 [13*11(14)] OK 1sec 437moves 96pushes 1097 [13*11(12)] OK 0sec 251moves 64pushes 1098 [18*11(10)] OK 2sec 210moves 78pushes 1099 [19*11(10)] OK 30sec 245moves 88pushes 1100 [ 7*14( 7)] OK 0sec 167moves 28pushes 1101 [13*14(16)] OK 17sec 438moves 93pushes 1102 [15*11( 9)] OK 13sec 285moves 48pushes 1103 [10*10( 9)] OK 1sec 246moves 61pushes 1104 [10*11( 9)] OK 0sec 215moves 61pushes 1105 [11*10( 9)] OK 0sec 172moves 53pushes 1106 [10*11( 9)] OK 0sec 167moves 42pushes 1107 [17* 8(15)] OK 2sec 597moves 138pushes 1108 [17*15(30)] X 600sec 1109 [19*17(42)] X 600sec 1110 [19*17(44)] X 302sec 1111 [13*15(22)] OK 0sec 859moves 307pushes 1112 [17*15(43)] X 600sec 1113 [15*11(16)] OK 2sec 141moves 50pushes 1114 [14*15(32)] X 600sec 1115 [14*11( 7)] OK 0sec 244moves 53pushes 1116 [14* 9( 7)] OK 1sec 167moves 34pushes 1117 [14* 9( 8)] OK 0sec 209moves 34pushes 1118 [14* 9(10)] OK 0sec 210moves 35pushes 1119 [11* 6( 9)] OK 0sec 158moves 32pushes 1120 [11*11(18)] OK 1sec 396moves 93pushes 1121 [11*11(18)] OK 1sec 349moves 80pushes 1122 [23*13(41)] X 600sec 1123 [21*13(43)] X 600sec 1124 [19*11(13)] OK 5sec 355moves 67pushes 1125 [19*11(28)] X 600sec 1126 [15*11(12)] OK 1sec 213moves 39pushes 1127 [12*12(11)] OK 1sec 214moves 54pushes 1128 [15*14(17)] OK 53sec 833moves 157pushes 1129 [11*15(19)] OK 0sec 593moves 163pushes 1130 [13*11(17)] OK 0sec 549moves 203pushes 1131 [13*12(24)] OK 49sec 804moves 171pushes 1132 [13*11(24)] OK 0sec 436moves 88pushes 1133 [13*10(23)] OK 3sec 394moves 82pushes 1134 [14*14(34)] X 399sec 1135 [15*15(38)] Ok 381sec 231moves 38pushes 1136 [17* 7(13)] OK 0sec 176moves 23pushes 1137 [17*13(29)] X 289sec 1138 [11* 9(15)] OK 0sec 303moves 53pushes 1139 [12*17(35)] X 600sec 1140 [ 9* 8( 5)] OK 0sec 54moves 17pushes 1141 [ 9*15(11)] OK 1sec 282moves 62pushes 1142 [ 9*10( 5)] OK 0sec 85moves 15pushes 1143 [17*17(27)] X 132sec 1144 [17*17(27)] X 453sec 1145 [19*17(34)] X 570sec 1146 [19*15(36)] X 600sec 1147 [19*15(44)] X 600sec 1148 [11*11(12)] OK 1sec 260moves 34pushes 1149 [13*13(19)] OK 1sec 588moves 84pushes 1150 [15*15(27)] X 567sec 1151 [11*11(24)] X 61sec 1152 [13*11(12)] OK 1sec 419moves 88pushes 1153 [17*11(16)] X 115sec 1154 [19*11(19)] OK 26sec 942moves 169pushes 1155 [19*15(27)] X 133sec 1156 [ 9*10( 9)] OK 0sec 124moves 33pushes 1157 [10*11(11)] OK 0sec 228moves 75pushes 1158 [11*12(13)] OK 1sec 293moves 63pushes 1159 [12*13(15)] OK 5sec 615moves 111pushes 1160 [13*14(17)] OK 41sec 557moves 119pushes 1161 [17*11(12)] OK 1sec 252moves 102pushes 1162 [17*17(24)] OK 9sec 659moves 240pushes 1163 [ 9* 7( 5)] OK 0sec 55moves 15pushes 1164 [17* 7(11)] OK 0sec 160moves 34pushes 1165 [19*13(26)] Ok 181sec 703moves 154pushes 1166 [17*13(22)] OK 59sec 510moves 106pushes 1167 [ 8* 9( 7)] OK 0sec 74moves 21pushes 1168 [14*15(19)] Ok 158sec 669moves 85pushes 1169 [ 8* 9( 7)] OK 0sec 21moves 7pushes 1170 [ 7* 8( 5)] OK 0sec 40moves 11pushes 1171 [ 6* 8( 3)] OK 0sec 50moves 15pushes 1172 [15* 9(21)] X 600sec 1173 [14* 9(19)] OK 3sec 706moves 130pushes 1174 [13* 9(17)] OK 6sec 555moves 89pushes 1175 [15* 9(21)] OK 1sec 423moves 81pushes 1176 [19*17(58)] X 600sec 1177 [ 9* 7( 5)] OK 0sec 75moves 14pushes 1178 [17*13(18)] OK 11sec 635moves 112pushes 1179 [ 9* 7( 6)] OK 0sec 108moves 21pushes 1180 [ 9*13(14)] OK 1sec 281moves 62pushes 1181 [ 9* 7( 5)] OK 0sec 97moves 26pushes 1182 [17* 7( 9)] OK 0sec 216moves 39pushes 1183 [17* 7(10)] OK 1sec 294moves 53pushes 1184 [10*15(17)] OK 0sec 373moves 85pushes 1185 [13*15(26)] OK 13sec 677moves 165pushes 1186 [11* 7( 5)] OK 1sec 107moves 14pushes 1187 [17*15(27)] Ok 189sec 1560moves 284pushes 1188 [11*11( 8)] OK 1sec 214moves 31pushes 1189 [11*10( 9)] OK 0sec 340moves 54pushes 1190 [11* 9( 8)] OK 0sec 165moves 52pushes 1191 [11*10( 8)] OK 1sec 188moves 19pushes 1192 [ 8* 9( 6)] OK 0sec 51moves 11pushes 1193 [21*10(16)] OK 1sec 601moves 70pushes 1194 [19*10(18)] OK 50sec 658moves 52pushes 1195 [15* 9(13)] OK 1sec 336moves 35pushes 1196 [15*17(27)] X 498sec 1197 [19* 9(14)] OK 2sec 882moves 128pushes 1198 [19* 9(14)] OK 1sec 960moves 168pushes 1199 [15* 9(10)] OK 0sec 354moves 79pushes 1200 [15*17(24)] X 447sec 1201 [ 9* 7( 6)] OK 0sec 73moves 18pushes 1202 [17*14(20)] OK 13sec 461moves 88pushes 1203 [ 9* 7( 9)] OK 1sec 121moves 28pushes 1204 [14* 7(17)] OK 0sec 186moves 39pushes 1205 [13* 7(17)] OK 0sec 325moves 58pushes 1206 [13* 7(11)] OK 0sec 154moves 40pushes 1207 [19* 7(12)] OK 1sec 161moves 50pushes 1208 [19*13(20)] OK 7sec 613moves 104pushes 1209 [19*13(22)] OK 94sec 692moves 102pushes 1210 [14*11( 9)] OK 1sec 584moves 98pushes 1211 [19*14(20)] X 188sec 1212 [13*13(20)] OK 12sec 532moves 133pushes 1213 [13*12(14)] OK 0sec 353moves 62pushes 1214 [19*17(25)] Ok 57sec 2535moves 558pushes 1215 [15*15(21)] OK 3sec 946moves 138pushes 1216 [17*15(25)] OK 73sec 1484moves 134pushes 1217 [17*15(17)] X 247sec 1218 [16* 9(13)] OK 411sec 300moves 48pushes 1219 [17* 9(16)] OK 13sec 466moves 82pushes 1220 [15* 7( 9)] OK 1sec 189moves 41pushes 1221 [15*13(20)] OK 282sec 846moves 146pushes 1222 [ 9*11(10)] OK 0sec 130moves 32pushes 1223 [ 9* 9(10)] OK 0sec 125moves 44pushes 1224 [ 9* 8( 8)] OK 1sec 87moves 18pushes 1225 [17* 8(16)] OK 6sec 298moves 56pushes 1226 [17*15(39)] X 600sec 1227 [13*13(16)] OK 3sec 409moves 65pushes 1228 [13*17(36)] X 600sec 1229 [13*13(13)] OK 2sec 285moves 32pushes 1230 [ 9*10( 7)] OK 0sec 138moves 28pushes 1231 [13*10(13)] OK 1sec 335moves 95pushes 1232 [13*10(13)] OK 1sec 311moves 92pushes 1233 [12*10(11)] OK 0sec 515moves 102pushes 1234 [16*11(13)] OK 206sec 1219moves 298pushes 1235 [15*14(24)] X 600sec 1236 [17*17(30)] X 600sec 1237 [11* 7( 5)] OK 0sec 112moves 15pushes 1238 [17* 7( 8)] OK 1sec 148moves 32pushes 1239 [17*13(15)] OK 23sec 348moves 86pushes 1240 [14* 7(10)] OK 0sec 263moves 49pushes 1241 [12* 7( 8)] OK 0sec 151moves 47pushes 1242 [12*13(17)] X 600sec 1243 [13*10( 3)] OK 0sec 205moves 55pushes 1244 [19*17(16)] X 171sec 1245 [19*15(28)] X 455sec 1246 [19*17(41)] X 600sec 1247 [15*11(12)] OK 34sec 783moves 128pushes 1248 [19*11(18)] OK 2sec 673moves 106pushes 1249 [22*16(36)] X 600sec 1250 [12*13(15)] OK 53sec 927moves 120pushes 1251 [19*13(19)] OK 19sec 1571moves 202pushes 1252 [19*16(56)] X 600sec 1253 [19*17(51)] X 600sec 1254 [19*14(20)] X 400sec 1255 [12*12(10)] OK 0sec 939moves 180pushes 1256 [12*12(11)] OK 1sec 912moves 178pushes 1257 [15*15(28)] X 600sec 1258 [11* 6( 6)] OK 0sec 100moves 23pushes 1259 [13* 8( 7)] OK 0sec 198moves 45pushes 1260 [11*11( 5)] OK 0sec 180moves 51pushes 1261 [11*11( 5)] OK 1sec 192moves 53pushes 1262 [13*11(14)] OK 1sec 348moves 97pushes 1263 [11*13( 7)] OK 0sec 154moves 40pushes 1264 [15*17(11)] OK 1sec 444moves 116pushes 1265 [14*10(10)] OK 1sec 254moves 70pushes 1266 [11*10(15)] OK 0sec 318moves 77pushes 1267 [14*17(18)] OK 94sec 888moves 97pushes 1268 [14*11(14)] OK 1sec 493moves 148pushes 1269 [13*11( 9)] OK 1sec 270moves 82pushes 1270 [12* 9( 8)] OK 1sec 273moves 59pushes 1271 [11*10(14)] OK 37sec 646moves 152pushes 1272 [19*15(37)] X 447sec 1273 [19*13(19)] OK 1sec 1505moves 488pushes 1274 [10* 7(11)] OK 0sec 125moves 28pushes 1275 [12* 9(16)] OK 5sec 464moves 78pushes 1276 [13*15(32)] OK 5sec 836moves 302pushes 1277 [15* 9( 7)] OK 0sec 230moves 60pushes 1278 [19*11(12)] OK 1sec 245moves 67pushes 1279 [15*13(14)] Ok 150sec 1052moves 184pushes 1280 [19* 9(17)] OK 0sec 370moves 100pushes 1281 [15* 9(10)] OK 0sec 329moves 89pushes 1282 [13* 9(12)] OK 0sec 251moves 43pushes 1283 [19*15(28)] OK 23sec 680moves 224pushes 1284 [16*16(12)] OK 20sec 933moves 295pushes 1285 [13*12(10)] OK 1sec 483moves 120pushes 1286 [13*10( 8)] OK 0sec 174moves 46pushes 1287 [19*11(14)] OK 1sec 709moves 186pushes 1288 [19*17(39)] X 600sec 1289 [13*12( 9)] OK 0sec 324moves 77pushes 1290 [17* 8( 8)] OK 0sec 256moves 65pushes 1291 [17*17(34)] X 600sec 1292 [14*11(11)] OK 1sec 421moves 105pushes 1293 [ 8*15(11)] OK 1sec 210moves 28pushes 1294 [15*15(25)] OK 115sec 906moves 154pushes 1295 [13*11(13)] OK 2sec 437moves 110pushes 1296 [13*11(11)] OK 3sec 286moves 81pushes 1297 [15*14(20)] X 178sec 1298 [15*14(21)] X 600sec 1299 [11* 9( 8)] OK 0sec 312moves 64pushes 1300 [14*14(14)] OK 1sec 495moves 151pushes 1301 [10*11( 9)] OK 1sec 429moves 63pushes 1302 [15*14(23)] X 600sec 1303 [13*13(19)] OK 1sec 233moves 56pushes 1304 [15*13(22)] X 600sec 1305 [18*14(24)] X 600sec 1306 [13*15(10)] OK 1sec 795moves 162pushes 1307 [19*17(14)] Ok 136sec 1096moves 222pushes 1308 [ 9*14(10)] OK 1sec 365moves 75pushes 1309 [ 9*14(12)] OK 2sec 647moves 145pushes 1310 [17*14(28)] X 600sec 1311 [15*15(21)] OK 3sec 564moves 156pushes 1312 [ 9*11(11)] OK 0sec 228moves 74pushes 1313 [ 9*11(14)] OK 0sec 231moves 71pushes 1314 [17*17(26)] X 192sec 1315 [15*15(22)] OK 10sec 934moves 236pushes 1316 [13*13(11)] OK 1sec 316moves 76pushes 1317 [10* 9( 8)] OK 0sec 255moves 48pushes 1318 [17*10(18)] X 600sec 1319 [11*11(15)] OK 0sec 316moves 50pushes 1320 [19*11(27)] X 177sec 1321 [19*11(19)] X 355sec 1322 [11*10(11)] OK 0sec 142moves 24pushes 1323 [18*11(23)] X 314sec 1324 [13*13(19)] OK 3sec 508moves 104pushes 1325 [16*12(45)] X 600sec 1326 [16* 7(14)] OK 6sec 254moves 48pushes 1327 [12*13(20)] X 600sec 1328 [19*13(34)] X 57sec 1329 [19*15(77)] - 1330 [15*15(29)] X 600sec 1331 [19*16(40)] X 600sec 1332 [19*16(60)] X 600sec 1333 [11*11(10)] OK 1sec 421moves 127pushes 1334 [17*17(32)] X 600sec 1335 [12*13(11)] OK 147sec 367moves 61pushes 1336 [13*14(42)] OK 21sec 912moves 182pushes 1337 [ 9*10(13)] OK 1sec 348moves 66pushes 1338 [ 9*10( 9)] OK 1sec 231moves 52pushes 1339 [15*10(18)] OK 22sec 671moves 130pushes 1340 [11*13(16)] OK 2sec 475moves 76pushes 1341 [18*10(27)] X 600sec 1342 [18*17(61)] X 600sec 1343 [15*12(13)] OK 2sec 683moves 141pushes 1344 [19*15(22)] OK 43sec 1511moves 130pushes 1345 [13*13(24)] X 600sec 1346 [11*10( 8)] OK 0sec 96moves 28pushes 1347 [18* 9(16)] OK 41sec 918moves 208pushes 1348 [18*13(34)] X 600sec 1349 [17*16(20)] OK 1sec 470moves 104pushes 1350 [17*11(22)] OK 31sec 1042moves 230pushes 1351 [10*10(10)] OK 1sec 171moves 56pushes 1352 [10*16(20)] OK 1sec 362moves 136pushes 1353 [13*13(14)] OK 5sec 479moves 118pushes 1354 [12* 9( 7)] OK 0sec 484moves 84pushes 1355 [12* 9( 8)] OK 1sec 440moves 87pushes 1356 [11* 9( 9)] OK 1sec 257moves 76pushes 1357 [15*10(13)] Ok 149sec 771moves 153pushes 1358 [15*13(24)] X 600sec 1359 [19*10(15)] OK 43sec 227moves 57pushes 1360 [13*15(13)] OK 1sec 259moves 50pushes 1361 [13*13(25)] OK 2sec 626moves 100pushes 1362 [16*14(14)] OK 8sec 1933moves 304pushes 1363 [14*17(16)] OK 16sec 439moves 158pushes 1364 [19*12(13)] OK 5sec 589moves 81pushes 1365 [10*12(12)] OK 0sec 389moves 104pushes 1366 [19*12(25)] X 224sec 1367 [18*17(20)] X 600sec 1368 [17*16(31)] OK 2sec 1086moves 120pushes 1369 [11*11(16)] OK 0sec 322moves 65pushes 1370 [17* 9(23)] OK 49sec 1316moves 250pushes 1371 [14*11(12)] OK 2sec 483moves 64pushes 1372 [19* 6(12)] OK 0sec 290moves 77pushes 1373 [19*11(20)] OK 5sec 545moves 162pushes 1374 [12*13( 5)] OK 0sec 214moves 23pushes 1375 [11*13( 6)] OK 0sec 411moves 43pushes 1376 [11*11(12)] OK 1sec 432moves 86pushes 1377 [14*10(13)] OK 27sec 649moves 182pushes 1378 [17* 7(12)] OK 1sec 298moves 82pushes 1379 [16*13(14)] OK 109sec 1280moves 327pushes 1380 [15*14(15)] OK 1sec 267moves 84pushes 1381 [19*17(35)] X 600sec 1382 [17*17(29)] X 600sec 1383 [13*16(19)] OK 69sec 1071moves 296pushes 1384 [11* 9(16)] OK 1sec 465moves 86pushes 1385 [13*13(16)] X 306sec 1386 [11* 7( 7)] OK 0sec 114moves 19pushes 1387 [21* 7(14)] OK 3sec 848moves 136pushes 1388 [19* 7(13)] OK 1sec 227moves 38pushes 1389 [13*14(15)] OK 14sec 446moves 154pushes 1390 [13*14(32)] OK 17sec 617moves 118pushes 1391 [12*12( 9)] OK 1sec 168moves 24pushes 1392 [19*13(22)] X 600sec 1393 [16*11(15)] X 128sec 1394 [17*17(45)] X 232sec 1395 [17*15(21)] X 164sec 1396 [12* 8( 6)] OK 0sec 192moves 43pushes 1397 [17* 9(15)] OK 1sec 318moves 69pushes 1398 [15*17(30)] X 600sec 1399 [15*14(21)] Ok 125sec 2365moves 600pushes 1400 [11* 7( 9)] OK 0sec 119moves 28pushes 1401 [17*10(14)] OK 19sec 565moves 96pushes 1402 [10* 8( 6)] OK 0sec 66moves 16pushes 1403 [15*13(16)] OK 12sec 592moves 116pushes 1404 [15*13(16)] X 227sec 1405 [17*16(23)] X 600sec 1406 [11*13(11)] OK 0sec 321moves 71pushes 1407 [17*11(19)] OK 31sec 905moves 107pushes 1408 [17*17(24)] OK 31sec 1004moves 156pushes 1409 [13*14(18)] OK 129sec 1060moves 188pushes 1410 [13*14(18)] OK 33sec 607moves 88pushes 1411 [14*14(28)] X 184sec 1412 [ 8* 8( 7)] OK 0sec 155moves 26pushes 1413 [ 8* 9( 8)] OK 0sec 228moves 33pushes 1414 [ 8*11(12)] OK 34sec 734moves 116pushes 1415 [ 8*13(13)] X 123sec 1416 [ 8*15(16)] X 204sec 1417 [ 8*17(17)] X 98sec 1418 [18*17(38)] X 600sec 1419 [18*14(12)] OK 7sec 916moves 189pushes 1420 [15*15(31)] X 600sec 1421 [15*17(16)] OK 15sec 763moves 140pushes 1422 [13* 8( 7)] OK 0sec 166moves 25pushes 1423 [11* 8( 8)] OK 1sec 227moves 60pushes 1424 [19*15(34)] X 255sec 1425 [19* 8(19)] OK 18sec 1054moves 265pushes 1426 [19*15(40)] X 600sec 1427 [ 9* 7( 4)] OK 0sec 50moves 10pushes 1428 [14*14( 9)] OK 3sec 537moves 42pushes 1429 [14*12( 9)] OK 1sec 402moves 53pushes 1430 [16*13(11)] OK 3sec 404moves 104pushes 1431 [13* 9( 6)] OK 1sec 255moves 57pushes 1432 [12* 9( 6)] OK 0sec 109moves 38pushes 1433 [ 9* 9( 8)] OK 0sec 132moves 37pushes 1434 [17*14(28)] X 144sec 1435 [15*15(19)] X 600sec 1436 [18* 8(11)] OK 1sec 929moves 208pushes 1437 [13*11(14)] OK 5sec 389moves 144pushes 1438 [11* 6( 6)] OK 0sec 150moves 42pushes 1439 [11* 6( 6)] OK 0sec 160moves 34pushes 1440 [11* 6( 8)] OK 1sec 156moves 33pushes 1441 [10* 9(10)] OK 0sec 199moves 33pushes 1442 [19* 9(20)] OK 13sec 943moves 168pushes 1443 [17* 9(19)] OK 1sec 524moves 104pushes 1444 [12*10(11)] OK 2sec 215moves 39pushes 1445 [17* 9(13)] OK 0sec 289moves 66pushes 1446 [19* 9(14)] OK 2sec 776moves 168pushes 1447 [19*10(17)] OK 5sec 604moves 88pushes 1448 [ 9*11( 8)] OK 1sec 204moves 48pushes 1449 [12*13(21)] X 84sec 1450 [13* 9(15)] OK 0sec 159moves 45pushes 1451 [13*12(21)] OK 1sec 329moves 103pushes 1452 [13*10( 8)] OK 0sec 650moves 109pushes 1453 [11*13(17)] X 130sec 1454 [12*12(18)] OK 33sec 444moves 116pushes 1455 [ 9*10(12)] OK 0sec 211moves 43pushes 1456 [11*10(15)] OK 0sec 191moves 35pushes 1457 [11*15(29)] X 600sec 1458 [17*11(18)] OK 11sec 751moves 107pushes 1459 [13*13(32)] X 600sec 1460 [11*11(16)] OK 0sec 210moves 58pushes 1461 [11*11(20)] OK 4sec 329moves 48pushes 1462 [17*17(60)] X 600sec 1463 [19* 8(14)] OK 2sec 571moves 192pushes 1464 [15* 8(11)] OK 0sec 339moves 110pushes 1465 [19*14(24)] OK 17sec 983moves 215pushes 1466 [14* 8( 9)] OK 1sec 320moves 86pushes 1467 [12* 8(10)] OK 1sec 272moves 45pushes 1468 [17*11(22)] X 600sec 1469 [13* 8(12)] OK 5sec 471moves 109pushes 1470 [18*13(24)] X 600sec 1471 [ 9*13(10)] OK 0sec 255moves 53pushes 1472 [ 9*16(16)] X 204sec 1473 [13*15(22)] OK 22sec 365moves 111pushes 1474 [ 9*14( 9)] OK 6sec 356moves 82pushes 1475 [ 9*12( 8)] OK 0sec 165moves 38pushes 1476 [15*17(24)] OK 49sec 974moves 195pushes 1477 [14*12(16)] OK 4sec 997moves 281pushes 1478 [13*11(12)] OK 1sec 120moves 34pushes 1479 [15*12(16)] OK 0sec 415moves 106pushes 1480 [15*10(17)] X 600sec 1481 [10*12( 8)] OK 0sec 176moves 30pushes 1482 [13*13(24)] OK 3sec 318moves 40pushes 1483 [11*11(12)] OK 1sec 102moves 16pushes 1484 [13* 9(11)] OK 0sec 171moves 27pushes 1485 [13* 9(11)] OK 0sec 109moves 27pushes 1486 [13*13(24)] OK 5sec 1238moves 162pushes 1487 [11*11(14)] OK 0sec 381moves 76pushes 1488 [17*17(14)] OK 3sec 536moves 120pushes 1489 [17*17(13)] Ok 120sec 1096moves 194pushes 1490 [12*12(14)] OK 68sec 388moves 104pushes 1491 [17*17(52)] OK 194sec 2095moves 664pushes 1492 [13*10(12)] OK 2sec 314moves 98pushes 1493 [15* 7( 8)] OK 0sec 280moves 64pushes 1494 [15* 7(10)] OK 0sec 211moves 74pushes 1495 [14* 7( 7)] OK 1sec 236moves 62pushes 1496 [12* 7( 5)] OK 0sec 169moves 54pushes 1497 [13*12(12)] OK 31sec 687moves 196pushes 1498 [13* 7( 9)] OK 0sec 156moves 38pushes 1499 [13* 8( 9)] OK 1sec 238moves 70pushes 1500 [13* 6( 8)] OK 0sec 110moves 31pushes 1501 [11*13(15)] OK 6sec 558moves 90pushes 1502 [11*13(15)] OK 7sec 419moves 86pushes 1503 [11*13(11)] OK 0sec 411moves 52pushes 1504 [11*11( 9)] OK 0sec 299moves 58pushes 1505 [11*11(12)] OK 0sec 245moves 40pushes 1506 [17*13(27)] X 600sec 1507 [19*17(37)] X 600sec 1508 [17*15(32)] X 600sec 1509 [13*16(27)] X 600sec 1510 [11*14(20)] X 600sec 1511 [11*12(14)] OK 1sec 556moves 120pushes 1512 [ 9*10( 6)] OK 0sec 108moves 20pushes 1513 [19*17(54)] X 600sec 1514 [12*12(11)] OK 1sec 794moves 112pushes 1515 [17*14(21)] OK 5sec 1175moves 294pushes 1516 [ 7*15(15)] OK 14sec 331moves 76pushes 1517 [13*13(21)] OK 3sec 477moves 101pushes 1518 [13* 8( 8)] OK 0sec 226moves 36pushes 1519 [18* 8(14)] OK 1sec 543moves 90pushes 1520 [16* 9(14)] OK 3sec 435moves 106pushes 1521 [17* 8(15)] OK 2sec 363moves 80pushes 1522 [17* 8(16)] OK 15sec 462moves 96pushes 1523 [12*12(15)] OK 3sec 458moves 68pushes 1524 [11* 7( 6)] OK 0sec 72moves 16pushes 1525 [13* 9( 7)] OK 0sec 217moves 28pushes 1526 [10* 9( 7)] OK 0sec 118moves 31pushes 1527 [12*10(14)] OK 5sec 290moves 62pushes 1528 [15*13(12)] OK 13sec 343moves 58pushes 1529 [11* 9( 9)] OK 1sec 108moves 24pushes 1530 [15*15(40)] X 600sec 1531 [13*11(15)] OK 5sec 436moves 50pushes 1532 [11*12( 6)] OK 1sec 369moves 56pushes 1533 [21*12(14)] OK 62sec 1448moves 206pushes 1534 [10*12(13)] OK 0sec 339moves 74pushes 1535 [11*10(11)] OK 1sec 155moves 28pushes 1536 [17* 8(14)] OK 1sec 399moves 91pushes 1537 [17* 9(13)] OK 1sec 469moves 76pushes 1538 [11* 9( 9)] OK 0sec 384moves 77pushes 1539 [12* 8( 9)] OK 1sec 429moves 75pushes 1540 [12* 8( 9)] OK 0sec 235moves 43pushes 1541 [11*10( 9)] OK 0sec 400moves 45pushes 1542 [17* 9(14)] OK 16sec 416moves 92pushes 1543 [10* 8( 6)] OK 0sec 215moves 39pushes 1544 [11*11( 9)] OK 0sec 144moves 24pushes 1545 [11*11( 9)] OK 0sec 152moves 28pushes 1546 [13*13(13)] OK 2sec 478moves 46pushes 1547 [11*11(17)] OK 7sec 583moves 79pushes 1548 [ 9*12(15)] OK 0sec 184moves 62pushes 1549 [ 9*10(12)] OK 1sec 128moves 45pushes 1550 [11*11(16)] OK 0sec 313moves 56pushes 1551 [12*11(18)] OK 2sec 370moves 84pushes 1552 [12* 8( 6)] OK 0sec 241moves 25pushes 1553 [13* 8(12)] OK 1sec 253moves 34pushes 1554 [10*10( 7)] OK 0sec 425moves 80pushes 1555 [ 9*14(17)] OK 16sec 381moves 74pushes 1556 [17* 8(13)] X 138sec 1557 [11*11(12)] OK 10sec 512moves 74pushes 1558 [11*11( 9)] OK 0sec 239moves 54pushes 1559 [ 9* 9( 9)] OK 0sec 87moves 16pushes 1560 [15*15(54)] X 600sec 1561 [16*10( 8)] OK 1sec 1175moves 311pushes 1562 [11*10( 5)] OK 0sec 375moves 90pushes 1563 [13*10( 8)] OK 4sec 427moves 81pushes 1564 [14* 9(15)] OK 0sec 218moves 66pushes 1565 [13* 9(14)] OK 2sec 282moves 60pushes 1566 [15*16(15)] X 600sec 1567 [13*12(12)] OK 0sec 485moves 161pushes 1568 [11* 8( 6)] OK 0sec 150moves 37pushes 1569 [10* 9(11)] OK 1sec 274moves 50pushes 1570 [11* 8(13)] OK 9sec 408moves 116pushes 1571 [ 9* 8( 6)] OK 0sec 122moves 18pushes 1572 [15* 9(23)] OK 38sec 922moves 202pushes 1573 [15* 9(23)] OK 7sec 974moves 168pushes 1574 [17*11(20)] OK 11sec 848moves 341pushes 1575 [12*11( 8)] OK 0sec 153moves 36pushes 1576 [11* 9( 8)] OK 0sec 96moves 30pushes 1577 [ 7* 7( 4)] OK 1sec 49moves 16pushes 1578 [ 9* 9( 9)] OK 0sec 137moves 42pushes 1579 [13* 8( 9)] OK 0sec 222moves 43pushes 1580 [11*11(14)] OK 1sec 205moves 48pushes 1581 [11* 9( 9)] OK 1sec 157moves 34pushes 1582 [ 9* 9(11)] OK 0sec 232moves 58pushes 1583 [19*13(13)] OK 70sec 1738moves 376pushes 1584 [19*17(49)] X 600sec 1585 [10* 8( 7)] OK 0sec 113moves 27pushes 1586 [ 9* 8( 4)] OK 0sec 112moves 11pushes 1587 [15*13(14)] OK 9sec 582moves 68pushes 1588 [13*13(11)] OK 1sec 492moves 58pushes 1589 [13*15(24)] X 600sec 1590 [14*12( 8)] OK 0sec 278moves 26pushes 1591 [10*10( 6)] OK 0sec 134moves 24pushes 1592 [16* 8(12)] OK 1sec 250moves 80pushes 1593 [15*11(18)] OK 0sec 851moves 264pushes 1594 [12* 9( 8)] OK 0sec 122moves 32pushes 1595 [15* 9(11)] OK 1sec 473moves 133pushes 1596 [14*12(11)] OK 0sec 738moves 134pushes 1597 [12*11(18)] OK 74sec 815moves 229pushes 1598 [15*13(30)] OK 1sec 723moves 197pushes 1599 [10*11( 8)] OK 0sec 141moves 39pushes 1600 [ 8* 8( 5)] OK 0sec 74moves 16pushes 1601 [ 8*10( 4)] OK 0sec 58moves 14pushes 1602 [18*13(17)] X 600sec 1603 [11* 9( 9)] OK 0sec 233moves 56pushes 1604 [18*10(19)] X 284sec 1605 [19*11(26)] OK 14sec 1781moves 408pushes 1606 [11*11(10)] OK 0sec 176moves 46pushes 1607 [18*17(55)] OK 32sec 2665moves1100pushes 1608 [12*12( 8)] OK 1sec 943moves 178pushes 1609 [17*14(15)] OK 1sec 749moves 173pushes 1610 [12*11(13)] OK 5sec 327moves 75pushes 1611 [10*11( 9)] OK 0sec 533moves 110pushes 1612 [11*12(17)] OK 3sec 879moves 156pushes 1613 [11*11( 8)] OK 0sec 125moves 36pushes 1614 [17* 8(10)] OK 2sec 376moves 44pushes 1615 [11*11(12)] OK 2sec 217moves 43pushes 1616 [15*15(20)] OK 3sec 482moves 109pushes 1617 [11*11(11)] OK 0sec 394moves 80pushes 1618 [11* 9( 7)] OK 1sec 127moves 30pushes 1619 [19* 7(15)] OK 1sec 922moves 125pushes 1620 [17*17(48)] OK 9sec 1909moves 422pushes 1621 [19*11(13)] OK 4sec 1617moves 235pushes 1622 [13*12(11)] OK 1sec 407moves 50pushes 1623 [17*17(68)] - ---------------- (2017/12/01 07:55:22 Finish) Solved = 1384 Cancel(-) = 19 Failed(X) = 220 Skips (?) = 0 ---------------- Total = 1623