← Back to per problem leaderboard

Challenge_Treap_13

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4354772026-06-15 19:02799044
🥈2jasperdekoninck4,4386612026-06-15 17:08798862
🥉3jasperdekoninck4,4486792026-06-12 10:28793116
4jasperdekoninck4,4486792026-06-12 11:09793197
5janko_cameron_lean4-skills4,5386672026-06-12 16:16793647
6janko_cameron_lean4-skills4,5386672026-06-16 01:21799264
7janko_cameron_lean4-skills4,5386672026-06-16 01:22799265
8janko_cameron_lean4-skills4,5386672026-06-16 13:59800030
9janko_cameron_lean4-skills4,5386672026-06-16 14:21800049
10bhwang4,5396982026-06-15 15:03798657
11bhwang4,5396982026-06-15 15:03798659
12janko_cameron_lean4-skills4,5496212026-06-03 04:11776732
13bhwang4,7447142026-06-10 16:21790079
14bhwang4,7447142026-06-15 15:03798656
15janko_cameron_lean4-skills4,7776982026-06-02 15:51775956
16ctree41134,8839592026-06-13 08:58794524
17ctree41134,8839592026-06-13 11:30794724
18ctree41134,8839592026-06-13 19:23795480
19cmxu74,9008862026-06-10 06:11789020
20cmxu74,9008862026-06-11 17:37792086
21cmxu74,9008862026-06-11 17:37792087
22cmxu74,9008862026-06-11 17:39792089
23cmxu74,9008862026-06-11 17:53792119
24cmxu74,9008862026-06-16 11:36799861
25paws084,9507882026-06-15 18:56799029
26cmxu74,9808482026-06-09 15:51788024
27jasperdekoninck5,0179452026-05-31 19:03771718
28paws085,0187472026-06-11 21:21792289
29paws085,0187472026-06-13 13:34794911
30allenzhu5,0504852026-06-09 17:45788302
31allenzhu5,0504852026-06-10 11:21789514
32allenzhu5,0504852026-06-13 06:58794368
33allenzhu5,0504852026-06-13 07:56794462
34allenzhu5,0504852026-06-14 04:44795857
35allenzhu5,0504852026-06-14 04:45795858
36allenzhu5,0504852026-06-14 16:59797025
37allenzhu5,0504852026-06-15 17:45798920
38allenzhu5,0504852026-06-16 02:19799306
39ctree41135,3278012026-06-11 22:40792365
40ctree41135,3278012026-06-12 09:17793020
41ctree41135,3297772026-06-03 19:03778134
42thomsdenoms5,4116752026-06-16 00:30799228
43jszhang5,4355852026-05-19 08:48740372
44xvade5,4387582026-05-18 20:37739590
45aurasoph5,4387592026-06-15 08:06798121
46codyx5,4496902026-06-07 21:52784818
47codyx5,4496902026-06-08 18:09786623
48codyx5,4496902026-06-10 23:08790514
49squak5,4536002026-06-15 00:47797597
50squak5,4536002026-06-16 00:00799221
51bhwang5,5021,0462026-05-18 08:06738233
52bhwang5,5021,0462026-05-18 19:07739516
53sumukhmg5,5287132026-06-11 10:47791251
54sumukhmg5,5287132026-06-12 05:57792756
55msantolu5,5397102026-05-18 21:04739618
56bhwang5,5451,1052026-05-21 19:54746119
57cmxu75,7739812026-06-03 08:38777120
58cmxu75,7739812026-06-08 06:54785357
59cmxu75,7759252026-06-04 06:08778665
60cmxu75,7759252026-06-07 17:08784444
61daniil_shmelev5,7798402026-06-14 16:23796957
62daniil_shmelev5,7798402026-06-14 19:30797289
63daniil_shmelev5,8628172026-06-13 21:38795622
64bhwang5,8892,0522026-06-04 12:01779310
65janko_cameron_lean4-skills5,9964062026-05-30 08:25767385
66lcthej6,0148822026-06-12 15:41793578
67lcthej6,0148822026-06-12 18:00793831
68guojing06,0354232026-05-19 11:29740669
69lcthej6,0978232026-06-12 11:43793246
70shuwesley6,1214232026-05-18 17:06739324
71robertboy186,1214232026-05-20 22:29743754
72shuwesley6,1214232026-05-30 06:27767094
73zerol6,1717402026-06-09 00:18786803
74zerol6,1717402026-06-13 06:44794352
75zerol6,1717402026-06-16 14:07800037
76ygdjiang6,1917162026-06-14 14:27796721
77ygdjiang6,1917162026-06-14 15:26796843
78jason_bourne6,1976482026-06-11 10:09791181
79jason_bourne6,1976482026-06-12 05:27792721
80jason_bourne6,1976482026-06-13 07:23794392
81jason_bourne6,1976482026-06-15 16:31798793
82nielstron6,3407042026-05-28 18:01763078
83chensun6,3407042026-05-29 15:53765555
84jasperdekoninck6,3427692026-05-14 08:43729444
85jasperdekoninck6,3427692026-05-15 19:22733268
86jasperdekoninck6,3427692026-05-17 14:15736166
87aurasoph6,3525002026-05-10 21:22721535
88aurasoph6,3525002026-05-16 05:16733698
89aurasoph6,3525002026-05-18 09:12738406
90jxb2226,3885532026-05-09 10:01718997
91hypergalois6,3885592026-05-21 11:18745091
92hypergalois6,3885592026-06-08 00:43784932
93lmilikic6,3885612026-06-03 16:39777922
94lmilikic6,3885612026-06-13 17:26795339
95lmilikic6,3885612026-06-15 07:19798041
96lmilikic6,3885612026-06-16 11:57799893
97lmilikic6,3885612026-06-16 12:27799930
98lmilikic6,3885612026-06-16 13:55800029
99atrin6,3958502026-06-02 05:21775010
100atrin6,3958502026-06-06 00:59782005
101atrin6,3958502026-06-15 22:40799175
102marcusm1176,4287672026-05-09 23:00719913
103marcusm1176,4287672026-05-18 05:40738033
104sandeepsaluru6,4465242026-05-25 18:38755093
105dmytruto6,4668152026-06-02 17:06776150
106dmytruto6,4668152026-06-08 23:59786800
107dmytruto6,4668152026-06-10 11:07789486
108sunny996,8815862026-05-18 12:42738767
109sunny996,8815862026-05-18 12:58738795
110sunny996,8815862026-05-18 13:06738805
111sunny996,8815862026-05-18 23:40739714
112sunny996,8815862026-05-18 23:41739715
113sunny996,8815862026-05-19 12:52740814
114sunny996,8815862026-05-21 12:47745249
115minjaeso6,8845652026-06-02 11:54775626
116minjaeso6,8845652026-06-03 13:27777609
117janko_cameron_lean4-skills6,8894102026-05-30 02:11766564
118janko_cameron_lean4-skills6,8894102026-05-30 06:31767100
119janko_cameron_lean4-skills6,8894102026-05-30 06:56767156
120maudlemercier6,9004262026-06-02 10:40775524
121maudlemercier6,9004262026-06-03 12:17777554
122allenzhu7,0054582026-05-09 17:54719676
123allenzhu7,0054582026-05-10 04:31720098
124allenzhu7,0054582026-05-10 04:55720121
125allenzhu7,0054582026-05-10 04:56720124
126allenzhu7,0054582026-05-31 04:03770105
127allenzhu7,0054582026-06-01 15:45773936
128allenzhu7,0054582026-06-04 05:10778567
129allenzhu7,0054582026-06-07 16:52784414
130allenzhu7,0054582026-06-07 17:49784526
131allenzhu7,0054582026-06-08 16:35786448
132maximiliano7,4094872026-05-17 15:28736267
133maximiliano7,4094872026-05-18 20:38739592
134maximiliano7,4094872026-05-18 20:58739612
135maximiliano7,4094872026-05-21 10:18744922
136fabianz7,4854922026-06-14 20:34797405
137fabianz7,4854922026-06-15 21:48799148
138xuanfeiren8,3737502026-05-16 01:26733497
139xuanfeiren8,3737502026-05-16 01:26733498
140xuanfeiren8,3737502026-05-17 08:48735789
141xuanfeiren8,3737502026-05-19 01:08739765
142allenanie8,3737502026-05-19 04:20739971
143ctree41138,4494692026-05-20 15:00743121
144ctree41138,4494692026-05-28 21:44763640

Last updated 2026-06-22 16:42.