Artifact 901abf2f53458f8ce54eaf4c4ec031317d117183:
Manifest of check-in
[901abf2f53]
- optimized multiple lambda target.
by
kinaba on
2012-07-14 15:43:48.
0000: 43 20 6f 70 74 69 6d 69 7a 65 64 5c 73 6d 75 6c C optimized\smul
0010: 74 69 70 6c 65 5c 73 6c 61 6d 62 64 61 5c 73 74 tiple\slambda\st
0020: 61 72 67 65 74 2e 0a 44 20 32 30 31 32 2d 30 37 arget..D 2012-07
0030: 2d 31 34 54 31 35 3a 34 33 3a 34 38 2e 32 39 31 -14T15:43:48.291
0040: 0a 46 20 69 63 66 70 2d 39 36 35 33 33 36 33 32 .F icfp-96533632
0050: 2e 74 67 7a 20 39 34 33 33 32 39 63 33 30 30 37 .tgz 943329c3007
0060: 32 39 38 39 66 39 37 33 61 66 36 35 39 32 61 36 2989f973af6592a6
0070: 35 63 30 62 37 62 66 61 31 64 39 62 64 0a 46 20 5c0b7bfa1d9bd.F
0080: 6d 61 6b 65 2d 73 75 62 6d 69 73 73 69 6f 6e 20 make-submission
0090: 62 64 37 61 39 31 31 63 31 34 31 61 65 35 34 34 bd7a911c141ae544
00a0: 64 65 36 64 64 39 30 34 30 64 61 36 39 32 64 34 de6dd9040da692d4
00b0: 31 30 34 31 32 62 33 66 20 78 0a 46 20 6d 61 70 10412b3f x.F map
00c0: 73 2f 63 6f 6e 74 65 73 74 31 2e 6d 61 70 20 65 s/contest1.map e
00d0: 66 32 31 66 35 39 64 30 37 32 62 64 65 65 65 38 f21f59d072bdeee8
00e0: 66 39 36 33 39 37 36 63 39 30 66 33 66 32 62 31 f963976c90f3f2b1
00f0: 64 37 63 63 39 39 65 0a 46 20 6d 61 70 73 2f 63 d7cc99e.F maps/c
0100: 6f 6e 74 65 73 74 31 30 2e 6d 61 70 20 64 30 37 ontest10.map d07
0110: 37 36 32 31 38 33 62 33 65 61 33 65 34 39 31 33 762183b3ea3e4913
0120: 36 34 64 66 39 35 32 62 35 36 64 38 30 36 35 61 64df952b56d8065a
0130: 37 34 62 33 30 0a 46 20 6d 61 70 73 2f 63 6f 6e 74b30.F maps/con
0140: 74 65 73 74 32 2e 6d 61 70 20 36 61 61 33 37 33 test2.map 6aa373
0150: 37 65 34 37 39 39 35 30 63 61 63 37 63 61 36 65 7e479950cac7ca6e
0160: 63 62 37 31 38 37 30 61 32 38 31 32 63 34 64 35 cb71870a2812c4d5
0170: 39 32 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 92.F maps/contes
0180: 74 33 2e 6d 61 70 20 65 36 39 62 33 32 65 35 66 t3.map e69b32e5f
0190: 35 35 63 63 33 31 31 62 64 34 33 36 31 36 36 63 55cc311bd436166c
01a0: 38 31 66 37 38 64 30 35 30 37 65 38 39 33 62 0a 81f78d0507e893b.
01b0: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 34 2e F maps/contest4.
01c0: 6d 61 70 20 65 35 31 64 66 33 32 39 36 61 35 32 map e51df3296a52
01d0: 31 30 37 30 32 66 62 65 62 37 37 64 35 39 30 30 10702fbeb77d5900
01e0: 37 64 39 61 35 62 61 66 65 61 36 64 0a 46 20 6d 7d9a5bafea6d.F m
01f0: 61 70 73 2f 63 6f 6e 74 65 73 74 35 2e 6d 61 70 aps/contest5.map
0200: 20 30 36 65 65 66 31 30 65 66 62 35 39 37 32 35 06eef10efb59725
0210: 39 64 33 35 62 31 30 35 38 32 64 30 62 39 34 32 9d35b10582d0b942
0220: 61 34 63 62 32 36 30 37 31 0a 46 20 6d 61 70 73 a4cb26071.F maps
0230: 2f 63 6f 6e 74 65 73 74 36 2e 6d 61 70 20 37 36 /contest6.map 76
0240: 31 38 39 33 63 32 65 64 64 38 39 38 64 33 62 63 1893c2edd898d3bc
0250: 62 36 38 64 33 64 39 32 64 36 32 61 37 66 66 64 b68d3d92d62a7ffd
0260: 36 62 62 65 30 34 0a 46 20 6d 61 70 73 2f 63 6f 6bbe04.F maps/co
0270: 6e 74 65 73 74 37 2e 6d 61 70 20 65 39 63 65 39 ntest7.map e9ce9
0280: 35 35 38 37 33 65 65 61 32 63 61 63 31 30 66 66 55873eea2cac10ff
0290: 33 33 39 64 65 62 66 35 39 38 30 65 31 35 31 64 339debf5980e151d
02a0: 38 65 61 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 8ea.F maps/conte
02b0: 73 74 38 2e 6d 61 70 20 61 33 35 64 66 61 32 39 st8.map a35dfa29
02c0: 34 35 38 39 64 61 35 37 37 39 39 30 36 32 31 34 4589da5779906214
02d0: 36 61 38 39 38 31 37 38 32 30 61 61 37 38 31 33 6a89817820aa7813
02e0: 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 39 .F maps/contest9
02f0: 2e 6d 61 70 20 63 61 33 62 61 36 65 31 32 61 33 .map ca3ba6e12a3
0300: 62 32 37 62 62 35 63 66 39 61 34 30 39 36 30 39 b27bb5cf9a409609
0310: 62 37 33 62 31 30 35 37 66 32 36 61 33 0a 46 20 b73b1057f26a3.F
0320: 6d 61 70 73 2f 66 6c 6f 6f 64 31 2e 6d 61 70 20 maps/flood1.map
0330: 31 33 65 36 33 35 36 63 30 33 32 30 63 35 61 30 13e6356c0320c5a0
0340: 31 64 33 36 37 31 35 62 33 31 65 66 61 39 32 34 1d36715b31efa924
0350: 63 38 34 31 63 61 64 65 0a 46 20 6d 61 70 73 2f c841cade.F maps/
0360: 66 6c 6f 6f 64 32 2e 6d 61 70 20 65 66 63 33 61 flood2.map efc3a
0370: 38 62 36 30 61 66 34 65 35 37 34 65 38 32 66 34 8b60af4e574e82f4
0380: 64 65 33 32 30 37 66 37 32 37 37 31 35 66 66 36 de3207f727715ff6
0390: 66 61 31 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 fa1.F maps/flood
03a0: 33 2e 6d 61 70 20 30 65 36 39 31 30 36 62 64 31 3.map 0e69106bd1
03b0: 33 35 35 30 35 33 66 34 66 66 61 35 35 32 31 63 355053f4ffa5521c
03c0: 62 62 62 64 30 33 33 32 36 31 30 63 62 65 0a 46 bbbd0332610cbe.F
03d0: 20 6d 61 70 73 2f 66 6c 6f 6f 64 34 2e 6d 61 70 maps/flood4.map
03e0: 20 63 39 63 39 37 64 63 31 61 33 66 37 38 30 66 c9c97dc1a3f780f
03f0: 38 61 31 66 63 35 63 30 64 31 63 30 38 34 39 39 8a1fc5c0d1c08499
0400: 62 33 66 30 38 35 38 32 33 0a 46 20 6d 61 70 73 b3f085823.F maps
0410: 2f 66 6c 6f 6f 64 35 2e 6d 61 70 20 63 31 32 36 /flood5.map c126
0420: 63 66 61 39 33 39 38 33 34 38 31 39 34 65 34 34 cfa9398348194e44
0430: 35 30 33 36 34 36 61 64 62 37 62 63 30 63 62 35 503646adb7bc0cb5
0440: 38 66 37 35 0a 46 20 6d 61 70 73 2f 66 75 6e 31 8f75.F maps/fun1
0450: 2e 6d 61 70 20 32 66 37 66 38 37 61 34 64 30 32 .map 2f7f87a4d02
0460: 63 36 34 34 38 61 61 37 31 38 62 37 33 36 64 36 c6448aa718b736d6
0470: 32 33 31 62 36 36 64 66 65 61 35 38 61 0a 46 20 231b66dfea58a.F
0480: 6d 61 70 73 2f 74 65 73 74 31 2e 6d 61 70 20 62 maps/test1.map b
0490: 39 61 34 38 64 38 32 64 36 34 64 65 39 31 62 36 9a48d82d64de91b6
04a0: 34 64 64 32 37 39 38 37 35 66 32 33 64 35 30 61 4dd279875f23d50a
04b0: 39 32 62 64 66 35 38 0a 46 20 73 72 63 2f 63 75 92bdf58.F src/cu
04c0: 69 5f 61 75 74 6f 5f 6d 61 69 6e 2e 64 20 38 38 i_auto_main.d 88
04d0: 34 34 62 62 30 37 61 30 30 31 38 38 63 35 33 37 44bb07a00188c537
04e0: 64 66 38 63 38 38 64 32 31 61 65 64 32 30 33 34 df8c88d21aed2034
04f0: 31 37 62 32 62 36 0a 46 20 73 72 63 2f 67 61 6d 17b2b6.F src/gam
0500: 65 2e 64 20 33 62 61 61 62 30 64 64 66 31 31 63 e.d 3baab0ddf11c
0510: 63 61 37 64 34 64 33 65 65 34 64 38 37 66 36 63 ca7d4d3ee4d87f6c
0520: 39 63 37 37 33 39 34 39 61 38 66 66 0a 46 20 73 9c773949a8ff.F s
0530: 72 63 2f 67 75 69 2e 64 20 65 31 38 35 66 66 33 rc/gui.d e185ff3
0540: 32 38 31 64 39 35 37 33 38 39 35 32 31 32 31 34 281d957389521214
0550: 35 62 63 33 61 38 33 33 31 39 38 35 37 34 38 65 5bc3a8331985748e
0560: 33 0a 46 20 73 72 63 2f 67 75 69 5f 6d 61 69 6e 3.F src/gui_main
0570: 2e 64 20 34 39 66 31 36 37 35 33 33 32 30 36 31 .d 49f1675332061
0580: 33 62 38 34 35 31 34 37 61 61 66 34 36 38 35 65 3b845147aaf4685e
0590: 66 31 38 35 34 30 38 30 32 62 32 0a 46 20 73 72 f18540802b2.F sr
05a0: 63 2f 6f 75 74 70 75 74 2e 64 20 36 32 65 36 30 c/output.d 62e60
05b0: 34 30 37 31 34 34 33 38 65 66 66 31 32 37 34 36 40714438eff12746
05c0: 34 35 36 66 39 35 35 35 39 30 31 63 31 30 65 35 456f9555901c10e5
05d0: 31 64 31 0a 46 20 73 72 63 2f 73 6f 6c 76 65 72 1d1.F src/solver
05e0: 2e 64 20 34 66 34 31 33 65 64 34 66 35 30 38 38 .d 4f413ed4f5088
05f0: 61 65 63 66 62 63 33 37 32 65 65 64 66 30 35 61 aecfbc372eedf05a
0600: 61 66 65 37 34 34 33 65 65 35 34 0a 46 20 73 72 afe7443ee54.F sr
0610: 63 2f 75 74 69 6c 2e 64 20 37 38 33 35 35 34 62 c/util.d 783554b
0620: 66 36 36 37 34 31 32 65 64 36 66 38 32 61 37 39 f667412ed6f82a79
0630: 34 33 37 38 31 36 30 64 31 66 31 31 32 64 37 32 4378160d1f112d72
0640: 61 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 50 a.F submission/P
0650: 41 43 4b 41 47 45 53 20 64 61 33 39 61 33 65 65 ACKAGES da39a3ee
0660: 35 65 36 62 34 62 30 64 33 32 35 35 62 66 65 66 5e6b4b0d3255bfef
0670: 39 35 36 30 31 38 39 30 61 66 64 38 30 37 30 39 95601890afd80709
0680: 0a 46 20 73 75 62 6d 69 73 73 69 6f 6e 2f 52 45 .F submission/RE
0690: 41 44 4d 45 20 39 63 65 30 36 33 38 35 35 66 34 ADME 9ce063855f4
06a0: 31 66 66 30 35 38 61 37 64 63 64 36 39 30 33 38 1ff058a7dcd69038
06b0: 36 35 66 30 33 64 33 65 37 35 65 61 63 0a 46 20 65f03d3e75eac.F
06c0: 73 75 62 6d 69 73 73 69 6f 6e 2f 69 6e 73 74 61 submission/insta
06d0: 6c 6c 20 62 65 37 37 36 62 63 66 62 63 31 33 66 ll be776bcfbc13f
06e0: 63 62 66 63 34 61 61 65 61 39 37 39 66 37 65 34 cbfc4aaea979f7e4
06f0: 64 39 37 38 66 61 37 32 66 37 61 20 78 0a 46 20 d978fa72f7a x.F
0700: 73 75 62 6d 69 73 73 69 6f 6e 2f 6c 69 66 74 65 submission/lifte
0710: 72 20 35 31 30 33 66 35 35 66 35 33 32 33 66 62 r 5103f55f5323fb
0720: 33 66 65 63 32 65 65 62 37 62 31 38 66 66 32 34 3fec2eeb7b18ff24
0730: 30 66 65 33 33 36 38 63 31 34 20 78 0a 50 20 63 0fe3368c14 x.P c
0740: 37 34 33 62 38 31 37 62 37 66 64 36 61 65 61 37 743b817b7fd6aea7
0750: 39 37 63 36 63 33 30 36 64 64 33 32 36 31 39 37 97c6c306dd326197
0760: 30 30 37 39 39 65 62 0a 52 20 32 38 66 62 30 38 00799eb.R 28fb08
0770: 32 39 31 36 38 66 38 62 38 30 62 66 63 37 36 30 29168f8b80bfc760
0780: 64 37 66 33 34 61 37 63 35 66 0a 55 20 6b 69 6e d7f34a7c5f.U kin
0790: 61 62 61 0a 5a 20 33 62 33 38 30 31 66 39 62 61 aba.Z 3b3801f9ba
07a0: 36 65 65 30 62 31 62 35 64 61 37 39 34 34 31 64 6ee0b1b5da79441d
07b0: 38 65 35 39 66 39 0a 8e59f9.