Contest Results, second round

Teams in competition

There are 54 teams and 57 competing programs [and 26 non-competing programs]. Lightning entries are emphasized, non-competing entries are [bracketed]. Non-competing entries are superseded by other entries of the same team, or submitted after the deadline.

152 Survivors

Wheeler's Wacky Search in ocaml (044), Heuristic search with space merging in ocaml (096), Wheeler's Wacky Search in ocaml (117) [Heuristic search with space merging (not a resubmission because this is not a lightning entry) in ocaml (087)]

[b8] clan

b8_short in ocaml (051), runme in ocaml (140)

A dada sur mon Caml

i_do_not_do_much_but_i_work_mmmm_i_hope_so in ocaml (053)

akr

dpopt in ocaml (039)

Ben Lynn

slow in eiffel (029) [slow in eiffel (022)]

BL

[smls in haskell (059)]

BlobMakers

ElegantBlob in c (177) [ElegantBlob in c (166)]

Blue Avengers

Erlightning in erlang (024)

Blue emacs

lextest.cc in c++ (222) [lextest.cc in c++ (181)]

Brown Bird Software

Jay in c (160)

Brownian Code Motion

Brown in scheme (093)

Busy weekend

./runme in mercury (242)

chicha-masato

runme in ocaml (036), op2 in ocaml (197)

Colleen Haskell

Fast Entry in python (060)

Coq in Stock

Coq2 in ocaml (243)

CS

NCNH in c (046)

Danjer

chartreuse in ocaml (149)

demoncrat

haste in c (231) [haste in c (217), haste in c (228)]

dqd

press in c (109)

Dylan Hackers

Beam Search in dylan (237), Dylan Lightning in dylan (248), Dylan Hackers in dylan (249)

Eeniac

ReMarkToo in c++ (186) [ReMarkToo in c++ (153)]

Equipe-de-merd

Bourin in ocaml (247)

Exo-Plugarite Zulanga

mltong-lightning in sml (052), mltong in sml (208) [mltong in sml (148)]

Functional Beer

SML/NG Optimizer 3000, Iron Chef Style in haskell (110) [SML/NG Optimizer 3000, Iron Chef Style in haskell (095)]

Funktion im Kopf der Mensch

trender in ocaml (238) [trender in ocaml (257)]

Hanno

[lambda-for-ever in haskell (069)]

Haskell Carrots

LALR(5000000) in haskell (121)

HeavyMetal

[Exhaustion in mercury (263)]

hireus

Split Lips' Lists in common lisp (141)

jcf

jcf in ocaml (080)

Jeremy Sawicki

Big Hack in c++ (204) [Big Hack in c++ (098)]

judges

[Bob in ocaml (259), Planar in ocaml (260)]

KABA

kabax in xduce (198)

Les Lampions

lighter in ocaml (194)

Masch Tech

[MT_SML in c (254)]

MEMS Exchange Software Group

Smiley in python (161) [Smiley in python (082)]

Nederwiet

Treebeard in haskell (101)

PU SML Hackers

SML/NJ-L in sml (031), SML/NJ Version in sml (196) [MLton-L in sml (032), MLton Version in sml (200)]

sh-loverz

cheapnulloptimizer in shell (218)

Snowstorm

Stackblaster in cyclone (131) [Prariedog in cyclone (130)]

Some Crazy Kid

