Contest Results, elimination round

Teams in competition

There are 140 teams and 171 competing programs [and 92 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.

#TwistedPythonic

TwistedPythonic in python (219)

1337h4x0rd00d

elephant_broken in ocaml (232)

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)]

2 Weirdoes on the C

a.out in c (240) [a.out in c (229)]

[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), cheater in none (147), clone_of_cat in ocaml (185)

akr

dpopt in ocaml (039)

AKW

AKW in sml (226) [AKW in sml (262)]

Almost Verified Systems, Uninc.

ultra-certified bug-free (almost) in coq (057)

Aman Bhargava

Strawberry shake in ocaml (114), Strawberry shake in ocaml (246) [Strawberry shake in ocaml (245)]

Ben Lynn

slow in eiffel (029), slow in eiffel (210) [slow in eiffel (022), slow in eiffel (088), slow in eiffel (135), slow in eiffel (176)]

BigCatWithTheBlackTail

Beamer in c++ (126)

BL

smls in haskell (072) [smls in haskell (059)]

BlobMakers

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

Blue Avengers

bulletproof in none (021), Erlightning in erlang (024) [Erlightning in erlang (006), Bulletproof in none (009), Erlightning in erlang (010), Bulletproof in none (020)]

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)

C Blues

a.out in c (175)

C is for me

simple stack optimizer in c (202) [simple stack optimizer in c (251)]

cat

dog in none (239)

Chasm

Rushjob in ocaml (190)

chicha-masato

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

Colleen Haskell

Fast Entry in python (060)

Copenhagen SML Team

simple in sml (054)

Coq in Stock

Euh-c'est-quelle-heure? in ocaml (056), Coq2 in ocaml (243)

CS

NCNH in c (046)

Current ->= next;

6inthemorning in c (085)

cw2001

LazyCat in haskell (033), LazyCat in haskell (108) [LazyCat in haskell (004), LazyCat in haskell (068), LazyCat in haskell (143), LazyCat in haskell (207), LazyCat in haskell (255)]

CyberTiggyr

Totoro in common lisp (112)

Danjer

chartreuse in ocaml (149)

demoncrat

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

Diet Coq

ML3 in ocaml (157) [ML3 in ocaml (139)]

dqd

press in c (109)

DR Labs (www.drlabs.org)

Lazy Bastards in perl (075)

Dylan Hackers

Dylan Hackers in dylan (049), Beam Search in dylan (237), Dylan Lightning in dylan (248), Dylan Hackers in dylan (249) [Dylan Hackers in dylan (023), Dylan Hackers in dylan (026), Dylan Hackers in dylan (028), Dylan Hackers in dylan (038), Dylan Hackers in dylan (043)]

Edifying Fellowship of Ook

Midnight Markup Masher in scheme (144)

Eeniac

ReMark in c++ (007), ReMarkToo in c++ (186) [ReMarkToo in c++ (153)]

Entropia

menial in c (017), menial in c (201) [menial in c (137), menial in c (171), menial in c (187)]

Equipe-de-merd

Bourin in ocaml (247)

Eric Maxey

optimise in c++ (224)

Exo-Plugarite Zulanga

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

foofighters

mercy in haskell (037), Mifune in haskell (225)

Fred

Fred in c (235)

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)]

Ghostar

Hunk of Pooie in c (165)

Hanno

lambda-for-ever in haskell (074) [lambda-for-ever in haskell (069), lambda-for-ever in haskell (073)]

Happy Monkey Hackers

Monkey Smash in c (136) [Monkey Smash in c (103), Monkey Smash in c (134)]

Haskell Carrots

LALR(5000000) in haskell (121)

HeavyMetal

Exhaustion in mercury (151) [Exhaustion in mercury (263)]

Helikopter

Smurf in alice (215)

hireus

Split Lips' Lists in common lisp (141)

Java Junkie

Java Junkie 1 in java (173)

jcf

jcf in ocaml (080)

jed

simpxml in sml (099)

Jeremy Sawicki

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

Jey Kottalam

WOW! (Worst Optimizer in the World!) in c++ (106)

JPM/Kapital

Das Kapital in smalltalk (214)

judges

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

KABA

kabax in xduce (198)

Kelek

BlueRock in java (027)

KsHsK

smlngopt in haskell (116) [smlngopt in haskell (115)]

Lambda Moo

runme in ocaml (230)

LastSecond

Expander in tcl (216)

Les Lampions

lighter in ocaml (194)

LoneKendall

SMiLiNGOptimizer in java (016)

Managing Prima Donnas from Qualcomm Boulder

Imaginary SML/NG optimizer in c (100)

MAP2001

smlngoptimizer in c++ (179)

Marvin

yasml-opt in java (158)

Masch Tech

MT_SML in c (191) [MT_SML in c (254)]

Matthieu Villeneuve

sml-simplify in common lisp (102)

Maxwell's Daddy

v2 in pascal (111)

MEMS Exchange Software Group

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

ML/RJ

contract in sml (162) [contract in sml (122), contract in sml (124)]

moro

moro1 in ruby (067), moro2 in ruby (081), moro3 in ruby (113), moro4 in ruby (223), moro5 in ruby (227) [moro1 in ruby (061), moro1 in ruby (062), moro1 in ruby (064), moro1 in ruby (065), moro1 in ruby (066), moro2 in ruby (077), moro4 in ruby (150)]

Nederwiet

Treebeard in haskell (101)

NoGood

[NoGood in c++ (252)]

