Contest Results, lightning final round

Teams in competition

There are 6 teams and 6 competing programs [and 1 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)
[b8] clan
b8_short in ocaml (051)
Ben Lynn
slow in eiffel (029) [slow in eiffel (022)]
Blue Avengers
Erlightning in erlang (024)
CS
NCNH in c (046)
Exo-Plugarite Zulanga
mltong-lightning in sml (052)

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.

icfp2000exhaustivevalidate-bigvalidate-smallthe-random-returnsheveasuitehand-againfractal-big
6493610 min 126937630 min 13488115 min 9748315 min 1138515 min 263934260 min 2881460 min 439260 min 92586960 min
0225644 (2)0.55109174 (5)21.0143366 (3)1.5011040 (2)1.152784 (5)0.23983382 (2)24.275475 (1)0.32497 (2)0.05192053 (5)14.24
0245825 (1)1.461002046 (1)2.3846327 (1)2.1010040 (2)1.024634 (2)1.42966906 (3)11.745314 (2)1.53487 (2)0.24728724 (2)2.16
0295644 (2)0.13335522 (4)3.8644651 (2)0.3511277 (1)0.223346 (3)0.07983382 (2)6.345475 (1)0.08529 (1)0.02247712 (4)2.42
0445167 (5)597.22984307 (2)1801.1242284 (3)897.326013 (6)897.284784 (1)897.13610877 (5)3625.775168 (4)3597.16329 (3)3597.02736159 (1)3600.88
0465466 (3)0.04106628 (5)0.2537425 (5)0.089439 (3)0.052239 (5)0.061163548 (1)0.435302 (3)0.05219 (6)0.01120009 (5)0.16
0514821 (6)0.12368076 (3)27.5132220 (6)0.347382 (5)0.252906 (4)0.11447025 (6)599.804136 (6)0.05226 (5)0.02271845 (3)101.97
0525198 (4)0.24103795 (6)1.3238560 (4)1.009215 (4)1.242053 (6)0.13964195 (4)106.594755 (5)0.16296 (4)0.02104667 (6)0.87

Elimination

0 [0] programs are eliminated.

6 [1] programs are still correct.

[022], 024, 029, 044, 046, 051, 052

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.

icfp2000

1 (5825): 024; 2 (5644): [022], 029; 3 (5466): 046; 4 (5198): 052; 5 (5167): 044; 6 (4821): 051;

exhaustive

1 (1002046): 024; 2 (984307): 044; 3 (368076): 051; 4 (335522): 029; 5 (106628): [022], 046; 6 (103795): 052;

validate-big

1 (46327): 024; 2 (44651): 029; 3 (42284): [022], 044; 4 (38560): 052; 5 (37425): 046; 6 (32220): 051;

validate-small

1 (11277): 029; 2 (10040): [022], 024; 3 (9439): 046; 4 (9215): 052; 5 (7382): 051; 6 (6013): 044;

the-random-returns

1 (4784): 044; 2 (4634): 024; 3 (3346): 029; 4 (2906): 051; 5 (2239): [022], 046; 6 (2053): 052;

hevea

1 (1163548): 046; 2 (983382): [022], 029; 3 (966906): 024; 4 (964195): 052; 5 (610877): 044; 6 (447025): 051;

suite

1 (5475): [022], 029; 2 (5314): 024; 3 (5302): 046; 4 (5168): 044; 5 (4755): 052; 6 (4136): 051;

hand-again

1 (529): 029; 2 (487): [022], 024; 3 (329): 044; 4 (296): 052; 5 (226): 051; 6 (219): 046;

fractal-big

1 (736159): 044; 2 (728724): 024; 3 (271845): 051; 4 (247712): 029; 5 (120009): [022], 046; 6 (104667): 052;

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 : 024: 16
2 : 029: 20
3 : [022]: 27
3 : 044: 30
4 : 046: 36
5 : 052: 43
6 : 051: 44