WFO (World's Fastest Optimizer) in c (042)

SpaceEater

SpaceEater in false (159) [SpaceEater in false (063)]

Stupid's

Id in shell (002)

Team #python

All Your Whitespace Are Belong To Us in python (184)

Team Alcea

Compression Rook in java (092) [SNMLightning in java (005)]

Team Bozo

icat in intercal (015)

Tycon Mismatch

(\x.x) in sml (167)

U-Tokyo Xis

XIS-LD in ocaml (047)

UNSW Express

unsw891 in java (241) [UNSW891 in java (094), UNSW891 in java (133)]

unuclear

unuclear in ocaml (145) [unuclear in ocaml (079)]

Watt

watt in common lisp (193)

weekday

weekday in c++ (086)

Will Code for Food

Nasty Deterministic Hack in ocaml (008)

yampo

yampo in python (123)

Results

Results are presented in the following table. There is one row per program and one column per input. Lightning entries are emphasized and the rows non-competing programs have a darker background.

One cell gives the result of a given program on a given input.

• When the program passes the test, the cell shows the improvement on size (and rank) and the wall-clock running time. In case no compression is acheived (cat behavior), the cell has a yellow background.
• The program may not pass the test for various reasons. In all cases the program is eliminated.
  • Output is not equivalent to input. Then, the cell shows ``Bug'' and includes three pointers, to validator output, program standard output and program standard error.
  • The program does not terminate before the end of allotted time. Then, the cell shows ``Timeout''.
  • The program produces an output bigger than its input. Then the cell backgroud is orange.
• Programs that failed once according to the above rules are eliminated. We did not test eliminated programs any further. As a consequence, some cells are empty.

Elimination

0 [0] programs are eliminated.

57 [26] programs are still correct.

002, [005], 008, 015, [022], 024, 029, 031, [032], 036, 039, 042, 044, 046, 047, 051, 052, 053, [059], 060, [063], [069], [079], 080, [082], 086, [087], 092, 093, [094], [095], 096, [098], 101, 109, 110, 117, 121, 123, [130], 131, [133], 140, 141, 145, [148], 149, [153], 159, 160, 161, [166], 167, 177, [181], 184, 186, 193, 194, 196, 197, 198, [200], 204, 208, [217], 218, 222, [228], 231, 237, 238, 241, 242, 243, 247, 248, 249, [254], [257], [259], [260], [263]

Ranks

Ranks for all examples are shown below. The rank of a program is defined as the number of in-contest programs that produce shorter output, plus one. Progams that fail on some example are not ranked.

Results are given as rank (improvement) programs.

hand

1 (1004): [098], 204; 2 (991): 247; 3 (958): 249; 4 (942): 121; 5 (866): [153], 186, [263]; 6 (783): [166], 177; 7 (762): 140; 8 (754): 208; 9 (710): 167, [259]; 10 (666): [148], 238, [254], [257]; 11 (650): [079], 145; 12 (620): 149; 13 (617): [130], 131; 14 (594): 196, [200], [260]; 15 (577): 117; 16 (545): 243; 17 (543): 237; 18 (538): 109; 19 (529): 029; 20 (487): [022], 024; 21 (486): [181], 222; 22 (476): 161; 23 (465): [094], [133], 241; 24 (455): 101; 25 (443): 194; 26 (424): [082], 184; 27 (415): 248; 28 (385): 096; 29 (380): [095], 110; 30 (344): 080, [087]; 31 (342): 093; 32 (324): 044; 33 (296): 052; 34 (279): 198; 35 (240): [069], 242; 36 (237): 086; 37 (226): 051; 38 (219): 046; 39 (209): 193; 40 (191): 197; 41 (184): 141; 42 (176): [217], [228], 231; 43 (163): 092; 44 (128): [005], 160; 45 (100): 036; 46 (77): 053, [059]; 47 (47): 031, [032], 047, [063], 159; 50 (0): 002, 008, 015, 039, 042, 060, 123, 218;

icfp2000

1 (7711): 249; 2 (7704): 247; 3 (7671): 145; 4 (7619): [079], 204; 5 (7121): [098], 121; 6 (6924): [166], 177; 7 (6863): 167; 8 (6835): 140; 9 (6828): 238, [257]; 10 (6691): 237, [254], [260]; 11 (6616): 008; 12 (6555): 248, [263]; 13 (6485): 117, [259]; 14 (6457): 243; 15 (6401): [153], 186; 16 (6240): 184; 17 (6191): 109; 18 (6077): [148], 208; 19 (6059): 194; 20 (6023): [130], 131; 21 (5958): 161; 22 (5873): 222; 23 (5852): 196, [200]; 24 (5825): 024, [181]; 25 (5811): 096; 26 (5774): 149; 27 (5644): [022], 029, [087]; 28 (5582): [095], 110; 29 (5542): 101; 30 (5466): 046, 198; 32 (5380): 086; 33 (5198): 052, [082], [094]; 34 (5167): 044; 35 (5159): 141; 36 (5105): 197; 37 (5042): 092; 38 (4876): [069], 160, 193; 40 (4821): [005], 051; 41 (4793): 242; 42 (4786): [133], 241; 43 (4518): 053; 44 (4375): 036; 45 (3437): [059], 093; 46 (2891): 047; 47 (2192): 031, [032], [063], 080, 159; 50 (1332): 039; 51 (1231): [217], [228], 231; 52 (0): 002, 015, 042, 060, 123, 218;

exhaustive

1 (1016633): 121; 2 (1007111): [166], 177, [254]; 3 (1007040): 140; 4 (1006714): 194; 5 (1005477): [079], 145; 6 (1002845): 117; 7 (1002046): 024, [263]; 8 (1001935): 208; 9 (999525): 237, 248, 249; 12 (995140): 238, [257]; 13 (994153): [095], 110; 14 (989241): [181], 184, [260]; 15 (988324): [130], 131; 16 (984323): [087], 096; 17 (984307): 044; 18 (981050): [153], 186; 19 (976399): 161; 20 (966812): [133], [148], 241; 21 (934567): [094], 222; 22 (934202): 109; 23 (930300): 243; 24 (929716): 167; 25 (920566): 080; 26 (908615): 149; 27 (712422): [082], [098], 204; 28 (625692): 093; 29 (369483): 047; 30 (368076): 051; 31 (335522): 029; 32 (241424): 101; 33 (227344): [217], [228], 231; 34 (223996): 196, [200]; 35 (106628): [022], 046, [069]; 36 (106610): 198; 37 (103795): 052; 38 (97307): 086; 39 (96706): 141; 40 (90644): 092; 41 (75458): 197; 42 (60268): 160; 43 (54677): 193; 44 (50346): [005], [059], 242; 45 (47583): 053; 46 (34231): 036; 47 (24309): 031, [032]; 48 (279): 039; 49 (0): 002, 008, 015, 042, 060, [063], 123, 159, 218, 247, [259];

validate-big

1 (53846): 121; 2 (53610): 249; 3 (51682): [166], 177; 4 (51389): 140; 5 (50128): 237; 6 (50033): 167; 7 (49191): [153], 186, [254], [260]; 8 (49030): 238, [257]; 9 (48989): 208; 10 (48732): 149; 11 (48703): 109; 12 (48636): 117; 13 (47666): [181], 248, [263]; 14 (46703): [148], 243; 15 (46327): 024; 16 (46288): 222; 17 (45796): 184; 18 (44686): 161; 19 (44651): 029; 20 (44517): 194; 21 (44354): 096; 22 (42715): [022], [095], 110; 23 (42556): 101; 24 (42284): 044, [087]; 25 (40843): 080; 26 (38645): [082], 198; 27 (38560): 052; 28 (37425): 046, [069]; 29 (35667): 086; 30 (34989): 197; 31 (34970): [098], 204; 32 (34067): 193; 33 (34015): 092; 34 (33372): 160; 35 (32719): 242; 36 (32452): 141; 37 (32271): [079], 145; 38 (32220): 051; 39 (31920): 196, [200]; 40 (31253): [217], [228], 231; 41 (27527): [005], 093; 42 (25604): 036; 43 (24758): 053; 44 (18614): 047, [059]; 45 (18249): 241; 46 (12141): 031, [032]; 47 (10521): [063], 159; 48 (10496): 039; 49 (0): 002, 008, 015, 042, 060, [094], 123, [130], 131, [133], 218, 247, [259];

validate-small

1 (16448): 121; 2 (15343): 140; 3 (14448): [166], 177; 4 (13306): 167; 5 (13054): 238, [257]; 6 (12853): 237; 7 (12815): 208; 8 (12567): [130], 131, [254]; 9 (11793): [153], 186, [260], [263]; 10 (11529): 117; 11 (11496): 243; 12 (11334): 149; 13 (11305): 109; 14 (11277): 029; 15 (10646): [022], 101, [148], [181]; 16 (10348): 248, 249; 18 (10040): 024; 19 (9449): 198; 20 (9439): 046, 086; 22 (9215): 052; 23 (8689): 222; 24 (8476): 184; 25 (8357): [079], 145; 26 (8336): 161; 27 (7804): [069], 092; 28 (7796): 197; 29 (7664): 193; 30 (7423): 141; 31 (7382): 051; 32 (7255): 096; 33 (7200): 194; 34 (7095): 160; 35 (7031): 242; 36 (6955): 093; 37 (6506): 196, [200]; 38 (6013): [005], 044; 39 (5603): 036; 40 (5602): [095], 110; 41 (5518): 053; 42 (5219): 241; 43 (3445): 080, [082], [087]; 44 (1012): 031, [032], [059]; 45 (1008): 047; 46 (895): [063], 159; 47 (848): 039; 48 (0): 002, 008, 015, 042, 060, [094], [098], 123, [133], 204, [217], 218, [228], 231, 247, [259];

the-random-returns

1 (5869): 249; 2 (5847): 140; 3 (5776): [130], 131, [263]; 4 (5766): 208; 5 (5683): 121; 6 (5426): 238, [257]; 7 (5205): [148], 237, [254]; 8 (5162): 109, [181]; 9 (5120): 167; 10 (5093): 222; 11 (5072): 149; 12 (5057): 117; 13 (4967): [153], 186, [260]; 14 (4928): 243; 15 (4908): [166], 177; 16 (4784): 044; 17 (4766): 096; 18 (4634): 024; 19 (4461): [079], 145; 20 (4416): 248; 21 (4254): [087], 184; 22 (3979): 080; 23 (3346): 029; 24 (3230): 161; 25 (3157): [095], 110; 26 (3110): 101; 27 (3068): 194; 28 (2994): 196, [200]; 29 (2906): 051; 30 (2239): [022], 046; 31 (2205): 086; 32 (2126): 193; 33 (2053): 052; 34 (2037): 198; 35 (2031): 197; 36 (1968): 092; 37 (1950): 141; 38 (1787): [069], 160; 39 (1636): [005], 242; 40 (1542): 241; 41 (1121): 036, [059], [082]; 42 (1077): 053; 43 (699): 031, [032]; 44 (665): 093; 45 (155): 039; 46 (118): 047; 47 (87): [063], 159; 48 (0): 002, 008, 015, 042, 060, [094], [098], 123, [133], 204, [217], 218, [228], 231, 247, [259];

Ranks for this round

A given program is given a score by summing up its ranks for all the examples. Then programs are ranked according to their scores. Numerical ranks (in bold) are computed by considering in-contest programs only.

Results are given as rank : programs score.

1 : 121: 17
2 : 140: 26
3 : 249: 32
4 : 177, [166]: 35
5 : [254]: 44
5 : [263]: 49
5 : [257], 238: 50
6 : 237, 208: 54
8 : 167: 59
9 : [260], 186, [153]: 67
10 : 117: 68
11 : [148]: 84
11 : 109: 89
12 : 243: 92
13 : [181]: 95
13 : 248, 149: 97
15 : 145: 100
16 : [079]: 101
16 : 024: 102
17 : 131, [130]: 108
18 : 222: 113
19 : 184: 118
20 : 194: 128
21 : 161: 130
22 : 029: 133
23 : 096: 139
24 : 101, [022]: 149
25 : 110, [095]: 157
26 : 204: 159
27 : [098]: 160
27 : [087], 044: 161
28 : [200], 196: 175
29 : 198: 179
30 : 046: 181
31 : 052: 185
32 : 086: 186
33 : 080: 192
34 : [082]: 196
34 : 247: 198
35 : [069]: 201
35 : 051: 205
36 : 197: 210
37 : 241: 212
38 : 193: 213
39 : [259], 092: 216
40 : 141: 218
41 : [094]: 222
41 : 093: 225
42 : 242: 229
43 : 160, [133]: 230
44 : [005]: 246
44 : 008: 255
45 : 047, 036: 257
47 : 053: 260
48 : 231, [228], [217]: 262
49 : [059]: 264
49 : [032], 031: 274
50 : 159, [063]: 283
51 : 039: 288
52 : 218, 123, 060, 042, 015, 002: 296