Norman Ramsey

[Ken's Crazy Coalescing in ocaml (256)]

NVidia's Mom

Frappuccino in c (203) [Frappuccino in c (138), Frappuccino in c (169)]

nwoo

unfx in tcl (041)

One Man Show

SMLOptimizer in c++ (195)

OneOff

2bits in python (233)

Oursland

SimpleSML in java (048) [CompactSML in java (003), SimpleSML in java (045)]

Patch'nPuki

Make SMaLler in c++ (019)

Paul Haddad

[sml in ocaml (258)]

PepC

Fast But Dumb in c (188)

perlfect

smlng.pl in perl (132)

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)]

QuickSilver

Dutch Treat in yacas (206) [Dutch Treat in yacas (146)]

Radical

Radical1 in c (030), Radical2 in perl (178) [Radical2 in perl (155)]

rec x.not(x)

Tree walker in haskell (213) [Tree walker in haskell (078), Tree walker in haskell (120)]

Schemaniacs

ScheML.ss in scheme (107)

sh-loverz

cheapnulloptimizer in shell (218)

SharkBait

icfp.c in c (018), icfp.c in c (212)

single-handed

switch in ocaml (156)

Smalltalkin' with Jeb

Entry 1 in smalltalk (189) [Entry 1 in smalltalk (119), Entry 1 in smalltalk (174), Entry 3 in smalltalk (261)]

Snowstorm

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

SNR Lambda

Kekkonen in common lisp (025)

SoftPackers

smlNG in haskell (084)

SoftTooCool

The Nervous SML/NG Shrinker in scheme (205) [The Nervous SML/NG Shrinker in scheme (253)]

Some Crazy Kid

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

SpaceEater

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

Spicy Chicken

Chicken in scheme (164)

SSA

runme in c (172) [runme in c (152), runme in c (154)]

steely-dan

flatten in haskell (050)

Stupid's

Id in shell (002) [Id in none (001)]

Team #python

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

Team 10GOTO10

x in c++ (163) [x in c++ (129)]

Team Alcea

SNMLightning in java (040), Compression King in java (091), Compression Rook in java (092) [SNMLightning in java (005), SNMLightning in java (035)]

Team Bozo

icat in intercal (015)

Team Copher

It's All Good in ocaml (034)

Team Gizzywump

Dog Day Afternoon in ocaml (014), Final Answer in ocaml (125)

Team Imperative

gLeibC in c++ (089), lowfat in c (127), O'Garc in c (180)

Team Uno

SMLCut in c++ (182)

Team Xoltar

Vagabond in python (142)

The Knights who say C++

Thuckin' Thuckutash in c++ (118) [Thuckin' Thuckutash in c++ (097)]

The Pain Of C++

Flying Turtle in c++ (105)

The Peephole Police

regulate in python (128)

The Three Guys

sml fluxer in java (211)

Tim McCaffrey

QuickAndDirty in c (055), QuickAndDirty v2 in c++ (168)

Tom Weingarten

runme in c++ (250)

Tonton Dada

smlng in ocaml (170) [smlng in ocaml (070), smlng in ocaml (071), smlng in ocaml (076)]

Too Imperative

tooimp in ocaml (236)

too tired

could be better in c++ (234)

Tortilla Systems

Extra Smooth in ocaml (192), J Team in java (221) [Extra Smooth in ocaml (183)]

Tycon Mismatch

(\x.x) in sml (167), reencode in sml (209)

U-Tokyo Xis

XIS-LD in ocaml (047), XIS in ocaml (220)

uhmmmm

optimize in c (244)

UNSW Express

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

unuclear

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

Vladimir Dergachev

icfp-volodya-entry in c (090)

Watt

watt in common lisp (193)

weekday

weekday in c++ (086)

white bean loaf

quickie in ocaml (013), shrew in ocaml (083) [quickie in ocaml (011), quickie in ocaml (012)]

Why_would_anyone_use_java_for_this?

obey in java (199)

Will Code for Food

Nasty Deterministic Hack in ocaml (008)

Wonka Heavy Industries

Charlie in scheme (104)

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 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

114 [66] programs are eliminated.

[001], [003], [004], [006], 007, [009], [010], [011], [012], 013, 014, 016, 017, 018, 019, [020], 021, [023], 025, [026], 027, [028], 030, 033, 034, [035], 037, [038], 040, 041, [043], [045], 048, 049, 050, 054, 055, 056, 057, [058], [061], [062], [064], [065], [066], 067, [068], [070], [071], 072, [073], 074, 075, [076], [077], [078], 081, 083, 084, 085, [088], 089, 090, 091, [097], 099, 100, 102, [103], 104, 105, 106, 107, 108, 111, 112, 113, 114, [115], 116, 118, [119], [120], [122], [124], 125, 126, 127, 128, [129], 132, [134], [135], 136, [137], [138], [139], 142, [143], 144, [146], 147, [150], 151, [152], [154], [155], 156, 157, 158, 162, 163, 164, 165, 168, [169], 170, [171], 172, 173, [174], 175, [176], 178, 179, 180, 182, [183], 185, [187], 188, 189, 190, 191, 192, 195, 199, 201, 202, 203, 205, 206, [207], 209, 210, 211, 212, 213, 214, 215, 216, 219, 220, 221, 223, 224, 225, 226, 227, [229], 230, 232, 233, 234, 235, 236, 239, 240, 244, [245], 246, 250, [251], [252], [253], [255], [256], [258], [261], [262]

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]