← Back to per problem leaderboard

Challenge_Treap_15

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4364562026-06-15 19:02799044
🥈2jasperdekoninck4,4797632026-06-15 17:08798862
🥉3jasperdekoninck4,4827672026-06-12 10:28793116
4jasperdekoninck4,4827672026-06-12 11:09793197
5janko_cameron_lean4-skills4,6109382026-06-12 16:16793647
6janko_cameron_lean4-skills4,6109382026-06-16 01:21799264
7janko_cameron_lean4-skills4,6109382026-06-16 01:22799265
8janko_cameron_lean4-skills4,6109382026-06-16 13:59800030
9janko_cameron_lean4-skills4,6109382026-06-16 14:21800049
10jasperdekoninck4,6137292026-05-31 19:03771718
11bhwang4,6919952026-06-15 15:03798657
12bhwang4,6919952026-06-15 15:03798659
13janko_cameron_lean4-skills4,7059052026-06-03 04:11776732
14cmxu75,1691,2252026-06-10 06:11789020
15cmxu75,1691,2252026-06-11 17:37792086
16cmxu75,1691,2252026-06-11 17:37792087
17cmxu75,1691,2252026-06-11 17:39792089
18cmxu75,1691,2252026-06-11 17:53792119
19cmxu75,1691,2252026-06-16 11:36799861
20janko_cameron_lean4-skills5,2265152026-06-02 15:51775956
21paws085,3071,0492026-06-15 18:56799029
22bhwang5,3171,1082026-06-10 16:21790079
23bhwang5,3171,1082026-06-15 15:03798656
24sumukhmg5,4149062026-06-11 10:47791251
25sumukhmg5,4149062026-06-12 05:57792756
26allenzhu5,4174652026-06-09 17:45788302
27allenzhu5,4174652026-06-10 11:21789514
28allenzhu5,4174652026-06-13 06:58794368
29allenzhu5,4174652026-06-13 07:56794462
30allenzhu5,4174652026-06-14 04:44795857
31allenzhu5,4174652026-06-14 04:45795858
32allenzhu5,4174652026-06-14 16:59797025
33allenzhu5,4174652026-06-15 17:45798920
34allenzhu5,4174652026-06-16 02:19799306
35ctree41135,4181,0702026-06-13 08:58794524
36ctree41135,4181,0702026-06-13 11:30794724
37ctree41135,4181,0702026-06-13 19:23795480
38ctree41135,4251,0082026-06-12 09:17793020
39xvade5,5088192026-05-18 20:37739590
40aurasoph5,5088202026-06-15 08:06798121
41bhwang5,6891,2962026-05-21 19:54746119
42cmxu75,7001,3252026-06-09 15:51788024
43bhwang5,7321,0972026-05-18 08:06738233
44bhwang5,7321,0972026-05-18 19:07739516
45ctree41135,7991,0742026-06-11 22:40792365
46ctree41135,8021,0502026-06-03 19:03778134
47paws086,0388822026-06-11 21:21792289
48paws086,0388822026-06-13 13:34794911
49jasperdekoninck6,0899842026-05-14 08:43729444
50jasperdekoninck6,0899842026-05-15 19:22733268
51jasperdekoninck6,0899842026-05-17 14:15736166
52marcusm1176,2331,1292026-05-09 23:00719913
53marcusm1176,2331,1292026-05-18 05:40738033
54codyx6,2879752026-06-07 21:52784818
55codyx6,2879752026-06-08 18:09786623
56codyx6,2879752026-06-10 23:08790514
57thomsdenoms6,3828622026-06-16 00:30799228
58xuanfeiren6,3901,2292026-05-16 01:26733497
59xuanfeiren6,3901,2292026-05-16 01:26733498
60xuanfeiren6,3901,2292026-05-17 08:48735789
61xuanfeiren6,3901,2292026-05-19 01:08739765
62allenanie6,3901,2292026-05-19 04:20739971
63squak6,4121,0732026-06-15 00:47797597
64squak6,4121,0732026-06-16 00:00799221
65fabianz6,4687662026-06-14 20:34797405
66fabianz6,4687662026-06-15 21:48799148
67msantolu6,7431,0462026-05-18 21:04739618
68jszhang6,9541,7422026-05-19 08:48740372
69nielstron7,7526952026-05-28 18:01763078
70chensun7,7526952026-05-29 15:53765555
71jason_bourne7,8345962026-06-11 10:09791181
72jason_bourne7,8345962026-06-12 05:27792721
73jason_bourne7,8345962026-06-13 07:23794392
74jason_bourne7,8345962026-06-15 16:31798793
75guojing07,8438752026-05-19 11:29740669
76sunny997,8726442026-05-18 12:42738767
77sunny997,8726442026-05-18 12:58738795
78sunny997,8726442026-05-18 13:06738805
79sunny997,8726442026-05-18 23:40739714
80sunny997,8726442026-05-18 23:41739715
81sunny997,8726442026-05-19 12:52740814
82sunny997,8726442026-05-21 12:47745249
83robertboy187,9478032026-05-20 22:29743754
84minjaeso7,9498092026-06-02 11:54775626
85minjaeso7,9498092026-06-03 13:27777609
86sandeepsaluru7,9537192026-05-25 18:38755093
87lcthej8,0901,3862026-06-12 15:41793578
88lcthej8,0901,3862026-06-12 18:00793831
89daniil_shmelev8,1041,0012026-06-14 16:23796957
90daniil_shmelev8,1041,0012026-06-14 19:30797289
91bhwang8,1134,0742026-06-04 12:01779310
92ygdjiang8,1158342026-06-14 14:27796721
93ygdjiang8,1158342026-06-14 15:26796843
94daniil_shmelev8,2079782026-06-13 21:38795622
95lcthej8,2161,3272026-06-12 11:43793246
96dmytruto8,3309422026-06-02 17:06776150
97dmytruto8,3309422026-06-08 23:59786800
98dmytruto8,3309422026-06-10 11:07789486
99atrin8,7101,1402026-06-02 05:21775010
100atrin8,7101,1402026-06-06 00:59782005
101atrin8,7101,1402026-06-15 22:40799175
102auraq8,7851,1252026-05-17 21:11736752
103aurasoph8,9857262026-05-10 21:22721535
104aurasoph8,9857262026-05-16 05:16733698
105aurasoph8,9857262026-05-18 09:12738406
106cmxu79,1051,6572026-06-03 08:38777120
107cmxu79,1051,6572026-06-08 06:54785357
108cmxu79,1061,5242026-06-04 06:08778665
109cmxu79,1061,5242026-06-07 17:08784444
110janko_cameron_lean4-skills9,3873862026-05-30 08:25767385
111janko_cameron_lean4-skills9,3923902026-05-30 02:11766564
112janko_cameron_lean4-skills9,3923902026-05-30 06:31767100
113janko_cameron_lean4-skills9,3923902026-05-30 06:56767156
114zerol9,4124262026-06-09 00:18786803
115zerol9,4124262026-06-13 06:44794352
116zerol9,4124262026-06-16 14:07800037
117shuwesley9,4154042026-05-18 17:06739324
118maudlemercier9,4154062026-06-02 10:40775524
119maudlemercier9,4154062026-06-03 12:17777554
120allenzhu9,5634332026-05-09 17:54719676
121allenzhu9,5634332026-05-10 04:31720098
122allenzhu9,5634332026-05-10 04:55720121
123allenzhu9,5634332026-05-10 04:56720124
124allenzhu9,5634332026-05-31 04:03770105
125allenzhu9,5634332026-06-01 15:45773936
126allenzhu9,5634332026-06-04 05:10778567
127allenzhu9,5634332026-06-07 16:52784414
128allenzhu9,5634332026-06-07 17:49784526
129allenzhu9,5634332026-06-08 16:35786448
130maximiliano10,0506962026-05-17 15:28736267
131maximiliano10,0506962026-05-18 20:38739592
132maximiliano10,0506962026-05-18 20:58739612
133maximiliano10,0506962026-05-21 10:18744922
134jxb22210,1951,7152026-05-09 10:01718997
135ctree411310,2014332026-05-20 15:00743121
136ctree411310,2024332026-05-28 21:44763640
137hypergalois10,2141,1982026-05-21 11:18745091
138hypergalois10,2141,1982026-06-08 00:43784932
139lmilikic11,5801,4512026-06-03 16:39777922
140lmilikic11,5801,4512026-06-13 17:26795339
141lmilikic11,5801,4512026-06-15 07:19798041
142lmilikic11,5801,4512026-06-16 11:57799893
143lmilikic11,5801,4512026-06-16 12:27799930
144lmilikic11,5801,4512026-06-16 13:55800029

Last updated 2026-06-22 16:42.