Artifact 913d120d42fd71461005c5e07e055a5e09da13a6:

Manifest of check-in [913d120d42] - size tuning solver by kinaba on 2012-07-15 16:06:29.

---

0000: 43 20 73 69 7a 65 5c 73 74 75 6e 69 6e 67 5c 73  C size\stuning\s
0010: 73 6f 6c 76 65 72 0a 44 20 32 30 31 32 2d 30 37  solver.D 2012-07
0020: 2d 31 35 54 31 36 3a 30 36 3a 32 39 2e 32 39 31  -15T16:06:29.291
0030: 0a 46 20 69 63 66 70 2d 39 36 35 33 33 36 33 32  .F icfp-96533632
0040: 2e 74 67 7a 20 39 34 33 33 32 39 63 33 30 30 37  .tgz 943329c3007
0050: 32 39 38 39 66 39 37 33 61 66 36 35 39 32 61 36  2989f973af6592a6
0060: 35 63 30 62 37 62 66 61 31 64 39 62 64 0a 46 20  5c0b7bfa1d9bd.F 
0070: 6d 61 6b 65 2d 73 75 62 6d 69 73 73 69 6f 6e 20  make-submission 
0080: 62 64 37 61 39 31 31 63 31 34 31 61 65 35 34 34  bd7a911c141ae544
0090: 64 65 36 64 64 39 30 34 30 64 61 36 39 32 64 34  de6dd9040da692d4
00a0: 31 30 34 31 32 62 33 66 20 78 0a 46 20 6d 61 70  10412b3f x.F map
00b0: 73 2f 31 30 30 30 78 31 30 30 30 2e 6d 61 70 20  s/1000x1000.map 
00c0: 34 30 33 33 35 66 31 37 64 62 65 64 39 36 31 66  40335f17dbed961f
00d0: 38 35 65 66 65 65 63 66 62 61 37 34 64 34 32 37  85efeecfba74d427
00e0: 30 38 38 66 61 64 38 32 0a 46 20 6d 61 70 73 2f  088fad82.F maps/
00f0: 31 30 30 78 31 30 30 2e 6d 61 70 20 35 62 65 61  100x100.map 5bea
0100: 66 36 66 61 64 34 31 34 33 38 33 30 31 62 38 61  f6fad41438301b8a
0110: 64 39 65 61 30 31 65 61 36 63 34 36 63 34 66 31  d9ea01ea6c46c4f1
0120: 37 66 38 31 0a 46 20 6d 61 70 73 2f 34 30 78 34  7f81.F maps/40x4
0130: 30 2e 6d 61 70 20 30 36 64 63 33 36 32 65 66 31  0.map 06dc362ef1
0140: 36 66 34 32 35 64 64 30 31 64 35 65 66 31 31 35  6f425dd01d5ef115
0150: 33 31 31 62 32 61 37 62 33 36 39 66 65 30 0a 46  311b2a7b369fe0.F
0160: 20 6d 61 70 73 2f 38 30 78 36 30 2e 6d 61 70 20   maps/80x60.map 
0170: 62 32 32 65 30 64 30 66 35 63 36 38 38 65 64 34  b22e0d0f5c688ed4
0180: 31 37 33 66 66 64 35 34 33 30 65 66 64 62 31 35  173ffd5430efdb15
0190: 33 63 64 64 36 36 34 61 0a 46 20 6d 61 70 73 2f  3cdd664a.F maps/
01a0: 62 65 61 72 64 31 2e 6d 61 70 20 62 62 36 39 32  beard1.map bb692
01b0: 36 37 39 33 61 35 31 33 31 31 61 34 39 35 35 37  6793a51311a49557
01c0: 31 36 37 37 61 30 31 61 38 62 34 62 35 38 66 63  1677a01a8b4b58fc
01d0: 31 38 30 0a 46 20 6d 61 70 73 2f 62 65 61 72 64  180.F maps/beard
01e0: 32 2e 6d 61 70 20 32 65 39 34 32 30 30 39 63 38  2.map 2e942009c8
01f0: 39 37 31 37 64 37 35 38 31 62 62 30 37 34 39 38  9717d7581bb07498
0200: 38 32 35 63 61 36 35 39 37 35 64 36 39 38 0a 46  825ca65975d698.F
0210: 20 6d 61 70 73 2f 62 65 61 72 64 33 2e 6d 61 70   maps/beard3.map
0220: 20 31 64 63 61 62 33 34 30 34 39 33 38 35 37 64   1dcab340493857d
0230: 30 30 39 32 38 63 36 31 39 34 39 30 63 39 65 30  00928c619490c9e0
0240: 64 36 37 35 30 31 62 66 33 0a 46 20 6d 61 70 73  d67501bf3.F maps
0250: 2f 62 65 61 72 64 34 2e 6d 61 70 20 62 36 32 39  /beard4.map b629
0260: 36 37 65 62 34 37 61 35 66 35 30 37 30 30 34 37  67eb47a5f5070047
0270: 66 37 39 36 66 30 37 32 34 62 61 31 65 32 61 66  f796f0724ba1e2af
0280: 33 64 38 32 0a 46 20 6d 61 70 73 2f 62 65 61 72  3d82.F maps/bear
0290: 64 35 2e 6d 61 70 20 37 36 33 39 66 63 64 63 66  d5.map 7639fcdcf
02a0: 33 36 37 30 35 65 31 62 66 35 38 32 34 65 33 32  36705e1bf5824e32
02b0: 38 66 66 33 63 65 33 62 30 65 31 30 39 61 34 0a  8ff3ce3b0e109a4.
02c0: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 31 2e  F maps/contest1.
02d0: 6d 61 70 20 65 66 32 31 66 35 39 64 30 37 32 62  map ef21f59d072b
02e0: 64 65 65 65 38 66 39 36 33 39 37 36 63 39 30 66  deee8f963976c90f
02f0: 33 66 32 62 31 64 37 63 63 39 39 65 0a 46 20 6d  3f2b1d7cc99e.F m
0300: 61 70 73 2f 63 6f 6e 74 65 73 74 31 30 2e 6d 61  aps/contest10.ma
0310: 70 20 64 30 37 37 36 32 31 38 33 62 33 65 61 33  p d07762183b3ea3
0320: 65 34 39 31 33 36 34 64 66 39 35 32 62 35 36 64  e491364df952b56d
0330: 38 30 36 35 61 37 34 62 33 30 0a 46 20 6d 61 70  8065a74b30.F map
0340: 73 2f 63 6f 6e 74 65 73 74 32 2e 6d 61 70 20 36  s/contest2.map 6
0350: 61 61 33 37 33 37 65 34 37 39 39 35 30 63 61 63  aa3737e479950cac
0360: 37 63 61 36 65 63 62 37 31 38 37 30 61 32 38 31  7ca6ecb71870a281
0370: 32 63 34 64 35 39 32 0a 46 20 6d 61 70 73 2f 63  2c4d592.F maps/c
0380: 6f 6e 74 65 73 74 33 2e 6d 61 70 20 65 36 39 62  ontest3.map e69b
0390: 33 32 65 35 66 35 35 63 63 33 31 31 62 64 34 33  32e5f55cc311bd43
03a0: 36 31 36 36 63 38 31 66 37 38 64 30 35 30 37 65  6166c81f78d0507e
03b0: 38 39 33 62 0a 46 20 6d 61 70 73 2f 63 6f 6e 74  893b.F maps/cont
03c0: 65 73 74 34 2e 6d 61 70 20 65 35 31 64 66 33 32  est4.map e51df32
03d0: 39 36 61 35 32 31 30 37 30 32 66 62 65 62 37 37  96a5210702fbeb77
03e0: 64 35 39 30 30 37 64 39 61 35 62 61 66 65 61 36  d59007d9a5bafea6
03f0: 64 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74  d.F maps/contest
0400: 35 2e 6d 61 70 20 30 36 65 65 66 31 30 65 66 62  5.map 06eef10efb
0410: 35 39 37 32 35 39 64 33 35 62 31 30 35 38 32 64  597259d35b10582d
0420: 30 62 39 34 32 61 34 63 62 32 36 30 37 31 0a 46  0b942a4cb26071.F
0430: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 36 2e 6d   maps/contest6.m
0440: 61 70 20 37 36 31 38 39 33 63 32 65 64 64 38 39  ap 761893c2edd89
0450: 38 64 33 62 63 62 36 38 64 33 64 39 32 64 36 32  8d3bcb68d3d92d62
0460: 61 37 66 66 64 36 62 62 65 30 34 0a 46 20 6d 61  a7ffd6bbe04.F ma
0470: 70 73 2f 63 6f 6e 74 65 73 74 37 2e 6d 61 70 20  ps/contest7.map 
0480: 65 39 63 65 39 35 35 38 37 33 65 65 61 32 63 61  e9ce955873eea2ca
0490: 63 31 30 66 66 33 33 39 64 65 62 66 35 39 38 30  c10ff339debf5980
04a0: 65 31 35 31 64 38 65 61 0a 46 20 6d 61 70 73 2f  e151d8ea.F maps/
04b0: 63 6f 6e 74 65 73 74 38 2e 6d 61 70 20 61 33 35  contest8.map a35
04c0: 64 66 61 32 39 34 35 38 39 64 61 35 37 37 39 39  dfa294589da57799
04d0: 30 36 32 31 34 36 61 38 39 38 31 37 38 32 30 61  062146a89817820a
04e0: 61 37 38 31 33 0a 46 20 6d 61 70 73 2f 63 6f 6e  a7813.F maps/con
04f0: 74 65 73 74 39 2e 6d 61 70 20 63 61 33 62 61 36  test9.map ca3ba6
0500: 65 31 32 61 33 62 32 37 62 62 35 63 66 39 61 34  e12a3b27bb5cf9a4
0510: 30 39 36 30 39 62 37 33 62 31 30 35 37 66 32 36  09609b73b1057f26
0520: 61 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 31  a3.F maps/flood1
0530: 2e 6d 61 70 20 31 33 65 36 33 35 36 63 30 33 32  .map 13e6356c032
0540: 30 63 35 61 30 31 64 33 36 37 31 35 62 33 31 65  0c5a01d36715b31e
0550: 66 61 39 32 34 63 38 34 31 63 61 64 65 0a 46 20  fa924c841cade.F 
0560: 6d 61 70 73 2f 66 6c 6f 6f 64 32 2e 6d 61 70 20  maps/flood2.map 
0570: 65 66 63 33 61 38 62 36 30 61 66 34 65 35 37 34  efc3a8b60af4e574
0580: 65 38 32 66 34 64 65 33 32 30 37 66 37 32 37 37  e82f4de3207f7277
0590: 31 35 66 66 36 66 61 31 0a 46 20 6d 61 70 73 2f  15ff6fa1.F maps/
05a0: 66 6c 6f 6f 64 33 2e 6d 61 70 20 30 65 36 39 31  flood3.map 0e691
05b0: 30 36 62 64 31 33 35 35 30 35 33 66 34 66 66 61  06bd1355053f4ffa
05c0: 35 35 32 31 63 62 62 62 64 30 33 33 32 36 31 30  5521cbbbd0332610
05d0: 63 62 65 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64  cbe.F maps/flood
05e0: 34 2e 6d 61 70 20 63 39 63 39 37 64 63 31 61 33  4.map c9c97dc1a3
05f0: 66 37 38 30 66 38 61 31 66 63 35 63 30 64 31 63  f780f8a1fc5c0d1c
0600: 30 38 34 39 39 62 33 66 30 38 35 38 32 33 0a 46  08499b3f085823.F
0610: 20 6d 61 70 73 2f 66 6c 6f 6f 64 35 2e 6d 61 70   maps/flood5.map
0620: 20 63 31 32 36 63 66 61 39 33 39 38 33 34 38 31   c126cfa93983481
0630: 39 34 65 34 34 35 30 33 36 34 36 61 64 62 37 62  94e44503646adb7b
0640: 63 30 63 62 35 38 66 37 35 0a 46 20 6d 61 70 73  c0cb58f75.F maps
0650: 2f 66 75 6e 31 2e 6d 61 70 20 32 66 37 66 38 37  /fun1.map 2f7f87
0660: 61 34 64 30 32 63 36 34 34 38 61 61 37 31 38 62  a4d02c6448aa718b
0670: 37 33 36 64 36 32 33 31 62 36 36 64 66 65 61 35  736d6231b66dfea5
0680: 38 61 0a 46 20 6d 61 70 73 2f 68 6f 72 6f 63 6b  8a.F maps/horock
0690: 31 2e 6d 61 70 20 37 65 32 35 66 30 37 62 61 64  1.map 7e25f07bad
06a0: 36 30 37 61 62 30 62 30 31 66 66 33 65 35 65 31  607ab0b01ff3e5e1
06b0: 30 38 66 65 35 36 33 39 64 39 35 62 36 31 0a 46  08fe5639d95b61.F
06c0: 20 6d 61 70 73 2f 68 6f 72 6f 63 6b 32 2e 6d 61   maps/horock2.ma
06d0: 70 20 32 66 62 32 35 32 37 32 65 66 39 33 31 34  p 2fb25272ef9314
06e0: 65 61 63 38 36 30 65 64 61 32 66 32 66 34 32 64  eac860eda2f2f42d
06f0: 38 34 64 33 39 62 62 31 61 63 0a 46 20 6d 61 70  84d39bb1ac.F map
0700: 73 2f 68 6f 72 6f 63 6b 33 2e 6d 61 70 20 64 38  s/horock3.map d8
0710: 30 61 66 30 66 36 31 35 33 64 38 32 30 38 31 65  0af0f6153d82081e
0720: 35 35 63 30 65 63 36 63 65 64 30 61 64 63 37 64  55c0ec6ced0adc7d
0730: 30 34 36 36 65 62 0a 46 20 6d 61 70 73 2f 74 65  0466eb.F maps/te
0740: 73 74 31 2e 6d 61 70 20 62 39 61 34 38 64 38 32  st1.map b9a48d82
0750: 64 36 34 64 65 39 31 62 36 34 64 64 32 37 39 38  d64de91b64dd2798
0760: 37 35 66 32 33 64 35 30 61 39 32 62 64 66 35 38  75f23d50a92bdf58
0770: 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c 69  .F maps/trampoli
0780: 6e 65 31 2e 6d 61 70 20 35 61 66 36 39 37 63 30  ne1.map 5af697c0
0790: 30 30 33 64 35 35 31 36 63 38 62 30 39 61 66 64  003d5516c8b09afd
07a0: 36 63 32 65 62 64 64 32 30 39 66 38 66 64 64 36  6c2ebdd209f8fdd6
07b0: 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c 69  .F maps/trampoli
07c0: 6e 65 32 2e 6d 61 70 20 32 38 38 66 39 64 30 35  ne2.map 288f9d05
07d0: 35 63 32 37 37 37 66 61 64 36 39 61 32 65 65 32  5c2777fad69a2ee2
07e0: 32 62 37 33 32 65 31 39 38 33 30 39 36 39 38 64  2b732e198309698d
07f0: 0a 46 20 6d 61 70 73 2f 74 72 61 6d 70 6f 6c 69  .F maps/trampoli
0800: 6e 65 33 2e 6d 61 70 20 37 66 63 66 39 30 63 31  ne3.map 7fcf90c1
0810: 63 61 33 37 33 63 34 31 37 66 31 64 66 34 65 61  ca373c417f1df4ea
0820: 38 38 38 32 31 62 37 63 34 63 30 30 61 63 32 35  88821b7c4c00ac25
0830: 0a 46 20 73 63 6f 72 65 5f 6d 65 6d 6f 2e 74 78  .F score_memo.tx
0840: 74 20 30 65 36 39 35 39 34 31 61 62 37 62 65 36  t 0e695941ab7be6
0850: 64 32 31 62 30 32 34 38 38 32 61 38 36 34 30 62  d21b024882a8640b
0860: 31 65 66 64 66 35 65 36 36 31 0a 46 20 73 72 63  1efdf5e661.F src
0870: 2f 4d 61 6b 65 66 69 6c 65 20 64 65 30 38 35 62  /Makefile de085b
0880: 38 30 35 35 32 35 33 36 34 30 32 66 31 65 66 33  80552536402f1ef3
0890: 65 33 39 35 31 37 36 61 39 64 39 34 64 36 66 62  e395176a9d94d6fb
08a0: 63 38 0a 46 20 73 72 63 2f 64 72 69 76 65 72 2e  c8.F src/driver.
08b0: 64 20 33 64 31 35 66 66 32 30 65 37 36 31 36 34  d 3d15ff20e76164
08c0: 62 38 33 31 30 31 64 30 65 62 62 39 38 65 36 66  b83101d0ebb98e6f
08d0: 36 63 36 34 64 65 31 62 31 62 0a 46 20 73 72 63  6c64de1b1b.F src
08e0: 2f 67 61 6d 65 2e 64 20 62 31 34 31 65 33 39 61  /game.d b141e39a
08f0: 64 65 37 39 37 64 39 34 64 35 33 63 63 33 65 30  de797d94d53cc3e0
0900: 36 34 63 30 39 62 35 64 35 65 39 36 64 37 30 64  64c09b5d5e96d70d
0910: 0a 46 20 73 72 63 2f 67 75 69 2e 64 20 39 33 64  .F src/gui.d 93d
0920: 39 66 35 66 32 36 31 66 37 31 64 32 63 63 64 33  9f5f261f71d2ccd3
0930: 37 38 32 34 34 37 39 33 62 32 38 31 63 38 66 63  78244793b281c8fc
0940: 34 64 38 64 65 0a 46 20 73 72 63 2f 67 75 69 5f  4d8de.F src/gui_
0950: 6d 61 69 6e 2e 64 20 34 31 32 34 65 38 34 30 61  main.d 4124e840a
0960: 31 61 34 39 61 66 39 38 32 34 62 32 64 37 31 64  1a49af9824b2d71d
0970: 33 38 39 35 39 37 32 37 62 39 30 62 39 66 63 0a  38959727b90b9fc.
0980: 46 20 73 72 63 2f 6d 61 69 6e 2e 64 20 66 36 63  F src/main.d f6c
0990: 61 62 35 63 32 33 63 35 63 62 61 31 65 30 66 30  ab5c23c5cba1e0f0
09a0: 64 39 33 39 34 65 64 64 30 65 30 62 66 36 35 30  d9394edd0e0bf650
09b0: 63 33 30 32 32 0a 46 20 73 72 63 2f 6f 75 74 70  c3022.F src/outp
09c0: 75 74 2e 64 20 39 35 65 64 34 32 61 32 64 38 39  ut.d 95ed42a2d89
09d0: 65 31 66 65 66 39 61 33 37 61 37 36 63 31 34 64  e1fef9a37a76c14d
09e0: 63 31 64 62 37 35 35 32 31 31 34 39 32 0a 46 20  c1db755211492.F 
09f0: 73 72 63 2f 73 6f 6c 76 65 72 2e 64 20 37 30 37  src/solver.d 707
0a00: 62 37 33 34 34 61 30 38 34 31 66 36 32 31 32 32  b7344a0841f62122
0a10: 30 39 39 30 38 35 33 62 66 31 32 64 36 37 36 63  0990853bf12d676c
0a20: 64 62 64 65 36 0a 46 20 73 72 63 2f 75 74 69 6c  dbde6.F src/util
0a30: 2e 64 20 34 31 62 61 34 32 30 64 30 63 34 39 63  .d 41ba420d0c49c
0a40: 65 38 64 62 33 66 33 30 65 32 65 31 63 33 39 64  e8db3f30e2e1c39d
0a50: 39 66 39 62 66 33 61 61 39 34 62 0a 46 20 73 75  9f9bf3aa94b.F su
0a60: 62 6d 69 73 73 69 6f 6e 2f 50 41 43 4b 41 47 45  bmission/PACKAGE
0a70: 53 20 64 61 33 39 61 33 65 65 35 65 36 62 34 62  S da39a3ee5e6b4b
0a80: 30 64 33 32 35 35 62 66 65 66 39 35 36 30 31 38  0d3255bfef956018
0a90: 39 30 61 66 64 38 30 37 30 39 0a 46 20 73 75 62  90afd80709.F sub
0aa0: 6d 69 73 73 69 6f 6e 2f 52 45 41 44 4d 45 20 39  mission/README 9
0ab0: 63 65 30 36 33 38 35 35 66 34 31 66 66 30 35 38  ce063855f41ff058
0ac0: 61 37 64 63 64 36 39 30 33 38 36 35 66 30 33 64  a7dcd6903865f03d
0ad0: 33 65 37 35 65 61 63 0a 46 20 73 75 62 6d 69 73  3e75eac.F submis
0ae0: 73 69 6f 6e 2f 69 6e 73 74 61 6c 6c 20 62 65 37  sion/install be7
0af0: 37 36 62 63 66 62 63 31 33 66 63 62 66 63 34 61  76bcfbc13fcbfc4a
0b00: 61 65 61 39 37 39 66 37 65 34 64 39 37 38 66 61  aea979f7e4d978fa
0b10: 37 32 66 37 61 20 78 0a 46 20 73 75 62 6d 69 73  72f7a x.F submis
0b20: 73 69 6f 6e 2f 6c 69 66 74 65 72 20 35 31 30 33  sion/lifter 5103
0b30: 66 35 35 66 35 33 32 33 66 62 33 66 65 63 32 65  f55f5323fb3fec2e
0b40: 65 62 37 62 31 38 66 66 32 34 30 66 65 33 33 36  eb7b18ff240fe336
0b50: 38 63 31 34 20 78 0a 50 20 33 31 30 61 33 63 35  8c14 x.P 310a3c5
0b60: 64 34 31 38 63 37 63 39 64 34 61 30 36 39 36 33  d418c7c9d4a06963
0b70: 30 34 33 38 37 63 34 34 37 66 62 65 63 62 38 34  04387c447fbecb84
0b80: 34 0a 52 20 66 32 65 35 61 34 38 32 33 61 65 62  4.R f2e5a4823aeb
0b90: 64 39 36 34 32 35 37 30 62 36 65 31 37 66 36 66  d9642570b6e17f6f
0ba0: 64 39 38 30 0a 55 20 6b 69 6e 61 62 61 0a 5a 20  d980.U kinaba.Z 
0bb0: 34 66 64 39 65 38 61 32 66 30 65 36 62 65 62 63  4fd9e8a2f0e6bebc
0bc0: 62 39 37 61 35 36 66 38 65 65 36 61 39 39 34 30  b97a56f8ee6a9940
0bd0: 0a                                               .