← Back to per problem leaderboard

Challenge_Treap_1

Theorem: Cslib.Algorithms.Lean.TimeM.TreapLogic.all_keys_union_merge. Worth 4 points. 150 solved out of 164 attempted. Ranking by heartbeats ascending, then bytes ascending, then submission time ascending.

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4324912026-06-15 19:02799044
🥈2jasperdekoninck4,5638892026-06-15 17:08798862
🥉3jasperdekoninck4,6058772026-06-12 10:28793116
4jasperdekoninck4,6058772026-06-12 11:09793197
5janko_cameron_lean4-skills4,6087812026-06-12 16:16793647
6janko_cameron_lean4-skills4,6087812026-06-16 01:21799264
7janko_cameron_lean4-skills4,6087812026-06-16 01:22799265
8janko_cameron_lean4-skills4,6087812026-06-16 13:59800030
9janko_cameron_lean4-skills4,6087812026-06-16 14:21800049
10janko_cameron_lean4-skills4,6337942026-06-03 04:11776732
11bhwang4,6597932026-06-15 15:03798657
12bhwang4,6597932026-06-15 15:03798659
13jasperdekoninck4,6888482026-05-31 19:03771718
14bhwang4,7128312026-06-10 16:21790079
15bhwang4,7128312026-06-15 15:03798656
16paws084,7278952026-06-15 18:56799029
17paws084,7477882026-06-11 21:21792289
18paws084,7477882026-06-13 13:34794911
19cmxu74,7801,0592026-06-10 06:11789020
20cmxu74,7801,0592026-06-11 17:37792086
21cmxu74,7801,0592026-06-11 17:37792087
22cmxu74,7801,0592026-06-11 17:39792089
23cmxu74,7801,0592026-06-11 17:53792119
24cmxu74,7801,0592026-06-16 11:36799861
25lmilikic4,9011,0442026-06-13 17:26795339
26lmilikic4,9011,0442026-06-15 07:19798041
27lmilikic4,9011,0442026-06-16 11:57799893
28lmilikic4,9011,0442026-06-16 12:27799930
29lmilikic4,9011,0442026-06-16 13:55800029
30janko_cameron_lean4-skills4,9937422026-06-02 15:51775956
31cmxu75,0091,0312026-06-09 15:51788024
32ctree41135,1078722026-06-13 08:58794524
33ctree41135,1078722026-06-13 11:30794724
34ctree41135,1078722026-06-13 19:23795480
35ctree41135,4281,6132026-06-11 22:40792365
36ctree41135,4281,6132026-06-12 09:17793020
37ctree41135,6041,5762026-06-03 19:03778134
38bhwang6,1143,3872026-05-18 08:06738233
39bhwang6,1143,3872026-05-18 19:07739516
40allenzhu6,4714642026-06-09 17:45788302
41allenzhu6,4714642026-06-10 11:21789514
42allenzhu6,4714642026-06-13 06:58794368
43allenzhu6,4714642026-06-13 07:56794462
44allenzhu6,4714642026-06-14 04:44795857
45allenzhu6,4714642026-06-14 04:45795858
46allenzhu6,4714642026-06-14 16:59797025
47allenzhu6,4714642026-06-15 17:45798920
48allenzhu6,4714642026-06-16 02:19799306
49auraq6,8451,0082026-05-17 21:11736752
50ygdjiang6,9698692026-06-14 14:27796721
51ygdjiang6,9698692026-06-14 15:26796843
52lcthej6,9991,1012026-06-12 15:41793578
53lcthej6,9991,1012026-06-12 18:00793831
54sunny997,0279742026-05-18 12:42738767
55sunny997,0279742026-05-18 12:58738795
56sunny997,0279742026-05-18 13:06738805
57sunny997,0279742026-05-18 23:40739714
58sunny997,0279742026-05-18 23:41739715
59sunny997,0279742026-05-19 12:52740814
60sunny997,0279742026-05-21 12:47745249
61lcthej7,1001,0422026-06-12 11:43793246
62allenzhu7,3124702026-05-09 17:54719676
63allenzhu7,3124702026-05-10 04:31720098
64allenzhu7,3124702026-05-10 04:55720121
65allenzhu7,3124702026-05-10 04:56720124
66allenzhu7,3124702026-05-31 04:03770105
67allenzhu7,3124702026-06-01 15:45773936
68allenzhu7,3124702026-06-04 05:10778567
69allenzhu7,3124702026-06-07 16:52784414
70allenzhu7,3124702026-06-07 17:49784526
71allenzhu7,3124702026-06-08 16:35786448
72ctree41137,4314602026-05-20 15:00743121
73ctree41137,4314602026-05-28 21:44763640
74daniil_shmelev7,5841,0972026-06-14 16:23796957
75daniil_shmelev7,5841,0972026-06-14 19:30797289
76jasperdekoninck8,1799002026-05-15 19:22733268
77jasperdekoninck8,1799002026-05-17 14:15736166
78jasperdekoninck8,3629372026-05-14 08:43729444
79bhwang13,3943,9302026-06-04 12:01779310
80yhn11214,2369022026-05-10 20:50721519
81yhn11214,2369022026-05-10 20:56721521
82yhn11214,2369022026-05-10 21:04721526
83yhn11214,2369022026-05-10 21:05721527
84yhn11214,2369022026-05-10 21:05721528
85yhn11214,2369022026-05-11 13:14722653
86yhn11214,2369022026-05-17 20:52736741
87zerol14,6828162026-06-09 00:18786803
88zerol14,6828162026-06-13 06:44794352
89zerol14,6828162026-06-16 14:07800037
90xvade19,8529052026-05-18 20:37739590
91aurasoph19,8529062026-06-15 08:06798121
92guojing019,8529142026-05-19 11:29740669
93xuanfeiren19,9591,3142026-05-16 01:26733497
94xuanfeiren19,9591,3142026-05-16 01:26733498
95xuanfeiren19,9591,3142026-05-17 08:48735789
96xuanfeiren19,9591,3142026-05-19 01:08739765
97allenanie19,9591,3142026-05-19 04:20739971
98robertboy1820,0829832026-05-20 22:29743754
99kpal00220,2331,0722026-06-06 09:34782504
100fabianz20,2519572026-06-14 20:34797405
101fabianz20,2519572026-06-15 21:48799148
102codyx20,3099102026-06-07 21:52784818
103codyx20,3099102026-06-08 18:09786623
104codyx20,3099102026-06-10 23:08790514
105maximiliano20,4138692026-05-17 15:28736267
106maximiliano20,4138692026-05-18 20:38739592
107maximiliano20,4138692026-05-18 20:58739612
108maximiliano20,4138692026-05-21 10:18744922
109cmxu720,4291,1022026-06-03 08:38777120
110cmxu720,4291,1022026-06-08 06:54785357
111cmxu720,4321,0272026-06-04 06:08778665
112cmxu720,4321,0272026-06-07 17:08784444
113dmytruto20,4595112026-06-02 17:06776150
114dmytruto20,4595112026-06-08 23:59786800
115dmytruto20,4595112026-06-10 11:07789486
116sandeepsaluru20,4969232026-05-25 18:38755093
117lmilikic20,5039372026-06-03 16:39777922
118aurasoph20,5136482026-05-10 21:22721535
119aurasoph20,5136482026-05-16 05:16733698
120aurasoph20,5136482026-05-18 09:12738406
121jszhang20,5629312026-05-19 08:48740372
122maudlemercier21,0142,2482026-06-02 10:40775524
123maudlemercier21,0152,2562026-06-03 12:17777554
124jason_bourne21,0778482026-06-11 10:09791181
125jason_bourne21,0778482026-06-12 05:27792721
126jason_bourne21,0778482026-06-13 07:23794392
127jason_bourne21,0778482026-06-15 16:31798793
128nielstron21,1738622026-05-28 18:01763078
129chensun21,1738622026-05-29 15:53765555
130marcusm11721,1761,5982026-05-09 23:00719913
131marcusm11721,1761,5982026-05-18 05:40738033
132minjaeso21,3278552026-06-02 11:54775626
133minjaeso21,3278552026-06-03 13:27777609
134janko_cameron_lean4-skills21,4805612026-05-30 08:25767385
135janko_cameron_lean4-skills21,7085972026-05-30 02:11766564
136janko_cameron_lean4-skills21,7085972026-05-30 06:31767100
137janko_cameron_lean4-skills21,7085972026-05-30 06:56767156
138msantolu23,3549842026-05-18 21:04739618
139sumukhmg23,4081,1242026-06-11 10:47791251
140sumukhmg23,4081,1242026-06-12 05:57792756
141jxb22223,5631,2972026-05-09 10:01718997
142daniil_shmelev25,9581,0552026-06-13 21:38795622
143bhwang26,7581,8102026-05-21 19:54746119
144squak26,8601,0872026-06-15 00:47797597
145squak26,8601,0872026-06-16 00:00799221
146atrin32,6541,3432026-06-02 05:21775010
147atrin32,6541,3432026-06-06 00:59782005
148atrin32,6541,3432026-06-15 22:40799175
149hypergalois63,9341,1152026-05-21 11:18745091
150hypergalois63,9341,1152026-06-08 00:43784932

Last updated 2026-06-22 16:42.