SolverStatistics-Takaken-GroupEffort-Large-Set

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
Matthias Meger (Talk | contribs)
(Takaken results Group Effort large set)
Newer edit →

Revision as of 17:47, 28 November 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 = GroupEffort Large Set.sok (2017/11/26 14:59:26 Start)

   1 [13*11( 6)] OK   5sec  719moves 190pushes
   2 [ 9*11( 7)] OK   0sec  635moves 132pushes
   3 [ 9* 9( 6)] OK   0sec  188moves  44pushes
   4 [ 9* 8(10)] OK   3sec  519moves 128pushes
   5 [ 9*12( 7)] OK   2sec  563moves 165pushes
   6 [10*10( 7)] OK   1sec  492moves 132pushes
   7 [11*12( 7)] OK   1sec  570moves 194pushes
   8 [11*11( 9)] OK   1sec  754moves 167pushes
   9 [ 9* 8( 6)] OK   0sec  338moves  97pushes
  10 [ 9* 9( 6)] OK   0sec  381moves  93pushes
  11 [ 9*10( 6)] OK   1sec  745moves 166pushes
  12 [11*10( 8)] OK   3sec  787moves 143pushes
  13 [10* 9( 7)] OK   1sec  357moves  97pushes
  14 [ 9* 9( 6)] OK   0sec  234moves  61pushes
  15 [ 9* 9( 5)] OK   0sec  342moves  73pushes
  16 [ 9* 9( 8)] OK   1sec  277moves  85pushes
  17 [11*11(12)] OK   3sec 1165moves 293pushes
  18 [ 9*11( 7)] OK   0sec  397moves 109pushes
  19 [11*12(13)] OK  10sec  660moves 144pushes
  20 [10* 9( 5)] OK   0sec  221moves  76pushes
  21 [ 9*10( 5)] OK   0sec  555moves 167pushes
  22 [ 8* 8( 8)] OK   0sec  347moves  78pushes
  23 [12* 8( 6)] OK   0sec  528moves  89pushes
  24 [ 9* 9( 6)] OK   0sec  529moves 127pushes
  25 [10* 8( 5)] OK   0sec  304moves  97pushes
  26 [ 8* 9( 6)] OK   0sec  295moves  72pushes
  27 [ 8* 9( 6)] OK   0sec  370moves  84pushes
  28 [ 8*10( 7)] OK   0sec  340moves  92pushes
  29 [ 8* 9( 6)] OK   0sec  304moves  69pushes
  30 [ 8* 9( 6)] OK   0sec  324moves  76pushes
  31 [ 9* 9( 7)] OK   0sec  417moves 107pushes
  32 [ 9* 9( 7)] OK   1sec  294moves  89pushes
  33 [ 8*10( 7)] OK   0sec  294moves  85pushes
  34 [ 9* 9( 5)] OK   0sec  402moves 107pushes
  35 [10*10( 8)] OK   0sec  505moves 152pushes
  36 [11*11( 8)] OK   3sec  714moves 214pushes
  37 [10*11( 9)] OK   1sec  351moves 113pushes
  38 [ 9*11( 9)] OK   1sec  400moves  98pushes
  39 [ 8*10( 7)] OK   0sec  480moves 141pushes
  40 [11* 9(10)] OK   1sec  255moves  68pushes
  41 [11*10(10)] OK   0sec  287moves  91pushes
  42 [19*16(26)] X  247sec
  43 [ 9* 9( 4)] OK   0sec  194moves  60pushes
  44 [10*10( 6)] OK   1sec  374moves  76pushes
  45 [ 9* 9( 7)] OK   0sec  202moves  52pushes
  46 [10*10( 9)] OK   0sec  155moves  50pushes
  47 [ 9*13(11)] OK   0sec  190moves  40pushes
  48 [ 7* 9( 3)] OK   0sec   75moves  26pushes
  49 [13* 8( 8)] OK   0sec  384moves  64pushes
  50 [ 9* 8( 4)] OK   0sec  182moves  31pushes
  51 [10*10( 8)] OK   1sec  218moves  52pushes
  52 [ 9* 8( 8)] OK   0sec  115moves  30pushes
  53 [11*11( 9)] OK   1sec  271moves  76pushes
  54 [11* 9( 6)] OK   0sec  227moves  48pushes
  55 [ 8*10( 8)] OK   0sec  222moves  72pushes
  56 [ 9*12(11)] OK   0sec  305moves  57pushes
  57 [ 8*10( 8)] OK   0sec  426moves  82pushes
  58 [11*10( 7)] OK   0sec  200moves  58pushes
  59 [ 9*11( 7)] OK   0sec  157moves  41pushes
  60 [15*10(27)] X  600sec
  61 [11* 8( 7)] OK   0sec  156moves  35pushes
  62 [12*10( 9)] OK   1sec  380moves  84pushes
  63 [11*10( 6)] OK   1sec  459moves  84pushes
  64 [12* 9( 7)] OK   0sec  315moves  89pushes
  65 [ 9*11(10)] OK   1sec  155moves  40pushes
  66 [10*10( 5)] OK   1sec  211moves  47pushes
  67 [ 9* 8( 6)] OK   0sec  268moves  60pushes
  68 [13*13(11)] OK   6sec  185moves  41pushes
  69 [ 9* 9( 8)] OK   1sec  121moves  32pushes
  70 [13*12( 8)] OK   2sec  518moves 116pushes
  71 [10* 9( 8)] OK   0sec  238moves  71pushes
  72 [ 9* 8( 4)] OK   0sec  189moves  43pushes
  73 [ 9* 8( 4)] OK   1sec  233moves  36pushes
  74 [ 9*10( 6)] OK   0sec  220moves  52pushes
  75 [ 9*13(11)] OK   0sec  255moves  48pushes
  76 [10* 9( 6)] OK   0sec  182moves  54pushes
  77 [12*10( 8)] OK   1sec  786moves 189pushes
  78 [10*10( 6)] OK   0sec  215moves  59pushes
  79 [10*10( 7)] OK   1sec  181moves  68pushes
  80 [ 9* 8( 8)] OK   0sec  230moves  54pushes
  81 [10*10( 7)] OK   0sec  275moves  56pushes
  82 [ 9*11(10)] OK   1sec  546moves 130pushes
  83 [ 9* 7( 3)] OK   0sec  114moves  30pushes
  84 [ 9*10( 3)] OK   0sec  134moves  27pushes
  85 [11* 9( 8)] OK   0sec  213moves  62pushes
  86 [11*10( 8)] OK   0sec  747moves 140pushes
  87 [12*13( 9)] OK   1sec  823moves 148pushes
  88 [ 9* 9( 8)] OK   0sec  222moves  54pushes
  89 [11* 9( 8)] OK   1sec  374moves 100pushes
  90 [13*10( 8)] OK   1sec  289moves 101pushes
  91 [10*10( 6)] OK   0sec  305moves  53pushes
  92 [12*12( 9)] OK   3sec  859moves 108pushes
  93 [17*17(20)] X  600sec
  94 [22*20(36)] X  600sec
  95 [18*13(28)] X  600sec
  96 [ 9* 8( 6)] OK   0sec  199moves  46pushes
  97 [12*11( 8)] OK   1sec  139moves  52pushes
  98 [11* 9( 8)] OK   0sec  202moves  65pushes
  99 [ 9* 7( 8)] OK   0sec  132moves  32pushes
 100 [ 9* 9( 7)] OK   0sec  212moves  51pushes
 101 [ 7*11( 9)] OK   1sec  173moves  49pushes
 102 [14*22(12)] OK   7sec 1265moves 292pushes
 103 [ 9*11(10)] OK   0sec  276moves  55pushes
 104 [ 9* 9( 8)] OK   0sec  177moves  42pushes
 105 [10* 9( 6)] OK   1sec  373moves  67pushes
 106 [ 9* 9( 7)] OK   0sec  379moves  89pushes
 107 [10* 9(10)] OK   0sec  384moves  66pushes
 108 [ 9* 7( 5)] OK   1sec  123moves  32pushes
 109 [13* 8( 9)] OK   1sec  402moves  71pushes
 110 [11* 9( 7)] OK   1sec  346moves  90pushes
 111 [10* 9(10)] OK   1sec  360moves  86pushes
 112 [ 8*11(10)] OK   0sec  313moves  70pushes
 113 [ 9*12(10)] OK   0sec  306moves  61pushes
 114 [14* 7(10)] OK   1sec  140moves  44pushes
 115 [ 9* 8( 5)] OK   0sec  163moves  31pushes
 116 [11*10( 7)] OK   0sec  624moves 130pushes
 117 [ 9*11( 4)] OK   0sec  204moves  65pushes
 118 [ 9*11(10)] OK   1sec  334moves  59pushes
 119 [12*11( 8)] OK  22sec  472moves 154pushes
 120 [12*11( 8)] OK   0sec  401moves  93pushes
 121 [11*11(10)] OK   4sec  571moves  96pushes
 122 [11* 9( 6)] OK   1sec  206moves  31pushes
 123 [ 8* 9( 6)] OK   0sec  223moves  53pushes
 124 [12* 9( 7)] OK   0sec  286moves  55pushes
 125 [10* 9( 6)] OK   0sec  210moves  56pushes
 126 [ 8*10( 9)] OK   1sec  102moves  19pushes
 127 [ 9* 9( 8)] OK   0sec   72moves  10pushes
 128 [10* 7( 4)] OK   0sec  126moves  26pushes
 129 [10*11( 7)] OK   0sec  318moves 109pushes
 130 [10* 9( 7)] OK   1sec  297moves  49pushes
 131 [11* 7( 3)] OK   0sec   81moves   9pushes
 132 [13*10( 7)] OK   0sec  448moves 107pushes
 133 [ 9*10( 9)] OK   0sec  161moves  26pushes
 134 [10*10( 8)] OK   0sec  204moves  42pushes
 135 [11* 8( 8)] OK   1sec  283moves  51pushes
 136 [ 9* 7( 3)] OK   0sec   90moves  26pushes
 137 [15*14(11)] X  374sec
 138 [10* 9( 8)] OK   1sec  271moves  41pushes
 139 [15*11(10)] OK   1sec  579moves 126pushes
 140 [11*11( 6)] OK   0sec  304moves  75pushes
 141 [10*10( 6)] OK   1sec  388moves 113pushes
 142 [11*11( 8)] OK   2sec  816moves 191pushes
 143 [11* 8( 9)] OK   1sec  349moves  83pushes
 144 [11*10( 6)] OK   1sec  386moves 107pushes
 145 [13*10( 7)] OK   1sec  804moves 214pushes
 146 [13*11( 6)] OK   0sec  618moves 192pushes
 147 [10*12( 8)] OK   1sec  646moves 192pushes
 148 [17*11(16)] OK 177sec 1066moves 199pushes
 149 [13*10( 8)] OK   7sec  868moves 209pushes
 150 [11*10( 8)] OK   0sec  547moves 160pushes
 151 [12*12( 7)] OK   2sec  713moves 264pushes
 152 [10*11( 6)] OK   1sec  537moves 130pushes
 153 [14*11(11)] X  142sec
 154 [10*11( 8)] OK   1sec  725moves 144pushes
 155 [11*10( 8)] OK   4sec  697moves 134pushes
 156 [11*12( 8)] OK   2sec  993moves 244pushes
 157 [10*12( 8)] OK   3sec  740moves 185pushes
 158 [12*10( 8)] OK   4sec  706moves 227pushes
 159 [11*10(11)] OK   0sec  513moves 121pushes
 160 [11* 9( 6)] OK   2sec  456moves 155pushes
 161 [12* 9( 8)] OK   0sec  659moves 190pushes
 162 [16*15(13)] X  343sec
 163 [11*10( 7)] OK   1sec  627moves 201pushes
 164 [13*10(10)] OK   0sec  604moves 148pushes
 165 [12*11(10)] OK   0sec  553moves 166pushes
 166 [ 9* 9( 7)] OK   0sec  365moves  73pushes
 167 [12*10( 6)] OK   1sec 1019moves 199pushes
 168 [11* 9( 9)] OK   1sec  763moves 189pushes
 169 [13*11( 8)] OK   1sec  669moves 173pushes
 170 [10*11( 9)] OK  12sec  971moves 236pushes
 171 [13*10( 7)] OK   2sec  445moves 101pushes
 172 [10*12( 6)] OK   1sec  463moves 136pushes
 173 [11* 9( 6)] OK   0sec  476moves 158pushes
 174 [11*10( 8)] OK   1sec  804moves 209pushes
 175 [10*11( 6)] OK   2sec  519moves 180pushes
 176 [11*11( 8)] OK   1sec  875moves 270pushes
 177 [11*10( 6)] OK   1sec  529moves 112pushes
 178 [12*10( 6)] OK   3sec  550moves 131pushes
 179 [17*11(16)] X  565sec
 180 [19* 6( 6)] OK   0sec  154moves  48pushes
 181 [ 7* 8( 3)] OK   0sec  110moves  19pushes
 182 [ 8* 7( 3)] OK   1sec  111moves  16pushes
 183 [ 9* 7( 4)] OK   0sec   80moves  13pushes
 184 [ 9* 7( 4)] OK   0sec   75moves  16pushes
 185 [ 9* 9( 6)] OK   0sec  128moves  32pushes
 186 [ 9* 9( 5)] OK   0sec   61moves  12pushes
 187 [13*10(15)] OK  19sec  632moves 157pushes
 188 [ 9* 9( 6)] OK   0sec  105moves  30pushes
 189 [ 9* 9( 4)] OK   0sec   51moves  14pushes
 190 [ 8* 8( 4)] OK   0sec   83moves  12pushes
 191 [ 9* 8( 6)] OK   0sec   69moves  20pushes
 192 [14*11(16)] OK  18sec  857moves 261pushes
 193 [13* 8( 6)] OK   0sec  285moves  51pushes
 194 [ 7* 8( 5)] OK   0sec   51moves  16pushes
 195 [ 8* 7( 4)] OK   1sec   72moves  17pushes
 196 [10* 8( 7)] OK   0sec  101moves  31pushes
 197 [12* 8( 6)] OK   0sec  176moves  51pushes
 198 [ 8* 8( 6)] OK   1sec  157moves  35pushes
 199 [ 9* 9( 7)] OK   0sec  210moves  47pushes
 200 [ 9*11( 8)] OK   0sec  202moves  49pushes
 201 [10* 8( 6)] OK   1sec  147moves  37pushes
 202 [ 9* 7( 6)] OK   0sec  103moves  26pushes
 203 [ 9* 8( 5)] OK   0sec  139moves  28pushes
 204 [ 9* 9( 7)] OK   0sec  133moves  30pushes
 205 [ 9* 7( 6)] OK   0sec  123moves  33pushes
 206 [ 8*11(11)] OK   0sec  178moves  43pushes
 207 [ 8* 9( 6)] OK   0sec  122moves  28pushes
 208 [ 9*12(10)] OK   1sec  483moves  90pushes
 209 [ 9* 9( 8)] OK   0sec   85moves  27pushes
 210 [ 9*12( 7)] OK   0sec  303moves  60pushes
 211 [ 9*12( 7)] OK   0sec  159moves  28pushes
 212 [12*10(10)] OK   0sec  345moves  85pushes
 213 [11*11(16)] OK   1sec  304moves  62pushes
 214 [10*10( 7)] OK   0sec  402moves  69pushes
 215 [ 9* 9( 8)] OK   0sec  186moves  44pushes
 216 [ 9*10( 7)] OK   1sec  151moves  21pushes
 217 [10* 9( 6)] OK   0sec  144moves  25pushes
 218 [ 8* 9( 6)] OK   0sec  160moves  26pushes
 219 [ 8* 7( 3)] OK   1sec   61moves  16pushes
 220 [11*12(14)] OK   1sec  430moves  64pushes
 221 [ 9*11( 9)] OK   0sec  156moves  36pushes
 222 [ 9*12(12)] OK   1sec  218moves  53pushes
 223 [ 8* 8( 5)] OK   0sec  139moves  32pushes
 224 [ 8*10( 9)] OK   0sec  275moves  39pushes
 225 [10*12( 9)] OK   1sec  524moves  82pushes
 226 [ 8* 9( 8)] OK   0sec  161moves  34pushes
 227 [ 9* 9( 3)] OK   0sec  123moves  21pushes
 228 [ 8* 7( 7)] OK   1sec  129moves  26pushes
 229 [ 9* 9( 4)] OK   0sec  171moves  19pushes
 230 [11* 8(10)] OK   0sec  224moves  40pushes
 231 [ 7* 8( 5)] OK   1sec   89moves  25pushes
 232 [ 8* 8( 6)] OK   0sec   62moves  12pushes
 233 [ 9* 9( 4)] OK   0sec  127moves  27pushes
 234 [10*11( 5)] OK   1sec  210moves  49pushes
 235 [20*18(15)] OK  62sec 1695moves 217pushes
 236 [20*14(14)] OK  29sec 1065moves 209pushes
 237 [11*11(16)] OK   0sec  128moves  30pushes
 238 [17*17(16)] OK  51sec 1717moves 400pushes
 239 [14*13(10)] OK   1sec  305moves  58pushes
 240 [27*18(28)] OK   9sec  848moves 258pushes
 241 [13*13(40)] OK   3sec  695moves  98pushes
 242 [29*17(162)] -
 243 [25*17(48)] X  600sec
 244 [19*15( 9)] X  268sec
 245 [10*11( 5)] OK   0sec  289moves  86pushes
 246 [19*15(19)] OK  10sec 2167moves 378pushes
 247 [19*15(28)] OK   2sec 1151moves 310pushes
 248 [21*18(32)] OK  17sec 1977moves 397pushes
 249 [30*17(12)] OK   3sec 1657moves 177pushes
 250 [25*17(14)] OK  94sec 1138moves 138pushes
 251 [23*18(50)] X  600sec
 252 [17*13(14)] OK   0sec  645moves 228pushes
 253 [16*16(16)] X  600sec
 254 [28*17(25)] X  412sec
 255 [27*16(28)] X  404sec
 256 [17*11( 6)] OK   2sec  523moves 101pushes
 257 [19*11( 7)] OK   1sec  882moves 180pushes
 258 [18*15( 6)] OK   1sec  847moves 175pushes
 259 [13*13(17)] OK   0sec  235moves  44pushes
 260 [24*15(13)] X  600sec
 261 [13* 7( 8)] OK   0sec   80moves  24pushes
 262 [15*15(16)] OK   1sec 1066moves 254pushes
 263 [17*17(48)] X  600sec
 264 [29*17(34)] X  141sec
 265 [27*15(32)] X  600sec
 266 [19* 9(24)] OK   2sec  719moves 116pushes
 267 [16*13( 9)] Ok 186sec 1267moves 258pushes
 268 [30*18(52)] OK  37sec 2037moves 558pushes
 269 [13*11(29)] OK   4sec  767moves 184pushes
 270 [23*16(13)] OK  11sec 2451moves 393pushes
 271 [30*15(21)] X  242sec
 272 [17*14(17)] OK   9sec  600moves 178pushes
 273 [22*13(10)] OK   3sec  882moves 331pushes
 274 [30*18(19)] X  600sec
 275 [17*17(24)] OK  32sec 1036moves 294pushes
 276 [17*17(24)] X   63sec
 277 [23*18(28)] X  600sec
 278 [12*12( 8)] OK   0sec  431moves  67pushes
 279 [29*17(94)] -
 280 [19*17(15)] OK  52sec 2084moves 317pushes
 281 [18*13(10)] OK  19sec  994moves 337pushes
 282 [16*13(12)] OK   4sec 2213moves 293pushes
 283 [29*17(23)] X  600sec
 284 [13*13( 6)] OK   0sec   85moves  19pushes
 285 [11*11(13)] OK  12sec  199moves  46pushes
 286 [ 9* 9(13)] OK   1sec  132moves  26pushes
 287 [10*10(14)] OK   1sec  403moves  80pushes
 288 [10*10(15)] OK   1sec  411moves  78pushes
 289 [11* 7(11)] OK   0sec  109moves  24pushes
 290 [13*13(18)] OK   0sec  151moves  40pushes
 291 [14*15( 9)] OK   1sec  781moves 128pushes
 292 [25*25(48)] X  600sec
 293 [10*10( 9)] OK   0sec  119moves  27pushes
 294 [15*15(30)] X   72sec
 295 [15*15(26)] OK  29sec  538moves  84pushes
 296 [15*15(18)] OK  45sec 1082moves 156pushes
 297 [ 8*13( 5)] OK   0sec  152moves  42pushes
 298 [ 8* 8( 3)] OK   0sec   84moves  23pushes
 299 [ 9* 7( 5)] OK   0sec   81moves  13pushes
 300 [ 7* 6( 3)] OK   0sec   50moves  10pushes
 301 [47*42( 1)] OK   0sec 2299moves 589pushes
 302 [13* 8( 3)] OK   0sec  179moves  52pushes
 303 [ 8* 8( 4)] OK   0sec  129moves  30pushes
 304 [ 7* 8( 4)] OK   1sec  122moves  23pushes
 305 [ 8* 8( 4)] OK   0sec  155moves  34pushes
 306 [ 8* 8( 4)] OK   0sec   75moves  20pushes
 307 [ 8*10( 4)] OK   1sec  189moves  30pushes
 308 [ 9* 8( 4)] OK   0sec  172moves  42pushes
 309 [ 9* 7( 6)] OK   0sec   73moves  16pushes
 310 [ 9* 8( 8)] OK   1sec   91moves  14pushes
 311 [ 7* 6( 3)] OK   0sec   52moves  11pushes
 312 [11* 9( 6)] OK   0sec   59moves  19pushes
 313 [ 9*10( 3)] OK   1sec  175moves  45pushes
 314 [11*14( 3)] OK   0sec  257moves  66pushes
 315 [15*15( 8)] OK   0sec  244moves  74pushes
 316 [15*15( 8)] OK   1sec  250moves 102pushes
 317 [ 8*12( 6)] OK   1sec  101moves  24pushes
 318 [13*11( 3)] OK   0sec  187moves  51pushes
 319 [13*10( 4)] OK   0sec  289moves  75pushes
 320 [10* 7( 6)] OK   1sec  117moves  22pushes
 321 [12* 8( 8)] OK   0sec  161moves  42pushes
 322 [ 7* 8( 3)] OK   0sec   54moves  11pushes
 323 [11* 8( 6)] OK   0sec   55moves  24pushes
 324 [12*11( 5)] OK   0sec  311moves  80pushes
 325 [16*11( 4)] OK   0sec  326moves  92pushes
 326 [19*12( 6)] OK   0sec  615moves 163pushes
 327 [ 9* 7( 5)] OK   0sec   84moves  21pushes
 328 [ 8* 8( 6)] OK   0sec   69moves  18pushes
 329 [11*11( 8)] OK   0sec  191moves  30pushes
 330 [10* 8( 4)] OK   0sec  118moves  34pushes
 331 [ 8*10( 5)] OK   0sec  127moves  33pushes
 332 [10*12( 5)] OK   0sec  124moves  36pushes
 333 [ 6* 9( 4)] OK   0sec   65moves  16pushes
 334 [11*14( 4)] OK   0sec  316moves  62pushes
 335 [10*11( 4)] OK   0sec  289moves  58pushes
 336 [11*10( 6)] OK   0sec  161moves  54pushes
 337 [11*11( 8)] OK   0sec  128moves  38pushes
 338 [ 8* 9(12)] OK   0sec   57moves  18pushes
 339 [11*12( 4)] OK   0sec  273moves  36pushes
 340 [14*14(12)] OK  15sec  718moves 192pushes
 341 [15*13(12)] OK 137sec 1518moves 160pushes
 342 [ 9* 7( 4)] OK   0sec   83moves  20pushes
 343 [ 8* 8( 4)] OK   0sec   39moves  13pushes
 344 [10* 6( 3)] OK   0sec   74moves  20pushes
 345 [ 8* 8( 4)] OK   0sec   55moves  19pushes
 346 [ 9* 9( 4)] OK   0sec  158moves  31pushes
 347 [ 9*10( 5)] OK   0sec   90moves  15pushes
 348 [ 9*10( 6)] OK   1sec  106moves  19pushes
 349 [16*12( 5)] OK   0sec  378moves 142pushes
 350 [11*11(12)] OK   0sec  136moves  28pushes
 351 [11*11(12)] OK   0sec  254moves  52pushes
 352 [13*13(20)] OK   8sec  308moves  30pushes
 353 [15*15(40)] OK  10sec  752moves 108pushes
 354 [17*11(13)] OK   0sec  349moves  20pushes
 355 [ 8* 7( 4)] OK   0sec   76moves  18pushes
 356 [ 8*10( 3)] OK   0sec  171moves  19pushes
 357 [ 8* 7( 3)] OK   0sec   69moves  13pushes
 358 [ 8* 7( 3)] OK   0sec   38moves  11pushes
 359 [ 7* 8( 3)] OK   0sec   89moves  19pushes
 360 [10* 8( 3)] OK   0sec  112moves  39pushes
 361 [ 8* 8( 3)] OK   0sec   56moves  13pushes
 362 [ 8* 9( 3)] OK   0sec   89moves  17pushes
 363 [ 8* 7( 3)] OK   0sec   39moves   9pushes
 364 [ 8* 8( 3)] OK   1sec   33moves   7pushes
 365 [ 7* 9( 3)] OK   0sec   67moves  21pushes
 366 [ 9* 9( 4)] OK   0sec  171moves  49pushes
 367 [ 8* 9( 3)] OK   1sec   60moves  17pushes
 368 [ 6* 8( 4)] OK   0sec   61moves  14pushes
 369 [ 6*10( 4)] OK   0sec  115moves  26pushes
 370 [ 8* 9( 3)] OK   0sec   87moves  18pushes
 371 [ 8* 9( 3)] OK   0sec   88moves  16pushes
 372 [ 6* 9( 3)] OK   0sec   53moves  18pushes
 373 [ 7*10( 3)] OK   0sec   81moves  22pushes
 374 [ 8*10( 3)] OK   0sec   65moves  19pushes
 375 [ 8* 7( 3)] OK   0sec   59moves  11pushes
 376 [ 8* 7( 3)] OK   0sec   58moves  11pushes
 377 [16* 8( 4)] OK   0sec  120moves  38pushes
 378 [ 7* 9( 3)] OK   1sec   83moves  23pushes
 379 [ 7* 8( 3)] OK   0sec   49moves  16pushes
 380 [ 6* 8( 3)] OK   0sec   65moves  16pushes
 381 [ 9* 9( 3)] OK   1sec   75moves   8pushes
 382 [ 9* 7( 3)] OK   0sec   66moves  14pushes
 383 [ 8* 8( 3)] OK   0sec   78moves  20pushes
 384 [ 8* 8( 3)] OK   0sec   69moves  16pushes
 385 [10* 8( 3)] OK   0sec   93moves  16pushes
 386 [10*10( 3)] OK   0sec   97moves  24pushes
 387 [ 7* 8( 3)] OK   0sec   40moves  12pushes
 388 [15* 8( 4)] OK   0sec  203moves  64pushes
 389 [ 7* 7( 3)] OK   0sec   44moves  14pushes
 390 [ 7* 7( 3)] OK   0sec   28moves   8pushes
 391 [ 8* 9( 3)] OK   0sec   28moves   6pushes
 392 [ 8* 8( 3)] OK   1sec   42moves  12pushes
 393 [ 9* 7( 3)] OK   0sec   42moves  12pushes
 394 [ 8* 8( 3)] OK   0sec   57moves  20pushes
 395 [ 9* 8( 3)] OK   1sec   66moves  22pushes
 396 [ 8* 6( 3)] OK   0sec   62moves  14pushes
 397 [ 7* 9( 3)] OK   0sec   78moves  26pushes
 398 [ 7* 7( 3)] OK   0sec   56moves  20pushes
 399 [ 8* 6( 2)] OK   0sec   38moves  14pushes
 400 [14*12( 6)] OK   0sec  226moves 104pushes
 401 [16*10(22)] OK   2sec  404moves  82pushes
 402 [ 7* 8( 6)] OK   0sec   32moves   6pushes
 403 [ 7* 9( 6)] OK   0sec   75moves  23pushes
 404 [ 7* 9( 4)] OK   0sec   80moves  24pushes
 405 [ 8* 9( 3)] OK   0sec  100moves  22pushes
 406 [11* 7( 4)] OK   0sec   67moves  23pushes
 407 [ 9* 7( 3)] OK   0sec   77moves  17pushes
 408 [ 7* 8( 5)] OK   0sec   90moves  25pushes
 409 [10* 9( 6)] OK   0sec   82moves  24pushes
 410 [ 8* 8( 3)] OK   1sec   73moves  20pushes
 411 [11* 7( 4)] OK   0sec  112moves  32pushes
 412 [ 8* 7( 4)] OK   0sec   70moves  15pushes
 413 [ 8* 9( 4)] OK   1sec  121moves  26pushes
 414 [ 9* 7( 4)] OK   0sec   32moves   6pushes
 415 [ 9*11( 6)] OK   0sec   94moves  28pushes
 416 [11*10( 4)] OK   0sec  132moves  38pushes
 417 [15* 8( 4)] OK   0sec  338moves  78pushes
 418 [ 8* 9( 4)] OK   0sec   90moves  28pushes
 419 [10* 8( 4)] OK   0sec  110moves  21pushes
 420 [11* 9( 7)] OK   0sec   71moves  16pushes
 421 [13* 9( 9)] OK   0sec  107moves  28pushes
 422 [ 8* 7( 6)] OK   0sec   73moves  14pushes
 423 [13*17( 6)] OK   0sec  306moves 142pushes
 424 [ 8* 8( 4)] OK   0sec  103moves  24pushes
 425 [10*10( 6)] OK   0sec  196moves  76pushes
 426 [ 9* 9( 6)] OK   0sec  129moves  32pushes
 427 [ 9* 8( 7)] OK   0sec   74moves  14pushes
 428 [ 9* 9( 8)] OK   1sec  136moves  30pushes
 429 [12*12( 8)] OK   0sec  106moves  16pushes
 430 [ 9* 9(12)] OK   0sec  156moves  32pushes
 431 [ 9* 9(12)] OK   0sec  102moves  14pushes
 432 [20*12( 3)] OK   0sec  305moves 105pushes
 433 [ 9* 6( 7)] OK   0sec   56moves  13pushes
 434 [22*10( 4)] OK   0sec  328moves 118pushes
 435 [18*11( 3)] OK   0sec  203moves  80pushes
 436 [27*12( 7)] OK   0sec  659moves 251pushes
 437 [12* 7( 3)] OK   0sec  180moves  33pushes
 438 [13* 8( 4)] OK   0sec  235moves  46pushes
 439 [11*10( 5)] OK   0sec  169moves  27pushes
 440 [15*11( 8)] OK   0sec  308moves  74pushes
 441 [ 9*10( 5)] OK   0sec  285moves  66pushes
 442 [ 9*10( 5)] OK   0sec  339moves  72pushes
 443 [ 9*10( 5)] OK   0sec  299moves  64pushes
 444 [14* 7( 3)] OK   1sec   87moves  33pushes
 445 [14*15( 4)] OK   0sec  452moves 112pushes
 446 [ 7* 9( 6)] OK   0sec   88moves  14pushes
 447 [ 7* 9( 6)] OK   1sec   56moves  10pushes
 448 [ 7* 9( 6)] OK   0sec   60moves  16pushes
 449 [ 7* 9( 6)] OK   0sec   62moves  22pushes
 450 [11* 9( 6)] OK   1sec  117moves  41pushes
 451 [11*13( 7)] OK   1sec  608moves 162pushes
 452 [16* 9(14)] OK   2sec  440moves 102pushes
 453 [15*15(12)] OK   1sec  193moves  26pushes
 454 [13*13(12)] OK  10sec  261moves  66pushes
 455 [16* 8( 4)] OK   0sec  167moves  58pushes
 456 [13*13(24)] OK   1sec  303moves  38pushes
 457 [11*10( 8)] OK   0sec   88moves  22pushes
 458 [13*11(10)] OK   0sec  137moves  26pushes
 459 [11* 9(10)] OK   1sec  273moves  48pushes
 460 [11* 9(10)] OK   0sec   93moves  23pushes
 461 [ 9* 9( 7)] OK   0sec   88moves  28pushes
 462 [ 9* 9(10)] OK   1sec   77moves  14pushes
 463 [ 8*11(10)] OK   0sec  247moves  55pushes
 464 [ 9*11( 8)] OK   0sec  277moves  53pushes
 465 [11*11(12)] OK   1sec  293moves  64pushes
 466 [ 9*10( 4)] OK   0sec  156moves  38pushes
 467 [11*13(11)] OK   1sec  420moves 119pushes
 468 [ 8*12( 9)] OK   0sec  212moves  50pushes
 469 [11*12( 8)] OK   0sec  270moves  59pushes
 470 [10*10(10)] OK   1sec  125moves  27pushes
 471 [ 9*12( 7)] OK   0sec  181moves  59pushes
 472 [17*13(15)] OK   2sec  865moves 265pushes
 473 [13*11(13)] OK   0sec  383moves 100pushes
 474 [ 9*11(10)] OK   1sec  126moves  31pushes
 475 [10*14( 8)] OK   0sec  142moves  54pushes
 476 [ 9*11(10)] OK   0sec  135moves  35pushes
 477 [ 8* 8(12)] OK   0sec   98moves  32pushes
 478 [13*12(12)] OK   0sec  245moves  73pushes
 479 [10*11(10)] OK   0sec  221moves  66pushes
 480 [10*11( 9)] OK   0sec   97moves  26pushes
 481 [10*11(10)] OK   1sec  214moves  50pushes
 482 [10*10( 9)] OK   0sec  163moves  45pushes
 483 [17*13(13)] OK   4sec 1211moves 353pushes
 484 [ 9*11( 9)] OK   0sec  144moves  26pushes
 485 [ 9* 9( 7)] OK   0sec   96moves  29pushes
 486 [12*13( 9)] OK   2sec  447moves  96pushes
 487 [15* 9(17)] OK   2sec  237moves  34pushes
 488 [11*11(10)] OK   0sec  252moves  36pushes
 489 [15* 9(18)] OK   0sec  203moves  54pushes
 490 [15* 9(15)] OK   0sec  136moves  30pushes
 491 [15* 9(17)] OK   1sec  160moves  34pushes
 492 [15* 9(19)] OK   4sec  349moves  52pushes
 493 [15* 9(16)] OK   1sec  249moves  46pushes
 494 [15* 9(19)] OK   4sec  213moves  34pushes
 495 [15* 9(19)] OK   2sec  416moves  66pushes
 496 [16*10(22)] OK   0sec  326moves  44pushes
 497 [16*10(26)] OK   3sec  341moves  48pushes
 498 [16*10(26)] OK   1sec  357moves  76pushes
 499 [ 9* 8( 4)] OK   0sec  186moves  40pushes
 500 [11* 8( 8)] OK   0sec  183moves  42pushes
 501 [15*10( 6)] OK   0sec  302moves  61pushes
 502 [ 7* 8( 8)] OK   0sec  119moves  43pushes
 503 [ 8* 8( 5)] OK   0sec  159moves  33pushes
 504 [11*10( 7)] OK   0sec  205moves  40pushes
 505 [ 8* 8( 5)] OK   0sec  231moves  38pushes
 506 [ 8*10( 6)] OK   0sec   88moves  30pushes
 507 [ 8*14( 7)] OK   0sec  198moves  37pushes
 508 [14*10(10)] OK  46sec  394moves  85pushes
 509 [10*10( 7)] OK   0sec  391moves  93pushes
 510 [ 8* 9( 7)] OK   0sec   95moves  25pushes
 511 [ 8*10( 6)] OK   0sec  179moves  36pushes
 512 [ 8* 8( 7)] OK   1sec  234moves  41pushes
 513 [ 7* 8( 8)] OK   0sec  131moves  42pushes
 514 [12*12(10)] OK   1sec  803moves 115pushes
 515 [10*10(10)] OK   0sec  253moves  54pushes
 516 [ 9*10( 8)] OK   1sec  331moves  54pushes
 517 [ 8* 9(10)] OK   0sec  175moves  61pushes
 518 [ 9* 8( 9)] OK   0sec  190moves  62pushes
 519 [13* 9( 9)] OK   0sec  212moves  72pushes
 520 [ 9* 9( 8)] OK   0sec  148moves  42pushes
 521 [ 9* 8( 5)] OK   0sec  110moves  25pushes
 522 [ 9* 8( 6)] OK   0sec  130moves  30pushes
 523 [ 8* 9(11)] OK   5sec  391moves  90pushes
 524 [10*11( 8)] OK   0sec  125moves  42pushes
 525 [11* 8(11)] OK   0sec  236moves  65pushes
 526 [11* 8( 8)] OK   0sec  286moves  85pushes
 527 [11*12( 9)] OK   0sec  439moves  67pushes
 528 [ 9*11(12)] OK   0sec  224moves  63pushes
 529 [14* 9( 6)] OK   1sec  208moves  68pushes
 530 [ 9* 9( 9)] OK   0sec  195moves  50pushes
 531 [ 9* 8(10)] OK   1sec  338moves  68pushes
 532 [ 9* 7( 6)] OK   0sec   66moves  22pushes
 533 [ 9*11(10)] OK   1sec  289moves  66pushes
 534 [10*11(10)] OK   1sec  232moves  67pushes
 535 [ 8* 9( 9)] OK   1sec  242moves  59pushes
 536 [ 9*11(12)] OK   1sec  251moves  75pushes
 537 [13* 9( 6)] OK   0sec  277moves  63pushes
 538 [ 9* 8( 8)] OK   0sec  236moves  48pushes
 539 [10* 8( 9)] OK   1sec  180moves  58pushes
 540 [ 9* 8( 8)] OK   0sec  285moves  63pushes
 541 [ 9* 9( 7)] OK   0sec  165moves  57pushes
 542 [ 9* 9( 8)] OK   0sec  344moves  90pushes
 543 [14*10(10)] OK   1sec  515moves 180pushes
 544 [ 9* 9( 9)] OK   3sec  380moves 101pushes
 545 [13* 7( 9)] OK   1sec  402moves 135pushes
 546 [ 9*11( 8)] OK   0sec  243moves  65pushes
 547 [11*11(10)] OK   1sec  282moves  71pushes
 548 [11*10( 8)] OK   1sec  533moves 111pushes
 549 [10*14(12)] OK   6sec  447moves  84pushes
 550 [ 9* 9(10)] OK   7sec  477moves 137pushes
 551 [ 9* 8( 7)] OK   0sec  297moves  94pushes
 552 [ 9* 7( 6)] OK   0sec   90moves  24pushes
 553 [ 8* 7( 6)] OK   0sec  104moves  31pushes
 554 [ 8* 7( 5)] OK   0sec   87moves  19pushes
 555 [12* 8( 5)] OK   0sec  180moves  59pushes
 556 [ 8*12( 6)] OK   0sec  282moves  46pushes
 557 [17*11(14)] OK   1sec  196moves  52pushes
 558 [21*15(29)] OK  32sec 1347moves 242pushes
 559 [10*16(13)] OK   2sec  352moves  62pushes
 560 [13*13(17)] X  149sec
 561 [15* 9(18)] OK   6sec  550moves 168pushes
 562 [23* 9(16)] OK   1sec  736moves 148pushes
 563 [11*11(16)] OK   1sec  191moves  36pushes
 564 [17*17(24)] X  600sec
 565 [15*15(24)] X  600sec
 566 [15*15(24)] X  600sec
 567 [13*10(12)] X  121sec
 568 [13*13(20)] OK   5sec  475moves  94pushes
 569 [15*15(22)] OK  21sec  957moves 222pushes
 570 [17*17(44)] X  600sec
 571 [15*15(32)] X  600sec
 572 [17*15(37)] X  600sec
 573 [17*17(34)] OK  85sec 1025moves 170pushes
 574 [17*17(88)] -
 575 [17*17(84)] -
 576 [17*17(32)] X  600sec
 577 [29*17(36)] X  600sec
 578 [13*13( 8)] OK   1sec  715moves 111pushes
 579 [30*17(42)] OK 142sec 2844moves 450pushes
 580 [19*17(34)] X  600sec
 581 [21*17(21)] X  207sec
 582 [18*16(14)] OK 119sec 1898moves 235pushes
 583 [20*18(25)] OK  26sec 2446moves 344pushes
 584 [18*13(18)] X  154sec
 585 [27*17(39)] X  600sec
 586 [21*16(30)] X  600sec
 587 [18*13(23)] OK   2sec  525moves 178pushes
 588 [19*18(11)] OK  16sec 1302moves 240pushes
 589 [18*15(17)] OK  12sec 2386moves 257pushes
 590 [29*17(32)] X  275sec
 591 [30*18(22)] X  356sec
 592 [25*17(48)] X  600sec
 593 [18*16(18)] X  293sec
 594 [17*17(48)] X  600sec
 595 [17*17(48)] X  600sec
 596 [27*15(74)] -
 597 [27*15(68)] -
 598 [27*17(23)] X  177sec
 599 [29*17(152)] -
 600 [15*10( 9)] OK   0sec  391moves  81pushes
 601 [29*18(18)] X  198sec
 602 [19*17(22)] OK  28sec 1448moves 196pushes
 603 [12*13(11)] OK   1sec  267moves  44pushes
 604 [11*12(11)] OK   2sec  373moves  84pushes
 605 [13*13(17)] OK   0sec  593moves 111pushes
 606 [11*10( 3)] OK   0sec  163moves  49pushes
 607 [ 8*12( 7)] OK   0sec  105moves  27pushes
 608 [10*10( 5)] OK   1sec  350moves  77pushes
 609 [10*14( 6)] OK   0sec  378moves  68pushes
 610 [12*12(12)] OK   0sec  313moves  28pushes
 611 [11*11(16)] OK   0sec  200moves  58pushes
 612 [11*11(20)] OK   1sec  246moves  58pushes
 613 [13*13(28)] OK   4sec  564moves 168pushes
 614 [15*15(52)] X  600sec
 615 [17*17(40)] OK 373sec 1856moves 466pushes
 616 [11*10( 7)] OK   0sec  176moves  36pushes
 617 [10* 9( 4)] OK   0sec  164moves  38pushes
 618 [13*10(12)] OK   2sec  278moves  62pushes
 619 [13* 9( 8)] OK   0sec  261moves  50pushes
 620 [16*10( 9)] OK   2sec  522moves 154pushes
 621 [12*11( 8)] OK   0sec  368moves 116pushes
 622 [16*13(10)] OK   0sec  659moves 198pushes
 623 [17*12( 9)] OK   1sec  879moves 160pushes
 624 [14*11( 7)] OK   0sec  300moves  83pushes
 625 [13*14( 8)] OK   5sec  818moves 177pushes
 626 [15*16(15)] OK  57sec  909moves 173pushes
 627 [12*13( 9)] OK   0sec  473moves  49pushes
 628 [ 9* 9( 4)] OK   1sec  193moves  43pushes
 629 [23*17(17)] OK   2sec 1769moves 420pushes
 630 [15*12(24)] X  142sec
 631 [18*18(28)] X  573sec
 632 [19*17(32)] X  210sec
 633 [15*15(20)] OK   3sec  333moves  88pushes
 634 [17*17(40)] X  600sec
 635 [17*17(40)] OK  36sec 3635moves 292pushes
 636 [11*11(12)] OK   4sec  949moves 254pushes
 637 [13*13(20)] OK   5sec  559moves 162pushes
 638 [17*17(36)] OK  15sec  785moves 186pushes
 639 [ 9*10( 8)] OK   0sec  190moves  41pushes
 640 [29*15(22)] X  600sec
 641 [15*15(16)] OK   1sec  696moves 134pushes
 642 [19*15(15)] OK   1sec 1877moves 331pushes
 643 [25*17(13)] OK 129sec 2468moves 426pushes
 644 [31*16(52)] X  505sec
 645 [23*15(60)] X  601sec
 646 [27*17(76)] -
 647 [29*17(97)] -
 648 [29*17(72)] -
 649 [31*17(98)] -
 650 [ 8*10( 7)] OK   0sec   51moves  21pushes
 651 [30*18(60)] X  600sec
 652 [17*10( 6)] OK   0sec  494moves 146pushes
 653 [17* 9(10)] OK   1sec  298moves  46pushes
 654 [23* 9( 4)] OK   0sec  645moves 108pushes
 655 [12* 9( 6)] OK   0sec  266moves  92pushes
 656 [ 7*10( 4)] OK   0sec  122moves  39pushes
 657 [10*10( 5)] OK   1sec  187moves  23pushes
 658 [11*12( 7)] OK   0sec  125moves  23pushes
 659 [ 7*10( 8)] OK   0sec  150moves  31pushes
 660 [ 9* 9( 8)] OK   0sec  140moves  20pushes
 661 [17* 9( 6)] OK   0sec   94moves  18pushes
 662 [11* 9(14)] OK   1sec  292moves  52pushes
 663 [12* 9(10)] OK   0sec  288moves  62pushes
 664 [17*17(16)] OK   1sec  198moves  48pushes
 665 [ 9*12(10)] OK   1sec  285moves  60pushes
 666 [23*13(14)] OK  48sec  969moves 194pushes
 667 [ 8* 8( 4)] OK   0sec  121moves  22pushes
 668 [18*11( 6)] OK   0sec  629moves  82pushes
 669 [17*12( 7)] OK   5sec  623moves 147pushes
 670 [14*12( 8)] OK   1sec  596moves 133pushes
 671 [11*13(16)] OK   8sec  878moves 145pushes
 672 [12*11( 9)] OK   2sec  894moves 152pushes
 673 [21*14(14)] OK  12sec 1438moves 168pushes
 674 [23*15(13)] X  338sec
 675 [30*19(18)] X  399sec
 676 [21*12(20)] X  203sec
 677 [21*18(26)] Ok  92sec  840moves 240pushes
 678 [ 9*10( 4)] OK   0sec  212moves  51pushes
 679 [16*16(16)] OK   7sec 1653moves 588pushes
 680 [18*18(28)] X   52sec
 681 [11*11(12)] OK   6sec  156moves  40pushes
 682 [13*13(18)] OK   0sec  269moves  48pushes
 683 [13*13(20)] OK   1sec  354moves 122pushes
 684 [13*13(37)] OK  10sec 1030moves 192pushes
 685 [13*13(24)] OK   3sec  263moves  40pushes
 686 [16*16(18)] OK   2sec  382moves  58pushes
 687 [18*18(22)] OK  59sec 1279moves 116pushes
 688 [17*17(36)] X  248sec
 689 [10* 9( 6)] OK   0sec  254moves  46pushes
 690 [17*17(48)] X  600sec
 691 [19*19(24)] X  600sec
 692 [21*21(84)] -
 693 [23*23(80)] -
 694 [23*23(72)] -
 695 [21*21(30)] OK  11sec 1306moves 346pushes
 696 [22*22(16)] OK 376sec 3810moves 588pushes
 697 [31*17(40)] X  408sec
 698 [30*18(174)] -
 699 [24*24(128)] -
 700 [11*10(10)] OK   2sec  238moves  71pushes
 701 [27*27(240)] -
 702 [11*10( 7)] OK   1sec  280moves  63pushes
 703 [13*10( 8)] OK   1sec  118moves  35pushes
 704 [13*12( 8)] OK   1sec  162moves  37pushes
 705 [17*12(10)] OK   1sec  267moves  48pushes
 706 [15* 9( 9)] OK   1sec  262moves  50pushes
 707 [12*12( 9)] OK   1sec  724moves 171pushes
 708 [12*12( 7)] OK   1sec  366moves  84pushes
 709 [11* 9( 9)] OK   0sec  159moves  42pushes
 710 [12*12(10)] OK   2sec  237moves  59pushes
 711 [15*16( 8)] OK  37sec  869moves 241pushes
 712 [16*16(32)] OK 118sec 1127moves 192pushes
 713 [15*15(16)] OK  17sec  875moves 178pushes
 714 [21*17(15)] X  600sec
 715 [25* 9(34)] X  600sec
 716 [11*23(40)] X  600sec
 717 [10* 7( 5)] OK   0sec  112moves  25pushes
 718 [11*11(16)] OK   0sec  129moves  40pushes
 719 [10*10( 8)] OK   0sec  124moves  32pushes
 720 [10*10(16)] OK   1sec  163moves  30pushes
 721 [10*10(16)] OK   0sec  245moves  38pushes
 722 [10*10(16)] OK   0sec  276moves  48pushes
 723 [10*10(20)] OK   1sec   83moves  22pushes
 724 [10*10(14)] OK   0sec  310moves  66pushes
 725 [10*10(16)] OK   1sec  164moves  16pushes
 726 [10*10(18)] OK  38sec  492moves 134pushes
 727 [11*11(12)] OK   1sec  163moves  58pushes
 728 [10* 8( 8)] OK   0sec  146moves  24pushes
 729 [11*11(20)] OK   1sec  338moves  94pushes
 730 [13*13(32)] OK  17sec  779moves 180pushes
 731 [13*13(24)] OK   3sec  348moves  78pushes
 732 [13*13(36)] X  600sec
 733 [15*15(56)] X  539sec
 734 [15*15(24)] OK 101sec  988moves 232pushes
 735 [15*15(24)] OK  12sec  490moves  74pushes
 736 [15*15(32)] X   81sec
 737 [17*17(52)] X  600sec
 738 [18*18(24)] X  600sec
 739 [10* 7( 6)] OK   0sec   74moves  20pushes
 740 [22*22(56)] X  530sec
 741 [21*21(48)] OK  20sec 1010moves 166pushes
 742 [23*23(72)] -
 743 [21*21(48)] X  600sec
 744 [21*21(88)] -
 745 [23*23(112)] -
 746 [26*26(100)] -
 747 [27*27(208)] -
 748 [30*30(198)] -
 749 [33*33(236)] -
 750 [13* 9( 6)] OK   0sec  172moves  36pushes
 751 [13* 7( 6)] OK   1sec  171moves  34pushes
 752 [12*15( 4)] OK   0sec  429moves 126pushes
 753 [11* 9( 8)] OK   0sec  230moves  28pushes
 754 [11*11( 7)] OK   0sec  346moves  70pushes
 755 [11* 9( 9)] OK   0sec  150moves  33pushes
 756 [13*13(16)] OK   1sec  326moves  72pushes
 757 [13*13(16)] OK   2sec  286moves  54pushes
 758 [ 8* 9( 5)] OK   0sec  241moves  33pushes
 759 [ 9* 9(10)] OK   0sec  138moves  40pushes
 760 [ 9*11(14)] OK   3sec  350moves 104pushes
 761 [12*12(12)] OK   1sec  271moves  75pushes
 762 [14*12(11)] OK   0sec  131moves  28pushes
 763 [18*12( 9)] OK   2sec 1433moves 395pushes
 764 [21*13(29)] X  600sec
 765 [11*13(12)] OK   0sec  302moves  58pushes
 766 [11* 9( 8)] OK   1sec  171moves  36pushes
 767 [11*14( 9)] OK   1sec  455moves 159pushes
 768 [14*10(14)] OK   1sec  707moves 127pushes
 769 [16*17(39)] OK 518sec  817moves 232pushes
 770 [11*11(12)] OK   0sec  192moves  46pushes
 771 [11*11(16)] OK   0sec  373moves  94pushes
 772 [11*11(16)] OK   0sec  117moves  24pushes
 773 [13*13(16)] OK   1sec  204moves  56pushes
 774 [11*11(12)] OK   0sec  308moves  44pushes
 775 [19*19(52)] OK  71sec 1338moves 306pushes
 776 [15*15(17)] OK  16sec  986moves 149pushes
 777 [ 9* 8( 6)] OK   0sec   70moves  20pushes
 778 [17*15(10)] X  500sec
 779 [17*17(18)] X  167sec
 780 [12*12(16)] OK   1sec  237moves  44pushes
 781 [19*19(48)] X   73sec
 782 [19*19(44)] X  600sec
 783 [21*13(25)] OK   6sec  989moves  84pushes
 784 [29*17(50)] OK 268sec 2435moves 185pushes
 785 [21*16(17)] X  188sec
 786 [29*17(23)] X   78sec
 787 [17*17(27)] X  600sec
 788 [10*10(10)] OK   0sec  206moves  51pushes
 789 [19*19(80)] -
 790 [18*18(32)] OK   8sec  973moves 180pushes
 791 [28*28(68)] -
 792 [28*28(100)] -
 793 [19*19(52)] X   59sec
 794 [23*23(84)] -
 795 [17*17(48)] OK  26sec  850moves 106pushes
 796 [11* 9( 8)] OK   0sec  139moves  31pushes
 797 [12*10( 5)] OK   0sec  237moves  52pushes
 798 [13*14( 8)] OK  10sec  804moves 197pushes
 799 [17*11( 7)] OK   1sec  472moves 142pushes
 800 [14*14(17)] OK   1sec  227moves  60pushes
 801 [10* 8( 5)] OK   0sec  122moves  31pushes
 802 [10*10( 5)] OK   1sec  134moves  31pushes
 803 [17*15( 7)] OK   1sec  655moves 175pushes
 804 [10*12( 9)] OK   1sec  210moves  32pushes
 805 [12*11(14)] OK   4sec  451moves  85pushes
 806 [13* 9(13)] OK   1sec  263moves  40pushes
 807 [13* 9(12)] OK   0sec  133moves  22pushes
 808 [13* 9( 8)] OK   0sec  236moves  64pushes
 809 [13*13(12)] OK   1sec  451moves  84pushes
 810 [11*11(14)] OK   0sec  132moves  34pushes
 811 [13*13( 8)] OK   0sec  155moves  50pushes
 812 [ 7* 8( 4)] OK   1sec  114moves  22pushes
 813 [13*13( 8)] OK   0sec  302moves  98pushes
 814 [13*13( 8)] OK   0sec  161moves  54pushes
 815 [13*13(20)] OK 516sec  593moves 130pushes
 816 [13*13(16)] OK   6sec  911moves 268pushes
 817 [15*15(16)] OK   0sec  357moves  96pushes
 818 [15*15(20)] OK   1sec  521moves 138pushes
 819 [21*21(20)] OK  22sec 1114moves 194pushes
 820 [21*21(32)] X  600sec
 821 [21*21(64)] X  600sec
 822 [21*21(80)] -
 823 [ 8* 8( 4)] OK   0sec   63moves  18pushes
 824 [14*13(18)] OK  16sec  421moves  36pushes
 825 [17*18(44)] X  600sec
 826 [16*16(16)] OK   3sec  185moves  52pushes
 827 [16*16(16)] OK  67sec  290moves  84pushes
 828 [20*10(10)] OK   1sec  325moves  92pushes
 829 [19*19(24)] OK  54sec  558moves 108pushes
 830 [21*11(20)] OK   1sec  344moves  94pushes
 831 [23*23(32)] X  600sec
 832 [17*12(10)] OK  94sec 1681moves 166pushes
 833 [26*17(14)] X  542sec
 834 [ 8* 8( 4)] OK   0sec   79moves  22pushes
 835 [ 8*22( 9)] OK   1sec  314moves  74pushes
 836 [11*27(12)] X  178sec
 837 [15*24(18)] X  444sec
 838 [22*19(16)] X  246sec
 839 [17*17(24)] X  600sec
 840 [21*21(58)] X   43sec
 841 [25*21(48)] X  600sec
 842 [27*27(228)] -
 843 [26*26(24)] X  130sec
 844 [32*32(116)] -
 845 [ 8*10( 4)] OK   0sec   73moves  16pushes
 846 [29*41(236)] -
 847 [10*10( 4)] OK   0sec  149moves  30pushes
 848 [ 8*14( 5)] OK   0sec   91moves  24pushes
 849 [13* 8( 7)] OK   0sec  192moves  43pushes
 850 [10*14(10)] OK   0sec  283moves  70pushes
 851 [19*16(36)] OK   9sec 1266moves 146pushes
 852 [19*16(17)] X  355sec
 853 [11* 8( 6)] OK   0sec  164moves  35pushes
 854 [15*15(32)] OK  41sec  474moves 150pushes
 855 [14*13(32)] X  600sec
 856 [15*13(25)] OK  34sec 1043moves 366pushes
 857 [17* 8(13)] OK   1sec  358moves 113pushes
 858 [11*10( 5)] OK   1sec  182moves  23pushes
 859 [ 9*12( 9)] OK   0sec  198moves  31pushes
 860 [13*10(11)] OK  36sec  578moves 104pushes
 861 [10* 8( 4)] OK   0sec  164moves  29pushes
 862 [10* 6( 4)] OK   0sec   82moves  18pushes
 863 [11* 6( 5)] OK   0sec   98moves  31pushes
 864 [11*10( 9)] OK   0sec  433moves  89pushes
 865 [13* 6( 6)] OK   0sec  178moves  46pushes
 866 [11*10(12)] OK   1sec  133moves  46pushes
 867 [11*11(11)] OK   0sec  147moves  52pushes
 868 [10* 9( 9)] OK   0sec  195moves  47pushes
 869 [13*15(26)] X  329sec
 870 [13*15(28)] X   84sec
 871 [17*17(16)] OK 288sec 2148moves 482pushes
 872 [19*17(70)] -
 873 [19*17(70)] -
 874 [19*16(20)] OK   8sec 1000moves 172pushes
 875 [19*10(13)] OK   1sec  548moves  93pushes
 876 [10* 9(18)] OK   0sec  259moves  53pushes
 877 [15*15(33)] X  600sec
 878 [ 7* 9(11)] OK   0sec   80moves  18pushes
 879 [13*13(30)] X  601sec
 880 [15* 7(12)] OK   0sec  117moves  30pushes
 881 [11* 9( 8)] OK   0sec  210moves  51pushes
 882 [13*13(19)] OK   2sec  289moves 115pushes
 883 [11*11(12)] OK   0sec  121moves  28pushes
 884 [11*17(21)] OK   6sec  419moves 102pushes
 885 [19*17(44)] X  172sec
 886 [19*11(16)] OK   8sec  685moves  95pushes
 887 [10*12(13)] OK   0sec  213moves  46pushes
 888 [19*12(26)] X  321sec
 889 [19*11(24)] OK   7sec  752moves 154pushes
 890 [19*11(25)] OK   3sec  780moves 112pushes
 891 [13* 9(15)] OK   1sec  338moves  71pushes
 892 [13*17(32)] X  600sec
 893 [13*14(34)] X  600sec
 894 [19*11(16)] OK   3sec  393moves 110pushes
 895 [13*13(20)] OK   1sec  558moves  36pushes
 896 [18*13(17)] OK  10sec 1286moves 407pushes
 897 [17*13(25)] OK  16sec  479moves 107pushes
 898 [13*13(36)] X  600sec
 899 [19*17(36)] X  600sec
 900 [19*17(38)] X  600sec
 901 [19*17(29)] X  600sec
 902 [11*13(13)] OK   4sec  816moves 254pushes
 903 [11* 9( 9)] OK   0sec  230moves  66pushes
 904 [15* 9(19)] OK   3sec  362moves  84pushes
 905 [16*16(24)] OK   1sec  648moves  98pushes
 906 [19*17(41)] X  600sec
 907 [19* 9(16)] X  600sec
 908 [17*13(25)] OK   1sec  423moves 119pushes
 909 [19* 7(13)] OK   0sec  440moves 161pushes
 910 [13*14( 8)] OK   0sec  264moves  45pushes
 911 [12*12(16)] OK   0sec  269moves  60pushes
 912 [17* 7(15)] OK   3sec  322moves 106pushes
 913 [ 9* 7( 8)] OK   0sec   82moves  20pushes
 914 [12*13(18)] OK   2sec  963moves 260pushes
 915 [13* 7( 9)] OK   0sec  111moves  25pushes
 916 [19* 9(14)] OK   2sec  526moves  84pushes
 917 [19*15(28)] X  400sec
 918 [13* 9( 6)] OK   0sec  550moves 125pushes
 919 [19*16(13)] OK  32sec  861moves 166pushes
 920 [15*13(12)] OK   3sec 1629moves 287pushes
 921 [15*13(12)] OK   5sec 1471moves 289pushes
 922 [13*17(12)] OK   1sec  924moves 211pushes
 923 [11* 9(12)] OK   1sec  272moves  59pushes
 924 [15*10(24)] X  236sec
 925 [13*10(18)] OK   5sec  343moves  80pushes
 926 [13*12(20)] OK 147sec  657moves 160pushes
 927 [13*11(18)] OK   3sec  299moves  96pushes
 928 [ 9* 9(11)] OK   3sec  432moves  94pushes
 929 [ 9* 7( 8)] OK   1sec   82moves  14pushes
 930 [17*12(33)] OK   4sec 1015moves 153pushes
 931 [17* 7(16)] OK   1sec  444moves  78pushes
 932 [17* 7(18)] OK  14sec  852moves 180pushes
 933 [17*13(38)] X  600sec
 934 [15* 7(16)] OK   0sec  198moves  42pushes
 935 [15* 7(17)] OK   0sec  186moves  31pushes
 936 [10*12(13)] OK   1sec  285moves  56pushes
 937 [19*12(29)] OK   3sec  768moves 108pushes
 938 [19*12(28)] OK   4sec  873moves 120pushes
 939 [19*11(24)] OK  13sec  601moves  92pushes
 940 [19*11(18)] OK   4sec  871moves 168pushes
 941 [17*12(33)] OK  12sec  606moves 125pushes
 942 [19*17(22)] X  136sec
 943 [13*11(12)] OK  36sec  197moves  36pushes
 944 [13*11(11)] OK   6sec  369moves  62pushes
 945 [17* 8(12)] OK   1sec  748moves 164pushes
 946 [15* 9(10)] OK   1sec  274moves  38pushes
 947 [12* 9( 7)] OK   0sec  204moves  26pushes
 948 [17* 9(12)] OK   2sec  286moves  54pushes
 949 [17*17(29)] X  571sec
 950 [11* 9(14)] OK   1sec  222moves  37pushes
 951 [15*15(50)] X  600sec
 952 [16*12(32)] OK   8sec  493moves  87pushes
 953 [13*13(16)] OK   7sec  599moves 144pushes
 954 [13*13(14)] OK   3sec  313moves  84pushes
 955 [15*11(12)] OK   3sec  333moves  72pushes
 956 [13*11(12)] OK   0sec  273moves  64pushes
 957 [13*11(16)] OK   2sec  427moves  88pushes
 958 [13*11(14)] OK   1sec  447moves  88pushes
 959 [13*11(14)] OK   2sec  437moves  96pushes
 960 [13*11(12)] OK   1sec  251moves  64pushes
 961 [18*11(10)] OK   2sec  210moves  78pushes
 962 [19*11(10)] OK  32sec  245moves  88pushes
 963 [19*16(60)] OK  27sec 1932moves 572pushes
 964 [16*12(32)] OK   7sec  717moves 109pushes
 965 [ 7*14( 7)] OK   0sec  167moves  28pushes
 966 [13*14(16)] OK  19sec  438moves  93pushes
 967 [15*11( 9)] OK  13sec  285moves  48pushes
 968 [10*10( 9)] OK   0sec  246moves  61pushes
 969 [10*11( 9)] OK   0sec  215moves  61pushes
 970 [11*10( 9)] OK   0sec  172moves  53pushes
 971 [10*11( 9)] OK   1sec  167moves  42pushes
 972 [17* 8(15)] OK   2sec  597moves 138pushes
 973 [17*15(30)] X  600sec
 974 [19*17(42)] X  600sec
 975 [17*12(33)] OK   3sec  563moves  88pushes
 976 [19*17(44)] X  311sec
 977 [13*15(22)] OK   1sec  859moves 307pushes
 978 [17*15(43)] X  600sec
 979 [15*11(16)] OK   2sec  141moves  50pushes
 980 [14*15(32)] X  600sec
 981 [14*11( 7)] OK   0sec  244moves  53pushes
 982 [14* 9( 7)] OK   1sec  167moves  34pushes
 983 [14* 9( 8)] OK   0sec  209moves  34pushes
 984 [14* 9(10)] OK   0sec  210moves  35pushes
 985 [11* 6( 9)] OK   0sec  158moves  32pushes
 986 [17*12(33)] OK  14sec  845moves 180pushes
 987 [11*11(18)] OK   0sec  396moves  93pushes
 988 [11*11(18)] OK   2sec  349moves  80pushes
 989 [23*13(41)] X  600sec
 990 [21*13(43)] X  600sec
 991 [19*11(13)] OK   5sec  355moves  67pushes
 992 [19*11(28)] X  600sec
 993 [15*11(12)] OK   0sec  213moves  39pushes
 994 [12*12(11)] OK   0sec  214moves  54pushes
 995 [15*14(17)] OK  52sec  833moves 157pushes
 996 [11*15(19)] OK   1sec  593moves 163pushes
 997 [12*13(12)] OK   0sec  565moves 127pushes
 998 [13*11(17)] OK   0sec  549moves 203pushes
 999 [13*12(24)] OK  50sec  804moves 171pushes
