Artifact 34bbd14c1a29238a314fee2e914e36e376544a6f:
Manifest of check-in
[34bbd14c1a]
- Razor searching.
by
kinaba on
2012-07-15 02:16:47.
0000: 43 20 52 61 7a 6f 72 5c 73 73 65 61 72 63 68 69 C Razor\ssearchi
0010: 6e 67 2e 0a 44 20 32 30 31 32 2d 30 37 2d 31 35 ng..D 2012-07-15
0020: 54 30 32 3a 31 36 3a 34 37 2e 38 32 36 0a 46 20 T02:16:47.826.F
0030: 69 63 66 70 2d 39 36 35 33 33 36 33 32 2e 74 67 icfp-96533632.tg
0040: 7a 20 39 34 33 33 32 39 63 33 30 30 37 32 39 38 z 943329c3007298
0050: 39 66 39 37 33 61 66 36 35 39 32 61 36 35 63 30 9f973af6592a65c0
0060: 62 37 62 66 61 31 64 39 62 64 0a 46 20 6d 61 6b b7bfa1d9bd.F mak
0070: 65 2d 73 75 62 6d 69 73 73 69 6f 6e 20 62 64 37 e-submission bd7
0080: 61 39 31 31 63 31 34 31 61 65 35 34 34 64 65 36 a911c141ae544de6
0090: 64 64 39 30 34 30 64 61 36 39 32 64 34 31 30 34 dd9040da692d4104
00a0: 31 32 62 33 66 20 78 0a 46 20 6d 61 70 73 2f 31 12b3f x.F maps/1
00b0: 30 30 78 31 30 30 2e 6d 61 70 20 35 62 65 61 66 00x100.map 5beaf
00c0: 36 66 61 64 34 31 34 33 38 33 30 31 62 38 61 64 6fad41438301b8ad
00d0: 39 65 61 30 31 65 61 36 63 34 36 63 34 66 31 37 9ea01ea6c46c4f17
00e0: 66 38 31 0a 46 20 6d 61 70 73 2f 62 65 61 72 64 f81.F maps/beard
00f0: 31 2e 6d 61 70 20 62 62 36 39 32 36 37 39 33 61 1.map bb6926793a
0100: 35 31 33 31 31 61 34 39 35 35 37 31 36 37 37 61 51311a495571677a
0110: 30 31 61 38 62 34 62 35 38 66 63 31 38 30 0a 46 01a8b4b58fc180.F
0120: 20 6d 61 70 73 2f 62 65 61 72 64 32 2e 6d 61 70 maps/beard2.map
0130: 20 32 65 39 34 32 30 30 39 63 38 39 37 31 37 64 2e942009c89717d
0140: 37 35 38 31 62 62 30 37 34 39 38 38 32 35 63 61 7581bb07498825ca
0150: 36 35 39 37 35 64 36 39 38 0a 46 20 6d 61 70 73 65975d698.F maps
0160: 2f 62 65 61 72 64 33 2e 6d 61 70 20 31 64 63 61 /beard3.map 1dca
0170: 62 33 34 30 34 39 33 38 35 37 64 30 30 39 32 38 b340493857d00928
0180: 63 36 31 39 34 39 30 63 39 65 30 64 36 37 35 30 c619490c9e0d6750
0190: 31 62 66 33 0a 46 20 6d 61 70 73 2f 62 65 61 72 1bf3.F maps/bear
01a0: 64 34 2e 6d 61 70 20 62 36 32 39 36 37 65 62 34 d4.map b62967eb4
01b0: 37 61 35 66 35 30 37 30 30 34 37 66 37 39 36 66 7a5f5070047f796f
01c0: 30 37 32 34 62 61 31 65 32 61 66 33 64 38 32 0a 0724ba1e2af3d82.
01d0: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 31 2e F maps/contest1.
01e0: 6d 61 70 20 65 66 32 31 66 35 39 64 30 37 32 62 map ef21f59d072b
01f0: 64 65 65 65 38 66 39 36 33 39 37 36 63 39 30 66 deee8f963976c90f
0200: 33 66 32 62 31 64 37 63 63 39 39 65 0a 46 20 6d 3f2b1d7cc99e.F m
0210: 61 70 73 2f 63 6f 6e 74 65 73 74 31 30 2e 6d 61 aps/contest10.ma
0220: 70 20 64 30 37 37 36 32 31 38 33 62 33 65 61 33 p d07762183b3ea3
0230: 65 34 39 31 33 36 34 64 66 39 35 32 62 35 36 64 e491364df952b56d
0240: 38 30 36 35 61 37 34 62 33 30 0a 46 20 6d 61 70 8065a74b30.F map
0250: 73 2f 63 6f 6e 74 65 73 74 32 2e 6d 61 70 20 36 s/contest2.map 6
0260: 61 61 33 37 33 37 65 34 37 39 39 35 30 63 61 63 aa3737e479950cac
0270: 37 63 61 36 65 63 62 37 31 38 37 30 61 32 38 31 7ca6ecb71870a281
0280: 32 63 34 64 35 39 32 0a 46 20 6d 61 70 73 2f 63 2c4d592.F maps/c
0290: 6f 6e 74 65 73 74 33 2e 6d 61 70 20 65 36 39 62 ontest3.map e69b
02a0: 33 32 65 35 66 35 35 63 63 33 31 31 62 64 34 33 32e5f55cc311bd43
02b0: 36 31 36 36 63 38 31 66 37 38 64 30 35 30 37 65 6166c81f78d0507e
02c0: 38 39 33 62 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 893b.F maps/cont
02d0: 65 73 74 34 2e 6d 61 70 20 65 35 31 64 66 33 32 est4.map e51df32
02e0: 39 36 61 35 32 31 30 37 30 32 66 62 65 62 37 37 96a5210702fbeb77
02f0: 64 35 39 30 30 37 64 39 61 35 62 61 66 65 61 36 d59007d9a5bafea6
0300: 64 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 d.F maps/contest
0310: 35 2e 6d 61 70 20 30 36 65 65 66 31 30 65 66 62 5.map 06eef10efb
0320: 35 39 37 32 35 39 64 33 35 62 31 30 35 38 32 64 597259d35b10582d
0330: 30 62 39 34 32 61 34 63 62 32 36 30 37 31 0a 46 0b942a4cb26071.F
0340: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 36 2e 6d maps/contest6.m
0350: 61 70 20 37 36 31 38 39 33 63 32 65 64 64 38 39 ap 761893c2edd89
0360: 38 64 33 62 63 62 36 38 64 33 64 39 32 64 36 32 8d3bcb68d3d92d62
0370: 61 37 66 66 64 36 62 62 65 30 34 0a 46 20 6d 61 a7ffd6bbe04.F ma
0380: 70 73 2f 63 6f 6e 74 65 73 74 37 2e 6d 61 70 20 ps/contest7.map
0390: 65 39 63 65 39 35 35 38 37 33 65 65 61 32 63 61 e9ce955873eea2ca
03a0: 63 31 30 66 66 33 33 39 64 65 62 66 35 39 38 30 c10ff339debf5980
03b0: 65 31 35 31 64 38 65 61 0a 46 20 6d 61 70 73 2f e151d8ea.F maps/
03c0: 63 6f 6e 74 65 73 74 38 2e 6d 61 70 20 61 33 35 contest8.map a35
03d0: 64 66 61 32 39 34 35 38 39 64 61 35 37 37 39 39 dfa294589da57799
03e0: 30 36 32 31 34 36 61 38 39 38 31 37 38 32 30 61 062146a89817820a
03f0: 61 37 38 31 33 0a 46 20 6d 61 70 73 2f 63 6f 6e a7813.F maps/con
0400: 74 65 73 74 39 2e 6d 61 70 20 63 61 33 62 61 36 test9.map ca3ba6
0410: 65 31 32 61 33 62 32 37 62 62 35 63 66 39 61 34 e12a3b27bb5cf9a4
0420: 30 39 36 30 39 62 37 33 62 31 30 35 37 66 32 36 09609b73b1057f26
0430: 61 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 31 a3.F maps/flood1
0440: 2e 6d 61 70 20 31 33 65 36 33 35 36 63 30 33 32 .map 13e6356c032
0450: 30 63 35 61 30 31 64 33 36 37 31 35 62 33 31 65 0c5a01d36715b31e
0460: 66 61 39 32 34 63 38 34 31 63 61 64 65 0a 46 20 fa924c841cade.F
0470: 6d 61 70 73 2f 66 6c 6f 6f 64 32 2e 6d 61 70 20 maps/flood2.map
0480: 65 66 63 33 61 38 62 36 30 61 66 34 65 35 37 34 efc3a8b60af4e574
0490: 65 38 32 66 34 64 65 33 32 30 37 66 37 32 37 37 e82f4de3207f7277
04a0: 31 35 66 66 36 66 61 31 0a 46 20 6d 61 70 73 2f 15ff6fa1.F maps/
04b0: 66 6c 6f 6f 64 33 2e 6d 61 70 20 30 65 36 39 31 flood3.map 0e691
04c0: 30 36 62 64 31 33 35 35 30 35 33 66 34 66 66 61 06bd1355053f4ffa
04d0: 35 35 32 31 63 62 62 62 64 30 33 33 32 36 31 30 5521cbbbd0332610
04e0: 63 62 65 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 cbe.F maps/flood
04f0: 34 2e 6d 61 70 20 63 39 63 39 37 64 63 31 61 33 4.map c9c97dc1a3
0500: 66 37 38 30 66 38 61 31 66 63 35 63 30 64 31 63 f780f8a1fc5c0d1c
0510: 30 38 34 39 39 62 33 66 30 38 35 38 32 33 0a 46 08499b3f085823.F
0520: 20 6d 61 70 73 2f 66 6c 6f 6f 64 35 2e 6d 61 70 maps/flood5.map
0530: 20 63 31 32 36 63 66 61 39 33 39 38 33 34 38 31 c126cfa93983481
0540: 39 34 65 34 34 35 30 33 36 34 36 61 64 62 37 62 94e44503646adb7b
0550: 63 30 63 62 35 38 66 37 35 0a 46 20 6d 61 70 73 c0cb58f75.F maps
0560: 2f 66 75 6e 31 2e 6d 61 70 20 32 66 37 66 38 37 /fun1.map 2f7f87
0570: 61 34 64 30 32 63 36 34 34 38 61 61 37 31 38 62 a4d02c6448aa718b
0580: 37 33 36 64 36 32 33 31 62 36 36 64 66 65 61 35 736d6231b66dfea5
0590: 38 61 0a 46 20 6d 61 70 73 2f 74 65 73 74 31 2e 8a.F maps/test1.
05a0: 6d 61 70 20 62 39 61 34 38 64 38 32 64 36 34 64 map b9a48d82d64d
05b0: 65 39 31 62 36 34 64 64 32 37 39 38 37 35 66 32 e91b64dd279875f2
05c0: 33 64 35 30 61 39 32 62 64 66 35 38 0a 46 20 6d 3d50a92bdf58.F m
05d0: 61 70 73 2f 74 72 61 6d 70 6f 6c 69 6e 65 31 2e aps/trampoline1.
05e0: 6d 61 70 20 35 61 66 36 39 37 63 30 30 30 33 64 map 5af697c0003d
05f0: 35 35 31 36 63 38 62 30 39 61 66 64 36 63 32 65 5516c8b09afd6c2e
0600: 62 64 64 32 30 39 66 38 66 64 64 36 0a 46 20 6d bdd209f8fdd6.F m
0610: 61 70 73 2f 74 72 61 6d 70 6f 6c 69 6e 65 32 2e aps/trampoline2.
0620: 6d 61 70 20 32 38 38 66 39 64 30 35 35 63 32 37 map 288f9d055c27
0630: 37 37 66 61 64 36 39 61 32 65 65 32 32 62 37 33 77fad69a2ee22b73
0640: 32 65 31 39 38 33 30 39 36 39 38 64 0a 46 20 6d 2e198309698d.F m
0650: 61 70 73 2f 74 72 61 6d 70 6f 6c 69 6e 65 33 2e aps/trampoline3.
0660: 6d 61 70 20 37 66 63 66 39 30 63 31 63 61 33 37 map 7fcf90c1ca37
0670: 33 63 34 31 37 66 31 64 66 34 65 61 38 38 38 32 3c417f1df4ea8882
0680: 31 62 37 63 34 63 30 30 61 63 32 35 0a 46 20 73 1b7c4c00ac25.F s
0690: 63 6f 72 65 5f 6d 65 6d 6f 2e 74 78 74 20 32 32 core_memo.txt 22
06a0: 61 62 33 65 65 65 32 39 36 61 35 30 35 63 37 32 ab3eee296a505c72
06b0: 66 38 30 61 62 63 39 61 65 66 38 61 36 38 38 32 f80abc9aef8a6882
06c0: 66 62 65 65 39 39 0a 46 20 73 72 63 2f 63 75 69 fbee99.F src/cui
06d0: 5f 61 75 74 6f 5f 6d 61 69 6e 2e 64 20 62 33 38 _auto_main.d b38
06e0: 64 36 30 65 61 33 39 64 31 31 65 36 65 62 38 38 d60ea39d11e6eb88
06f0: 30 63 66 39 31 65 37 33 33 65 64 33 35 66 63 32 0cf91e733ed35fc2
0700: 62 37 64 36 33 0a 46 20 73 72 63 2f 67 61 6d 65 b7d63.F src/game
0710: 2e 64 20 35 64 36 62 34 35 63 31 35 39 65 31 32 .d 5d6b45c159e12
0720: 35 64 62 38 36 38 64 33 33 39 66 31 62 64 30 36 5db868d339f1bd06
0730: 61 65 30 36 31 64 63 37 37 31 61 0a 46 20 73 72 ae061dc771a.F sr
0740: 63 2f 67 75 69 2e 64 20 62 30 37 31 62 34 34 36 c/gui.d b071b446
0750: 66 36 65 38 33 34 62 39 38 62 63 33 62 35 30 38 f6e834b98bc3b508
0760: 66 63 32 38 66 32 30 61 30 39 32 35 37 35 31 33 fc28f20a09257513
0770: 0a 46 20 73 72 63 2f 67 75 69 5f 6d 61 69 6e 2e .F src/gui_main.
0780: 64 20 30 35 30 38 32 64 30 66 33 32 38 64 37 35 d 05082d0f328d75
0790: 36 63 35 64 32 34 37 66 35 38 37 32 35 37 31 32 6c5d247f58725712
07a0: 33 37 37 38 65 65 37 66 61 37 0a 46 20 73 72 63 3778ee7fa7.F src
07b0: 2f 6f 75 74 70 75 74 2e 64 20 36 32 65 36 30 34 /output.d 62e604
07c0: 30 37 31 34 34 33 38 65 66 66 31 32 37 34 36 34 0714438eff127464
07d0: 35 36 66 39 35 35 35 39 30 31 63 31 30 65 35 31 56f9555901c10e51
07e0: 64 31 0a 46 20 73 72 63 2f 73 6f 6c 76 65 72 2e d1.F src/solver.
07f0: 64 20 63 61 62 63 37 64 33 36 31 62 61 61 34 66 d cabc7d361baa4f
0800: 35 61 33 39 37 64 34 31 65 66 36 36 33 31 33 35 5a397d41ef663135
0810: 31 63 61 35 62 63 61 35 38 65 0a 46 20 73 72 63 1ca5bca58e.F src
0820: 2f 75 74 69 6c 2e 64 20 30 36 36 35 39 37 30 62 /util.d 0665970b
0830: 34 37 62 61 36 33 65 64 62 31 66 36 32 64 32 38 47ba63edb1f62d28
0840: 66 33 37 36 33 66 62 31 31 32 36 64 32 63 31 62 f3763fb1126d2c1b
0850: 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 50 41 .F submission/PA
0860: 43 4b 41 47 45 53 20 64 61 33 39 61 33 65 65 35 CKAGES da39a3ee5
0870: 65 36 62 34 62 30 64 33 32 35 35 62 66 65 66 39 e6b4b0d3255bfef9
0880: 35 36 30 31 38 39 30 61 66 64 38 30 37 30 39 0a 5601890afd80709.
0890: 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 52 45 41 F submission/REA
08a0: 44 4d 45 20 39 63 65 30 36 33 38 35 35 66 34 31 DME 9ce063855f41
08b0: 66 66 30 35 38 61 37 64 63 64 36 39 30 33 38 36 ff058a7dcd690386
08c0: 35 66 30 33 64 33 65 37 35 65 61 63 0a 46 20 73 5f03d3e75eac.F s
08d0: 75 62 6d 69 73 73 69 6f 6e 2f 69 6e 73 74 61 6c ubmission/instal
08e0: 6c 20 62 65 37 37 36 62 63 66 62 63 31 33 66 63 l be776bcfbc13fc
08f0: 62 66 63 34 61 61 65 61 39 37 39 66 37 65 34 64 bfc4aaea979f7e4d
0900: 39 37 38 66 61 37 32 66 37 61 20 78 0a 46 20 73 978fa72f7a x.F s
0910: 75 62 6d 69 73 73 69 6f 6e 2f 6c 69 66 74 65 72 ubmission/lifter
0920: 20 35 31 30 33 66 35 35 66 35 33 32 33 66 62 33 5103f55f5323fb3
0930: 66 65 63 32 65 65 62 37 62 31 38 66 66 32 34 30 fec2eeb7b18ff240
0940: 66 65 33 33 36 38 63 31 34 20 78 0a 50 20 33 61 fe3368c14 x.P 3a
0950: 30 38 65 35 32 38 65 37 31 65 65 38 37 32 66 31 08e528e71ee872f1
0960: 30 66 61 65 31 34 33 32 38 65 66 63 33 65 32 37 0fae14328efc3e27
0970: 36 36 34 38 30 63 0a 52 20 62 39 35 39 37 35 36 66480c.R b959756
0980: 37 31 63 32 33 62 62 39 39 36 32 61 30 30 39 63 71c23bb9962a009c
0990: 32 36 62 39 33 30 63 64 35 0a 55 20 6b 69 6e 61 26b930cd5.U kina
09a0: 62 61 0a 5a 20 63 66 62 65 33 66 39 37 35 31 63 ba.Z cfbe3f9751c
09b0: 33 62 66 30 64 35 65 65 31 34 38 65 32 61 30 35 3bf0d5ee148e2a05
09c0: 39 32 39 66 30 0a 929f0.