Artifact 2e02a085bfbc824e86ed0f2d7618c1c1a594fdbd:
Manifest of check-in
[2e02a085bf]
- Further solver names.
by
kinaba on
2012-07-16 04:40:41.
0000: 43 20 46 75 72 74 68 65 72 5c 73 73 6f 6c 76 65 C Further\ssolve
0010: 72 5c 73 6e 61 6d 65 73 2e 0a 44 20 32 30 31 32 r\snames..D 2012
0020: 2d 30 37 2d 31 36 54 30 34 3a 34 30 3a 34 31 2e -07-16T04:40:41.
0030: 37 34 34 0a 46 20 69 63 66 70 2d 39 36 35 33 33 744.F icfp-96533
0040: 36 33 32 2e 74 67 7a 20 39 34 33 33 32 39 63 33 632.tgz 943329c3
0050: 30 30 37 32 39 38 39 66 39 37 33 61 66 36 35 39 0072989f973af659
0060: 32 61 36 35 63 30 62 37 62 66 61 31 64 39 62 64 2a65c0b7bfa1d9bd
0070: 0a 46 20 6d 61 6b 65 2d 73 75 62 6d 69 73 73 69 .F make-submissi
0080: 6f 6e 20 62 64 37 61 39 31 31 63 31 34 31 61 65 on bd7a911c141ae
0090: 35 34 34 64 65 36 64 64 39 30 34 30 64 61 36 39 544de6dd9040da69
00a0: 32 64 34 31 30 34 31 32 62 33 66 20 78 0a 46 20 2d410412b3f x.F
00b0: 6d 61 70 73 2f 31 30 30 30 78 31 30 30 30 2e 6d maps/1000x1000.m
00c0: 61 70 20 34 30 33 33 35 66 31 37 64 62 65 64 39 ap 40335f17dbed9
00d0: 36 31 66 38 35 65 66 65 65 63 66 62 61 37 34 64 61f85efeecfba74d
00e0: 34 32 37 30 38 38 66 61 64 38 32 0a 46 20 6d 61 427088fad82.F ma
00f0: 70 73 2f 31 30 30 78 31 30 30 2e 6d 61 70 20 35 ps/100x100.map 5
0100: 62 65 61 66 36 66 61 64 34 31 34 33 38 33 30 31 beaf6fad41438301
0110: 62 38 61 64 39 65 61 30 31 65 61 36 63 34 36 63 b8ad9ea01ea6c46c
0120: 34 66 31 37 66 38 31 0a 46 20 6d 61 70 73 2f 34 4f17f81.F maps/4
0130: 30 78 34 30 2e 6d 61 70 20 30 36 64 63 33 36 32 0x40.map 06dc362
0140: 65 66 31 36 66 34 32 35 64 64 30 31 64 35 65 66 ef16f425dd01d5ef
0150: 31 31 35 33 31 31 62 32 61 37 62 33 36 39 66 65 115311b2a7b369fe
0160: 30 0a 46 20 6d 61 70 73 2f 38 30 78 36 30 2e 6d 0.F maps/80x60.m
0170: 61 70 20 62 32 32 65 30 64 30 66 35 63 36 38 38 ap b22e0d0f5c688
0180: 65 64 34 31 37 33 66 66 64 35 34 33 30 65 66 64 ed4173ffd5430efd
0190: 62 31 35 33 63 64 64 36 36 34 61 0a 46 20 6d 61 b153cdd664a.F ma
01a0: 70 73 2f 62 65 61 72 64 31 2e 6d 61 70 20 62 62 ps/beard1.map bb
01b0: 36 39 32 36 37 39 33 61 35 31 33 31 31 61 34 39 6926793a51311a49
01c0: 35 35 37 31 36 37 37 61 30 31 61 38 62 34 62 35 5571677a01a8b4b5
01d0: 38 66 63 31 38 30 0a 46 20 6d 61 70 73 2f 62 65 8fc180.F maps/be
01e0: 61 72 64 32 2e 6d 61 70 20 32 65 39 34 32 30 30 ard2.map 2e94200
01f0: 39 63 38 39 37 31 37 64 37 35 38 31 62 62 30 37 9c89717d7581bb07
0200: 34 39 38 38 32 35 63 61 36 35 39 37 35 64 36 39 498825ca65975d69
0210: 38 0a 46 20 6d 61 70 73 2f 62 65 61 72 64 33 2e 8.F maps/beard3.
0220: 6d 61 70 20 31 64 63 61 62 33 34 30 34 39 33 38 map 1dcab3404938
0230: 35 37 64 30 30 39 32 38 63 36 31 39 34 39 30 63 57d00928c619490c
0240: 39 65 30 64 36 37 35 30 31 62 66 33 0a 46 20 6d 9e0d67501bf3.F m
0250: 61 70 73 2f 62 65 61 72 64 34 2e 6d 61 70 20 62 aps/beard4.map b
0260: 36 32 39 36 37 65 62 34 37 61 35 66 35 30 37 30 62967eb47a5f5070
0270: 30 34 37 66 37 39 36 66 30 37 32 34 62 61 31 65 047f796f0724ba1e
0280: 32 61 66 33 64 38 32 0a 46 20 6d 61 70 73 2f 62 2af3d82.F maps/b
0290: 65 61 72 64 35 2e 6d 61 70 20 37 36 33 39 66 63 eard5.map 7639fc
02a0: 64 63 66 33 36 37 30 35 65 31 62 66 35 38 32 34 dcf36705e1bf5824
02b0: 65 33 32 38 66 66 33 63 65 33 62 30 65 31 30 39 e328ff3ce3b0e109
02c0: 61 34 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 a4.F maps/contes
02d0: 74 31 2e 6d 61 70 20 65 66 32 31 66 35 39 64 30 t1.map ef21f59d0
02e0: 37 32 62 64 65 65 65 38 66 39 36 33 39 37 36 63 72bdeee8f963976c
02f0: 39 30 66 33 66 32 62 31 64 37 63 63 39 39 65 0a 90f3f2b1d7cc99e.
0300: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 31 30 F maps/contest10
0310: 2e 6d 61 70 20 64 30 37 37 36 32 31 38 33 62 33 .map d07762183b3
0320: 65 61 33 65 34 39 31 33 36 34 64 66 39 35 32 62 ea3e491364df952b
0330: 35 36 64 38 30 36 35 61 37 34 62 33 30 0a 46 20 56d8065a74b30.F
0340: 6d 61 70 73 2f 63 6f 6e 74 65 73 74 32 2e 6d 61 maps/contest2.ma
0350: 70 20 36 61 61 33 37 33 37 65 34 37 39 39 35 30 p 6aa3737e479950
0360: 63 61 63 37 63 61 36 65 63 62 37 31 38 37 30 61 cac7ca6ecb71870a
0370: 32 38 31 32 63 34 64 35 39 32 0a 46 20 6d 61 70 2812c4d592.F map
0380: 73 2f 63 6f 6e 74 65 73 74 33 2e 6d 61 70 20 65 s/contest3.map e
0390: 36 39 62 33 32 65 35 66 35 35 63 63 33 31 31 62 69b32e5f55cc311b
03a0: 64 34 33 36 31 36 36 63 38 31 66 37 38 64 30 35 d436166c81f78d05
03b0: 30 37 65 38 39 33 62 0a 46 20 6d 61 70 73 2f 63 07e893b.F maps/c
03c0: 6f 6e 74 65 73 74 34 2e 6d 61 70 20 65 35 31 64 ontest4.map e51d
03d0: 66 33 32 39 36 61 35 32 31 30 37 30 32 66 62 65 f3296a5210702fbe
03e0: 62 37 37 64 35 39 30 30 37 64 39 61 35 62 61 66 b77d59007d9a5baf
03f0: 65 61 36 64 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 ea6d.F maps/cont
0400: 65 73 74 35 2e 6d 61 70 20 30 36 65 65 66 31 30 est5.map 06eef10
0410: 65 66 62 35 39 37 32 35 39 64 33 35 62 31 30 35 efb597259d35b105
0420: 38 32 64 30 62 39 34 32 61 34 63 62 32 36 30 37 82d0b942a4cb2607
0430: 31 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 1.F maps/contest
0440: 36 2e 6d 61 70 20 37 36 31 38 39 33 63 32 65 64 6.map 761893c2ed
0450: 64 38 39 38 64 33 62 63 62 36 38 64 33 64 39 32 d898d3bcb68d3d92
0460: 64 36 32 61 37 66 66 64 36 62 62 65 30 34 0a 46 d62a7ffd6bbe04.F
0470: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 37 2e 6d maps/contest7.m
0480: 61 70 20 65 39 63 65 39 35 35 38 37 33 65 65 61 ap e9ce955873eea
0490: 32 63 61 63 31 30 66 66 33 33 39 64 65 62 66 35 2cac10ff339debf5
04a0: 39 38 30 65 31 35 31 64 38 65 61 0a 46 20 6d 61 980e151d8ea.F ma
04b0: 70 73 2f 63 6f 6e 74 65 73 74 38 2e 6d 61 70 20 ps/contest8.map
04c0: 61 33 35 64 66 61 32 39 34 35 38 39 64 61 35 37 a35dfa294589da57
04d0: 37 39 39 30 36 32 31 34 36 61 38 39 38 31 37 38 799062146a898178
04e0: 32 30 61 61 37 38 31 33 0a 46 20 6d 61 70 73 2f 20aa7813.F maps/
04f0: 63 6f 6e 74 65 73 74 39 2e 6d 61 70 20 63 61 33 contest9.map ca3
0500: 62 61 36 65 31 32 61 33 62 32 37 62 62 35 63 66 ba6e12a3b27bb5cf
0510: 39 61 34 30 39 36 30 39 62 37 33 62 31 30 35 37 9a409609b73b1057
0520: 66 32 36 61 33 0a 46 20 6d 61 70 73 2f 66 6c 6f f26a3.F maps/flo
0530: 6f 64 31 2e 6d 61 70 20 31 33 65 36 33 35 36 63 od1.map 13e6356c
0540: 30 33 32 30 63 35 61 30 31 64 33 36 37 31 35 62 0320c5a01d36715b
0550: 33 31 65 66 61 39 32 34 63 38 34 31 63 61 64 65 31efa924c841cade
0560: 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 32 2e 6d .F maps/flood2.m
0570: 61 70 20 65 66 63 33 61 38 62 36 30 61 66 34 65 ap efc3a8b60af4e
0580: 35 37 34 65 38 32 66 34 64 65 33 32 30 37 66 37 574e82f4de3207f7
0590: 32 37 37 31 35 66 66 36 66 61 31 0a 46 20 6d 61 27715ff6fa1.F ma
05a0: 70 73 2f 66 6c 6f 6f 64 33 2e 6d 61 70 20 30 65 ps/flood3.map 0e
05b0: 36 39 31 30 36 62 64 31 33 35 35 30 35 33 66 34 69106bd1355053f4
05c0: 66 66 61 35 35 32 31 63 62 62 62 64 30 33 33 32 ffa5521cbbbd0332
05d0: 36 31 30 63 62 65 0a 46 20 6d 61 70 73 2f 66 6c 610cbe.F maps/fl
05e0: 6f 6f 64 34 2e 6d 61 70 20 63 39 63 39 37 64 63 ood4.map c9c97dc
05f0: 31 61 33 66 37 38 30 66 38 61 31 66 63 35 63 30 1a3f780f8a1fc5c0
0600: 64 31 63 30 38 34 39 39 62 33 66 30 38 35 38 32 d1c08499b3f08582
0610: 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 35 2e 3.F maps/flood5.
0620: 6d 61 70 20 63 31 32 36 63 66 61 39 33 39 38 33 map c126cfa93983
0630: 34 38 31 39 34 65 34 34 35 30 33 36 34 36 61 64 48194e44503646ad
0640: 62 37 62 63 30 63 62 35 38 66 37 35 0a 46 20 6d b7bc0cb58f75.F m
0650: 61 70 73 2f 66 75 6e 31 2e 6d 61 70 20 32 66 37 aps/fun1.map 2f7
0660: 66 38 37 61 34 64 30 32 63 36 34 34 38 61 61 37 f87a4d02c6448aa7
0670: 31 38 62 37 33 36 64 36 32 33 31 62 36 36 64 66 18b736d6231b66df
0680: 65 61 35 38 61 0a 46 20 6d 61 70 73 2f 68 6f 72 ea58a.F maps/hor
0690: 6f 63 6b 31 2e 6d 61 70 20 37 65 32 35 66 30 37 ock1.map 7e25f07
06a0: 62 61 64 36 30 37 61 62 30 62 30 31 66 66 33 65 bad607ab0b01ff3e
06b0: 35 65 31 30 38 66 65 35 36 33 39 64 39 35 62 36 5e108fe5639d95b6
06c0: 31 0a 46 20 6d 61 70 73 2f 68 6f 72 6f 63 6b 32 1.F maps/horock2
06d0: 2e 6d 61 70 20 32 66 62 32 35 32 37 32 65 66 39 .map 2fb25272ef9
06e0: 33 31 34 65 61 63 38 36 30 65 64 61 32 66 32 66 314eac860eda2f2f
06f0: 34 32 64 38 34 64 33 39 62 62 31 61 63 0a 46 20 42d84d39bb1ac.F
0700: 6d 61 70 73 2f 68 6f 72 6f 63 6b 33 2e 6d 61 70 maps/horock3.map
0710: 20 64 38 30 61 66 30 66 36 31 35 33 64 38 32 30 d80af0f6153d820
0720: 38 31 65 35 35 63 30 65 63 36 63 65 64 30 61 64 81e55c0ec6ced0ad
0730: 63 37 64 30 34 36 36 65 62 0a 46 20 6d 61 70 73 c7d0466eb.F maps
0740: 2f 74 65 73 74 31 2e 6d 61 70 20 62 39 61 34 38 /test1.map b9a48
0750: 64 38 32 64 36 34 64 65 39 31 62 36 34 64 64 32 d82d64de91b64dd2
0760: 37 39 38 37 35 66 32 33 64 35 30 61 39 32 62 64 79875f23d50a92bd
0770: 66 35 38 0a 46 20 6d 61 70 73 2f 74 65 73 74 32 f58.F maps/test2
0780: 2e 6d 61 70 20 36 30 33 33 34 30 36 31 63 33 33 .map 60334061c33
0790: 64 36 31 30 34 39 66 63 34 61 35 63 34 39 34 38 d61049fc4a5c4948
07a0: 39 37 31 65 62 35 31 38 32 35 64 64 34 0a 46 20 971eb51825dd4.F
07b0: 6d 61 70 73 2f 74 65 73 74 33 2e 6d 61 70 20 31 maps/test3.map 1
07c0: 65 39 36 31 31 36 34 32 38 34 32 33 62 37 33 37 e96116428423b737
07d0: 36 65 61 33 63 39 35 34 63 35 31 63 38 35 39 34 6ea3c954c51c8594
07e0: 38 33 66 36 31 33 35 0a 46 20 6d 61 70 73 2f 74 83f6135.F maps/t
07f0: 72 61 6d 70 6f 6c 69 6e 65 31 2e 6d 61 70 20 35 rampoline1.map 5
0800: 61 66 36 39 37 63 30 30 30 33 64 35 35 31 36 63 af697c0003d5516c
0810: 38 62 30 39 61 66 64 36 63 32 65 62 64 64 32 30 8b09afd6c2ebdd20
0820: 39 66 38 66 64 64 36 0a 46 20 6d 61 70 73 2f 74 9f8fdd6.F maps/t
0830: 72 61 6d 70 6f 6c 69 6e 65 32 2e 6d 61 70 20 32 rampoline2.map 2
0840: 38 38 66 39 64 30 35 35 63 32 37 37 37 66 61 64 88f9d055c2777fad
0850: 36 39 61 32 65 65 32 32 62 37 33 32 65 31 39 38 69a2ee22b732e198
0860: 33 30 39 36 39 38 64 0a 46 20 6d 61 70 73 2f 74 309698d.F maps/t
0870: 72 61 6d 70 6f 6c 69 6e 65 33 2e 6d 61 70 20 37 rampoline3.map 7
0880: 66 63 66 39 30 63 31 63 61 33 37 33 63 34 31 37 fcf90c1ca373c417
0890: 66 31 64 66 34 65 61 38 38 38 32 31 62 37 63 34 f1df4ea88821b7c4
08a0: 63 30 30 61 63 32 35 0a 46 20 73 63 6f 72 65 5f c00ac25.F score_
08b0: 6d 65 6d 6f 2e 74 78 74 20 38 30 63 33 37 63 31 memo.txt 80c37c1
08c0: 30 61 33 62 30 61 34 32 33 32 66 30 30 64 30 34 0a3b0a4232f00d04
08d0: 30 62 39 36 63 66 38 65 65 63 38 63 62 61 36 61 0b96cf8eec8cba6a
08e0: 31 0a 46 20 73 72 63 2f 4d 61 6b 65 66 69 6c 65 1.F src/Makefile
08f0: 20 64 65 30 38 35 62 38 30 35 35 32 35 33 36 34 de085b805525364
0900: 30 32 66 31 65 66 33 65 33 39 35 31 37 36 61 39 02f1ef3e395176a9
0910: 64 39 34 64 36 66 62 63 38 0a 46 20 73 72 63 2f d94d6fbc8.F src/
0920: 64 72 69 76 65 72 2e 64 20 33 64 31 35 66 66 32 driver.d 3d15ff2
0930: 30 65 37 36 31 36 34 62 38 33 31 30 31 64 30 65 0e76164b83101d0e
0940: 62 62 39 38 65 36 66 36 63 36 34 64 65 31 62 31 bb98e6f6c64de1b1
0950: 62 0a 46 20 73 72 63 2f 67 61 6d 65 2e 64 20 64 b.F src/game.d d
0960: 39 62 66 33 65 61 31 32 39 63 37 63 62 63 35 33 9bf3ea129c7cbc53
0970: 62 64 66 61 38 37 62 36 61 32 39 30 61 34 66 30 bdfa87b6a290a4f0
0980: 38 66 64 30 38 34 35 0a 46 20 73 72 63 2f 67 75 8fd0845.F src/gu
0990: 69 2e 64 20 39 33 64 39 66 35 66 32 36 31 66 37 i.d 93d9f5f261f7
09a0: 31 64 32 63 63 64 33 37 38 32 34 34 37 39 33 62 1d2ccd378244793b
09b0: 32 38 31 63 38 66 63 34 64 38 64 65 0a 46 20 73 281c8fc4d8de.F s
09c0: 72 63 2f 67 75 69 5f 6d 61 69 6e 2e 64 20 34 31 rc/gui_main.d 41
09d0: 32 34 65 38 34 30 61 31 61 34 39 61 66 39 38 32 24e840a1a49af982
09e0: 34 62 32 64 37 31 64 33 38 39 35 39 37 32 37 62 4b2d71d38959727b
09f0: 39 30 62 39 66 63 0a 46 20 73 72 63 2f 6d 61 69 90b9fc.F src/mai
0a00: 6e 2e 64 20 66 36 63 61 62 35 63 32 33 63 35 63 n.d f6cab5c23c5c
0a10: 62 61 31 65 30 66 30 64 39 33 39 34 65 64 64 30 ba1e0f0d9394edd0
0a20: 65 30 62 66 36 35 30 63 33 30 32 32 0a 46 20 73 e0bf650c3022.F s
0a30: 72 63 2f 6f 75 74 70 75 74 2e 64 20 39 35 65 64 rc/output.d 95ed
0a40: 34 32 61 32 64 38 39 65 31 66 65 66 39 61 33 37 42a2d89e1fef9a37
0a50: 61 37 36 63 31 34 64 63 31 64 62 37 35 35 32 31 a76c14dc1db75521
0a60: 31 34 39 32 0a 46 20 73 72 63 2f 73 6f 6c 76 65 1492.F src/solve
0a70: 72 2e 64 20 38 61 35 33 30 34 31 34 62 64 32 39 r.d 8a530414bd29
0a80: 35 32 30 35 38 39 66 35 35 36 30 64 35 30 31 34 520589f5560d5014
0a90: 65 31 66 66 62 62 66 31 65 65 62 30 0a 46 20 73 e1ffbbf1eeb0.F s
0aa0: 72 63 2f 75 74 69 6c 2e 64 20 34 31 62 61 34 32 rc/util.d 41ba42
0ab0: 30 64 30 63 34 39 63 65 38 64 62 33 66 33 30 65 0d0c49ce8db3f30e
0ac0: 32 65 31 63 33 39 64 39 66 39 62 66 33 61 61 39 2e1c39d9f9bf3aa9
0ad0: 34 62 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 4b.F submission/
0ae0: 50 41 43 4b 41 47 45 53 20 64 61 33 39 61 33 65 PACKAGES da39a3e
0af0: 65 35 65 36 62 34 62 30 64 33 32 35 35 62 66 65 e5e6b4b0d3255bfe
0b00: 66 39 35 36 30 31 38 39 30 61 66 64 38 30 37 30 f95601890afd8070
0b10: 39 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 52 9.F submission/R
0b20: 45 41 44 4d 45 20 39 63 65 30 36 33 38 35 35 66 EADME 9ce063855f
0b30: 34 31 66 66 30 35 38 61 37 64 63 64 36 39 30 33 41ff058a7dcd6903
0b40: 38 36 35 66 30 33 64 33 65 37 35 65 61 63 0a 46 865f03d3e75eac.F
0b50: 20 73 75 62 6d 69 73 73 69 6f 6e 2f 69 6e 73 74 submission/inst
0b60: 61 6c 6c 20 62 65 37 37 36 62 63 66 62 63 31 33 all be776bcfbc13
0b70: 66 63 62 66 63 34 61 61 65 61 39 37 39 66 37 65 fcbfc4aaea979f7e
0b80: 34 64 39 37 38 66 61 37 32 66 37 61 20 78 0a 46 4d978fa72f7a x.F
0b90: 20 73 75 62 6d 69 73 73 69 6f 6e 2f 6c 69 66 74 submission/lift
0ba0: 65 72 20 35 31 30 33 66 35 35 66 35 33 32 33 66 er 5103f55f5323f
0bb0: 62 33 66 65 63 32 65 65 62 37 62 31 38 66 66 32 b3fec2eeb7b18ff2
0bc0: 34 30 66 65 33 33 36 38 63 31 34 20 78 0a 50 20 40fe3368c14 x.P
0bd0: 62 34 63 39 34 38 62 35 63 61 63 35 66 32 65 37 b4c948b5cac5f2e7
0be0: 66 62 30 35 33 62 31 33 30 34 37 66 30 32 63 63 fb053b13047f02cc
0bf0: 38 37 36 66 36 65 61 61 0a 52 20 31 62 32 66 39 876f6eaa.R 1b2f9
0c00: 64 62 34 66 34 35 36 36 66 64 66 33 36 62 36 38 db4f4566fdf36b68
0c10: 66 37 39 63 63 30 65 38 64 33 65 0a 55 20 6b 69 f79cc0e8d3e.U ki
0c20: 6e 61 62 61 0a 5a 20 33 64 38 37 66 36 38 39 33 naba.Z 3d87f6893
0c30: 61 37 38 38 32 36 65 34 64 39 38 61 36 38 34 66 a78826e4d98a684f
0c40: 39 32 62 38 34 62 62 0a 92b84bb.