← Back to per problem leaderboard

Challenge_Treap_11

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4354622026-06-15 19:02799044
🥈2jasperdekoninck4,4456762026-06-15 17:08798862
🥉3jasperdekoninck4,4506692026-06-12 10:28793116
4jasperdekoninck4,4506692026-06-12 11:09793197
5jasperdekoninck4,5076602026-05-31 19:03771718
6janko_cameron_lean4-skills4,5386522026-06-12 16:16793647
7janko_cameron_lean4-skills4,5386522026-06-16 01:21799264
8janko_cameron_lean4-skills4,5386522026-06-16 01:22799265
9janko_cameron_lean4-skills4,5386522026-06-16 13:59800030
10janko_cameron_lean4-skills4,5386522026-06-16 14:21800049
11bhwang4,5426892026-06-15 15:03798657
12bhwang4,5426892026-06-15 15:03798659
13janko_cameron_lean4-skills4,5856432026-06-03 04:11776732
14bhwang4,7566602026-06-10 16:21790079
15bhwang4,7566602026-06-15 15:03798656
16ctree41134,8809342026-06-13 08:58794524
17ctree41134,8809342026-06-13 11:30794724
18ctree41134,8809342026-06-13 19:23795480
19cmxu74,8968612026-06-10 06:11789020
20cmxu74,8968612026-06-11 17:37792086
21cmxu74,8968612026-06-11 17:37792087
22cmxu74,8968612026-06-11 17:39792089
23cmxu74,8968612026-06-11 17:53792119
24cmxu74,8968612026-06-16 11:36799861
25paws084,9497732026-06-15 18:56799029
26cmxu74,9768232026-06-09 15:51788024
27janko_cameron_lean4-skills4,9855442026-06-02 15:51775956
28paws085,0187322026-06-11 21:21792289
29paws085,0187322026-06-13 13:34794911
30allenzhu5,0504702026-06-09 17:45788302
31allenzhu5,0504702026-06-10 11:21789514
32allenzhu5,0504702026-06-13 06:58794368
33allenzhu5,0504702026-06-13 07:56794462
34allenzhu5,0504702026-06-14 04:44795857
35allenzhu5,0504702026-06-14 04:45795858
36allenzhu5,0504702026-06-14 16:59797025
37allenzhu5,0504702026-06-15 17:45798920
38allenzhu5,0504702026-06-16 02:19799306
39ctree41135,3277712026-06-11 22:40792365
40ctree41135,3277712026-06-12 09:17793020
41ctree41135,3297472026-06-03 19:03778134
42codyx5,3577852026-06-07 21:52784818
43codyx5,3577852026-06-08 18:09786623
44codyx5,3577852026-06-10 23:08790514
45bhwang5,3857672026-05-18 08:06738233
46bhwang5,3857672026-05-18 19:07739516
47xvade5,4377282026-05-18 20:37739590
48aurasoph5,4377292026-06-15 08:06798121
49sumukhmg5,5276932026-06-11 10:47791251
50sumukhmg5,5276932026-06-12 05:57792756
51msantolu5,5386902026-05-18 21:04739618
52bhwang5,5421,0682026-05-21 19:54746119
53daniil_shmelev5,7238202026-06-14 16:23796957
54daniil_shmelev5,7238202026-06-14 19:30797289
55daniil_shmelev5,8067972026-06-13 21:38795622
56lcthej5,8948602026-06-12 15:41793578
57lcthej5,8948602026-06-12 18:00793831
58lcthej5,9778012026-06-12 11:43793246
59janko_cameron_lean4-skills5,9973912026-05-30 08:25767385
60guojing06,0254082026-05-19 11:29740669
61jszhang6,0261,3132026-05-19 08:48740372
62ygdjiang6,0726862026-06-14 14:27796721
63ygdjiang6,0726862026-06-14 15:26796843
64shuwesley6,1114032026-05-18 17:06739324
65robertboy186,1114032026-05-20 22:29743754
66shuwesley6,1114032026-05-30 06:27767094
67dmytruto6,1696152026-06-02 17:06776150
68dmytruto6,1696152026-06-08 23:59786800
69dmytruto6,1696152026-06-10 11:07789486
70zerol6,1697182026-06-09 00:18786803
71zerol6,1697182026-06-13 06:44794352
72zerol6,1697182026-06-16 14:07800037
73bhwang6,1761,9062026-06-04 12:01779310
74jason_bourne6,1976232026-06-11 10:09791181
75jason_bourne6,1976232026-06-12 05:27792721
76jason_bourne6,1976232026-06-13 07:23794392
77jason_bourne6,1986232026-06-15 16:31798793
78nielstron6,2086892026-05-28 18:01763078
79chensun6,2086892026-05-29 15:53765555
80jasperdekoninck6,2227422026-05-14 08:43729444
81jasperdekoninck6,2227422026-05-15 19:22733268
82jasperdekoninck6,2227422026-05-17 14:15736166
83jxb2226,2695262026-05-09 10:01718997
84hypergalois6,2695322026-05-21 11:18745091
85hypergalois6,2695322026-06-08 00:43784932
86lmilikic6,2695342026-06-03 16:39777922
87lmilikic6,2695342026-06-13 17:26795339
88lmilikic6,2695342026-06-15 07:19798041
89lmilikic6,2695342026-06-16 11:57799893
90lmilikic6,2695342026-06-16 12:27799930
91lmilikic6,2695342026-06-16 13:55800029
92atrin6,2768132026-06-02 05:21775010
93atrin6,2768132026-06-06 00:59782005
94atrin6,2768132026-06-15 22:40799175
95marcusm1176,3087452026-05-09 23:00719913
96marcusm1176,3087452026-05-18 05:40738033
97aurasoph6,3524802026-05-10 21:22721535
98aurasoph6,3524802026-05-16 05:16733698
99aurasoph6,3524802026-05-18 09:12738406
100sandeepsaluru6,4475042026-05-25 18:38755093
101sunny996,7085642026-05-18 12:42738767
102sunny996,7085642026-05-18 12:58738795
103sunny996,7085642026-05-18 13:06738805
104sunny996,7085642026-05-18 23:40739714
105sunny996,7085642026-05-18 23:41739715
106sunny996,7085642026-05-19 12:52740814
107sunny996,7085642026-05-21 12:47745249
108minjaeso6,7125432026-06-02 11:54775626
109minjaeso6,7125432026-06-03 13:27777609
110janko_cameron_lean4-skills6,8363952026-05-30 02:11766564
111janko_cameron_lean4-skills6,8363952026-05-30 06:31767100
112janko_cameron_lean4-skills6,8363952026-05-30 06:56767156
113maudlemercier6,8464112026-06-02 10:40775524
114maudlemercier6,8464112026-06-03 12:17777554
115allenzhu6,9524382026-05-09 17:54719676
116allenzhu6,9524382026-05-10 04:31720098
117allenzhu6,9524382026-05-10 04:55720121
118allenzhu6,9524382026-05-10 04:56720124
119allenzhu6,9524382026-05-31 04:03770105
120allenzhu6,9524382026-06-01 15:45773936
121allenzhu6,9524382026-06-04 05:10778567
122allenzhu6,9524382026-06-07 16:52784414
123allenzhu6,9524382026-06-07 17:49784526
124allenzhu6,9524382026-06-08 16:35786448
125maximiliano7,3524672026-05-17 15:28736267
126maximiliano7,3524672026-05-18 20:38739592
127maximiliano7,3524672026-05-18 20:58739612
128maximiliano7,3524672026-05-21 10:18744922
129fabianz7,4264722026-06-14 20:34797405
130fabianz7,4264722026-06-15 21:48799148
131squak8,2816332026-06-15 00:47797597
132squak8,2816332026-06-16 00:00799221
133xuanfeiren8,3727302026-05-16 01:26733497
134xuanfeiren8,3727302026-05-16 01:26733498
135xuanfeiren8,3727302026-05-17 08:48735789
136xuanfeiren8,3727302026-05-19 01:08739765
137allenanie8,3727302026-05-19 04:20739971
138ctree41138,4514442026-05-20 15:00743121
139ctree41138,4514442026-05-28 21:44763640
140cmxu79,5871,1752026-06-03 08:38777120
141cmxu79,5871,1752026-06-08 06:54785357
142cmxu79,5911,0932026-06-04 06:08778665
143cmxu79,5911,0932026-06-07 17:08784444

Last updated 2026-06-22 16:42.