Standings ICFP Programming Contest 2019 June 24, 2019

Rank Handle Score
Unspent
Lam
Lightning
Rank
Lightning
Rank
Delta
Lightning
Score
Lightning
Score
Delta
1
Unagi
3878674 3880465 2 1 3705672 173002
2
CowDay
3377492 3383347 7 5 3099969 277523
3
Pigimarl
3144576 3144849 3 0 3673291 528715
4
Sound! TypeSystem
3024005 3024715 8 4 3080253 56248
5
Frictionless Bananas
2994524 2994666 28 23 2497146 497378
6
All your lambda are belong to us
2970136 2971468 1 5 3944361 974225
7
1kg cheese
2942490 2943578 4 3 3587653 645163
8
花脊山の家
2764962 2765413 25 17 2589971 174991
9
Lambding Snakes vs. Coding Monkeys
2690443 2690584 16 7 2767909 77466
10
Gon the Fox
2605416 2605535 9 1 2902335 296919
11
Piggybank Software
2573260 2574414 26 15 2571456 1804
12
Better than nothing
2469946 2470996 147 135 0 2469946
13
2 Ivans
2459365 2462039 6 7 3110544 651179
14
tech.kontur.ru
1915342 2422887 5 9 3556681 1641339
15
negainoido
2357002 2360402 40 25 2361609 4607
16
The Cat is #1!!
2334891 2335100 32 16 2436090 101199
17
ichyo
2319876 2322233 34 17 2399793 79917
18
DiamondPrincess
2300430 2319705 21 3 2656151 355721
19
Perpetuum Mobile
1885547 2232582 39 20 2369270 483723
20
fixstars
2218166 2223636 30 10 2456644 238478
21
Raging Mushrooms
2159898 2161733 15 6 2774118 614220
22
The Blind Hen
2138429 2152304 36 14 2389586 251157
23
sanma
1827367 2146124 35 12 2395871 568504
24
NYCZRHTYO
2123639 2124146 66 42 1838182 285457
25
#31
2096000 2096224 23 2 2618044 522044
26
tomerun
2016604 2016604 173 147 0 2016604
27
cw
1983697 1983723 41 14 2356543 372846
28
lambda-llama
1932912 1935197 44 16 2325661 392749
29
Rotten Lambdas
1921801 1921828 50 21 2235416 313615
30
301
1903800 1905434 61 31 1919658 15858
31
Lambda Spice
1884278 1888737 20 11 2669265 784987
32
uni
1764222 1764854 38 6 2384326 620104
33
hayatox
1749207 1749207 52 19 2090350 341143
34
Kita Ward
1728574 1728574 10 24 2854636 1126062
35
"; CREATE TABLE fun(); --
1716988 1716988 11 24 2847736 1130748
36
Olympia
1657525 1678224 12 24 2845302 1187777
37
cirimenjao
1659593 1659593 24 13 2594587 934994
38
THIRTEEN
1604320 1645397 56 18 2061593 457273
39
TheWildLobsters
1636463 1636463 49 10 2246422 609959
40
code-o-matic
1521433 1595503 48 8 2258289 736856
41
Sunspear
1241956 1569863 42 1 2344063 1102107
42
oka
1493230 1535176 80 38 1009886 483344
43
TBD
1409885 1469934 57 14 2049692 639807
44
kstm.org
1444819 1464063 84 40 851101 593718
45
cashto
1414504 1432067 77 32 1216586 197918
46
The Higher Order Of Zeuxis
1430423 1430423 88 42 579774 850649
47
The Lone Code Money
1379270 1379270 148 101 0 1379270
48
udfewer
1369650 1369650 53 5 2090126 720476
49
IQ1
1364821 1364821 64 15 1860597 495776
50
sumoru
1351621 1351621 76 26 1258873 92748
51
PaaaaN
1348318 1348318 13 38 2807372 1459054
52
goto 11
1331348 1331348 94 42 37675 1293673
53
Ty chyo pyos?
1330470 1330470 87 34 830576 499894
54
trup16
1307898 1307898 70 16 1599325 291427
55
All In
1297015 1297015 59 4 1985282 688267
56
kimiyuki+cannorin
1268742 1294454 19 37 2697265 1428523
57
Bottle kids!
1281265 1281265 79 22 1041714 239551
58
The Skyrmions
1248167 1278272 17 41 2766647 1518480
59
よろふわ
1277599 1277599 67 8 1801577 523978
60
Invisible Imp
1274370 1274370 93 33 41343 1233027
61
uguu.org
1267531 1267531 63 2 1888614 621083
62
udfew
1261488 1261488 186 124 0 1261488
63
jabber.ru
1252078 1252078 14 49 2791427 1539349
64
Zebra Infused Hamsters
1172989 1250345 65 1 1856924 683935
65
yowa
1232888 1232888 45 20 2291896 1059008
66
Hydralisk eats Delicious Taco
1217473 1217473 18 48 2720387 1502914
67
AimTech
1183930 1183930 22 45 2646103 1462173
68
Sauerkraut
1181693 1181693 113 45 0 1181693
69
Meh
1177263 1177263 43 26 2332426 1155163
70
O Caml, My Caml
1173540 1173540 165 95 0 1173540
71
PLASTIC WORLD (tech.kontur.ru)
1168382 1168382 73 2 1451720 283338
72
tanzaku
1159544 1159544 115 43 0 1159544
73
3
1148358 1148358 37 36 2387844 1239486
74
getting_better_Samara
1141579 1141579 167 93 0 1141579
75
Press F to pay respect
1139750 1139750 27 48 2547111 1407361
76
WINTERMUTE
1132869 1132869 104 28 2948 1129921
77
Turing Machinists
1127053 1127053 72 5 1502984 375931
78
Side Effects May Include...
1123368 1123368 31 47 2443718 1320350
79
Robotics Research Inc.
1095956 1095956 29 50 2472119 1376163
80
KatsuT0shi
1094306 1094306 171 91 0 1094306
81
We meant to use Haskell
1061554 1090948 47 34 2281229 1219675
82
10 GOTO 10
1077229 1084812 60 22 1927913 850684
83
inthecloset
1071357 1071357 184 101 0 1071357
84
Free Tacos
1068133 1068133 95 11 12479 1055654
85
udalov
1057146 1057146 109 24 0 1057146
86
tsunaudon
1055625 1055625 33 53 2418834 1363209
87
TeamKieran
1054632 1054632 141 54 0 1054632
88
Codingteam
1048352 1048352 96 8 4585 1043767
89
The Kerminators
1047428 1047428 68 21 1775329 727901
90
JunkFood
1035631 1035631 46 44 2281567 1245936
91
DNIWE :: a
1028933 1034709 82 9 946966 81967
92
usakdsteen
1021567 1021567 98 6 4585 1016982
93
Leptocephalus
1012083 1012083 136 43 0 1012083
94
Overfull \hbox
1001637 1001637 92 2 61975 939662
95
blueminer
979537 995608 51 44 2124116 1144579
96
Guru Meditation
995231 995231 138 42 0 995231
97
dot cube
981845 981845 164 67 0 981845
98
tilde
980727 980727 55 43 2070667 1089940
99
IKS
978303 978303 110 11 0 978303
100
Sons of Yoshiko
967691 967691 71 29 1531628 563937
101
NCPLUG
965585 965585 91 10 63754 901831
102
phocom
938766 938766 54 48 2089806 1151040
103
paiv
886011 933907 75 28 1438892 552881
104
nathanf
900697 900697 58 46 2010022 1109325
105
🦉
895702 895702 152 47 0 895702
106
Einherji
794322 794322 69 37 1770712 976390
107
Begot
791083 791083 62 45 1889521 1098438
108
R22b
783016 783016 134 26 0 783016
109
The Waterfall Model
778494 778494 120 11 0 778494
110
xiberfix
698045 698045 107 3 0 698045
111
ts
678154 678154 139 28 0 678154
112
cobot
669335 669335 144 32 0 669335
113
GoTeamPlowUltraForce5Fox1
662538 662538 103 10 3175 659363
114
tentacles
654856 654856 175 61 0 654856
115
DrawingABlank
651822 651822 74 41 1449599 797777
116
tatsuo
650727 650727 142 26 0 650727
117
yarunee
614613 614613 143 26 0 614613
118
The Veil of Vaea
560032 560032 99 19 4585 555447
119
The Lazy Evaluator
552960 552960 133 14 0 552960
120
srush
503174 503174 78 42 1105005 601831
121
Alatar
488845 488845 105 16 2428 486417
122
GlitchesBones
487240 487240 190 68 0 487240
123
taxidriver
465034 465034 174 51 0 465034
124
Sampou
432434 432434 106 18 2064 430370
125
Slow
419558 419558 81 44 992640 573082
126
vodichka.kontur.ru
405115 405115 85 41 846159 441044
127
d4o
379966 379966 185 58 0 379966
128
Camel worshippers
379816 379816 83 45 871274 491458
129
VMI#1
362468 362468 86 43 830576 468108
130
Gringene
319291 319291 89 41 174269 145022
131
Rage against the type checker
246004 246004 118 13 0 246004
132
noClassnoState
233488 233488 111 21 0 233488
133
LILiK
176184 176184 178 45 0 176184
134
gd-misfits
170042 170042 183 49 0 170042
135
FIRQ
131317 131317 194 59 0 131317
136
Polygon Research Labs
75183 75183 135 1 0 75183
137
Started late, but worked slow
72106 72106 131 6 0 72106
138
BenPeteSmellyFeet
41458 41458 90 48 73075 31617
139
Dis Functional
9566 9566 160 21 0 9566
140
hahadaertu
4733 4733 145 5 0 4733
141
LousyAttempt
3567 3567 130 11 0 3567
142
ush
3567 3567 97 45 4585 1018
143
fruitsalad
3210 3210 100 43 4127 917
144
blueboar team
2469 2469 101 43 3175 706
145
Why Not?!
2469 2469 102 43 3175 706
146
Thunk Tank
0 0 121 25 0 0
147
HellRaider
0 0 177 30 0 0
148
spica314
0 0 176 28 0 0
149
aguirre
0 0 151 2 0 0
150
interns
0 0 132 18 0 0
151
dmitry_vk
0 0 149 2 0 0
152
The Prog Pilgrim
0 0 125 27 0 0
153
Rude Awakening
0 0 126 27 0 0
154
cicada 3301
0 0 124 30 0 0
155
fpcraze
0 0 123 32 0 0
156
tinaun
0 0 122 34 0 0
157
a lambda called quest
0 0 137 20 0 0
158
Chance
0 0 117 41 0 0
159
Lingcore
0 0 119 40 0 0
160
orbifold
0 0 116 44 0 0
161
Canivsar
0 0 114 47 0 0
162
Yh
0 0 112 50 0 0
163
fteam
0 0 108 55 0 0
164
Bulldog-X
0 0 127 37 0 0
165
Dead Lispoet Society
0 0 129 36 0 0
166
smr-tester
0 0 140 26 0 0
167
F
0 0 146 21 0 0
168
Samueljbr
0 0 180 12 0 0
169
Lone Warrior
0 0 179 10 0 0
170
Arciere λ
0 0 154 16 0 0
171
DieKittlers
0 0 181 10 0 0
172
riprap
0 0 182 10 0 0
173
lorkin
0 0 170 3 0 0
174
liumLab
0 0 169 5 0 0
175
shinh
0 0 168 7 0 0
176
あ
0 0 150 26 0 0
177
shinh22
0 0 166 11 0 0
178
kontur.ru
0 0 163 15 0 0
179
yoshrc
0 0 162 17 0 0
180
Qoter
0 0 161 19 0 0
181
TakaakiUmedu
0 0 159 22 0 0
182
kiyot
0 0 158 24 0 0
183
watermelon
0 0 157 26 0 0
184
requisitebits
0 0 156 28 0 0
185
ParseError
0 0 155 30 0 0
186
getgood
0 0 153 33 0 0
187
Rowbot
0 0 172 15 0 0
188
toku
0 0 193 5 0 0
189
RPG_2
0 0 192 3 0 0
190
Satluj
0 0 191 1 0 0
191
code_hs
0 0 189 2 0 0
192
naoya_t
0 0 188 4 0 0
193
rhizomes
0 0 187 6 0 0
194
han-solo
0 0 128 66 0 0