SolverStatistics-takaken-SvenEgevad

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
Matthias Meger (Talk | contribs)
(Statistics for Takaken - Sven)
Newer edit →

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

Personal tools