← Back to per problem leaderboard

Challenge_Treap_5

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,5236272026-06-15 19:02799044
🥈2jasperdekoninck5,0282,4242026-06-15 17:08798862
🥉3jasperdekoninck5,0822,7622026-06-12 10:28793116
4jasperdekoninck5,0822,7622026-06-12 11:09793197
5janko_cameron_lean4-skills5,1661,8692026-06-12 16:16793647
6janko_cameron_lean4-skills5,1661,8692026-06-16 01:21799264
7janko_cameron_lean4-skills5,1661,8692026-06-16 01:22799265
8janko_cameron_lean4-skills5,1661,8692026-06-16 13:59800030
9janko_cameron_lean4-skills5,1661,8692026-06-16 14:21800049
10janko_cameron_lean4-skills5,2632,0712026-06-03 04:11776732
11bhwang5,4672,0432026-06-15 15:03798657
12lcthej5,5053,0972026-06-12 15:41793578
13lcthej5,5053,0972026-06-12 18:00793831
14cmxu75,5372,5692026-06-09 15:51788024
15cmxu75,5372,5692026-06-10 06:11789020
16cmxu75,5372,5692026-06-11 17:37792086
17cmxu75,5372,5692026-06-11 17:37792087
18cmxu75,5372,5692026-06-11 17:39792089
19cmxu75,5372,5692026-06-11 17:53792119
20cmxu75,5372,5692026-06-16 11:36799861
21paws085,5962,8472026-06-15 18:56799029
22bhwang5,6091,9122026-06-15 15:03798659
23ctree41135,7092,6982026-06-13 11:30794724
24ctree41135,7092,6982026-06-13 19:23795480
25janko_cameron_lean4-skills5,8272,4282026-06-02 15:51775956
26bhwang5,8792,7082026-06-10 16:21790079
27bhwang5,8792,7082026-06-15 15:03798656
28ctree41135,9432,8772026-06-12 09:17793020
29ctree41135,9432,8772026-06-13 08:58794524
30allenzhu6,0422,9892026-06-09 17:45788302
31allenzhu6,0422,9892026-06-10 11:21789514
32allenzhu6,0422,9892026-06-13 06:58794368
33allenzhu6,0422,9892026-06-13 07:56794462
34allenzhu6,0422,9892026-06-14 04:44795857
35allenzhu6,0422,9892026-06-14 04:45795858
36allenzhu6,0422,9892026-06-14 16:59797025
37allenzhu6,0422,9892026-06-15 17:45798920
38allenzhu6,0422,9892026-06-16 02:19799306
39sunny996,0633,6462026-05-18 12:42738767
40sunny996,0633,6462026-05-18 12:58738795
41sunny996,0633,6462026-05-18 13:06738805
42sunny996,0633,6462026-05-18 23:40739714
43sunny996,0633,6462026-05-18 23:41739715
44sunny996,0633,6462026-05-19 12:52740814
45sunny996,0633,6462026-05-21 12:47745249
46lmilikic6,0923,8442026-06-13 17:26795339
47lmilikic6,0923,8442026-06-15 07:19798041
48lmilikic6,0923,8442026-06-16 11:57799893
49lmilikic6,0923,8442026-06-16 12:27799930
50lmilikic6,0923,8442026-06-16 13:55800029
51jasperdekoninck6,1274,1422026-05-31 19:03771718
52ctree41136,1682,8672026-06-11 22:40792365
53marcusm1176,4275,9722026-05-09 23:00719913
54marcusm1176,4275,9722026-05-18 05:40738033
55ctree41136,4463,0272026-06-03 19:03778134
56allenzhu6,5102,8252026-06-04 05:10778567
57allenzhu6,5102,8252026-06-07 16:52784414
58allenzhu6,5102,8252026-06-07 17:49784526
59allenzhu6,5102,8252026-06-08 16:35786448
60dmytruto7,1814,8752026-06-02 17:06776150
61dmytruto7,1814,8752026-06-08 23:59786800
62dmytruto7,1814,8752026-06-10 11:07789486
63lcthej7,2234,3062026-06-12 11:43793246
64allenzhu7,6355,2902026-05-09 17:54719676
65allenzhu7,6355,2902026-05-10 04:31720098
66allenzhu7,6355,2902026-05-10 04:55720121
67allenzhu7,6355,2902026-05-10 04:56720124
68allenzhu7,6355,2902026-05-31 04:03770105
69allenzhu7,6355,2902026-06-01 15:45773936
70auraq7,8392,9272026-05-17 21:11736752
71ygdjiang8,2403,3962026-06-14 14:27796721
72ygdjiang8,2403,3962026-06-14 15:26796843
73bhwang8,8339,2902026-05-18 08:06738233
74bhwang8,8339,2902026-05-18 19:07739516
75daniil_shmelev9,2753,3622026-06-14 16:23796957
76daniil_shmelev9,2753,3622026-06-14 19:30797289
77bhwang9,4187,6342026-06-04 12:01779310
78paws089,4302,8222026-06-11 21:21792289
79paws089,4302,8222026-06-13 13:34794911
80jasperdekoninck20,4432,9142026-05-15 19:22733268
81jasperdekoninck20,4432,9142026-05-17 14:15736166
82jasperdekoninck20,6272,9512026-05-14 08:43729444
83ctree411320,9372,5942026-05-20 15:00743121
84ctree411320,9372,5942026-05-28 21:44763640
85xvade21,1622,8512026-05-18 20:37739590
86aurasoph21,1622,8522026-06-15 08:06798121
87squak21,7894,1822026-06-15 00:47797597
88squak21,7894,1822026-06-16 00:00799221
89maudlemercier21,8083,7942026-06-02 10:40775524
90maudlemercier21,8093,8022026-06-03 12:17777554
91xuanfeiren21,8714,4342026-05-16 01:26733497
92xuanfeiren21,8714,4342026-05-16 01:26733498
93xuanfeiren21,8714,4342026-05-17 08:48735789
94xuanfeiren21,8714,4342026-05-19 01:08739765
95allenanie21,8714,4342026-05-19 04:20739971
96nielstron22,2763,5652026-05-28 18:01763078
97chensun22,2763,5652026-05-29 15:53765555
98hypergalois23,7213,4802026-05-21 11:18745091
99hypergalois23,7213,4802026-06-08 00:43784932
100codyx24,6032,9102026-06-07 21:52784818
101codyx24,6032,9102026-06-08 18:09786623
102codyx24,6032,9102026-06-10 23:08790514
103msantolu25,0053,4792026-05-18 21:04739618
104jason_bourne25,1562,4442026-06-11 10:09791181
105jason_bourne25,1562,4442026-06-12 05:27792721
106jason_bourne25,1562,4442026-06-13 07:23794392
107jason_bourne25,1562,4442026-06-15 16:31798793
108jszhang25,6473,4062026-05-19 08:48740372
109sumukhmg27,9603,1292026-06-11 10:47791251
110sumukhmg27,9603,1292026-06-12 05:57792756
111guojing029,2693,0932026-05-19 11:29740669
112robertboy1829,5013,2052026-05-20 22:29743754
113lmilikic30,3433,5002026-06-03 16:39777922
114minjaeso30,6432,2602026-06-02 11:54775626
115minjaeso30,6432,2602026-06-03 13:27777609
116janko_cameron_lean4-skills30,9402,2552026-05-30 08:25767385
117janko_cameron_lean4-skills31,0042,4612026-05-30 02:11766564
118janko_cameron_lean4-skills31,0042,4612026-05-30 06:31767100
119janko_cameron_lean4-skills31,0042,4612026-05-30 06:56767156
120zerol33,0175,8062026-06-09 00:18786803
121zerol33,0175,8062026-06-13 06:44794352
122zerol33,0175,8062026-06-16 14:07800037
123sandeepsaluru33,4042,6542026-05-25 18:38755093
124maximiliano33,5382,9542026-05-17 15:28736267
125maximiliano33,5382,9542026-05-18 20:38739592
126maximiliano33,5382,9542026-05-18 20:58739612
127maximiliano33,5382,9542026-05-21 10:18744922
128jxb22234,2964,3742026-05-09 10:01718997
129cmxu737,0873,6172026-06-03 08:38777120
130cmxu737,0873,6172026-06-08 06:54785357
131cmxu737,0883,3922026-06-04 06:08778665
132cmxu737,0883,3922026-06-07 17:08784444
133fabianz37,8173,4102026-06-14 20:34797405
134fabianz37,8173,4102026-06-15 21:48799148
135daniil_shmelev37,8933,3232026-06-13 21:38795622
136bhwang44,0823,9032026-05-21 19:54746119
137atrin45,3693,4232026-06-02 05:21775010
138atrin45,3693,4232026-06-06 00:59782005
139atrin45,3693,4232026-06-15 22:40799175
140aurasoph132,8152,4032026-05-10 21:22721535
141aurasoph132,8152,4032026-05-16 05:16733698
142aurasoph132,8152,4032026-05-18 09:12738406

Last updated 2026-06-22 16:42.