Contest Results, first 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.

examplenullalmost-emptythird-steprandomicfp2000exhaustive
139423 min 03 min 93 min 55483 min 130203 min 6493610 min 126937630 min
001Bug, Out, Err      
0020 0.020 0.060 0.050 0.060 0.060 0.030 0.04
0030 0.410 0.359 0.50Bug, Out, Err   
004752 0.080 0.069 0.05Bug, Out, Err   
005752 0.430 0.489 0.47415 0.511846 0.584844 1.5050346 4.44
006835 0.250 0.499 0.99Bug, Out, Err   
007849 0.020 0.089 0.03Bug, Out, Err   
008826 0.030 0.059 0.030 0.060 0.116616 0.190 2.45
009Bug, Out, Err      
010835 0.260 0.259 0.29Bug, Out, Err   
011771 0.030 0.109 0.08Bug, Out, Err   
012771 0.030 0.099 0.06Bug, Out, Err   
013771 0.030 0.119 0.05Bug, Out, Err   
014753 0.030 0.069 0.03464 0.06Bug, Out, Err  
0150 0.490 0.060 0.040 0.260 0.540 2.320 46.46
016Bug, Out, Err      
017716 0.030 0.159 0.04Bug, Out, Err   
018680 0.030 0.050 0.04225 0.06Bug, Out, Err  
019Bug, Out, Err      
020Bug, Out, Err      
021Bug, Out, Err      
022789 0.070 0.089 0.04963 0.202418 0.225644 0.55109174 21.01
023Bug, Out, Err      
024842 0.250 0.289 0.29823 0.330 1.385825 1.461002046 2.38
025Bug, Out, Err      
026Bug, Out, Err      
027849 0.830 0.349 0.40Bug, Out, Err   
028Bug, Out, Err      
029789 0.020 0.109 0.04995 0.072499 0.085644 0.13335522 3.86
030831 0.020 0.049 0.05Bug, Out, Err   
031752 0.080 0.209 0.12197 0.32332 3.102192 3.1024309 1107.52
032752 0.040 0.079 0.08197 0.13332 1.562192 1.3724309 833.84
033788 0.080 0.059 0.05Bug, Out, Err   
034753 0.230 0.089 0.07Bug, Out, Err   
035753 0.430 0.459 0.45Bug, Out, Err   
036681 0.060 0.089 0.08322 0.471290 150.754375 0.3534231 9.92
037Bug, Out, Err      
038848 0.100 0.269 0.07Bug, Out, Err   
039571 8.190 0.079 0.07118 0.15163 0.411332 5.31279 27.08
040789 0.440 0.459 0.43Bug, Out, Err   
041849 0.420 0.219 0.05Timeout   
0420 0.010 0.020 0.040 0.050 0.040 0.040 0.22
043848 0.090 0.239 0.08Bug, Out, Err   
044849 177.030 177.089 177.04658 177.11192 177.145167 597.22984307 1801.12
045Bug, Out, Err      
046789 0.020 0.049 0.04685 0.062344 0.065466 0.04106628 0.25
047814 170.130 0.259 0.16301 170.2790 170.262891 590.27369483 1793.01
048Bug, Out, Err      
049848 0.100 0.289 0.08Bug, Out, Err   
050777 0.050 0.060 0.05Bug, Out, Err   
051752 0.020 0.079 0.02513 0.101888 0.124821 0.12368076 27.51
052789 0.040 0.119 0.07632 0.112308 0.095198 0.24103795 1.32
053752 0.060 0.049 0.05357 0.07773 0.084518 0.3147583 4.81
054717 0.720 0.049 0.03527 0.281589 0.184679 50.72Timeout
055848 0.07Bug, Out, Err     
056Bug, Out, Err      
057Bug, Out, Err      
058745 0.280 0.229 0.13Bug, Out, Err   
059752 0.050 0.079 0.04320 0.111426 0.103944 0.2450346 11.80
0600 0.030 0.150 0.030 0.260 0.260 0.250 0.36
0610 175.21Bug, Out, Err     
062Timeout      
063680 0.280 0.090 0.04197 0.1980 0.312192 1.280 21.60
064Bug, Out, Err      
065807 175.180 0.129 0.08Bug, Out, Err   
066856 175.200 0.119 0.07Bug, Out, Err   
067856 175.170 0.099 0.07Bug, Out, Err   
068788 0.140 0.069 0.04Bug, Out, Err   
069753 0.150 0.119 0.06583 0.152180 0.174883 0.38121038 6.37
070753 0.080 0.059 0.12Bug, Out, Err   
071753 0.100 0.079 0.06Bug, Out, Err   
072849 0.160 0.109 0.08Bug, Out, Err   
073Bug, Out, Err      
074Bug, Out, Err      
075835 0.180 0.059 0.05Bug, Out, Err   
076788 0.120 0.099 0.04720 0.112093 0.12Bug, Out, Err 
077877 5.980 0.129 0.10Timeout   
078809 0.47Bug, Out, Err     
079884 0.330 0.079 0.03919 0.661295 1.217667 4.181005477 64.34
080772 0.130 0.059 0.04789 0.0980 0.112192 0.37920566 2.21
081877 0.620 0.169 0.11Timeout   
082849 0.570 0.249 0.18777 1.030 3.735209 3.49719772 91.55
083Bug, Out, Err      
084780 0.180 0.149 0.081112 0.19Bug, Out, Err  
085877 178.030 0.069 0.01Bug, Out, Err   
086789 0.120 0.049 0.01691 0.142342 0.215380 0.4597307 21.02
087828 150.100 0.119 0.13819 150.11192 150.135727 570.21984323 1774.46
088877 0.180 0.139 0.091251 0.202522 0.236897 1.35Timeout
089859 0.100 0.079 0.05Bug, Out, Err   
090829 0.080 0.069 0.05Bug, Out, Err   
091849 0.590 0.509 0.69835 1.492259 0.726077 1.52Timeout
092789 0.520 0.449 0.41464 0.502054 0.565042 0.6590644 4.64
093791 145.750 145.549 145.57798 146.01855 146.023437 566.24625692 1766.96
094839 1.170 0.499 0.49741 0.990 1.365267 3.11965511 29.85
095849 0.270 0.149 0.09842 0.430 0.305582 0.53994153 2.36
096849 140.140 0.149 0.01823 140.15192 140.195811 560.18984323 1760.62
097831 0.130 0.079 0.01994 0.14Bug, Out, Err  
098877 173.470 0.050 0.011180 173.540 173.537559 593.19712422 1786.55
099848 0.370 0.079 0.04876 0.142398 0.176017 1.85Bug, Out, Err
100820 170.050 0.049 0.01742 170.03192 170.042432 590.06Timeout
101789 1.210 0.150 1.07919 5.272472 175.665542 596.93241424 43.99
102717 1.960 0.899 0.07Bug, Out, Err   
103849 0.050 0.059 0.04Bug, Out, Err   
104Bug, Out, Err      
105Bug, Out, Err      
106Bug, Out, Err      
107680 0.840 0.129 0.09Bug, Out, Err   
108848 0.200 0.059 0.01Bug, Out, Err   
109849 11.190 0.089 0.041004 11.91692 13.336191 9.92934202 22.11
110849 0.290 0.139 0.07842 0.700 0.945582 1.20994153 3.83
111849 0.230 0.199 0.131018 0.20Bug, Out, Err  
112Bug, Out, Err      
113877 0.680 0.169 0.09Timeout   
114793 0.120 0.089 0.030 160.530 175.09Bug, Out, Err 
115851 0.350 0.079 0.051106 0.17Bug, Out, Err  
116851 0.380 0.089 0.051106 0.15Bug, Out, Err  
117849 135.110 0.109 0.011022 135.13732 135.146485 555.151002845 1755.54
118831 0.280 0.259 0.041090 0.32Bug, Out, Err  
119Bug, Out, Err      
120830 0.370 0.129 0.06865 0.392418 0.365630 1.45Timeout
121877 170.070 170.050 170.031401 170.082493 170.047121 590.061016633 1790.78
122849 0.410 0.129 0.05Bug, Out, Err   
1230 0.180 0.100 0.070 0.360 0.350 0.360 0.42
124849 0.480 0.119 0.08Bug, Out, Err   
125849 0.150 0.069 0.031101 0.102892 0.326077 3.23Timeout
126884 0.320 0.069 0.011458 0.512563 8.587715 3.641019912 158.07
127789 0.070 0.149 0.01Bug, Out, Err   
128680 0.240 0.099 0.06322 0.23Bug, Out, Err  
129842 0.090 0.069 0.01967 0.100 0.135778 0.19Bug, Out, Err
1300 2.130 176.930 176.920 2.102593 2.116023 2.11988324 4.33
1310 2.100 176.930 176.920 2.132593 2.086023 2.12988324 4.28
132777 0.490 0.050 0.05Bug, Out, Err   
133849 2.650 1.599 1.53752 3.080 3.724786 8.01966812 41.80
134849 0.060 0.039 0.03Bug, Out, Err   
135877 0.180 0.159 0.081265 0.142557 0.276897 2.02989374 1718.33
136849 0.040 0.049 0.03Bug, Out, Err   
137849 0.180 0.179 0.02Bug, Out, Err   
138812 0.150 0.089 0.01Bug, Out, Err   
139680 0.41Bug, Out, Err     
140856 0.220 0.099 0.021228 0.252485 0.806835 1.811007040 257.16
141788 0.490 0.419 0.16472 1.122018 1.275159 1.4696706 12.29
142731 0.500 0.249 0.16Bug, Out, Err   
143848 0.140 0.069 0.05Bug, Out, Err   
144680 0.580 0.110 0.08Bug, Out, Err   
145884 0.250 0.079 0.01935 0.191295 0.597671 3.161005477 33.46
146831 9.270 0.159 0.09Bug, Out, Err   
147Bug, Out, Err      
148849 5.190 5.179 5.041014 5.212318 5.276077 5.29970509 5.63
149849 0.080 0.049 0.021086 0.061646 0.115774 0.17908615 2.21
150877 0.880 0.169 0.080 104.74TimeoutBug, Out, Err 
151877 174.110 174.079 174.08Bug, Out, Err   
152789 0.080 0.059 0.01Bug, Out, Err   
153849 0.080 0.059 0.021332 0.141427 0.126401 0.11981050 0.50
154789 0.050 0.049 0.01Bug, Out, Err   
155877 1.710 0.119 0.04Bug, Out, Err   
156884 0.070 0.059 0.021217 0.072650 0.11Bug, Out, Err 
157680 0.43Bug, Out, Err     
158Bug, Out, Err      
159680 0.350 0.090 0.02197 0.1880 0.302192 1.320 21.56
160753 170.030 0.069 0.01464 0.052053 170.044876 590.0260268 109.73
161849 0.530 0.219 0.07812 0.680 3.825958 3.11976399 111.06
162849 0.400 0.109 0.031103 0.33Timeout  
163826 0.820 0.059 0.011285 2.47Bug, Out, Err  
164835 0.670 0.409 0.03Bug, Out, Err   
165Bug, Out, Err      
166877 0.080 0.069 0.011249 0.09730 0.116924 0.141007111 3.86
167877 0.250 0.059 0.021190 0.162708 0.256863 25.36929716 1546.09
168848 0.12Bug, Out, Err     
169812 0.120 0.069 0.02741 3.30Bug, Out, Err  
170849 0.130 0.069 0.01821 0.092170 0.10Bug, Out, Err 
171849 0.190 0.159 0.02Bug, Out, Err   
172789 0.060 0.059 0.01Bug, Out, Err   
173Bug, Out, Err      
174Bug, Out, Err      
175Bug, Out, Err      
176877 0.190 0.139 0.011265 0.162557 0.246897 2.03989374 1718.92
177877 0.110 0.079 0.011249 0.12730 0.136924 0.141007111 3.85
178877 2.000 0.079 0.04Bug, Out, Err   
179Bug, Out, Err      
180870 0.070 0.059 0.01Bug, Out, Err   
181849 0.120 0.079 0.021133 0.081607 0.125844 0.22992202 2.58
182863 0.100 0.179 0.01Bug, Out, Err   
183884 0.210 0.119 0.031135 0.10Bug, Out, Err  
184849 4.890 0.309 0.11890 14.491719 171.476240 64.43989241 1793.79
185753 0.110 0.049 0.02Bug, Out, Err   
186849 0.090 0.069 0.021332 0.061427 0.126401 0.10981050 0.39
187849 0.180 0.169 0.02Bug, Out, Err   
188849 0.070 0.059 0.01975 0.07Bug, Out, Err  
189Bug, Out, Err      
190-3230.67      
191Bug, Out, Err      
192884 0.180 0.089 0.031135 0.14Bug, Out, Err  
193753 0.930 0.879 0.06598 1.072197 0.934876 0.9454677 2.82
194831 0.110 0.089 0.03909 0.122512 0.206059 0.291006714 3.95
195680 0.080 0.050 0.01Bug, Out, Err   
196848 2.620 0.139 0.08906 0.591902 2.395852 83.78223996 400.98
197717 0.070 0.039 0.01464 0.071987 0.105105 0.1575458 4.04
198789 4.450 1.249 0.91615 2.382191 4.265466 17.69106610 175.70
199681 0.44Bug, Out, Err     
200848 4.140 0.109 0.03906 0.641902 1.655852 94.83223996 283.84
201849 0.160 0.159 0.02Bug, Out, Err   
202Bug, Out, Err      
203812 0.140 0.079 0.01659 0.43Bug, Out, Err  
204884 173.130 0.070 0.011429 173.830 173.167619 593.24712422 1788.84
205Bug, Out, Err      
206831 9.300 0.199 0.09Bug, Out, Err   
207848 0.260 0.099 0.03Bug, Out, Err   
208849 5.230 5.199 5.041090 5.222600 5.256077 5.271001935 5.66
209774 0.210 0.059 0.02818 1.562439 10.815629 23.18Timeout
210877 0.200 0.099 0.011265 0.172557 0.296897 2.03965950 1711.66
211807 0.670 0.389 0.35Bug, Out, Err   
212716 0.080 0.069 0.01Bug, Out, Err   
213830 0.330 0.119 0.02865 0.302418 0.375630 1.34Timeout
214675 0.570 0.619 0.240 0.88Timeout  
215Bug, Out, Err      
216835 19.020 0.109 0.09Bug, Out, Err   
217786 0.150 0.089 0.07628 0.160 0.151231 0.21227344 1.09
2180 0.080 0.050 0.020 0.060 0.070 0.070 0.09
219Bug, Out, Err      
220854 155.900 0.269 0.13Timeout   
221884 0.320 0.039 0.03Bug, Out, Err   
222849 0.140 0.069 0.021117 0.131098 0.125873 0.24934567 3.08
223877 1.140 0.179 0.05Timeout   
224Bug, Out, Err      
225681 2.120 0.129 0.02Bug, Out, Err   
226Bug, Out, Err      
227877 0.900 0.179 0.080 93.07Timeout  
228786 0.180 0.109 0.09628 0.840 0.551231 0.24227344 0.67
229Timeout      
230Bug, Out, Err      
231786 0.180 0.109 0.06628 0.170 0.131231 0.24227344 0.66
232Bug, Out, Err      
233Bug, Out, Err      
234729 0.090 0.049 0.01Bug, Out, Err   
235870 0.450 0.079 0.02Bug, Out, Err   
236Bug, Out, Err      
237849 12.480 0.249 0.041009 17.801286 116.826691 126.31999525 1770.91
238849 0.180 0.119 0.021132 0.212350 0.266828 6.01995140 1793.07
239Bug, Out, Err      
240680 0.05Bug, Out, Err     
241849 4.780 0.399 0.42752 4.451785 4.024786 7.57966812 44.69
242752 174.070 174.079 174.06527 174.091892 174.154793 594.0850346 1794.12
243849 0.320 0.169 0.231004 0.392527 0.666457 0.45930300 9.46
244789 0.110 0.059 0.02Bug, Out, Err   
245793 0.140 0.099 0.030 173.090 173.10Bug, Out, Err 
246793 0.160 0.099 0.030 160.120 175.28Bug, Out, Err 
247884 170.100 170.049 170.011462 170.110 173.397704 590.270 1796.47
248849 0.370 0.260 0.04881 0.310 0.706555 0.59999525 2.39
249884 0.820 0.230 0.031429 16.222136 88.267711 85.28999525 1770.45
250753 0.080 0.119 0.02Bug, Out, Err   
251Bug, Out, Err      
252Timeout      
253Bug, Out, Err      
254877 0.100 0.039 0.031176 0.121259 0.136719 0.131009431 0.63
255848 0.260 0.089 0.03Bug, Out, Err   
256804 0.120 0.089 0.01872 0.14-1721.11  
257849 0.230 0.169 0.021132 0.262350 0.336828 4.36995140 1322.61
258Bug, Out, Err      
259849 7.660 0.099 0.021172 37.060 171.996506 216.180 1791.76
260849 0.240 0.159 0.051080 0.19931 0.586723 0.38991514 4.40
261877 0.450 0.309 0.12Bug, Out, Err   
262863 0.120 0.079 0.071129 0.24-7690.78  
263877 174.070 174.079 174.071189 174.102050 174.096613 594.121002493 1794.13

Elimination

112 [64] 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, 127, 128, [129], 132, [134], 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, 178, 179, 180, 182, [183], 185, [187], 188, 189, 190, 191, 192, 195, 199, 201, 202, 203, 205, 206, [207], 209, 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]

59 [28] 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, 126, [130], 131, [133], [135], 140, 141, 145, [148], 149, [153], 159, 160, 161, [166], 167, [176], 177, [181], 184, 186, 193, 194, 196, 197, 198, [200], 204, 208, 210, [217], 218, 222, [228], 231, 237, 238, 241, 242, 243, 247, 248, 249, [254], [257], [259], [260], [263]