1000 [13*11(24)] OK   0sec  436moves  88pushes
1001 [13*10(23)] OK   3sec  394moves  82pushes
1002 [14*14(34)] X  421sec
1003 [15*15(38)] Ok 461sec  231moves  38pushes
1004 [17* 7(13)] OK   1sec  176moves  23pushes
1005 [17*13(29)] X  314sec
1006 [11* 9(15)] OK   0sec  303moves  53pushes
1007 [12*17(35)] X  600sec
1008 [13*14(12)] OK   0sec  738moves 124pushes
1009 [ 9* 8( 5)] OK   0sec   54moves  17pushes
1010 [ 9*15(11)] OK   1sec  282moves  62pushes
1011 [ 9*10( 5)] OK   1sec   85moves  15pushes
1012 [17*17(27)] X  128sec
1013 [17*17(27)] X  449sec
1014 [19*17(34)] X  540sec
1015 [19*15(36)] X  464sec
1016 [19*15(44)] X  600sec
1017 [11*11(12)] OK   1sec  260moves  34pushes
1018 [13*13(19)] OK   0sec  588moves  84pushes
1019 [13*12(33)] OK   4sec  455moves  87pushes
1020 [15*15(27)] X  544sec
1021 [11*11(24)] X   48sec
1022 [13*11(12)] OK   1sec  419moves  88pushes
1023 [17*11(16)] X  105sec
1024 [19*11(19)] OK  24sec  942moves 169pushes
1025 [19*15(27)] X  122sec
1026 [ 9*10( 9)] OK   0sec  124moves  33pushes
1027 [10*11(11)] OK   0sec  228moves  75pushes
1028 [11*12(13)] OK   0sec  293moves  63pushes
1029 [12*13(15)] OK   5sec  615moves 111pushes
1030 [13*12(33)] OK   5sec  590moves  89pushes
1031 [13*14(17)] OK  38sec  557moves 119pushes
1032 [17*11(12)] OK   1sec  252moves 102pushes
1033 [17*17(24)] OK   9sec  659moves 240pushes
1034 [ 9* 7( 5)] OK   0sec   55moves  15pushes
1035 [17* 7(11)] OK   0sec  160moves  34pushes
1036 [19*13(26)] Ok 181sec  703moves 154pushes
1037 [17*13(22)] OK  58sec  510moves 106pushes
1038 [ 8* 9( 7)] OK   0sec   74moves  21pushes
1039 [14*15(19)] Ok 146sec  669moves  85pushes
1040 [ 8* 9( 7)] OK   0sec   21moves   7pushes
1041 [12*12(34)] OK   7sec  450moves  70pushes
1042 [ 7* 8( 5)] OK   0sec   40moves  11pushes
1043 [ 6* 8( 3)] OK   0sec   50moves  15pushes
1044 [15* 9(21)] X  600sec
1045 [14* 9(19)] OK   2sec  706moves 130pushes
1046 [13* 9(17)] OK   6sec  555moves  89pushes
1047 [15* 9(21)] OK   1sec  423moves  81pushes
1048 [19*17(58)] X  600sec
1049 [ 9* 7( 5)] OK   0sec   75moves  14pushes
1050 [17*13(18)] OK   9sec  635moves 112pushes
1051 [ 9* 7( 6)] OK   0sec  108moves  21pushes
1052 [12*12(34)] OK   2sec  706moves 118pushes
1053 [ 9*13(14)] OK   0sec  281moves  62pushes
1054 [ 9* 7( 5)] OK   0sec   97moves  26pushes
1055 [17* 7( 9)] OK   1sec  216moves  39pushes
1056 [17* 7(10)] OK   1sec  294moves  53pushes
1057 [10*15(17)] OK   1sec  373moves  85pushes
1058 [13*15(26)] OK  13sec  677moves 165pushes
1059 [11* 7( 5)] OK   0sec  107moves  14pushes
1060 [17*15(27)] Ok 177sec 1560moves 284pushes
1061 [11*11( 8)] OK   0sec  214moves  31pushes
1062 [11*10( 9)] OK   0sec  340moves  54pushes
1063 [17*11(24)] OK   0sec  122moves  18pushes
1064 [11* 9( 8)] OK   0sec  165moves  52pushes
1065 [11*10( 8)] OK   0sec  188moves  19pushes
1066 [ 8* 9( 6)] OK   0sec   51moves  11pushes
1067 [21*10(16)] OK   1sec  601moves  70pushes
1068 [19*10(18)] OK  50sec  658moves  52pushes
1069 [15* 9(13)] OK   0sec  336moves  35pushes
1070 [15*17(27)] X  467sec
1071 [19* 9(14)] OK   2sec  882moves 128pushes
1072 [19* 9(14)] OK   1sec  960moves 168pushes
1073 [15* 9(10)] OK   0sec  354moves  79pushes
1074 [19*16(16)] X  600sec
1075 [16*11(25)] OK   0sec  121moves  21pushes
1076 [15*17(24)] X  392sec
1077 [ 9* 7( 6)] OK   0sec   73moves  18pushes
1078 [17*14(20)] OK  12sec  461moves  88pushes
1079 [ 9* 7( 9)] OK   0sec  121moves  28pushes
1080 [14* 7(17)] OK   1sec  186moves  39pushes
1081 [13* 7(17)] OK   0sec  325moves  58pushes
1082 [13* 7(11)] OK   0sec  154moves  40pushes
1083 [19* 7(12)] OK   0sec  161moves  50pushes
1084 [19*13(20)] OK   7sec  613moves 104pushes
1085 [19*13(22)] OK  91sec  692moves 102pushes
1086 [17*11(23)] OK   1sec  310moves  26pushes
1087 [14*11( 9)] OK   0sec  584moves  98pushes
1088 [19*14(20)] X  178sec
1089 [13*13(20)] OK  12sec  532moves 133pushes
1090 [13*12(14)] OK   0sec  353moves  62pushes
1091 [19*17(25)] Ok  56sec 2535moves 558pushes
1092 [15*15(21)] OK   3sec  946moves 138pushes
1093 [17*15(25)] OK  62sec 1484moves 134pushes
1094 [17*15(17)] X  240sec
1095 [16* 9(13)] OK 389sec  300moves  48pushes
1096 [17* 9(16)] OK  12sec  466moves  82pushes
1097 [16*11(21)] OK   0sec  127moves  25pushes
1098 [15* 7( 9)] OK   0sec  189moves  41pushes
1099 [15*13(20)] OK 247sec  846moves 146pushes
1100 [ 9*11(10)] OK   0sec  130moves  32pushes
1101 [ 9* 9(10)] OK   0sec  125moves  44pushes
1102 [ 9* 8( 8)] OK   0sec   87moves  18pushes
1103 [17* 8(16)] OK   5sec  298moves  56pushes
1104 [17*15(39)] X  600sec
1105 [13*13(16)] OK   3sec  409moves  65pushes
1106 [13*17(36)] X  600sec
1107 [13*13(13)] OK   1sec  285moves  32pushes
1108 [17*11(19)] OK   0sec  292moves  26pushes
1109 [ 9*10( 7)] OK   1sec  138moves  28pushes
1110 [13*10(13)] OK   1sec  335moves  95pushes
1111 [13*10(13)] OK   0sec  311moves  92pushes
1112 [12*10(11)] OK   0sec  515moves 102pushes
1113 [16*11(13)] OK 199sec 1219moves 298pushes
1114 [15*14(24)] X  552sec
1115 [17*17(30)] X  600sec
1116 [11* 7( 5)] OK   0sec  112moves  15pushes
1117 [17* 7( 8)] OK   1sec  148moves  32pushes
1118 [17*13(15)] OK  23sec  348moves  86pushes
1119 [16*11(19)] OK   1sec  139moves  27pushes
1120 [14* 7(10)] OK   1sec  263moves  49pushes
1121 [12* 7( 8)] OK   0sec  151moves  47pushes
1122 [12*13(17)] X  600sec
1123 [13*10( 3)] OK   0sec  205moves  55pushes
1124 [19*17(16)] X  168sec
1125 [19*15(28)] X  452sec
1126 [19*17(41)] X  600sec
1127 [15*11(12)] OK  33sec  783moves 128pushes
1128 [19*11(18)] OK   2sec  673moves 106pushes
1129 [22*16(36)] X  600sec
1130 [17*11(13)] OK   0sec  298moves  36pushes
1131 [12*13(15)] OK  53sec  927moves 120pushes
1132 [19*13(19)] OK  20sec 1571moves 202pushes
1133 [19*16(56)] X  600sec
1134 [19*17(51)] X  600sec
1135 [19*14(20)] X  416sec
1136 [12*12(10)] OK   1sec  939moves 180pushes
1137 [12*12(11)] OK   1sec  912moves 178pushes
1138 [15*15(28)] X  600sec
1139 [11* 6( 6)] OK   0sec  100moves  23pushes
1140 [13* 8( 7)] OK   0sec  198moves  45pushes
1141 [16*15(59)] OK   2sec  440moves  78pushes
1142 [11*11( 5)] OK   0sec  180moves  51pushes
1143 [11*11( 5)] OK   0sec  192moves  53pushes
1144 [13*11(14)] OK   1sec  348moves  97pushes
1145 [11*13( 7)] OK   1sec  154moves  40pushes
1146 [15*17(11)] OK   1sec  444moves 116pushes
1147 [14*10(10)] OK   1sec  254moves  70pushes
1148 [11*10(15)] OK   1sec  318moves  77pushes
1149 [14*17(18)] OK  95sec  888moves  97pushes
1150 [14*11(14)] OK   0sec  493moves 148pushes
1151 [13*11( 9)] OK   0sec  270moves  82pushes
1152 [17*11(11)] OK   0sec  362moves  28pushes
1153 [12* 9( 8)] OK   0sec  273moves  59pushes
1154 [11*10(14)] OK  38sec  646moves 152pushes
1155 [19*15(37)] X  496sec
1156 [19*13(19)] OK   0sec 1505moves 488pushes
1157 [10* 7(11)] OK   0sec  125moves  28pushes
1158 [12* 9(16)] OK   5sec  464moves  78pushes
1159 [13*15(32)] OK   5sec  836moves 302pushes
1160 [15* 9( 7)] OK   0sec  230moves  60pushes
1161 [19*11(12)] OK   1sec  245moves  67pushes
1162 [15*13(14)] Ok 153sec 1052moves 184pushes
1163 [16*11(17)] OK   1sec  232moves  37pushes
1164 [19* 9(17)] OK   0sec  370moves 100pushes
1165 [15* 9(10)] OK   0sec  329moves  89pushes
1166 [13* 9(12)] OK   0sec  251moves  43pushes
1167 [19*15(28)] OK  22sec  680moves 224pushes
1168 [16*16(12)] OK  20sec  933moves 295pushes
1169 [13*12(10)] OK   0sec  483moves 120pushes
1170 [13*10( 8)] OK   0sec  174moves  46pushes
1171 [19*11(14)] OK   1sec  709moves 186pushes
1172 [19*17(39)] X  600sec
1173 [13*12( 9)] OK   0sec  324moves  77pushes
1174 [15*11(11)] OK   1sec  272moves  26pushes
1175 [17* 8( 8)] OK   0sec  256moves  65pushes
1176 [17*17(34)] X  600sec
1177 [14*11(11)] OK   1sec  421moves 105pushes
1178 [ 8*15(11)] OK   1sec  210moves  28pushes
1179 [15*15(25)] OK 116sec  906moves 154pushes
1180 [13*11(13)] OK   2sec  437moves 110pushes
1181 [13*11(11)] OK   3sec  286moves  81pushes
1182 [15*14(20)] X  200sec
1183 [15*14(21)] X  600sec
1184 [11* 9( 8)] OK   0sec  312moves  64pushes
1185 [19*16(14)] OK   1sec 1371moves 433pushes
1186 [13*11(11)] OK   0sec  170moves  26pushes
1187 [14*14(14)] OK   1sec  495moves 151pushes
1188 [10*11( 9)] OK   1sec  429moves  63pushes
1189 [15*14(23)] X  600sec
1190 [13*13(19)] OK   1sec  233moves  56pushes
1191 [15*13(22)] X  600sec
1192 [18*14(24)] X  600sec
1193 [13*15(10)] OK   1sec  795moves 162pushes
1194 [19*17(14)] Ok 136sec 1096moves 222pushes
1195 [ 9*14(10)] OK   1sec  365moves  75pushes
1196 [ 9*14(12)] OK   2sec  647moves 145pushes
1197 [ 8*11( 7)] OK   0sec  136moves  34pushes
1198 [17*14(28)] X  600sec
1199 [15*15(21)] OK   3sec  564moves 156pushes
1200 [ 9*11(11)] OK   0sec  228moves  74pushes
1201 [ 9*11(14)] OK   0sec  231moves  71pushes
1202 [17*17(26)] X  198sec
1203 [15*15(22)] OK  10sec  934moves 236pushes
1204 [13*13(11)] OK   1sec  316moves  76pushes
1205 [10* 9( 8)] OK   0sec  255moves  48pushes
1206 [17*10(18)] X  600sec
1207 [11*11(15)] OK   0sec  316moves  50pushes
1208 [12*10(15)] OK   0sec  230moves  44pushes
1209 [19*11(27)] X  176sec
1210 [19*11(19)] X  372sec
1211 [11*10(11)] OK   0sec  142moves  24pushes
1212 [18*11(23)] X  326sec
1213 [13*13(19)] OK   2sec  508moves 104pushes
1214 [16*12(45)] X  600sec
1215 [16* 7(14)] OK   6sec  254moves  48pushes
1216 [12*13(20)] X  600sec
1217 [19*13(34)] X   57sec
1218 [19*15(77)] -
1219 [12*10(15)] OK   0sec  236moves  42pushes
1220 [15*15(29)] X  600sec
1221 [19*16(40)] X  600sec
1222 [19*16(60)] X  600sec
1223 [11*11(10)] OK   1sec  421moves 127pushes
1224 [17*17(32)] X  600sec
1225 [12*13(11)] OK 144sec  367moves  61pushes
1226 [13*14(42)] OK  21sec  912moves 182pushes
1227 [ 9*10(13)] OK   0sec  348moves  66pushes
1228 [ 9*10( 9)] OK   1sec  231moves  52pushes
1229 [15*10(18)] OK  21sec  671moves 130pushes
1230 [ 9* 9(15)] OK   0sec  154moves  20pushes
1231 [11*13(16)] OK   1sec  475moves  76pushes
1232 [18*10(27)] X  600sec
1233 [18*17(61)] X  600sec
1234 [15*12(13)] OK   2sec  683moves 141pushes
1235 [19*15(22)] OK  43sec 1511moves 130pushes
1236 [13*13(24)] X  600sec
1237 [11*10( 8)] OK   0sec   96moves  28pushes
1238 [18* 9(16)] OK  41sec  918moves 208pushes
1239 [18*13(34)] X  600sec
1240 [17*16(20)] OK   1sec  470moves 104pushes
1241 [ 9* 9(15)] OK   0sec  110moves  22pushes
1242 [17*11(22)] OK  30sec 1042moves 230pushes
1243 [10*10(10)] OK   1sec  171moves  56pushes
1244 [10*16(20)] OK   2sec  362moves 136pushes
1245 [13*13(14)] OK   5sec  479moves 118pushes
1246 [12* 9( 7)] OK   0sec  484moves  84pushes
1247 [12* 9( 8)] OK   0sec  440moves  87pushes
1248 [11* 9( 9)] OK   0sec  257moves  76pushes
1249 [15*10(13)] Ok 148sec  771moves 153pushes
1250 [15*13(24)] X  600sec
1251 [19*10(15)] OK  43sec  227moves  57pushes
1252 [11* 8( 5)] OK   0sec   84moves  22pushes
1253 [13*15(13)] OK   1sec  259moves  50pushes
1254 [13*13(25)] OK   2sec  626moves 100pushes
1255 [16*14(14)] OK   9sec 1933moves 304pushes
1256 [14*17(16)] OK  16sec  439moves 158pushes
1257 [19*12(13)] OK   5sec  589moves  81pushes
1258 [10*12(12)] OK   0sec  389moves 104pushes
1259 [19*12(25)] X  218sec
1260 [18*17(20)] X  600sec
1261 [17*16(31)] OK   2sec 1086moves 120pushes
1262 [11*11(16)] OK   0sec  322moves  65pushes
1263 [10*10(19)] OK   1sec  204moves  38pushes
1264 [17* 9(23)] OK  49sec 1316moves 250pushes
1265 [14*11(12)] OK   2sec  483moves  64pushes
1266 [19* 6(12)] OK   1sec  290moves  77pushes
1267 [19*11(20)] OK   5sec  545moves 162pushes
1268 [12*13( 5)] OK   1sec  214moves  23pushes
1269 [11*13( 6)] OK   0sec  411moves  43pushes
1270 [11*11(12)] OK   1sec  432moves  86pushes
1271 [14*10(13)] OK  27sec  649moves 182pushes
1272 [17* 7(12)] OK   1sec  298moves  82pushes
1273 [16*13(14)] OK 108sec 1280moves 327pushes
1274 [10*10(19)] OK   2sec  314moves  46pushes
1275 [15*14(15)] OK   1sec  267moves  84pushes
1276 [19*17(35)] X  600sec
1277 [17*17(29)] X  600sec
1278 [13*16(19)] OK  68sec 1071moves 296pushes
1279 [11* 9(16)] OK   0sec  465moves  86pushes
1280 [13*13(16)] X  302sec
1281 [11* 7( 7)] OK   0sec  114moves  19pushes
1282 [21* 7(14)] OK   2sec  848moves 136pushes
1283 [19* 7(13)] OK   0sec  227moves  38pushes
1284 [13*14(15)] OK  13sec  446moves 154pushes
1285 [11*11(24)] X   84sec
1286 [13*14(32)] OK  17sec  617moves 118pushes
1287 [12*12( 9)] OK   1sec  168moves  24pushes
1288 [19*13(22)] X  600sec
1289 [16*11(15)] X  123sec
1290 [17*17(45)] X  232sec
1291 [17*15(21)] X  164sec
1292 [12* 8( 6)] OK   0sec  192moves  43pushes
1293 [17* 9(15)] OK   1sec  318moves  69pushes
1294 [15*17(30)] X  600sec
1295 [15*14(21)] Ok 126sec 2365moves 600pushes
1296 [19*15(14)] OK   1sec 2016moves 594pushes
1297 [11*11(25)] X   84sec
1298 [11* 7( 9)] OK   0sec  119moves  28pushes
1299 [17*10(14)] OK  19sec  565moves  96pushes
1300 [10* 8( 6)] OK   0sec   66moves  16pushes
1301 [15*13(16)] OK  12sec  592moves 116pushes
1302 [15*13(16)] X  230sec
1303 [17*16(23)] X  600sec
1304 [11*13(11)] OK   0sec  321moves  71pushes
1305 [17*11(19)] OK  31sec  905moves 107pushes
1306 [17*17(24)] OK  31sec 1004moves 156pushes
1307 [13*14(18)] OK 110sec 1060moves 188pushes
1308 [19*14(25)] OK   1sec  906moves 255pushes
1309 [13*14(18)] OK  32sec  607moves  88pushes
1310 [14*14(28)] X  181sec
1311 [ 8* 8( 7)] OK   0sec  155moves  26pushes
1312 [ 8* 9( 8)] OK   0sec  228moves  33pushes
1313 [ 8*11(12)] OK  34sec  734moves 116pushes
1314 [ 8*13(13)] X  124sec
1315 [ 8*15(16)] X  196sec
1316 [ 8*17(17)] X   92sec
1317 [18*17(38)] X  600sec
1318 [18*14(12)] OK   7sec  916moves 189pushes
1319 [11*13(28)] OK   2sec  378moves  70pushes
1320 [15*15(31)] X  600sec
1321 [15*17(16)] OK  15sec  763moves 140pushes
1322 [13* 8( 7)] OK   0sec  166moves  25pushes
1323 [11* 8( 8)] OK   0sec  227moves  60pushes
1324 [19*15(34)] X  255sec
1325 [19* 8(19)] OK  18sec 1054moves 265pushes
1326 [19*15(40)] X  600sec
1327 [ 9* 7( 4)] OK   0sec   50moves  10pushes
1328 [14*14( 9)] OK   3sec  537moves  42pushes
1329 [14*12( 9)] OK   1sec  402moves  53pushes
1330 [11*11(28)] OK   6sec  748moves 130pushes
1331 [16*13(11)] OK   2sec  404moves 104pushes
1332 [13* 9( 6)] OK   0sec  255moves  57pushes
1333 [12* 9( 6)] OK   0sec  109moves  38pushes
1334 [ 9* 9( 8)] OK   0sec  132moves  37pushes
1335 [17*14(28)] X  148sec
1336 [15*15(19)] X  600sec
1337 [18* 8(11)] OK   1sec  929moves 208pushes
1338 [13*11(14)] OK   5sec  389moves 144pushes
1339 [11* 6( 6)] OK   0sec  150moves  42pushes
1340 [11* 6( 6)] OK   0sec  160moves  34pushes
1341 [19*16(31)] X   72sec
1342 [11* 6( 8)] OK   0sec  156moves  33pushes
1343 [10* 9(10)] OK   1sec  199moves  33pushes
1344 [19* 9(20)] OK  14sec  943moves 168pushes
1345 [17* 9(19)] OK   1sec  524moves 104pushes
1346 [12*10(11)] OK   3sec  215moves  39pushes
1347 [17* 9(13)] OK   1sec  289moves  66pushes
1348 [19* 9(14)] OK   3sec  776moves 168pushes
1349 [19*10(17)] OK   5sec  604moves  88pushes
1350 [ 9*11( 8)] OK   0sec  204moves  48pushes
1351 [12*13(21)] X   83sec
1352 [19*13(14)] OK   0sec  732moves 276pushes
1353 [13* 9(15)] OK   0sec  159moves  45pushes
1354 [13*12(21)] OK   1sec  329moves 103pushes
1355 [13*10( 8)] OK   0sec  650moves 109pushes
1356 [11*13(17)] X  130sec
1357 [12*12(18)] OK  33sec  444moves 116pushes
1358 [ 9*10(12)] OK   1sec  211moves  43pushes
1359 [11*10(15)] OK   0sec  191moves  35pushes
1360 [11*15(29)] X  600sec
1361 [17*11(18)] OK  11sec  751moves 107pushes
1362 [13*13(32)] X  600sec
1363 [16*12(17)] X  272sec
1364 [11*11(16)] OK   0sec  210moves  58pushes
1365 [11*11(20)] OK   4sec  329moves  48pushes
1366 [17*17(60)] X  600sec
1367 [19* 8(14)] OK   2sec  571moves 192pushes
1368 [15* 8(11)] OK   0sec  339moves 110pushes
1369 [19*14(24)] OK  17sec  983moves 215pushes
1370 [14* 8( 9)] OK   0sec  320moves  86pushes
1371 [12* 8(10)] OK   1sec  272moves  45pushes
1372 [17*11(22)] X  600sec
1373 [13* 8(12)] OK   4sec  471moves 109pushes
1374 [11*11(23)] OK   9sec  290moves  46pushes
1375 [18*13(24)] X  600sec
1376 [ 9*13(10)] OK   0sec  255moves  53pushes
1377 [ 9*16(16)] X  204sec
1378 [13*15(22)] OK  22sec  365moves 111pushes
1379 [ 9*14( 9)] OK   6sec  356moves  82pushes
1380 [ 9*12( 8)] OK   0sec  165moves  38pushes
1381 [15*17(24)] OK  48sec  974moves 195pushes
1382 [14*12(16)] OK   3sec  997moves 281pushes
1383 [13*11(12)] OK   1sec  120moves  34pushes
1384 [15*12(16)] OK   1sec  415moves 106pushes
1385 [11*11(23)] OK   8sec  370moves  56pushes
1386 [15*10(17)] X  600sec
1387 [10*12( 8)] OK   0sec  176moves  30pushes
1388 [13*13(24)] OK   3sec  318moves  40pushes
1389 [11*11(12)] OK   1sec  102moves  16pushes
1390 [13* 9(11)] OK   0sec  171moves  27pushes
1391 [13* 9(11)] OK   0sec  109moves  27pushes
1392 [13*13(24)] OK   5sec 1238moves 162pushes
1393 [11*11(14)] OK   0sec  381moves  76pushes
1394 [17*17(14)] OK   2sec  536moves 120pushes
1395 [17*17(13)] Ok 119sec 1096moves 194pushes
1396 [11*11(23)] OK   0sec  142moves  20pushes
1397 [12*12(14)] OK  67sec  388moves 104pushes
1398 [17*17(52)] OK 194sec 2095moves 664pushes
1399 [13*10(12)] OK   2sec  314moves  98pushes
1400 [15* 7( 8)] OK   0sec  280moves  64pushes
1401 [15* 7(10)] OK   0sec  211moves  74pushes
1402 [14* 7( 7)] OK   0sec  236moves  62pushes
1403 [12* 7( 5)] OK   0sec  169moves  54pushes
1404 [13*12(12)] OK  32sec  687moves 196pushes
1405 [13* 7( 9)] OK   0sec  156moves  38pushes
1406 [13* 8( 9)] OK   0sec  238moves  70pushes
1407 [19*16(36)] X  302sec
1408 [11*11(23)] OK  10sec  582moves  88pushes
1409 [13* 6( 8)] OK   0sec  110moves  31pushes
1410 [11*13(15)] OK   6sec  558moves  90pushes
1411 [11*13(15)] OK   8sec  419moves  86pushes
1412 [11*13(11)] OK   1sec  411moves  52pushes
1413 [11*11( 9)] OK   1sec  299moves  58pushes
1414 [11*11(12)] OK   0sec  245moves  40pushes
1415 [17*13(27)] X  600sec
1416 [19*17(37)] X  600sec
1417 [17*15(32)] X  600sec
1418 [13*16(27)] X  600sec
1419 [11*11(23)] OK   0sec  558moves 102pushes
1420 [11*14(20)] X  600sec
1421 [11*12(14)] OK   1sec  556moves 120pushes
1422 [ 9*10( 6)] OK   0sec  108moves  20pushes
1423 [19*17(54)] X  600sec
1424 [12*12(11)] OK   1sec  794moves 112pushes
1425 [17*14(21)] OK   5sec 1175moves 294pushes
1426 [ 7*15(15)] OK  13sec  331moves  76pushes
1427 [13*13(21)] OK   2sec  477moves 101pushes
1428 [13* 8( 8)] OK   0sec  226moves  36pushes
1429 [18* 8(14)] OK   1sec  543moves  90pushes
1430 [13*13(10)] OK   0sec  693moves 215pushes
1431 [16* 9(14)] OK   3sec  435moves 106pushes
1432 [17* 8(15)] OK   2sec  363moves  80pushes
1433 [17* 8(16)] OK  15sec  462moves  96pushes
1434 [12*12(15)] OK   3sec  458moves  68pushes
1435 [11* 7( 6)] OK   0sec   72moves  16pushes
1436 [13* 9( 7)] OK   0sec  217moves  28pushes
1437 [10* 9( 7)] OK   1sec  118moves  31pushes
1438 [12*10(14)] OK   5sec  290moves  62pushes
1439 [15*13(12)] OK  13sec  343moves  58pushes
1440 [11* 9( 9)] OK   1sec  108moves  24pushes
1441 [11*11(23)] OK   5sec  426moves  58pushes
1442 [15*15(40)] X  600sec
1443 [13*11(15)] OK  11sec  436moves  50pushes
1444 [11*12( 6)] OK   0sec  369moves  56pushes
1445 [21*12(14)] OK  64sec 1448moves 206pushes
1446 [10*12(13)] OK   0sec  339moves  74pushes
1447 [11*10(11)] OK   1sec  155moves  28pushes
1448 [17* 8(14)] OK   1sec  399moves  91pushes
1449 [17* 9(13)] OK   1sec  469moves  76pushes
1450 [11* 9( 9)] OK   0sec  384moves  77pushes
1451 [12* 8( 9)] OK   1sec  429moves  75pushes
1452 [11*11(23)] OK   5sec  584moves  88pushes
1453 [12* 8( 9)] OK   0sec  235moves  43pushes
1454 [11*10( 9)] OK   1sec  400moves  45pushes
1455 [17* 9(14)] OK  17sec  416moves  92pushes
1456 [10* 8( 6)] OK   0sec  215moves  39pushes
1457 [11*11( 9)] OK   0sec  144moves  24pushes
1458 [11*11( 9)] OK   1sec  152moves  28pushes
1459 [13*13(13)] OK   1sec  478moves  46pushes
1460 [11*11(17)] OK   7sec  583moves  79pushes
1461 [ 9*12(15)] OK   0sec  184moves  62pushes
1462 [ 9*10(12)] OK   1sec  128moves  45pushes
1463 [12*12(27)] OK  12sec 1008moves 104pushes
1464 [11*11(16)] OK   0sec  313moves  56pushes
1465 [12*11(18)] OK   3sec  370moves  84pushes
1466 [12* 8( 6)] OK   0sec  241moves  25pushes
1467 [13* 8(12)] OK   0sec  253moves  34pushes
1468 [10*10( 7)] OK   0sec  425moves  80pushes
1469 [ 9*14(17)] OK  16sec  381moves  74pushes
1470 [17* 8(13)] X  146sec
1471 [11*11(12)] OK  11sec  512moves  74pushes
1472 [11*11( 9)] OK   0sec  239moves  54pushes
1473 [ 9* 9( 9)] OK   1sec   87moves  16pushes
1474 [13*13(31)] X  600sec
1475 [15*15(54)] X  600sec
1476 [16*10( 8)] OK   1sec 1175moves 311pushes
1477 [11*10( 5)] OK   0sec  375moves  90pushes
1478 [13*10( 8)] OK   4sec  427moves  81pushes
1479 [14* 9(15)] OK   0sec  218moves  66pushes
1480 [13* 9(14)] OK   2sec  282moves  60pushes
1481 [15*16(15)] X  600sec
1482 [13*12(12)] OK   0sec  485moves 161pushes
1483 [11* 8( 6)] OK   0sec  150moves  37pushes
1484 [10* 9(11)] OK   1sec  274moves  50pushes
1485 [ 8* 8(11)] OK   0sec   66moves  10pushes
1486 [11* 8(13)] OK   8sec  408moves 116pushes
1487 [ 9* 8( 6)] OK   0sec  122moves  18pushes
1488 [15* 9(23)] OK  39sec  922moves 202pushes
1489 [15* 9(23)] OK   7sec  974moves 168pushes
1490 [17*11(20)] OK  11sec  848moves 341pushes
1491 [12*11( 8)] OK   0sec  153moves  36pushes
1492 [11* 9( 8)] OK   0sec   96moves  30pushes
1493 [ 7* 7( 4)] OK   0sec   49moves  16pushes
1494 [ 9* 9( 9)] OK   0sec  137moves  42pushes
1495 [13* 8( 9)] OK   0sec  222moves  43pushes
1496 [14*14(35)] OK  33sec 1384moves 172pushes
1497 [11*11(14)] OK   0sec  205moves  48pushes
1498 [11* 9( 9)] OK   0sec  157moves  34pushes
1499 [ 9* 9(11)] OK   0sec  232moves  58pushes
1500 [19*13(13)] OK  71sec 1738moves 376pushes
1501 [19*17(49)] X  600sec
1502 [10* 8( 7)] OK   0sec  113moves  27pushes
1503 [ 9* 8( 4)] OK   0sec  112moves  11pushes
1504 [15*13(14)] OK   9sec  582moves  68pushes
1505 [13*13(11)] OK   1sec  492moves  58pushes
1506 [13*15(24)] X  600sec
1507 [12*12(38)] Ok  87sec  176moves  28pushes
1508 [14*12( 8)] OK   0sec  278moves  26pushes
1509 [10*10( 6)] OK   0sec  134moves  24pushes
1510 [16* 8(12)] OK   1sec  250moves  80pushes
1511 [15*11(18)] OK   1sec  851moves 264pushes
1512 [12* 9( 8)] OK   0sec  122moves  32pushes
1513 [15* 9(11)] OK   0sec  473moves 133pushes
1514 [14*12(11)] OK   0sec  738moves 134pushes
1515 [12*11(18)] OK  78sec  815moves 229pushes
1516 [15*13(30)] OK   2sec  723moves 197pushes
1517 [10*11( 8)] OK   0sec  141moves  39pushes
1518 [19*16(40)] X  600sec
1519 [13*13(46)] OK  27sec 1984moves 216pushes
1520 [ 8* 8( 5)] OK   0sec   74moves  16pushes
1521 [ 8*10( 4)] OK   0sec   58moves  14pushes
1522 [18*13(17)] X  600sec
1523 [11* 9( 9)] OK   0sec  233moves  56pushes
1524 [18*10(19)] X  292sec
1525 [19*11(26)] OK  15sec 1781moves 408pushes
1526 [11*11(10)] OK   0sec  176moves  46pushes
1527 [18*17(55)] OK  32sec 2665moves1100pushes
1528 [12*12( 8)] OK   1sec  943moves 178pushes
1529 [17*14(15)] OK   0sec  749moves 173pushes
1530 [14*14(54)] OK  54sec 1694moves 192pushes
1531 [12*11(13)] OK   6sec  327moves  75pushes
1532 [10*11( 9)] OK   0sec  533moves 110pushes
1533 [11*12(17)] OK   4sec  879moves 156pushes
1534 [11*11( 8)] OK   1sec  125moves  36pushes
1535 [17* 8(10)] OK   2sec  376moves  44pushes
1536 [11*11(12)] OK   2sec  217moves  43pushes
1537 [15*15(20)] OK   4sec  482moves 109pushes
1538 [11*11(11)] OK   1sec  394moves  80pushes
1539 [11* 9( 7)] OK   0sec  127moves  30pushes
1540 [19* 7(15)] OK   1sec  922moves 125pushes
1541 [11*11(21)] OK   2sec  154moves  20pushes
1542 [17*17(48)] OK   9sec 1909moves 422pushes
1543 [19*11(13)] OK   3sec 1617moves 235pushes
1544 [13*12(11)] OK   0sec  407moves  50pushes
1545 [17*17(68)] -
1546 [13*13(20)] X  199sec
1547 [10*13(10)] OK   1sec  352moves  82pushes
1548 [19*10(12)] X  196sec
1549 [19* 8( 9)] OK   0sec  388moves  76pushes
1550 [11*10( 8)] OK   0sec  280moves  50pushes
1551 [14*11( 9)] OK   0sec  631moves 129pushes
1552 [12*12(25)] OK   2sec  264moves  42pushes
1553 [13*11(21)] OK   2sec  671moves 136pushes
1554 [ 7* 9( 4)] OK   0sec   82moves  13pushes
1555 [ 7* 7( 4)] OK   0sec   54moves  12pushes
1556 [10* 8( 3)] OK   0sec   94moves  20pushes
1557 [11*11( 5)] OK   0sec  139moves  22pushes
1558 [12*12(12)] OK   2sec  612moves 144pushes
1559 [ 7*11( 6)] OK   0sec   91moves  16pushes
1560 [17*10(13)] OK   1sec  377moves 125pushes
1561 [13* 9(19)] OK   1sec  580moves 152pushes
1562 [13*13(13)] OK   3sec  885moves 238pushes
1563 [17*17(43)] X  600sec
1564 [11* 7( 7)] OK   0sec  102moves  16pushes
1565 [ 9* 9( 6)] OK   0sec   82moves  14pushes
1566 [11* 9( 7)] OK   0sec  246moves  43pushes
1567 [11*12( 9)] OK   1sec  603moves  82pushes
1568 [13*11( 8)] OK   1sec  303moves  42pushes
1569 [10*10( 6)] OK   0sec  196moves  38pushes
1570 [11* 9( 5)] OK   0sec  103moves  20pushes
1571 [10*10( 8)] OK   0sec  249moves  42pushes
1572 [10*11( 3)] OK   0sec  165moves  41pushes
1573 [11*10( 4)] OK   1sec  151moves  41pushes
1574 [16*13(39)] X  600sec
1575 [ 9* 7( 6)] OK   0sec   81moves  20pushes
1576 [ 9* 8( 5)] OK   0sec   59moves  20pushes
1577 [11*12( 8)] OK   0sec  161moves  30pushes
1578 [17* 9(13)] OK   0sec  271moves  64pushes
1579 [ 8*11( 4)] OK   0sec   86moves  12pushes
1580 [17* 9(12)] OK   0sec  453moves 105pushes
1581 [14*10(10)] OK   1sec  254moves  46pushes
1582 [10*10( 6)] OK   1sec  108moves  12pushes
1583 [12*12( 8)] OK   1sec  261moves  57pushes
1584 [15* 8( 9)] OK   0sec  141moves  19pushes
1585 [15*15(54)] OK  32sec  968moves 138pushes
1586 [13* 9( 5)] OK   1sec  112moves  22pushes
1587 [13*10(12)] OK   0sec  279moves  63pushes
1588 [13*11(17)] OK   2sec  442moves  75pushes
1589 [11* 7( 7)] OK   0sec   89moves  22pushes
1590 [13* 9( 9)] OK   0sec  158moves  40pushes
1591 [13* 6( 9)] OK   0sec  150moves  41pushes
1592 [18*11( 6)] OK   1sec  452moves  94pushes
1593 [12* 8( 9)] OK   0sec  197moves  41pushes
1594 [12*10( 7)] OK   0sec  840moves 141pushes
1595 [15*13( 9)] OK   5sec 1001moves 156pushes
1596 [15*15(54)] OK  62sec 1376moves 140pushes
1597 [14*10(20)] OK   0sec  364moves 119pushes
1598 [10* 7( 7)] OK   0sec  108moves  30pushes
1599 [13* 7(10)] OK   0sec  143moves  26pushes
1600 [13*11( 8)] OK   1sec  274moves  34pushes
1601 [15*15(22)] X  601sec
1602 [13*12(18)] OK   3sec  474moves  90pushes
1603 [18*10(11)] OK  13sec 1957moves 294pushes
1604 [12*12(15)] OK   1sec  450moves 116pushes
1605 [13*15(17)] X  155sec
1606 [14* 8( 6)] OK   0sec  353moves  77pushes
1607 [16*13(14)] OK   8sec  934moves 216pushes
1608 [13*10( 8)] OK   0sec  215moves  72pushes
1609 [ 9*11(10)] OK   0sec  140moves  30pushes
1610 [ 9* 8( 5)] OK   0sec  115moves  25pushes
1611 [ 9*11( 8)] OK   0sec  397moves  68pushes
1612 [18*10(25)] OK   6sec  789moves 128pushes
1613 [13*11(16)] OK   2sec  398moves  56pushes
1614 [10* 8(11)] OK   0sec  121moves  39pushes
1615 [15*10( 9)] OK   1sec  264moves  42pushes
1616 [10*12( 7)] OK   1sec  380moves  41pushes
1617 [12* 9(14)] OK   0sec  243moves  30pushes
1618 [19*10(37)] X  600sec
1619 [12*13(25)] X  600sec
1620 [13*13(14)] OK   9sec  438moves  58pushes
1621 [11*10(11)] OK   0sec  503moves  80pushes
1622 [11*10( 4)] OK   1sec  207moves  38pushes
1623 [13*12(10)] OK   0sec  439moves  77pushes
1624 [12* 8( 6)] OK   0sec  103moves  32pushes
1625 [10*14(13)] OK   0sec  682moves 108pushes
1626 [ 8* 8( 5)] OK   0sec   96moves  20pushes
1627 [10*12(15)] OK   1sec  472moves 134pushes
1628 [ 9*13(23)] OK   3sec  248moves  67pushes
1629 [19*16(29)] OK   1sec 1818moves 429pushes
1630 [19*13(46)] X  178sec
1631 [11*12(15)] OK   0sec  468moves 146pushes
1632 [ 9* 9( 7)] OK   1sec  151moves  41pushes
1633 [11* 9(15)] OK   0sec  315moves  70pushes
1634 [11*14(15)] OK   3sec  376moves  54pushes
1635 [13* 9( 9)] OK   0sec  230moves  53pushes
1636 [16*15(16)] OK   3sec 2550moves 595pushes
1637 [13* 8(10)] OK   1sec  146moves  33pushes
1638 [11* 9( 9)] OK   0sec  331moves  66pushes
1639 [ 9*11( 7)] OK   0sec  223moves  56pushes
1640 [13* 9( 8)] OK   0sec  247moves  29pushes
1641 [19*13(47)] OK  15sec  923moves 161pushes
1642 [15* 9(16)] OK   0sec  342moves  56pushes
1643 [17*17(32)] X  489sec
1644 [11*11( 8)] OK   1sec  203moves  34pushes
1645 [11* 8( 8)] OK   0sec   70moves  17pushes
1646 [12*12(11)] OK   1sec  163moves  49pushes
1647 [11*11(14)] OK   1sec  551moves 112pushes
1648 [12*10(12)] OK   0sec  220moves  44pushes
1649 [12*12(24)] OK   7sec  395moves  99pushes
1650 [11* 9(10)] OK   0sec  206moves  35pushes
1651 [11*14( 9)] OK  13sec 2453moves 205pushes
1652 [19*13(49)] OK  10sec  905moves 226pushes
1653 [16*15(12)] X  230sec
1654 [17*16(17)] X  252sec
1655 [15*15(14)] X  600sec
1656 [15*14(22)] X   47sec
1657 [ 8* 8( 6)] OK   1sec   76moves  17pushes
1658 [11*12(17)] OK   2sec  439moves  62pushes
1659 [12* 9( 8)] OK   0sec  458moves  98pushes
1660 [14*10(18)] OK   0sec  742moves 262pushes
1661 [ 8* 6( 4)] OK   0sec   86moves  18pushes
1662 [ 9*15(15)] OK   2sec  605moves 230pushes
1663 [19*13(50)] X  600sec
1664 [10*10(12)] OK   0sec  137moves  30pushes
1665 [15*11( 9)] OK   1sec  574moves 111pushes
1666 [11* 9( 8)] OK   0sec   58moves  12pushes
1667 [ 9* 9(10)] OK   1sec  152moves  32pushes
1668 [11* 7( 6)] OK   0sec  102moves  12pushes
1669 [ 7*13(12)] OK   0sec  263moves  62pushes
1670 [13*11( 5)] OK   0sec  186moves  32pushes
1671 [13* 9( 9)] OK   1sec  263moves  82pushes
1672 [ 9*10( 7)] OK   0sec  343moves  40pushes
1673 [12*13(12)] OK   0sec  379moves 129pushes
1674 [ 8* 9( 9)] OK   0sec  121moves  26pushes
1675 [12*13(10)] OK   0sec  964moves 161pushes
1676 [12*10( 8)] OK   1sec  242moves  66pushes
1677 [13*10(10)] OK   0sec  509moves 109pushes
1678 [13*13(14)] OK   0sec  624moves 265pushes
1679 [ 6*10( 6)] OK   0sec   62moves  20pushes
1680 [ 8*10( 9)] OK   1sec  191moves  35pushes
1681 [ 8* 8( 5)] OK   0sec   33moves  11pushes
1682 [ 8* 7( 7)] OK   0sec   50moves  17pushes
1683 [ 8* 7( 6)] OK   1sec   89moves  21pushes
1684 [11*11( 8)] OK   0sec  187moves  54pushes
1685 [17* 9(20)] X  600sec
1686 [11*13( 8)] OK   0sec  216moves  24pushes
1687 [ 9*11(10)] OK   0sec  228moves  34pushes
1688 [11* 8( 8)] OK   0sec   90moves  24pushes
1689 [11* 7( 7)] OK   0sec   78moves  27pushes
1690 [14*13(13)] OK   0sec  426moves  96pushes
1691 [ 8* 8( 5)] OK   0sec   60moves  10pushes
1692 [14* 8( 4)] OK   1sec  403moves  80pushes
1693 [15* 8(10)] OK   1sec  552moves 102pushes
1694 [ 7*11( 8)] OK   0sec  184moves  40pushes
1695 [15*17(28)] OK   5sec  440moves 108pushes
1696 [17*11(27)] X  600sec
1697 [11*15(18)] OK  12sec  654moves  80pushes
1698 [11* 8( 8)] OK   0sec  117moves  22pushes
1699 [ 9* 8( 7)] OK   0sec  133moves  35pushes
1700 [ 9* 9( 6)] OK   1sec  148moves  18pushes
1701 [11* 9( 7)] OK   0sec  139moves  14pushes
1702 [11*11( 6)] OK   0sec  269moves  37pushes
1703 [ 9*12(16)] OK   0sec  279moves 106pushes
1704 [ 9*12(16)] X  378sec
1705 [ 8* 8( 8)] OK   0sec   84moves  19pushes
1706 [10* 7( 4)] OK   1sec   73moves  18pushes
1707 [19*16(45)] OK  10sec 2733moves1128pushes
1708 [ 9* 9( 6)] OK   0sec  139moves  20pushes
1709 [ 9* 7( 6)] OK   0sec   82moves  14pushes
1710 [ 9* 7( 6)] OK   0sec   29moves  12pushes
1711 [11*12(10)] OK   1sec  284moves  44pushes
1712 [13*10( 7)] OK   1sec  381moves 114pushes
1713 [14* 9( 5)] OK   0sec  158moves  31pushes
1714 [ 7* 9( 6)] OK   0sec   95moves  22pushes
1715 [15*17(20)] OK   5sec  519moves  83pushes
1716 [ 9* 9( 6)] OK   0sec  102moves  22pushes
1717 [ 7*10( 8)] OK   0sec  145moves  34pushes
1718 [19*16(39)] X  600sec
1719 [ 9* 9( 7)] OK   0sec   74moves  22pushes
1720 [ 8*10( 4)] OK   0sec  252moves  40pushes
1721 [15*14(14)] OK   1sec  194moves  33pushes
1722 [11* 7( 8)] OK   0sec  194moves  46pushes
1723 [ 9* 9( 6)] OK   1sec  105moves  22pushes
1724 [14* 9(11)] OK   1sec  401moves  94pushes
1725 [ 9* 7( 8)] OK   0sec   87moves  23pushes
1726 [ 8*12( 6)] OK   0sec   87moves  16pushes
1727 [10* 9(11)] OK   1sec  172moves  21pushes
1728 [13*13(32)] X  195sec
1729 [ 9* 9(13)] OK   0sec   40moves   4pushes
1730 [15*13(15)] OK   1sec  774moves 137pushes
1731 [17* 9( 7)] OK   1sec  269moves  46pushes
1732 [10* 8( 6)] OK   0sec   91moves  29pushes
1733 [11*10( 7)] OK   0sec  490moves  97pushes
1734 [12* 8( 7)] OK   1sec   99moves  26pushes
1735 [ 9* 8( 7)] OK   0sec   79moves  23pushes
1736 [ 9*11(12)] OK   0sec  188moves  62pushes
1737 [ 9* 9( 8)] OK   0sec  162moves  34pushes
1738 [ 8* 8( 5)] OK   0sec   93moves  14pushes
1739 [ 9* 9( 6)] OK   0sec  143moves  19pushes
1740 [19*16(39)] OK   4sec 1490moves 518pushes
1741 [ 9* 9(13)] OK   0sec   45moves   6pushes
1742 [11*11( 9)] OK   2sec  130moves  27pushes
1743 [ 8* 7( 5)] OK   0sec   47moves  11pushes
1744 [ 9* 9( 7)] OK   0sec  106moves  10pushes
1745 [10* 8( 7)] OK   0sec   81moves  18pushes
1746 [11*10( 6)] OK   0sec  101moves  13pushes
1747 [ 8* 7( 6)] OK   0sec   79moves  25pushes
1748 [ 8*10( 7)] OK   0sec  147moves  39pushes
1749 [10* 9(10)] OK   0sec  141moves  33pushes
1750 [ 7* 9( 7)] OK   0sec   85moves  20pushes
1751 [14* 7( 8)] OK   0sec  165moves  53pushes
1752 [11*11(25)] OK   1sec  127moves  14pushes
1753 [ 8* 8( 6)] OK   0sec   95moves  28pushes
1754 [11*10( 9)] OK   0sec  292moves  99pushes
1755 [ 7*11( 7)] OK   0sec   71moves  25pushes
1756 [ 7* 7( 3)] OK   0sec   32moves   9pushes
1757 [ 8* 8( 4)] OK   0sec   41moves  14pushes
1758 [11* 8( 6)] OK   0sec   85moves  30pushes
1759 [ 9* 9( 6)] OK   1sec   85moves  22pushes
1760 [ 9*10( 6)] OK   0sec  128moves  15pushes
1761 [11*13(14)] OK   0sec  219moves  58pushes
1762 [12*12(12)] OK   2sec  136moves  41pushes
1763 [11*11(25)] OK   2sec  187moves  36pushes
1764 [11*11( 9)] OK   0sec  159moves  34pushes
1765 [ 9* 9(10)] OK   0sec  220moves  48pushes
1766 [ 9* 9(12)] OK   0sec   55moves  26pushes
1767 [13* 8(10)] OK   0sec  212moves  58pushes
1768 [ 7* 9( 6)] OK   0sec  115moves  21pushes
1769 [15* 8(13)] OK   0sec  261moves  52pushes
1770 [12*10(12)] OK   1sec  234moves  45pushes
1771 [14* 9(14)] OK   0sec  257moves  44pushes
1772 [ 8* 8( 3)] OK   0sec   56moves  12pushes
1773 [13* 7( 6)] OK   0sec  127moves  32pushes
1774 [13*15(41)] OK 109sec  541moves 104pushes
1775 [16*11(25)] OK   1sec  662moves 164pushes
1776 [14* 8(11)] OK   1sec  337moves 111pushes
1777 [14* 9(10)] OK   1sec  209moves  52pushes
1778 [12* 7(10)] OK   1sec  126moves  25pushes
1779 [12* 7( 7)] OK   0sec  347moves  86pushes
1780 [11*12(15)] OK   0sec  681moves 170pushes
1781 [14*10(12)] OK   0sec  243moves 104pushes
1782 [ 8* 7( 5)] OK   0sec   50moves  16pushes
1783 [13* 7(11)] OK   0sec  216moves  32pushes
1784 [10* 9(11)] OK   0sec  120moves  24pushes
1785 [13*11(21)] OK   0sec  146moves  45pushes
1786 [11* 8( 8)] OK   0sec  216moves  30pushes
1787 [ 9* 9(13)] OK   1sec  466moves  82pushes
1788 [ 9* 9(12)] OK   0sec  373moves  77pushes
1789 [12*10(16)] OK   0sec  278moves  72pushes
1790 [ 9* 8( 8)] OK   0sec  157moves  42pushes
1791 [13* 9(16)] OK   0sec  340moves  78pushes
1792 [17*17(40)] OK  18sec  685moves 180pushes
1793 [13*13(12)] OK   1sec  289moves  42pushes
1794 [11* 9(14)] OK   1sec  415moves  95pushes
1795 [15*10(12)] OK   1sec  281moves  69pushes
1796 [ 9*10( 9)] OK   0sec  152moves  55pushes
1797 [11*10(13)] OK   0sec  295moves  67pushes
1798 [13* 8( 8)] OK   0sec  291moves  88pushes
1799 [16* 9(15)] OK   1sec  245moves  84pushes
1800 [13* 9(12)] OK   0sec  353moves  64pushes
1801 [11* 8( 5)] OK   0sec   54moves  14pushes
1802 [11*11(11)] OK   4sec  273moves  50pushes
1803 [12* 8( 9)] OK   0sec  190moves  62pushes
1804 [13*15(17)] X  130sec
1805 [11*11(12)] OK  11sec  262moves  34pushes
1806 [10*10(12)] OK   3sec  216moves  52pushes
1807 [ 9*10( 9)] OK   0sec  116moves  37pushes
1808 [15* 7( 8)] OK   0sec  235moves  52pushes
1809 [13* 7( 6)] OK   1sec  201moves  70pushes
1810 [13* 7( 6)] OK   0sec  137moves  38pushes
1811 [ 8* 9( 7)] OK   0sec   86moves  16pushes
1812 [15* 9(14)] OK   1sec  541moves 124pushes
1813 [10* 9( 7)] OK   1sec  244moves  45pushes
1814 [16* 9(14)] OK   3sec  432moves 116pushes
1815 [ 9* 7(10)] OK   0sec   76moves  20pushes
1816 [19*10(24)] X  172sec
1817 [15*10( 8)] OK   1sec  266moves  30pushes
1818 [13*13(32)] OK   5sec  788moves 140pushes
1819 [11* 7( 6)] OK   0sec   94moves  18pushes
1820 [ 8* 9( 5)] OK   0sec   55moves   9pushes
1821 [12*12(14)] OK   1sec  357moves  46pushes
1822 [13*13(13)] OK   1sec  287moves  46pushes
1823 [11*10(11)] OK   0sec  449moves  63pushes
1824 [14* 9(10)] OK   0sec  179moves  58pushes
1825 [13* 9(14)] OK   0sec  372moves  78pushes
1826 [10* 8( 9)] OK   0sec  201moves  53pushes
1827 [10*10(10)] OK   0sec  197moves  55pushes
1828 [15* 9(13)] OK   1sec  231moves  48pushes
1829 [13*15(43)] X  600sec
1830 [13*10(20)] OK   2sec  729moves 126pushes
1831 [11*10(12)] OK   2sec  459moves  93pushes
1832 [10*11(11)] OK   0sec  231moves  70pushes
1833 [16*12( 9)] OK   0sec  931moves 224pushes
1834 [13*11(14)] OK   0sec  791moves 122pushes
1835 [13*11(10)] OK   0sec  544moves  58pushes
1836 [11*15(12)] OK   2sec  492moves 122pushes
1837 [11*15(12)] OK   1sec  380moves 122pushes
1838 [ 9*11(12)] OK   1sec  163moves  36pushes
1839 [10* 8( 6)] OK   0sec  118moves  20pushes
1840 [13*13(32)] OK   4sec  387moves 114pushes
1841 [13*13(27)] X  290sec
1842 [18* 7(13)] OK   0sec  426moves 215pushes
1843 [15*12(13)] OK   3sec 1114moves 197pushes
1844 [ 9*10( 6)] OK   0sec   46moves  15pushes
1845 [ 8*10( 5)] OK   0sec   58moves  14pushes
1846 [ 8*10( 6)] OK   0sec   51moves  16pushes
1847 [ 8*10( 6)] OK   0sec   66moves  17pushes
1848 [ 8* 9( 4)] OK   0sec   36moves  12pushes
1849 [ 9* 9( 5)] OK   0sec   74moves  21pushes
1850 [17*17(35)] X  600sec
1851 [19*16(30)] OK   2sec 2600moves 742pushes
1852 [ 7* 7( 5)] OK   1sec   40moves   8pushes
1853 [17*11(16)] OK  68sec  762moves 126pushes
1854 [13*12(11)] OK   1sec  461moves  78pushes
1855 [10* 7( 9)] OK   0sec  221moves  53pushes
1856 [17*11(18)] OK   5sec  458moves  74pushes
1857 [15* 9(13)] OK  16sec  420moves 114pushes
1858 [13*13(17)] OK   1sec  332moves  72pushes
1859 [15*15(23)] X  255sec
1860 [10*15(18)] OK 126sec 1460moves 347pushes
1861 [10* 9( 8)] OK   0sec  146moves  33pushes
1862 [13*10( 8)] OK   1sec  277moves  43pushes
1863 [ 9* 9(13)] OK   0sec  142moves  16pushes
1864 [ 7*11(11)] OK   0sec  459moves  84pushes
1865 [11* 7(12)] OK   0sec  208moves  42pushes
1866 [11*11(25)] OK   0sec  390moves  46pushes
1867 [15* 9( 9)] OK   0sec  154moves  35pushes
1868 [19* 9(12)] OK   0sec  200moves  42pushes
1869 [ 9*12( 9)] OK   0sec  168moves  60pushes
1870 [19*16(61)] X  600sec
1871 [19*16(62)] X  600sec
1872 [19*16(63)] X  600sec
1873 [17*15(71)] X  600sec
1874 [19*16(41)] OK   2sec 1907moves 890pushes
1875 [19*16( 8)] OK   0sec 2006moves 126pushes
1876 [19*10(20)] X  272sec
1877 [13*13(25)] OK   1sec  509moves 159pushes
1878 [17*17(27)] OK  15sec 1150moves 337pushes
1879 [13* 9(26)] Ok  89sec  258moves  54pushes
1880 [13*13(43)] Ok 446sec  886moves 188pushes
1881 [19*16(61)] X  600sec
1882 [19*16(64)] X  600sec
1883 [19*16(62)] X  600sec
1884 [19*16(61)] X  600sec
1885 [19*16(59)] X  600sec
1886 [19*16(48)] OK 169sec 2327moves 457pushes
1887 [11*16(21)] OK   1sec  109moves  25pushes
1888 [13*13(37)] X  600sec
1889 [11*11(30)] Ok   3sec  140moves  22pushes
1890 [14*14(55)] X  600sec
1891 [17* 9(37)] X  600sec
1892 [13*13(44)] X  600sec
1893 [17*15(65)] -
1894 [17*13(49)] X  600sec
1895 [17*15(65)] -
1896 [17*13(49)] X  600sec
1897 [19*16(14)] OK   0sec  966moves 220pushes
1898 [13*17(48)] X  600sec
1899 [17*17(84)] -
1900 [17*17(73)] -
1901 [17*17(66)] -
1902 [17*17(87)] -
1903 [17*17(75)] -
1904 [19*16(62)] X  600sec
1905 [19*16(63)] X  600sec
1906 [19*16(66)] -
1907 [17*12(12)] OK  12sec  600moves 118pushes
1908 [19*16(42)] X  600sec
1909 [19*13(22)] OK   0sec  645moves 216pushes
1910 [19*16(64)] X  600sec
1911 [15*15(65)] -
1912 [15*15(66)] -
1913 [18*18(36)] OK   2sec 1579moves 589pushes
1914 [18*17(37)] X  600sec
1915 [14*12( 9)] OK  27sec  490moves  89pushes
1916 [17*15(13)] OK   3sec  505moves  82pushes
1917 [18*13(12)] OK   1sec  930moves 145pushes
1918 [12*16(23)] OK   9sec  833moves 247pushes
1919 [19*16(57)] X  600sec
1920 [19*15(25)] OK  12sec 1311moves 391pushes
1921 [13*12(17)] OK   0sec  515moves 138pushes
1922 [13*12(17)] OK   1sec  443moves 146pushes
1923 [19* 7(17)] OK   1sec  900moves 121pushes
1924 [19* 7(17)] OK   1sec  629moves 126pushes
1925 [13* 9(21)] OK   4sec  129moves  30pushes
1926 [11*11(21)] OK   5sec  298moves  36pushes
1927 [11*11(21)] OK   1sec  590moves  66pushes
1928 [11*11(21)] OK   0sec   79moves  24pushes
1929 [13*13(32)] X  367sec
1930 [19*16(17)] OK   2sec  457moves  87pushes
1931 [13*13(34)] Ok 234sec  840moves 156pushes
1932 [ 9*10(13)] OK   0sec  178moves  58pushes
1933 [ 9* 9( 4)] OK   0sec   55moves  10pushes
1934 [ 8* 8( 4)] OK   0sec   55moves  14pushes
1935 [ 8* 8( 4)] OK   0sec   51moves  12pushes
1936 [ 8* 8( 4)] OK   0sec   43moves  12pushes
1937 [11*10( 6)] OK   0sec  142moves  26pushes
1938 [15*12( 8)] OK   1sec  402moves  70pushes
1939 [13*11( 8)] OK   1sec  214moves  22pushes
1940 [11*11(24)] OK   1sec  357moves 100pushes
1941 [13*13(32)] OK   1sec  270moves  28pushes
1942 [11* 7(14)] OK   0sec  187moves  48pushes
1943 [11* 9(15)] OK   0sec  207moves  37pushes
1944 [ 8* 8( 4)] OK   0sec   37moves  14pushes
1945 [ 8* 8( 4)] OK   1sec   25moves   8pushes
1946 [ 8* 8( 4)] OK   0sec   37moves  12pushes
1947 [ 8* 8( 4)] OK   0sec   45moves  12pushes
1948 [ 8* 8( 4)] OK   1sec   57moves  18pushes
1949 [14*12(16)] OK   0sec  572moves 183pushes
1950 [15*15(30)] X  600sec
1951 [11*10( 8)] OK   0sec   97moves  27pushes
1952 [10*10(16)] OK   0sec  257moves  50pushes
1953 [19*11(49)] X  600sec
1954 [19*16(63)] X  458sec
1955 [19*16(19)] X  600sec
1956 [19*16(28)] X  160sec
1957 [19*16(29)] X  353sec
1958 [13*10(14)] OK   0sec  125moves  18pushes
1959 [11*10(14)] OK   1sec   77moves  14pushes
1960 [13*10(14)] OK   3sec  178moves  28pushes
1961 [19*16(57)] X  600sec
1962 [19*16(41)] X  600sec
1963 [11* 8(14)] OK   1sec  238moves  54pushes
1964 [16*16(56)] OK  46sec 1223moves 334pushes
1965 [13*13(13)] OK   1sec  614moves 124pushes
1966 [11*13(14)] OK   0sec  222moves  42pushes
1967 [15*15(29)] X  360sec
1968 [11*13(13)] OK   0sec  330moves  77pushes
1969 [11*11(13)] OK   3sec  744moves 145pushes
1970 [11* 9(15)] OK   0sec  279moves  65pushes
1971 [13*13(20)] X  110sec
1972 [15*15( 8)] OK   1sec  510moves  46pushes
1973 [11*15(13)] OK   0sec 1076moves 222pushes
1974 [11*14(15)] OK   1sec  258moves  57pushes
1975 [19*14(18)] OK   1sec  327moves 109pushes
1976 [19*16(49)] OK  14sec 1831moves 639pushes
1977 [18*15(27)] X  584sec
1978 [16*16(51)] X  600sec
1979 [ 9* 9(13)] OK   0sec   69moves  25pushes
1980 [19*16(29)] X  600sec
1981 [13* 9(23)] OK   3sec  395moves 126pushes
1982 [13*13(41)] OK  64sec  715moves 174pushes
1983 [ 7* 7( 6)] OK   0sec   48moves   8pushes
1984 [13*13(41)] OK   9sec 1492moves 430pushes
1985 [19*16(12)] OK  54sec  653moves 147pushes
1986 [18*16(26)] X  600sec
1987 [13*13(41)] OK  25sec  761moves 204pushes
1988 [19*16(35)] X  488sec
1989 [13* 6(13)] OK   0sec  103moves  13pushes
1990 [15* 6(16)] OK   0sec  106moves  14pushes
1991 [14*11(32)] OK   4sec  425moves  48pushes
1992 [12*11(28)] Ok  94sec  279moves  30pushes
1993 [12*11(30)] OK   6sec  111moves  21pushes
1994 [12*11(29)] OK   6sec  648moves  65pushes
1995 [11*11(27)] OK   3sec  304moves  48pushes
1996 [11*11(28)] OK   1sec  163moves  37pushes
1997 [19*16(16)] OK   1sec 2314moves 691pushes
1998 [11*11(28)] OK   8sec  227moves  47pushes
1999 [14*11(31)] OK   1sec  580moves  84pushes
2000 [17*11(34)] OK   1sec  628moves  74pushes
2001 [17*11(32)] OK  10sec  447moves  62pushes
2002 [ 8* 9( 3)] OK   0sec  110moves  30pushes
2003 [ 7* 9( 3)] OK   0sec   60moves  17pushes
2004 [ 7* 9( 4)] OK   0sec  126moves  35pushes
2005 [10* 9( 5)] OK   0sec  113moves  24pushes
2006 [10*10( 7)] OK   0sec  209moves  58pushes
2007 [10*11( 9)] OK   0sec  337moves  99pushes
2008 [15*15( 8)] OK   1sec  300moves  18pushes
2009 [10*12(11)] OK   1sec  465moves 141pushes
2010 [13*11( 5)] OK   0sec  120moves  20pushes
2011 [11* 9( 5)] OK   0sec  116moves  17pushes
2012 [11* 9( 5)] OK   1sec   86moves  13pushes
2013 [ 9*12(16)] OK   0sec  161moves  24pushes
2014 [ 9*12(16)] OK   1sec  254moves  36pushes
2015 [13*13(24)] Ok  66sec  696moves 124pushes
2016 [13*13(24)] X  600sec
2017 [13*13(24)] OK   1sec  212moves  38pushes
2018 [12* 9(12)] OK   0sec  286moves  82pushes
2019 [15*15( 6)] OK   1sec  704moves  91pushes
2020 [ 9* 9(15)] OK   0sec   90moves  18pushes
2021 [10* 9(17)] OK   1sec  244moves  35pushes
2022 [11* 9(19)] OK   1sec   83moves  22pushes
2023 [11*11(24)] OK   5sec  225moves  38pushes
2024 [11*11(24)] OK   0sec  234moves  42pushes
2025 [13* 8(17)] OK   0sec  232moves  55pushes
2026 [13* 8(18)] OK   0sec   83moves  25pushes
2027 [13* 8(17)] OK   0sec  152moves  33pushes
2028 [11*10(18)] OK   1sec  125moves  21pushes
2029 [11*10(18)] OK   1sec  140moves  18pushes
2030 [19*16(36)] OK   2sec 1152moves 402pushes
2031 [17*13(48)] OK 214sec 2626moves 286pushes
2032 [17*13(48)] OK  61sec  693moves  97pushes
2033 [17* 9(25)] OK   0sec  187moves  36pushes
2034 [17*17(51)] X  600sec
2035 [15* 8(17)] OK   0sec  106moves  16pushes
2036 [15*15(35)] OK   7sec  991moves 154pushes
2037 [13* 7( 9)] OK   0sec   39moves  10pushes
2038 [13*13(19)] OK   7sec  363moves  48pushes
2039 [ 9* 9(10)] OK   0sec  122moves  34pushes
2040 [ 9* 9( 9)] OK   0sec  170moves  32pushes
2041 [13*12( 6)] OK   0sec  188moves  21pushes
2042 [ 9* 7( 5)] OK   1sec   60moves  14pushes
2043 [ 9* 7( 5)] OK   0sec   58moves  14pushes
2044 [ 9*15( 8)] OK   0sec  105moves  32pushes
2045 [ 9*12( 7)] OK   0sec  188moves  25pushes
2046 [ 9*13( 8)] OK   1sec  129moves  24pushes
2047 [ 7* 9( 4)] OK   0sec   52moves  14pushes
2048 [ 9* 8(12)] OK   0sec  114moves  23pushes
2049 [ 9* 9(15)] OK   0sec  215moves  38pushes
2050 [ 9* 8( 8)] OK   1sec  168moves  44pushes
2051 [ 9* 8(11)] OK   0sec   81moves  25pushes
2052 [12*12(13)] OK   1sec  343moves  52pushes
2053 [ 9* 9(18)] OK   0sec   51moves  20pushes
2054 [ 9* 9(18)] OK   0sec   51moves  20pushes
2055 [ 9* 9(14)] OK   0sec   70moves  21pushes
2056 [ 9* 9(14)] OK   0sec  299moves  55pushes
2057 [ 9* 9(12)] OK   0sec   71moves  17pushes
2058 [11*11( 7)] OK   1sec  152moves  40pushes
2059 [11*11( 7)] OK   0sec   86moves  44pushes
2060 [11*11( 7)] OK   0sec  131moves  50pushes
2061 [11*11( 7)] OK   0sec  200moves  58pushes
2062 [ 9* 9( 5)] OK   0sec  131moves  32pushes
2063 [19*16( 8)] OK   1sec  918moves 198pushes
2064 [ 9* 9( 5)] OK   0sec  131moves  32pushes
2065 [ 9* 9( 5)] OK   0sec  111moves  29pushes
2066 [ 9* 9( 5)] OK   0sec  111moves  29pushes
2067 [ 9* 8( 5)] OK   1sec  125moves  30pushes
2068 [11*10( 5)] OK   0sec  201moves  35pushes
2069 [11*10( 5)] OK   0sec  201moves  35pushes
2070 [11*10( 5)] OK   0sec  147moves  38pushes
2071 [11*11( 5)] OK   0sec  160moves  42pushes
2072 [11*10( 5)] OK   1sec  195moves  41pushes
2073 [ 9*10( 5)] OK   0sec   91moves  27pushes
2074 [17*16(16)] OK   0sec  234moves  52pushes
2075 [ 9*10( 5)] OK   0sec  135moves  31pushes
2076 [ 9*10( 5)] OK   0sec   98moves  36pushes
2077 [ 9*10( 5)] OK   0sec   98moves  28pushes
2078 [ 9*10( 5)] OK   0sec   87moves  30pushes
2079 [ 9*10( 7)] OK   1sec   91moves  34pushes
2080 [ 9* 9( 8)] OK   0sec   79moves  24pushes
2081 [10*11(10)] OK   0sec  203moves  26pushes
2082 [10*11(10)] OK   0sec  157moves  27pushes
2083 [ 9* 9(12)] OK   1sec  216moves  44pushes
2084 [ 9* 9(12)] OK   0sec  248moves  39pushes
2085 [19*16(12)] OK   3sec 1108moves 153pushes
2086 [ 9* 9(12)] OK   0sec  232moves  32pushes
2087 [ 9* 9(12)] OK   0sec  236moves  32pushes
2088 [ 9* 9(12)] OK   0sec  232moves  31pushes
2089 [ 9* 9(12)] OK   1sec  216moves  31pushes
2090 [ 9* 9(12)] OK   1sec  152moves  28pushes
2091 [ 9* 9(12)] OK   0sec   71moves  23pushes
2092 [ 9* 9(12)] OK   0sec  183moves  29pushes
2093 [13*11(17)] OK   0sec  109moves  28pushes
2094 [13*11(16)] OK   1sec  194moves  51pushes
2095 [13*11(17)] OK   1sec  192moves  38pushes
2096 [19*16(24)] OK   2sec  563moves 118pushes
2097 [19*16( 8)] OK   0sec  884moves  54pushes
2098 [13*11(17)] OK   0sec  189moves  40pushes
2099 [ 8* 8( 8)] OK   0sec  127moves  32pushes
2100 [ 8* 8( 9)] OK   0sec  165moves  37pushes
2101 [ 8* 8( 9)] OK   1sec  183moves  39pushes
2102 [ 8* 8( 9)] OK   0sec  181moves  39pushes
2103 [ 8* 8(10)] OK   0sec   61moves  20pushes
2104 [ 8* 8(10)] OK   0sec   61moves  17pushes
2105 [ 8* 8(11)] OK   0sec   27moves  10pushes
2106 [ 8* 8(10)] OK   0sec   67moves  17pushes
2107 [ 8* 8(10)] OK   0sec   39moves  15pushes
2108 [11* 9(12)] OK   1sec  132moves  15pushes
2109 [ 8* 8(10)] OK   0sec   66moves  17pushes
2110 [ 8* 8(10)] OK   0sec   59moves  17pushes
2111 [ 8* 8(10)] OK   0sec   35moves  15pushes
2112 [ 8* 8(10)] OK   0sec   69moves  20pushes
2113 [ 8* 8(10)] OK   0sec   74moves  23pushes
2114 [ 8* 8(10)] OK   0sec   74moves  23pushes
2115 [ 8* 8(10)] OK   1sec   76moves  21pushes
2116 [ 8* 8(10)] OK   0sec   86moves  25pushes
2117 [ 8* 8(10)] OK   0sec   67moves  19pushes
2118 [ 8* 8(10)] OK   0sec   44moves  15pushes
2119 [19*16(90)] -
2120 [ 8* 8(10)] OK   0sec   64moves  16pushes
2121 [ 8* 8(10)] OK   0sec   50moves  16pushes
2122 [ 8* 8(10)] OK   0sec   43moves  13pushes
2123 [ 8* 8(10)] OK   1sec   71moves  20pushes
2124 [ 8* 8(10)] OK   0sec   80moves  19pushes
2125 [ 8* 8(10)] OK   0sec   66moves  19pushes
2126 [ 8* 8(10)] OK   1sec   43moves  14pushes
2127 [ 8* 8(10)] OK   0sec   45moves  14pushes
2128 [ 7* 8( 6)] OK   0sec   30moves   9pushes
2129 [ 7* 8( 6)] OK   0sec   42moves   9pushes
2130 [19*16(20)] OK   2sec  660moves 238pushes
2131 [ 7* 7( 4)] OK   0sec   43moves  10pushes
2132 [13* 7( 9)] OK   0sec  180moves  36pushes
2133 [13* 7(10)] OK   0sec  180moves  46pushes
2134 [13* 7(10)] OK   1sec  216moves  50pushes
2135 [13* 7(10)] OK   0sec  214moves  48pushes
2136 [13* 7( 9)] OK   0sec  178moves  48pushes
2137 [ 9* 9( 8)] OK   0sec  121moves  20pushes
2138 [ 9* 9( 8)] OK   1sec  150moves  28pushes
2139 [ 9* 9( 8)] OK   0sec  180moves  42pushes
2140 [ 9* 9( 8)] OK   0sec  138moves  28pushes
2141 [ 9* 9( 4)] OK   0sec   55moves  10pushes
2142 [ 9* 9( 8)] OK   1sec  216moves  38pushes
2143 [13* 7(15)] OK   1sec  273moves  66pushes
2144 [13* 7(15)] OK   1sec  313moves  76pushes
2145 [13* 7(15)] OK   1sec  267moves  60pushes
2146 [13* 7(15)] OK   1sec  287moves  70pushes
2147 [13* 7(15)] OK   0sec  277moves  67pushes
2148 [13* 7(15)] OK   0sec  227moves  47pushes
2149 [13* 7(14)] OK   0sec  167moves  28pushes
2150 [11*11( 4)] OK   1sec   89moves  30pushes
2151 [11*11( 4)] OK   0sec   89moves  30pushes
2152 [19*16( 8)] OK   0sec 1537moves 442pushes
2153 [11*11( 6)] OK   0sec  110moves  33pushes
2154 [ 9* 7( 9)] OK   1sec   95moves  27pushes
2155 [ 9* 7( 9)] OK   0sec   88moves  27pushes
2156 [ 9* 7( 9)] OK   0sec   75moves  27pushes
2157 [ 9* 7( 8)] OK   0sec   44moves  10pushes
2158 [ 9* 7( 9)] OK   0sec   51moves   9pushes
2159 [13* 7( 9)] OK   0sec  180moves  55pushes
2160 [13* 7( 9)] OK   0sec   65moves  25pushes
2161 [ 9* 9(11)] OK   1sec  152moves  31pushes
2162 [ 9* 9(11)] OK   0sec  158moves  35pushes
2163 [19*16(41)] OK   2sec  961moves 208pushes
2164 [ 9* 9(11)] OK   0sec   69moves  20pushes
2165 [10*10(12)] OK   0sec   51moves  17pushes
2166 [10*10(11)] OK   0sec   90moves  23pushes
2167 [10*10(11)] OK   0sec   98moves  23pushes
2168 [10*10(12)] OK   0sec  197moves  35pushes
2169 [10*10(12)] OK   0sec  202moves  35pushes
2170 [10*10(11)] OK   1sec  249moves  37pushes
2171 [10*10(11)] OK   1sec  220moves  37pushes
2172 [10*10(18)] OK   1sec  165moves  30pushes
2173 [10*10(18)] OK   1sec  195moves  28pushes
2174 [19*17(17)] OK   1sec 3261moves 494pushes
2175 [10*10(17)] OK   1sec   82moves  20pushes
2176 [10* 9(16)] OK   1sec 1048moves 220pushes
2177 [10* 9(16)] OK   1sec  491moves 102pushes
2178 [10* 9(18)] OK   0sec   94moves  31pushes
2179 [10* 9(18)] OK   0sec   94moves  31pushes
2180 [10* 9(18)] OK   0sec  102moves  29pushes
2181 [10* 9(18)] OK   1sec   60moves  18pushes
2182 [10* 9(18)] OK   0sec   61moves  22pushes
2183 [10* 9(18)] OK   0sec   76moves  21pushes
2184 [10* 9(18)] OK   0sec   70moves  21pushes
2185 [11*11(30)] OK   2sec  317moves  84pushes
2186 [10* 9(16)] OK   1sec   75moves  23pushes
2187 [10* 9(16)] OK   1sec  168moves  26pushes
2188 [10* 9(16)] OK   0sec  171moves  26pushes
2189 [10* 9(16)] OK   1sec  161moves  26pushes
2190 [10* 9(16)] OK   1sec  171moves  26pushes
2191 [11* 7( 8)] OK   0sec  109moves  30pushes
2192 [11* 7( 8)] OK   0sec  119moves  32pushes
2193 [11* 7( 8)] OK   0sec   98moves  28pushes
2194 [11* 7( 8)] OK   1sec   97moves  26pushes
2195 [11* 7( 9)] OK   0sec  104moves  22pushes
2196 [19*16(34)] OK   1sec  809moves 317pushes
2197 [11* 7( 8)] OK   0sec  101moves  18pushes
2198 [11*11(14)] OK   1sec  109moves  35pushes
2199 [11*11(13)] OK   0sec   87moves  37pushes
2200 [11*11(13)] OK   0sec  162moves  37pushes
2201 [11*11(13)] OK   0sec  153moves  37pushes
2202 [11*11(14)] OK   0sec  194moves  36pushes
2203 [11*11(14)] OK   1sec  185moves  38pushes
2204 [11*11(14)] OK   1sec  179moves  38pushes
2205 [11*11( 9)] OK   1sec  235moves  52pushes
2206 [11*11( 9)] OK   0sec   87moves  29pushes
2207 [19*16(15)] OK   3sec  547moves 103pushes
2208 [11*12(21)] OK   2sec  240moves  45pushes
2209 [11* 7( 7)] OK   0sec   87moves  32pushes
2210 [11* 7( 7)] OK   1sec   73moves  27pushes
2211 [11* 7( 7)] OK   0sec  103moves  38pushes
2212 [11* 7( 8)] OK   0sec   87moves  32pushes
2213 [11* 7( 9)] OK   0sec   81moves  31pushes
2214 [ 9* 9(10)] OK   0sec  132moves  47pushes
2215 [ 9* 9(10)] OK   0sec  154moves  47pushes
2216 [ 9*12( 9)] OK   0sec  236moves  68pushes
2217 [13* 6(10)] OK   1sec  159moves  49pushes
2218 [13* 6(11)] OK   0sec  158moves  53pushes
2219 [13*11( 4)] OK   0sec   69moves   7pushes
2220 [11* 6( 8)] OK   0sec   74moves  26pushes
2221 [13* 6(11)] OK   1sec  129moves  36pushes
2222 [13* 6(12)] OK   0sec  310moves  64pushes
2223 [13* 6(12)] OK   0sec  217moves  66pushes
2224 [13* 6(12)] OK   0sec  270moves  66pushes
2225 [13* 6(12)] OK   0sec  198moves  65pushes
2226 [13* 6(12)] OK   1sec  403moves 115pushes
2227 [13* 6(12)] OK   0sec   76moves  30pushes
2228 [13* 6(12)] OK   0sec   96moves  29pushes
2229 [13* 6(12)] OK   0sec  189moves  58pushes
2230 [12*12(16)] OK   1sec  325moves  98pushes
2231 [13* 6(12)] OK   1sec  240moves  78pushes
2232 [13* 6(12)] OK   2sec  267moves  88pushes
2233 [13* 6(11)] OK   1sec  261moves  68pushes
2234 [13* 6(11)] OK   0sec  166moves  62pushes
2235 [11* 9(18)] OK   0sec  167moves  28pushes
2236 [13* 6(11)] OK   0sec  161moves  44pushes
2237 [11* 6( 9)] OK   0sec  289moves  70pushes
2238 [11* 6( 9)] OK   0sec  259moves  63pushes
2239 [11* 6( 9)] OK   0sec  165moves  43pushes
2240 [11* 6( 9)] OK   0sec  123moves  41pushes
2241 [12* 9(14)] OK   2sec  163moves  44pushes
2242 [11* 6( 9)] OK   0sec  225moves  61pushes
2243 [11* 6( 9)] OK   0sec  205moves  55pushes
2244 [11* 6( 9)] OK   0sec  207moves  49pushes
2245 [11* 6( 9)] OK   0sec  141moves  42pushes
2246 [ 9* 6( 6)] OK   0sec  137moves  45pushes
2247 [ 9* 6( 6)] OK   0sec  105moves  32pushes
2248 [ 9* 6( 6)] OK   0sec   97moves  31pushes
2249 [ 9* 7( 9)] OK   0sec  197moves  50pushes
2250 [ 9* 7( 9)] OK   0sec  212moves  54pushes
2251 [ 9* 7(10)] OK   1sec  123moves  36pushes
2252 [12* 9(14)] OK   1sec  188moves  48pushes
2253 [15* 7( 8)] OK   0sec  223moves  71pushes
2254 [10*11( 7)] OK   0sec  161moves  32pushes
2255 [13* 7(15)] OK   0sec  209moves  48pushes
2256 [13* 7( 8)] OK   1sec  211moves  40pushes
2257 [13* 7( 8)] OK   1sec  241moves  46pushes
2258 [13* 7( 8)] OK   0sec  203moves  30pushes
2259 [13* 7( 8)] OK   0sec  185moves  36pushes
2260 [12* 7( 8)] OK   0sec  161moves  27pushes
2261 [12* 7( 8)] OK   1sec  207moves  26pushes
2262 [12* 7( 8)] OK   0sec  182moves  30pushes
2263 [14*14(28)] OK  21sec  368moves 134pushes
2264 [12* 7( 8)] OK   0sec  151moves  27pushes
2265 [12* 7( 8)] OK   1sec  168moves  34pushes
2266 [11* 7( 6)] OK   0sec  165moves  30pushes
2267 [11* 7( 6)] OK   0sec  173moves  30pushes
2268 [11* 7( 6)] OK   0sec  118moves  16pushes
2269 [11* 7( 7)] OK   1sec   97moves  17pushes
2270 [11* 7( 7)] OK   1sec  138moves  30pushes
2271 [11* 7( 7)] OK   0sec  148moves  30pushes
2272 [11* 7( 7)] OK   0sec   99moves  20pushes
2273 [19* 7(20)] OK   1sec  337moves  76pushes
2274 [13*13(31)] Ok 154sec   92moves  24pushes
2275 [11*15(38)] Ok 231sec  241moves  84pushes
2276 [19* 7(22)] OK   1sec  370moves  72pushes
2277 [19* 7(16)] OK   1sec  304moves  78pushes
2278 [17* 7(16)] OK   0sec  271moves  75pushes
2279 [19* 7(21)] OK   0sec  301moves  64pushes
2280 [13* 7( 9)] OK   0sec  164moves  34pushes
2281 [17* 7(18)] OK   0sec  295moves  72pushes
2282 [20* 7(22)] OK   1sec  420moves 132pushes
2283 [16* 7(16)] OK   0sec  351moves 112pushes
2284 [13* 7( 6)] OK   0sec  171moves  46pushes
2285 [13*13(31)] OK   1sec  399moves  36pushes
2286 [ 9* 9(11)] OK   0sec  164moves  26pushes
2287 [ 9* 8(10)] OK   0sec  116moves  24pushes
2288 [ 9* 7( 8)] OK   0sec   79moves  18pushes
2289 [ 8* 7( 7)] OK   0sec   45moves  10pushes
2290 [ 9* 8(11)] OK   0sec   62moves  14pushes
2291 [ 9* 7( 9)] OK   0sec   70moves  12pushes
2292 [13* 7( 8)] OK   0sec  257moves  62pushes
2293 [11* 7( 8)] OK   0sec  201moves  58pushes
2294 [11* 7( 8)] OK   0sec  207moves  56pushes
2295 [11* 7( 8)] OK   0sec  142moves  58pushes
2296 [13*13(31)] OK   6sec  878moves 104pushes
2297 [11* 7( 8)] OK   0sec  140moves  40pushes
2298 [11* 7( 8)] OK   0sec  148moves  42pushes
2299 [ 8* 7( 8)] OK   0sec   99moves  24pushes
2300 [ 8* 7( 8)] OK   0sec  175moves  32pushes
2301 [ 8* 7( 8)] OK   0sec  122moves  24pushes
2302 [ 8* 7( 8)] OK   0sec  111moves  30pushes
2303 [ 8* 7( 8)] OK   0sec  152moves  30pushes
2304 [ 9* 7( 4)] OK   0sec   99moves  26pushes
2305 [ 9* 7( 4)] OK   0sec  100moves  30pushes
2306 [ 9* 7( 4)] OK   0sec  125moves  29pushes
2307 [13*13(29)] OK   3sec  388moves  50pushes
2308 [ 9* 7( 4)] OK   1sec  129moves  25pushes
2309 [13* 7( 8)] OK   0sec  147moves  30pushes
2310 [13* 7( 9)] OK   0sec  153moves  38pushes
2311 [13* 7( 9)] OK   1sec  175moves  32pushes
2312 [13* 7(10)] OK   0sec  167moves  44pushes
2313 [13* 7(10)] OK   0sec  171moves  47pushes
2314 [13* 7( 6)] OK   0sec  122moves  36pushes
2315 [13* 7( 8)] OK   1sec  190moves  44pushes
2316 [13* 7(10)] OK   1sec  216moves  50pushes
2317 [13* 7( 9)] OK   0sec  148moves  40pushes
2318 [19*16(29)] OK   2sec 1389moves 460pushes
2319 [11*13(29)] OK   1sec  276moves  34pushes
2320 [13* 7( 8)] OK   0sec  185moves  46pushes
2321 [13* 7( 8)] OK   0sec  165moves  46pushes
2322 [13* 7( 8)] OK   0sec  106moves  28pushes
2323 [13* 7( 8)] OK   0sec  133moves  28pushes
2324 [13* 7( 9)] OK   0sec  153moves  32pushes
2325 [13* 7( 9)] OK   0sec  139moves  38pushes
2326 [13* 7(10)] OK   1sec  159moves  34pushes
2327 [13* 7(10)] OK   0sec  171moves  33pushes
2328 [11* 8(14)] OK   0sec  191moves  28pushes
2329 [11* 8(14)] OK   0sec  191moves  44pushes
2330 [11*13(27)] Ok 178sec  776moves 162pushes
2331 [11* 8(14)] OK   1sec  148moves  26pushes
2332 [11* 8(14)] OK   0sec  135moves  24pushes
2333 [11* 8(14)] OK   0sec  117moves  14pushes
2334 [11* 6(12)] OK   0sec   99moves  45pushes
2335 [11* 6(11)] OK   0sec   39moves  10pushes
2336 [11* 6(11)] OK   0sec   53moves  14pushes
2337 [10* 7( 9)] OK   0sec  143moves  23pushes
2338 [10* 8(12)] OK   1sec  176moves  20pushes
2339 [10* 8(12)] OK   0sec  186moves  32pushes
2340 [10* 8(12)] OK   0sec  209moves  28pushes
2341 [11*13(27)] Ok 109sec  590moves 110pushes
2342 [10* 6( 7)] OK   0sec   96moves  18pushes
2343 [10* 6( 8)] OK   0sec  108moves  20pushes
2344 [10* 6( 8)] OK   0sec  153moves  26pushes
2345 [10* 6( 7)] OK   0sec  108moves  28pushes
2346 [10* 6( 8)] OK   0sec   53moves  15pushes
2347 [10* 6( 8)] OK   0sec   71moves  22pushes
2348 [10* 6( 8)] OK   0sec   81moves  24pushes
2349 [11* 7(10)] OK   0sec  167moves  45pushes
2350 [11* 7(10)] OK   0sec  135moves  30pushes
2351 [ 9* 7( 7)] OK   1sec   83moves  28pushes
2352 [11*13(27)] Ok 291sec  524moves 104pushes
2353 [ 9* 7( 6)] OK   0sec   91moves  25pushes
2354 [ 9* 7( 6)] OK   0sec   93moves  19pushes
2355 [13* 7(14)] OK   0sec  142moves  32pushes
2356 [13* 7(14)] OK   0sec  108moves  30pushes
2357 [13* 7(14)] OK   0sec  144moves  32pushes
2358 [13* 7(14)] OK   0sec  103moves  30pushes
2359 [13* 7(16)] OK   0sec  185moves  51pushes
2360 [ 6* 9( 5)] OK   1sec   63moves  16pushes
2361 [ 7* 9( 7)] OK   0sec  106moves  24pushes
2362 [ 8* 9( 9)] OK   0sec  141moves  34pushes
2363 [12*12(25)] OK   1sec  508moves  88pushes
2364 [ 9* 9(11)] OK   1sec  425moves  98pushes
2365 [ 6* 9( 6)] OK   0sec   37moves   8pushes
2366 [ 7* 9( 9)] OK   0sec  212moves  32pushes
2367 [ 8* 9(11)] OK   0sec  231moves  36pushes
2368 [ 9* 9(13)] OK   1sec  702moves 126pushes
2369 [ 7*13(15)] OK   2sec  318moves  77pushes
2370 [ 7* 7( 3)] OK   0sec   45moves  11pushes
2371 [ 6* 7( 3)] OK   0sec   28moves   9pushes
2372 [ 9* 8(14)] OK   0sec   93moves  17pushes
2373 [ 9* 8(10)] OK   0sec  151moves  29pushes
2374 [12*12(25)] OK   0sec  319moves  68pushes
2375 [ 9* 6( 4)] OK   0sec  107moves  23pushes
2376 [ 9* 6( 4)] OK   0sec   73moves  17pushes
2377 [ 9* 6( 4)] OK   0sec   72moves  18pushes
2378 [ 9* 7( 5)] OK   1sec   94moves  20pushes
2379 [ 9* 8( 6)] OK   0sec  101moves  25pushes
2380 [ 9* 9( 7)] OK   0sec  156moves  30pushes
2381 [ 9*10( 8)] OK   0sec  167moves  35pushes
2382 [ 9*11( 9)] OK   1sec  198moves  40pushes
2383 [ 9*12(10)] OK   1sec  249moves  45pushes
2384 [ 9* 7( 6)] OK   0sec  116moves  22pushes
2385 [ 9* 9(16)] OK   2sec  209moves  46pushes
2386 [ 9* 8( 8)] OK   0sec  127moves  23pushes
2387 [ 9* 9(10)] OK   0sec  138moves  24pushes
2388 [ 9* 7( 8)] OK   0sec  114moves  15pushes
2389 [ 9* 7( 7)] OK   0sec   93moves  15pushes
2390 [ 9* 8( 8)] OK   0sec  106moves  20pushes
2391 [ 9* 9( 9)] OK   0sec  133moves  19pushes
2392 [ 9*10(10)] OK   0sec  142moves  22pushes
2393 [ 9*11(11)] OK   0sec  323moves  45pushes
2394 [ 9* 7( 7)] OK   0sec  102moves  24pushes
2395 [ 9* 7( 7)] OK   0sec   98moves  18pushes
2396 [ 9* 9(16)] OK   0sec   99moves  28pushes
2397 [ 9* 8( 7)] OK   1sec  173moves  33pushes
2398 [11*13(12)] OK   1sec  335moves  80pushes
2399 [ 9* 9( 8)] OK   1sec  119moves  31pushes
2400 [ 9* 9( 9)] OK   0sec  118moves  19pushes
2401 [ 9* 9( 9)] OK   0sec  119moves  29pushes
2402 [ 9* 9(11)] OK   1sec   77moves  25pushes
2403 [ 9* 9(11)] OK   0sec  105moves  45pushes
2404 [ 9* 8( 6)] OK   0sec  165moves  25pushes
2405 [ 9* 7( 4)] OK   0sec   71moves  20pushes
2406 [ 9* 7( 4)] OK   0sec  141moves  39pushes
2407 [ 9* 9(15)] OK   0sec  107moves  28pushes
2408 [ 9* 9( 8)] OK   0sec  125moves  46pushes
2409 [ 9* 9( 6)] OK   1sec  111moves  28pushes
2410 [ 9* 9( 6)] OK   0sec  107moves  28pushes
2411 [ 9* 7( 5)] OK   0sec   95moves  23pushes
2412 [ 9* 7( 4)] OK   1sec   87moves  17pushes
2413 [ 9* 7( 8)] OK   0sec   92moves  18pushes
2414 [ 9* 7( 8)] OK   0sec   80moves  22pushes
2415 [11*13(12)] X  600sec
2416 [ 9* 7( 6)] OK   0sec   54moves  16pushes
2417 [11*13(14)] X  600sec
2418 [ 9* 9(16)] OK   0sec  123moves  28pushes
2419 [11*13(15)] X  600sec
2420 [11*13(15)] X  600sec
2421 [11*11(14)] OK   0sec  160moves  30pushes
2422 [11*11(14)] OK   0sec  209moves  25pushes
2423 [11*11(14)] OK   0sec  230moves  34pushes
2424 [11*11(14)] OK   0sec  175moves  29pushes
2425 [ 8* 8( 5)] OK   0sec   95moves  22pushes
2426 [ 8* 8( 5)] OK   0sec   89moves  26pushes
2427 [ 8* 8( 5)] OK   0sec  105moves  28pushes
2428 [ 8* 8( 5)] OK   0sec  107moves  28pushes
2429 [19*16(31)] X  600sec
2430 [ 9* 9(15)] OK   0sec  177moves  38pushes
2431 [ 8* 8( 5)] OK   1sec  127moves  28pushes
2432 [ 8* 8( 6)] OK   0sec  151moves  30pushes
2433 [ 8* 8( 6)] OK   0sec  118moves  32pushes
2434 [ 8* 8( 6)] OK   0sec  113moves  32pushes
2435 [ 8* 8( 7)] OK   0sec  149moves  33pushes
2436 [ 8* 8( 6)] OK   0sec   82moves  27pushes
2437 [ 8* 8( 5)] OK   0sec   74moves  25pushes
2438 [ 8* 8( 5)] OK   0sec   76moves  25pushes
2439 [ 8* 8( 6)] OK   0sec   85moves  23pushes
2440 [ 8* 8( 6)] OK   0sec   85moves  23pushes
2441 [ 8* 8( 8)] OK   0sec   90moves  30pushes
2442 [ 8* 8( 7)] OK   0sec   87moves  26pushes
2443 [ 8* 8( 7)] OK   0sec   87moves  26pushes
2444 [ 8* 8( 7)] OK   0sec  135moves  29pushes
2445 [ 8* 8( 7)] OK   0sec   61moves  21pushes
2446 [ 8* 8( 5)] OK   0sec  105moves  31pushes
2447 [ 8* 8( 6)] OK   0sec   81moves  26pushes
2448 [ 8* 8( 5)] OK   0sec   99moves  32pushes
2449 [ 8* 8( 5)] OK   0sec  163moves  37pushes
2450 [ 8* 8( 7)] OK   0sec  147moves  41pushes
2451 [ 8* 8( 7)] OK   0sec   96moves  33pushes
2452 [ 8* 8( 8)] OK   0sec   91moves  30pushes
2453 [ 8* 8( 7)] OK   0sec  128moves  31pushes
2454 [ 8* 8( 6)] OK   0sec  142moves  44pushes
2455 [ 8* 8( 8)] OK   1sec  106moves  26pushes
2456 [ 7* 9( 8)] OK   0sec  167moves  34pushes
2457 [ 7* 8( 6)] OK   0sec  126moves  30pushes
2458 [ 8* 8( 9)] OK   0sec   88moves  29pushes
2459 [ 8* 8( 7)] OK   0sec   65moves  24pushes
2460 [ 8* 8( 5)] OK   0sec   61moves  24pushes
2461 [ 9*10( 6)] OK   0sec  104moves  30pushes
2462 [ 9*10( 7)] OK   0sec   88moves  29pushes
2463 [11*11( 8)] OK   0sec   91moves  18pushes
2464 [13* 6( 6)] OK   0sec   77moves  31pushes
2465 [12* 6( 7)] OK   0sec  128moves  40pushes
2466 [11* 6( 7)] OK   0sec  154moves  40pushes
2467 [10* 6( 5)] OK   0sec   97moves  26pushes
2468 [10* 6( 4)] OK   0sec  129moves  31pushes
2469 [10* 7( 7)] OK   0sec  103moves  24pushes
2470 [10* 7( 7)] OK   0sec  124moves  28pushes
2471 [10* 7( 7)] OK   0sec   85moves  24pushes
2472 [ 8* 7( 6)] OK   1sec   80moves  24pushes
2473 [ 8* 7( 6)] OK   0sec   81moves  25pushes
2474 [13*13(16)] OK   2sec  213moves  56pushes
2475 [ 8* 7( 6)] OK   1sec   58moves  23pushes
2476 [ 8* 8( 9)] OK   0sec  131moves  41pushes
2477 [ 8* 8( 4)] OK   0sec   71moves  13pushes
2478 [ 9* 7(10)] OK   1sec   67moves  24pushes
2479 [17*18(79)] -
2480 [11* 7(12)] OK   1sec  188moves  41pushes
2481 [11* 7(11)] OK   0sec  123moves  43pushes
2482 [11* 7(11)] OK   0sec  128moves  43pushes
2483 [11* 7( 9)] OK   0sec   97moves  26pushes
2484 [11* 7( 9)] OK   1sec  151moves  38pushes
2485 [11*11( 8)] OK   0sec   45moves  10pushes
2486 [11* 7(10)] OK   0sec  133moves  38pushes
2487 [11* 7(10)] OK   1sec   87moves  28pushes
2488 [11* 7(10)] OK   0sec   92moves  32pushes
2489 [11* 7( 7)] OK   0sec   76moves  22pushes
2490 [13* 9( 3)] OK   1sec   68moves  27pushes
2491 [ 9*13( 3)] OK   0sec   81moves  35pushes
2492 [12* 8( 3)] OK   0sec   62moves  31pushes
2493 [ 9*10( 3)] OK   1sec   86moves  26pushes
2494 [ 9*13( 3)] OK   0sec   63moves  25pushes
2495 [ 9* 7( 3)] OK   0sec   90moves  24pushes
2496 [ 7* 7( 2)] OK   1sec   43moves   7pushes
2497 [ 8*12( 3)] OK   0sec  125moves  46pushes
2498 [14* 8( 3)] OK   0sec  104moves  34pushes
2499 [ 7*10( 3)] OK   1sec   92moves  26pushes
2500 [ 6*13( 3)] OK   0sec   55moves  24pushes
2501 [11* 7( 6)] OK   0sec   83moves  24pushes
2502 [13* 8( 3)] OK   0sec   90moves  37pushes
2503 [11*11( 3)] OK   0sec  117moves  37pushes
2504 [ 8*10( 3)] OK   0sec   96moves  24pushes
2505 [11* 7( 4)] OK   0sec  107moves  29pushes
2506 [11* 7( 4)] OK   0sec  141moves  48pushes
2507 [ 6* 9( 2)] OK   0sec   39moves   9pushes
2508 [11* 7( 4)] OK   0sec  142moves  50pushes
2509 [11* 7( 5)] OK   0sec  154moves  51pushes
2510 [11* 7( 5)] OK   0sec  173moves  56pushes
2511 [11* 7( 6)] OK   1sec  116moves  43pushes
2512 [11* 7( 6)] OK   0sec  185moves  73pushes
2513 [ 9* 7( 6)] OK   0sec   78moves  23pushes
2514 [ 7*10( 6)] OK   1sec   83moves  24pushes
2515 [ 7*12( 7)] OK   0sec  183moves  46pushes
2516 [ 7*10( 7)] OK   0sec  123moves  36pushes
2517 [ 7*10(14)] OK   1sec  200moves  55pushes
2518 [ 7* 9( 2)] OK   0sec   43moves  15pushes
2519 [ 7* 9(11)] OK   1sec  117moves  23pushes
2520 [ 7* 9(10)] OK   1sec  180moves  48pushes
2521 [ 7* 9( 9)] OK   1sec  127moves  40pushes
2522 [ 7* 9(11)] OK   0sec  190moves  45pushes
2523 [ 7* 9(10)] OK   0sec   64moves  20pushes
2524 [ 7* 9(10)] OK   0sec   90moves  22pushes
2525 [ 7* 9( 9)] OK   0sec  130moves  24pushes
2526 [ 9* 8( 4)] OK   0sec  155moves  37pushes
2527 [ 8* 8( 4)] OK   0sec  101moves  24pushes
2528 [ 7* 8( 4)] OK   0sec   92moves  20pushes
2529 [11*11( 4)] OK   0sec  103moves  20pushes
2530 [ 7* 7( 3)] OK   0sec   67moves  14pushes
2531 [ 7* 7( 6)] OK   0sec   62moves  19pushes
2532 [ 7* 9( 4)] OK   0sec   60moves  17pushes
2533 [ 7* 9( 6)] OK   0sec  143moves  35pushes
2534 [ 6* 8( 5)] OK   0sec   77moves  23pushes
2535 [ 8* 8(10)] OK   1sec  113moves  32pushes
2536 [ 8* 7( 8)] OK   0sec  101moves  27pushes
2537 [ 8* 6( 5)] OK   0sec   66moves  19pushes
2538 [11* 9( 9)] OK   0sec  143moves  40pushes
2539 [ 9* 9( 7)] OK   0sec  145moves  44pushes
2540 [19*16( 8)] OK   1sec 1040moves 279pushes
2541 [15*15( 8)] OK   0sec  116moves  52pushes
2542 [ 9* 9( 7)] OK   0sec  179moves  50pushes
2543 [ 9* 9( 8)] OK   0sec  144moves  47pushes
2544 [ 9* 9( 8)] OK   1sec  160moves  47pushes
2545 [ 9* 9( 8)] OK   0sec  118moves  30pushes
2546 [10*10( 7)] OK   0sec  492moves 105pushes
2547 [10*10( 6)] OK   0sec  284moves  80pushes
2548 [10*10( 6)] OK   0sec  296moves  94pushes
2549 [10*10( 7)] OK   1sec  493moves 108pushes
2550 [ 9*10( 7)] OK   1sec  284moves  66pushes
2551 [ 9*10( 7)] OK   0sec  434moves  80pushes
2552 [17* 7(13)] OK  15sec  381moves  64pushes
2553 [ 9*10( 7)] OK   1sec  330moves  58pushes
2554 [ 9* 8( 4)] OK   0sec  197moves  34pushes
2555 [ 8* 8( 4)] OK   0sec  149moves  24pushes
2556 [ 9* 8( 4)] OK   0sec  147moves  27pushes
2557 [ 9* 8( 4)] OK   1sec  197moves  33pushes
2558 [ 9* 8( 5)] OK   0sec  122moves  34pushes
2559 [ 8* 8( 4)] OK   0sec  165moves  30pushes
2560 [ 8* 8( 4)] OK   1sec  137moves  26pushes
2561 [ 8* 8( 3)] OK   0sec  102moves  19pushes
2562 [ 8* 8( 3)] OK   0sec  150moves  22pushes
2563 [17*13(20)] X  600sec
2564 [ 8* 8( 3)] OK   0sec   74moves  22pushes
2565 [17*13(44)] X  600sec
2566 [15*15(38)] OK  37sec  924moves  84pushes
2567 [19*17(88)] -
2568 [16*13(25)] OK  17sec 3189moves 727pushes
2569 [19*17(82)] -
2570 [11*13(24)] OK  33sec  569moves 128pushes
2571 [13*13(32)] OK 190sec  882moves 144pushes
2572 [17*13(46)] X  600sec
2573 [17*13(42)] X  600sec
2574 [10*10( 8)] OK   0sec  187moves  30pushes
2575 [15* 9(31)] Ok   4sec  617moves 106pushes
2576 [13*11(32)] OK   3sec  393moves  84pushes
2577 [13*13(38)] OK  30sec  879moves 164pushes
2578 [13* 9(12)] OK   1sec  255moves  40pushes
2579 [12* 9(12)] OK   1sec  180moves  34pushes
2580 [11* 9( 8)] OK   0sec  161moves  24pushes
2581 [11* 9(12)] OK   0sec  120moves  18pushes
2582 [17*17(93)] -
2583 [13* 9(14)] OK   2sec  384moves  93pushes
2584 [13* 9(12)] OK   2sec  503moves 124pushes
2585 [11*11(12)] OK  28sec  291moves  28pushes
2586 [15*13(14)] OK   5sec 1191moves 201pushes
2587 [13*15(18)] OK   1sec  567moves 146pushes
2588 [19*19(56)] OK  60sec 1723moves 642pushes
2589 [17*13(46)] OK  13sec 1525moves 556pushes
2590 [24* 9(23)] Ok   4sec 1939moves 355pushes
2591 [ 8* 9( 8)] OK   0sec  232moves  44pushes
2592 [ 9* 9(12)] OK   0sec  165moves  40pushes
2593 [14*14(12)] OK   3sec  276moves  60pushes
2594 [10* 9(14)] OK   4sec  177moves  42pushes
2595 [ 8* 9(10)] OK   0sec   93moves  20pushes
2596 [11*11(12)] OK   1sec  305moves  64pushes
2597 [12*11(22)] OK   4sec  559moves  86pushes
2598 [10*11(20)] OK   1sec  340moves  66pushes
2599 [10*11(18)] OK   1sec  271moves  64pushes
2600 [ 8* 9(10)] OK   1sec  138moves  34pushes
2601 [10* 9(14)] OK   0sec  140moves  44pushes
2602 [15* 9(17)] OK   1sec  486moves 102pushes
2603 [12*10(16)] OK  17sec  603moves 140pushes
2604 [10*10(10)] OK   0sec  264moves  58pushes
2605 [12* 9(16)] OK   1sec  268moves  51pushes
2606 [15*10(19)] OK   8sec  710moves 114pushes
2607 [17*17( 8)] OK   0sec  403moves  32pushes
2608 [19*11(19)] OK   4sec  735moves 162pushes
2609 [ 9*13(19)] X  265sec
2610 [15*17(33)] OK 152sec 1618moves 286pushes
2611 [15*17(40)] OK  62sec  970moves 238pushes
2612 [13*15(24)] OK   0sec  367moves  62pushes
2613 [19*19(40)] Ok 103sec 1060moves 218pushes
2614 [11*11(26)] OK  12sec  226moves  42pushes
2615 [13*13(30)] X  337sec
2616 [11* 6( 4)] OK   0sec  128moves  30pushes
2617 [14* 7( 6)] OK   1sec  116moves  40pushes
2618 [13* 9( 6)] OK   0sec  129moves  22pushes
2619 [15* 6( 7)] OK   0sec  130moves  27pushes
2620 [16*12(18)] OK  14sec 1025moves 274pushes
2621 [ 9* 9(10)] OK   0sec   75moves  16pushes
2622 [ 9* 9( 8)] OK   0sec   71moves  16pushes
2623 [13*13(24)] X  600sec
2624 [11*11(15)] OK   0sec  101moves  20pushes
2625 [ 9* 9( 8)] OK   0sec   49moves  12pushes
2626 [ 7* 9( 8)] OK   1sec   48moves  10pushes
2627 [17* 9(25)] Ok 102sec  492moves 131pushes
2628 [19*19(60)] OK  30sec 2565moves1070pushes
2629 [13* 9( 8)] OK   0sec  150moves  24pushes
2630 [15*12(22)] X  239sec
2631 [24*10(26)] X  119sec
2632 [11*14( 9)] OK   0sec  319moves 128pushes
2633 [10*14(10)] OK   0sec  321moves 128pushes
2634 [ 9* 7( 9)] OK   1sec   72moves  13pushes
2635 [13* 7(15)] OK   1sec   76moves  13pushes
2636 [ 9*13(21)] OK   1sec  542moves  63pushes
2637 [13*13(33)] X  600sec
2638 [13*13(36)] OK  20sec  856moves  77pushes
2639 [ 9*13(24)] OK  89sec 1050moves 119pushes
2640 [13* 9( 8)] OK   0sec  178moves  30pushes
2641 [ 9*11(14)] OK   0sec  140moves  31pushes
2642 [ 9*10(14)] OK   0sec  229moves  28pushes
2643 [11*11(24)] OK   4sec  970moves 125pushes
2644 [ 9* 9(14)] OK   0sec  336moves  57pushes
2645 [ 9* 9(14)] OK   1sec   77moves  24pushes
2646 [13*10(12)] Ok  77sec  524moves 108pushes
2647 [13*11(16)] OK   2sec  578moves 130pushes
2648 [11*11(16)] OK   1sec  337moves  83pushes
2649 [11*11(18)] OK   3sec  219moves  64pushes
2650 [ 9*17(30)] Ok 485sec  979moves 143pushes
2651 [19*16( 8)] OK   0sec  444moves  41pushes
2652 [13*11(10)] OK   0sec  210moves  34pushes
2653 [ 9*17(33)] Ok 153sec  309moves  46pushes
2654 [17* 9(30)] Ok 195sec  380moves  54pushes
2655 [ 9*11(22)] OK   1sec  136moves  34pushes
2656 [11*11(28)] OK   6sec  322moves  50pushes
2657 [13*12(43)] OK   2sec   70moves  21pushes
2658 [13*13(47)] Ok 410sec  866moves 170pushes
2659 [14* 9(24)] OK   0sec  119moves  40pushes
2660 [15* 9(26)] OK   1sec  174moves  54pushes
2661 [15* 9(26)] OK   4sec  206moves  52pushes
2662 [ 7*11(10)] OK   0sec  128moves  22pushes
2663 [13*11(10)] OK   1sec  179moves  28pushes
2664 [13*15(23)] X  270sec
2665 [11*11(16)] OK   1sec  484moves  44pushes
2666 [ 7*12(13)] OK   0sec  198moves  56pushes
2667 [11*15(24)] OK   1sec  282moves  68pushes
2668 [11*11( 7)] OK   0sec  379moves  64pushes
2669 [10*11( 9)] OK   2sec  250moves  42pushes
2670 [11*11(13)] OK   1sec  305moves  70pushes
2671 [ 9* 7( 9)] OK   0sec  160moves  30pushes
2672 [13* 7(15)] OK   1sec  282moves  38pushes
2673 [ 9*11(19)] OK   3sec  324moves  72pushes
2674 [13*13( 8)] OK   1sec  157moves  28pushes
2675 [13*11(31)] X  600sec
2676 [13*11(30)] X  600sec
2677 [ 9*13(22)] OK  85sec  588moves 130pushes
2678 [11*11(28)] X  600sec
2679 [13* 8(13)] OK   1sec  158moves  34pushes
2680 [ 9* 9(16)] OK  10sec  214moves  64pushes
2681 [10*12(14)] OK   0sec  192moves  31pushes
2682 [11*11(24)] OK   8sec  552moves 126pushes
2683 [11* 6( 3)] OK   0sec  107moves  23pushes
2684 [12* 6( 6)] OK   0sec  101moves  23pushes
2685 [14* 9(25)] OK   1sec  201moves  51pushes
2686 [16*16(20)] OK   1sec  766moves 308pushes
2687 [16*10( 9)] OK   1sec  271moves  53pushes
2688 [18*10(14)] OK   2sec 1238moves 234pushes
2689 [22* 6(12)] OK   0sec  324moves  60pushes
2690 [10* 8( 6)] OK   0sec  131moves  28pushes
2691 [11* 8( 8)] OK   1sec  210moves  54pushes
2692 [11* 8( 9)] OK   0sec  120moves  30pushes
2693 [11* 8( 9)] OK   0sec  171moves  38pushes
2694 [11* 8(11)] OK   0sec  120moves  26pushes
2695 [11* 8( 8)] OK   1sec  140moves  20pushes
2696 [14* 9(25)] OK   1sec  255moves  55pushes
2697 [11* 8( 7)] OK   0sec  113moves  25pushes
2698 [13*11(12)] OK   9sec  203moves  40pushes
2699 [13*11(12)] OK  23sec  336moves  84pushes
2700 [13*11(14)] OK  15sec  306moves  58pushes
2701 [13*11(15)] OK  64sec  334moves  53pushes
2702 [17*14(14)] OK   1sec  345moves 118pushes
2703 [14*14(12)] OK   1sec  225moves  38pushes
2704 [15*15(49)] X  600sec
2705 [14*14(45)] OK  56sec 1874moves 292pushes
2706 [13*13(41)] OK  13sec 1117moves 148pushes
2707 [14* 9(25)] OK   1sec  222moves  55pushes
2708 [12*12(17)] OK   1sec  188moves  30pushes
2709 [10*10(12)] OK   2sec  491moves 118pushes
2710 [ 6* 9( 7)] OK   0sec   32moves  11pushes
2711 [13*13(20)] OK  38sec  256moves  60pushes
2712 [ 9*13(24)] OK   0sec  205moves  36pushes
2713 [ 9*10(11)] OK   0sec  282moves  67pushes
2714 [13* 8(16)] OK   1sec  252moves  47pushes
2715 [15* 8(19)] OK  22sec  400moves  53pushes
2716 [17* 8(22)] Ok 103sec  608moves 123pushes
2717 [11*16(13)] OK  55sec  449moves 123pushes
2718 [17* 9(25)] OK  72sec  197moves  40pushes
2719 [12*12(10)] OK   0sec  422moves 153pushes
2720 [12*12(11)] OK   1sec  452moves 140pushes
2721 [ 9* 9( 9)] OK   0sec  236moves  50pushes
2722 [10*10( 8)] OK   1sec  292moves  54pushes
2723 [13*13(24)] OK  60sec  800moves 100pushes
2724 [13*13(26)] X  600sec
2725 [17*13(41)] X  385sec
2726 [14*11( 5)] OK   0sec  678moves 161pushes
2727 [ 6*13( 8)] OK   0sec  186moves  28pushes
2728 [ 6*13( 8)] OK   0sec  189moves  40pushes
2729 [17* 9(25)] X  600sec
2730 [13* 8(12)] OK   0sec  124moves  24pushes
2731 [17* 9(11)] OK   1sec  241moves  48pushes
2732 [15* 7( 9)] OK   0sec  185moves  41pushes
2733 [15* 7(11)] OK   0sec  261moves  50pushes
2734 [19* 9(15)] OK   0sec  315moves  56pushes
2735 [19* 9(16)] OK   2sec  355moves  84pushes
2736 [17* 9(13)] OK   1sec  331moves  80pushes
2737 [11*17(36)] Ok  36sec 2109moves 284pushes
2738 [19*17(54)] X  600sec
2739 [17*17(54)] X  600sec
2740 [17* 9(25)] OK   1sec  131moves  34pushes
2741 [14*11(16)] OK  12sec  491moves 136pushes
2742 [14*11(16)] OK   5sec  340moves  82pushes
2743 [11*10( 6)] OK   1sec  323moves  44pushes
2744 [11*10( 6)] OK   0sec  281moves  42pushes
2745 [19*11(26)] X   38sec
2746 [15*11(24)] X  271sec
2747 [15*11(23)] X  600sec
2748 [13*12(11)] OK  12sec  422moves 144pushes
2749 [15*13(28)] OK   1sec  159moves  37pushes
2750 [15*13(29)] OK   3sec  388moves  89pushes
2751 [17* 9(25)] OK  17sec  120moves  32pushes
2752 [11*11(24)] OK   1sec  432moves  74pushes
2753 [ 9*15(30)] OK  53sec  458moves  88pushes
2754 [17*17(63)] X  600sec
2755 [17*17(61)] X  600sec
2756 [ 8*10( 8)] OK   0sec  140moves  46pushes
2757 [17*15(16)] OK   3sec  306moves  98pushes
2758 [14* 7( 5)] OK   0sec  154moves  49pushes
2759 [14*13(10)] OK   1sec  378moves  94pushes
2760 [14*13(12)] OK   0sec  384moves 122pushes
2761 [13*13(32)] OK  14sec  343moves 104pushes
2762 [19*11( 6)] OK   0sec  255moves  97pushes
2763 [19*16(32)] OK   2sec 1405moves 544pushes
2764 [19*15(14)] OK   5sec  867moves 259pushes
2765 [17*13(15)] OK   1sec  799moves 226pushes
2766 [19*13(16)] OK   1sec  744moves 260pushes
2767 [18*16(18)] OK   6sec 1056moves 273pushes
2768 [17*16(15)] OK   3sec  504moves 162pushes
2769 [14*15(15)] OK  37sec 1110moves 306pushes
2770 [16*14( 6)] OK   0sec  512moves 217pushes
2771 [19*13(11)] OK   7sec 1112moves 170pushes
2772 [19*16(15)] OK   0sec  842moves 328pushes
2773 [14*10(10)] OK   0sec  508moves 131pushes
2774 [19*16(18)] OK   1sec 2049moves 516pushes
2775 [15*15(13)] OK   0sec  506moves 163pushes
2776 [19*16(27)] OK   3sec 1272moves 414pushes
2777 [19*14(18)] OK  12sec 1147moves 478pushes
2778 [19*16(22)] OK  18sec 1579moves 564pushes
2779 [19*16(19)] OK   6sec 1391moves 404pushes
2780 [15*12(13)] OK   1sec  573moves 203pushes
2781 [19*13(20)] OK   2sec 1314moves 369pushes
2782 [17*15(20)] OK   5sec  925moves 320pushes
2783 [19*13(16)] X  100sec
2784 [17*10(11)] OK   0sec  409moves 150pushes
2785 [19*14(18)] OK  14sec 1507moves 493pushes
2786 [18*16(20)] OK   1sec  841moves 300pushes
2787 [13*15(15)] OK   2sec  621moves 193pushes
2788 [12*15(15)] OK   1sec  868moves 216pushes
2789 [14*15(14)] OK   0sec  650moves 198pushes
2790 [19*16(17)] OK   1sec 1118moves 402pushes
2791 [19*16(21)] OK   9sec 1627moves 523pushes
2792 [19*15(20)] OK   1sec  871moves 364pushes
2793 [11*11( 8)] OK   0sec  326moves  99pushes
2794 [19*16(25)] OK   5sec 2082moves 706pushes
2795 [19*14(20)] OK   0sec  903moves 357pushes
2796 [17*16(16)] OK  10sec 1360moves 360pushes
2797 [19*15(15)] OK   5sec  889moves 283pushes
2798 [18*13(24)] OK   1sec  969moves 280pushes
2799 [19*11( 9)] OK   0sec  600moves 150pushes
2800 [19*15( 9)] OK   2sec  554moves 195pushes
2801 [16*14(17)] OK   5sec  873moves 316pushes
2802 [14*16(14)] OK   0sec 1016moves 287pushes
2803 [18*11(16)] OK   0sec  632moves 211pushes
2804 [13*16(34)] OK   1sec  517moves 212pushes
2805 [16*15(12)] OK   0sec  659moves 188pushes
2806 [17*13(12)] OK   0sec  410moves 143pushes
2807 [19*16(16)] X  600sec
2808 [14*12(14)] OK   0sec  378moves 124pushes
2809 [19*17(18)] OK 100sec 2476moves 627pushes
2810 [20*12(15)] OK   1sec  612moves 220pushes
2811 [20*12(16)] OK   1sec  690moves 243pushes
2812 [20*12(12)] OK   1sec  477moves 136pushes
2813 [20*12(16)] OK   1sec  652moves 229pushes
2814 [20*12(16)] OK   1sec  693moves 253pushes
2815 [20*12(15)] OK   1sec  789moves 249pushes
2816 [20*12(16)] OK   1sec  796moves 266pushes
2817 [12*11(10)] OK   1sec  326moves 110pushes
2818 [20*12(13)] OK   0sec  507moves 174pushes
2819 [20*12(20)] OK  16sec  871moves 275pushes
2820 [20*12(16)] OK   0sec  669moves 259pushes
2821 [20*12(17)] OK   1sec 1434moves 477pushes
2822 [20*12(16)] OK   1sec 1078moves 391pushes
2823 [20*12(15)] OK   1sec  685moves 223pushes
2824 [20*12(18)] X  180sec
2825 [20*12(20)] OK   1sec 1106moves 421pushes
2826 [20*12(15)] OK   1sec 1270moves 353pushes
2827 [20*12(18)] X  153sec
2828 [13*12(11)] OK   0sec  341moves 120pushes
2829 [20*12(18)] OK   1sec 1058moves 369pushes
2830 [20*12(18)] OK   5sec 1003moves 340pushes
2831 [20*12(16)] OK   1sec  967moves 320pushes
2832 [20*12(14)] OK   0sec 1454moves 461pushes
2833 [20*12(16)] OK   1sec  667moves 240pushes
2834 [20*12(17)] OK  23sec 1638moves 355pushes
2835 [20*12(17)] OK   1sec  832moves 328pushes
2836 [20*15(14)] OK  12sec 1861moves 388pushes
2837 [19*12( 8)] OK   1sec  388moves 142pushes
2838 [19*12(12)] OK   0sec  493moves 188pushes
2839 [16*16(18)] OK   1sec  754moves 294pushes
2840 [19*13(12)] OK   0sec  658moves 269pushes
2841 [19*13(12)] OK   0sec  543moves 187pushes
2842 [17*13(12)] OK   0sec  414moves 175pushes
2843 [17*13(10)] OK   2sec  507moves 202pushes
2844 [16*12(12)] OK   1sec  483moves 191pushes
2845 [20*16(15)] OK   5sec 1685moves 359pushes
2846 [17*10(10)] OK   0sec  542moves 150pushes
2847 [16*14(12)] OK   1sec  834moves 253pushes
2848 [17*16(23)] OK  64sec 1100moves 436pushes
2849 [20*17(21)] OK  63sec 1461moves 415pushes
2850 [17*14(14)] OK   1sec  590moves 237pushes
2851 [20*16(25)] OK   3sec 1746moves 502pushes
---------------- (2017/11/28 16:06:53 Finish)
Solved    = 2462
Cancel(-) =   51
Failed(X) =  338
Skips (?) =    0
----------------
Total     = 2851


Personal tools