Artifact 62a5c6c47f21abf244627cea87075169c4f9373c:
Manifest of check-in
[62a5c6c47f]
- Correctly implemented below-rock avoider.
by
kinaba on
2012-07-14 13:45:03.
0000: 43 20 43 6f 72 72 65 63 74 6c 79 5c 73 69 6d 70 C Correctly\simp
0010: 6c 65 6d 65 6e 74 65 64 5c 73 62 65 6c 6f 77 2d lemented\sbelow-
0020: 72 6f 63 6b 5c 73 61 76 6f 69 64 65 72 2e 0a 44 rock\savoider..D
0030: 20 32 30 31 32 2d 30 37 2d 31 34 54 31 33 3a 34 2012-07-14T13:4
0040: 35 3a 30 33 2e 34 38 31 0a 46 20 69 63 66 70 2d 5:03.481.F icfp-
0050: 39 36 35 33 33 36 33 32 2e 74 67 7a 20 39 34 33 96533632.tgz 943
0060: 33 32 39 63 33 30 30 37 32 39 38 39 66 39 37 33 329c30072989f973
0070: 61 66 36 35 39 32 61 36 35 63 30 62 37 62 66 61 af6592a65c0b7bfa
0080: 31 64 39 62 64 0a 46 20 6d 61 6b 65 2d 73 75 62 1d9bd.F make-sub
0090: 6d 69 73 73 69 6f 6e 20 62 64 37 61 39 31 31 63 mission bd7a911c
00a0: 31 34 31 61 65 35 34 34 64 65 36 64 64 39 30 34 141ae544de6dd904
00b0: 30 64 61 36 39 32 64 34 31 30 34 31 32 62 33 66 0da692d410412b3f
00c0: 20 78 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 x.F maps/contes
00d0: 74 31 2e 6d 61 70 20 65 66 32 31 66 35 39 64 30 t1.map ef21f59d0
00e0: 37 32 62 64 65 65 65 38 66 39 36 33 39 37 36 63 72bdeee8f963976c
00f0: 39 30 66 33 66 32 62 31 64 37 63 63 39 39 65 0a 90f3f2b1d7cc99e.
0100: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 31 30 F maps/contest10
0110: 2e 6d 61 70 20 64 30 37 37 36 32 31 38 33 62 33 .map d07762183b3
0120: 65 61 33 65 34 39 31 33 36 34 64 66 39 35 32 62 ea3e491364df952b
0130: 35 36 64 38 30 36 35 61 37 34 62 33 30 0a 46 20 56d8065a74b30.F
0140: 6d 61 70 73 2f 63 6f 6e 74 65 73 74 32 2e 6d 61 maps/contest2.ma
0150: 70 20 36 61 61 33 37 33 37 65 34 37 39 39 35 30 p 6aa3737e479950
0160: 63 61 63 37 63 61 36 65 63 62 37 31 38 37 30 61 cac7ca6ecb71870a
0170: 32 38 31 32 63 34 64 35 39 32 0a 46 20 6d 61 70 2812c4d592.F map
0180: 73 2f 63 6f 6e 74 65 73 74 33 2e 6d 61 70 20 65 s/contest3.map e
0190: 36 39 62 33 32 65 35 66 35 35 63 63 33 31 31 62 69b32e5f55cc311b
01a0: 64 34 33 36 31 36 36 63 38 31 66 37 38 64 30 35 d436166c81f78d05
01b0: 30 37 65 38 39 33 62 0a 46 20 6d 61 70 73 2f 63 07e893b.F maps/c
01c0: 6f 6e 74 65 73 74 34 2e 6d 61 70 20 65 35 31 64 ontest4.map e51d
01d0: 66 33 32 39 36 61 35 32 31 30 37 30 32 66 62 65 f3296a5210702fbe
01e0: 62 37 37 64 35 39 30 30 37 64 39 61 35 62 61 66 b77d59007d9a5baf
01f0: 65 61 36 64 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 ea6d.F maps/cont
0200: 65 73 74 35 2e 6d 61 70 20 30 36 65 65 66 31 30 est5.map 06eef10
0210: 65 66 62 35 39 37 32 35 39 64 33 35 62 31 30 35 efb597259d35b105
0220: 38 32 64 30 62 39 34 32 61 34 63 62 32 36 30 37 82d0b942a4cb2607
0230: 31 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 1.F maps/contest
0240: 36 2e 6d 61 70 20 37 36 31 38 39 33 63 32 65 64 6.map 761893c2ed
0250: 64 38 39 38 64 33 62 63 62 36 38 64 33 64 39 32 d898d3bcb68d3d92
0260: 64 36 32 61 37 66 66 64 36 62 62 65 30 34 0a 46 d62a7ffd6bbe04.F
0270: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 37 2e 6d maps/contest7.m
0280: 61 70 20 65 39 63 65 39 35 35 38 37 33 65 65 61 ap e9ce955873eea
0290: 32 63 61 63 31 30 66 66 33 33 39 64 65 62 66 35 2cac10ff339debf5
02a0: 39 38 30 65 31 35 31 64 38 65 61 0a 46 20 6d 61 980e151d8ea.F ma
02b0: 70 73 2f 63 6f 6e 74 65 73 74 38 2e 6d 61 70 20 ps/contest8.map
02c0: 61 33 35 64 66 61 32 39 34 35 38 39 64 61 35 37 a35dfa294589da57
02d0: 37 39 39 30 36 32 31 34 36 61 38 39 38 31 37 38 799062146a898178
02e0: 32 30 61 61 37 38 31 33 0a 46 20 6d 61 70 73 2f 20aa7813.F maps/
02f0: 63 6f 6e 74 65 73 74 39 2e 6d 61 70 20 63 61 33 contest9.map ca3
0300: 62 61 36 65 31 32 61 33 62 32 37 62 62 35 63 66 ba6e12a3b27bb5cf
0310: 39 61 34 30 39 36 30 39 62 37 33 62 31 30 35 37 9a409609b73b1057
0320: 66 32 36 61 33 0a 46 20 6d 61 70 73 2f 66 6c 6f f26a3.F maps/flo
0330: 6f 64 31 2e 6d 61 70 20 31 33 65 36 33 35 36 63 od1.map 13e6356c
0340: 30 33 32 30 63 35 61 30 31 64 33 36 37 31 35 62 0320c5a01d36715b
0350: 33 31 65 66 61 39 32 34 63 38 34 31 63 61 64 65 31efa924c841cade
0360: 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 32 2e 6d .F maps/flood2.m
0370: 61 70 20 65 66 63 33 61 38 62 36 30 61 66 34 65 ap efc3a8b60af4e
0380: 35 37 34 65 38 32 66 34 64 65 33 32 30 37 66 37 574e82f4de3207f7
0390: 32 37 37 31 35 66 66 36 66 61 31 0a 46 20 6d 61 27715ff6fa1.F ma
03a0: 70 73 2f 66 6c 6f 6f 64 33 2e 6d 61 70 20 30 65 ps/flood3.map 0e
03b0: 36 39 31 30 36 62 64 31 33 35 35 30 35 33 66 34 69106bd1355053f4
03c0: 66 66 61 35 35 32 31 63 62 62 62 64 30 33 33 32 ffa5521cbbbd0332
03d0: 36 31 30 63 62 65 0a 46 20 6d 61 70 73 2f 66 6c 610cbe.F maps/fl
03e0: 6f 6f 64 34 2e 6d 61 70 20 63 39 63 39 37 64 63 ood4.map c9c97dc
03f0: 31 61 33 66 37 38 30 66 38 61 31 66 63 35 63 30 1a3f780f8a1fc5c0
0400: 64 31 63 30 38 34 39 39 62 33 66 30 38 35 38 32 d1c08499b3f08582
0410: 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 35 2e 3.F maps/flood5.
0420: 6d 61 70 20 63 31 32 36 63 66 61 39 33 39 38 33 map c126cfa93983
0430: 34 38 31 39 34 65 34 34 35 30 33 36 34 36 61 64 48194e44503646ad
0440: 62 37 62 63 30 63 62 35 38 66 37 35 0a 46 20 6d b7bc0cb58f75.F m
0450: 61 70 73 2f 74 65 73 74 31 2e 6d 61 70 20 62 39 aps/test1.map b9
0460: 61 34 38 64 38 32 64 36 34 64 65 39 31 62 36 34 a48d82d64de91b64
0470: 64 64 32 37 39 38 37 35 66 32 33 64 35 30 61 39 dd279875f23d50a9
0480: 32 62 64 66 35 38 0a 46 20 73 72 63 2f 63 75 69 2bdf58.F src/cui
0490: 5f 61 75 74 6f 5f 6d 61 69 6e 2e 64 20 61 30 33 _auto_main.d a03
04a0: 39 34 66 39 62 39 36 39 32 63 31 65 62 63 63 61 94f9b9692c1ebcca
04b0: 31 32 36 35 36 61 34 33 38 34 34 39 66 33 66 66 12656a438449f3ff
04c0: 33 64 38 64 64 0a 46 20 73 72 63 2f 67 61 6d 65 3d8dd.F src/game
04d0: 2e 64 20 31 37 64 62 64 63 36 36 32 39 35 30 61 .d 17dbdc662950a
04e0: 36 37 30 62 65 32 66 65 61 31 35 36 62 31 66 37 670be2fea156b1f7
04f0: 32 36 33 65 36 65 32 64 36 39 33 0a 46 20 73 72 263e6e2d693.F sr
0500: 63 2f 67 75 69 2e 64 20 34 63 63 36 34 30 30 37 c/gui.d 4cc64007
0510: 39 35 65 37 61 37 32 37 65 64 61 65 38 62 63 32 95e7a727edae8bc2
0520: 37 63 64 64 61 33 34 65 34 61 39 37 35 38 64 62 7cdda34e4a9758db
0530: 0a 46 20 73 72 63 2f 67 75 69 5f 6d 61 69 6e 2e .F src/gui_main.
0540: 64 20 34 39 66 31 36 37 35 33 33 32 30 36 31 33 d 49f16753320613
0550: 62 38 34 35 31 34 37 61 61 66 34 36 38 35 65 66 b845147aaf4685ef
0560: 31 38 35 34 30 38 30 32 62 32 0a 46 20 73 72 63 18540802b2.F src
0570: 2f 6f 75 74 70 75 74 2e 64 20 37 66 61 34 32 33 /output.d 7fa423
0580: 62 61 39 66 38 65 62 65 39 32 32 34 33 34 38 66 ba9f8ebe9224348f
0590: 33 34 31 31 62 30 32 39 66 33 37 62 32 31 37 36 3411b029f37b2176
05a0: 63 30 0a 46 20 73 72 63 2f 73 6f 6c 76 65 72 2e c0.F src/solver.
05b0: 64 20 33 64 66 37 38 35 62 31 63 31 34 31 34 34 d 3df785b1c14144
05c0: 33 32 39 63 63 38 37 37 61 62 66 39 62 32 30 30 329cc877abf9b200
05d0: 31 66 34 65 62 64 36 39 64 37 0a 46 20 73 72 63 1f4ebd69d7.F src
05e0: 2f 75 74 69 6c 2e 64 20 37 38 33 35 35 34 62 66 /util.d 783554bf
05f0: 36 36 37 34 31 32 65 64 36 66 38 32 61 37 39 34 667412ed6f82a794
0600: 33 37 38 31 36 30 64 31 66 31 31 32 64 37 32 61 378160d1f112d72a
0610: 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 50 41 .F submission/PA
0620: 43 4b 41 47 45 53 20 64 61 33 39 61 33 65 65 35 CKAGES da39a3ee5
0630: 65 36 62 34 62 30 64 33 32 35 35 62 66 65 66 39 e6b4b0d3255bfef9
0640: 35 36 30 31 38 39 30 61 66 64 38 30 37 30 39 0a 5601890afd80709.
0650: 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 52 45 41 F submission/REA
0660: 44 4d 45 20 30 63 66 31 34 61 33 62 39 36 36 35 DME 0cf14a3b9665
0670: 31 33 33 32 35 34 66 30 35 61 61 37 31 61 39 65 133254f05aa71a9e
0680: 38 39 32 61 62 33 36 32 63 65 62 63 0a 46 20 73 892ab362cebc.F s
0690: 75 62 6d 69 73 73 69 6f 6e 2f 69 6e 73 74 61 6c ubmission/instal
06a0: 6c 20 62 65 37 37 36 62 63 66 62 63 31 33 66 63 l be776bcfbc13fc
06b0: 62 66 63 34 61 61 65 61 39 37 39 66 37 65 34 64 bfc4aaea979f7e4d
06c0: 39 37 38 66 61 37 32 66 37 61 20 78 0a 46 20 73 978fa72f7a x.F s
06d0: 75 62 6d 69 73 73 69 6f 6e 2f 6c 69 66 74 65 72 ubmission/lifter
06e0: 20 35 31 30 33 66 35 35 66 35 33 32 33 66 62 33 5103f55f5323fb3
06f0: 66 65 63 32 65 65 62 37 62 31 38 66 66 32 34 30 fec2eeb7b18ff240
0700: 66 65 33 33 36 38 63 31 34 20 78 0a 50 20 35 66 fe3368c14 x.P 5f
0710: 63 38 61 39 63 34 39 62 34 32 30 30 36 61 30 36 c8a9c49b42006a06
0720: 63 33 65 39 61 63 64 66 63 33 37 31 61 32 33 63 c3e9acdfc371a23c
0730: 36 38 65 63 35 31 0a 52 20 30 38 30 36 39 39 64 68ec51.R 080699d
0740: 34 61 37 32 38 35 61 30 33 30 31 34 36 66 62 34 4a7285a030146fb4
0750: 64 66 64 66 38 36 62 62 36 0a 55 20 6b 69 6e 61 dfdf86bb6.U kina
0760: 62 61 0a 5a 20 32 61 64 37 32 36 63 61 64 61 34 ba.Z 2ad726cada4
0770: 30 66 32 39 63 31 34 64 30 32 61 62 65 64 38 33 0f29c14d02abed83
0780: 33 31 38 32 36 0a 31826.