← Back to per problem leaderboard

Challenge_Treap_6

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4425332026-06-15 19:02799044
🥈2jasperdekoninck5,0503,4702026-06-15 17:08798862
🥉3jasperdekoninck5,1202,8742026-06-12 10:28793116
4jasperdekoninck5,1202,8742026-06-12 11:09793197
5janko_cameron_lean4-skills5,2972,0922026-06-12 16:16793647
6janko_cameron_lean4-skills5,2972,0922026-06-16 01:21799264
7janko_cameron_lean4-skills5,2972,0922026-06-16 01:22799265
8janko_cameron_lean4-skills5,2972,0922026-06-16 13:59800030
9janko_cameron_lean4-skills5,2972,0922026-06-16 14:21800049
10janko_cameron_lean4-skills5,5422,9632026-06-03 04:11776732
11janko_cameron_lean4-skills5,5892,6012026-06-02 15:51775956
12ctree41135,6802,3882026-06-13 11:30794724
13ctree41135,6802,3882026-06-13 19:23795480
14allenzhu5,6822,3612026-06-09 17:45788302
15allenzhu5,6822,3612026-06-10 11:21789514
16allenzhu5,6822,3612026-06-13 06:58794368
17allenzhu5,6822,3612026-06-13 07:56794462
18allenzhu5,6822,3612026-06-14 04:44795857
19allenzhu5,6822,3612026-06-14 04:45795858
20allenzhu5,6822,3612026-06-14 16:59797025
21allenzhu5,6822,3612026-06-15 17:45798920
22allenzhu5,6822,3612026-06-16 02:19799306
23cmxu75,7462,9402026-06-09 15:51788024
24cmxu75,7462,9402026-06-10 06:11789020
25cmxu75,7462,9402026-06-11 17:37792086
26cmxu75,7462,9402026-06-11 17:37792087
27cmxu75,7462,9402026-06-11 17:39792089
28cmxu75,7462,9402026-06-11 17:53792119
29cmxu75,7462,9402026-06-16 11:36799861
30jasperdekoninck5,7803,1792026-05-31 19:03771718
31paws085,8332,7482026-06-15 18:56799029
32paws085,8532,6412026-06-11 21:21792289
33paws085,8532,6412026-06-13 13:34794911
34ctree41135,9722,6392026-06-12 09:17793020
35ctree41135,9722,6392026-06-13 08:58794524
36bhwang6,1682,7592026-06-15 15:03798657
37ctree41136,1962,6292026-06-11 22:40792365
38ctree41136,2532,7582026-06-03 19:03778134
39bhwang6,3632,7552026-06-15 15:03798659
40sunny996,3693,8962026-05-18 12:42738767
41sunny996,3693,8962026-05-18 12:58738795
42sunny996,3693,8962026-05-18 13:06738805
43sunny996,3693,8962026-05-18 23:40739714
44sunny996,3693,8962026-05-18 23:41739715
45sunny996,3693,8962026-05-19 12:52740814
46sunny996,3693,8962026-05-21 12:47745249
47janko_cameron_lean4-skills6,4272,5872026-05-30 08:25767385
48bhwang6,5192,8112026-06-10 16:21790079
49bhwang6,5192,8112026-06-15 15:03798656
50allenzhu6,5273,8072026-05-09 17:54719676
51allenzhu6,5273,8072026-05-10 04:31720098
52allenzhu6,5273,8072026-05-10 04:55720121
53allenzhu6,5273,8072026-05-10 04:56720124
54allenzhu6,5273,8072026-05-31 04:03770105
55allenzhu6,5273,8072026-06-01 15:45773936
56nielstron7,8573,2892026-05-28 18:01763078
57chensun7,8573,2892026-05-29 15:53765555
58lmilikic7,9303,5902026-06-03 16:39777922
59lmilikic7,9303,5902026-06-13 17:26795339
60lmilikic7,9303,5902026-06-15 07:19798041
61lmilikic7,9303,5902026-06-16 11:57799893
62lmilikic7,9303,5902026-06-16 12:27799930
63lmilikic7,9303,5902026-06-16 13:55800029
64auraq8,1873,3732026-05-17 21:11736752
65lcthej8,1904,0582026-06-12 15:41793578
66lcthej8,1904,0582026-06-12 18:00793831
67ygdjiang8,2443,2702026-06-14 14:27796721
68ygdjiang8,2443,2702026-06-14 15:26796843
69lcthej8,5163,9992026-06-12 11:43793246
70bhwang8,5908,5102026-05-18 08:06738233
71bhwang8,5908,5102026-05-18 19:07739516
72daniil_shmelev9,0813,4582026-06-14 16:23796957
73daniil_shmelev9,0813,4582026-06-14 19:30797289
74jasperdekoninck9,3443,1272026-05-15 19:22733268
75jasperdekoninck9,3443,1272026-05-17 14:15736166
76bhwang9,6547,4892026-06-04 12:01779310
77jasperdekoninck9,6573,2162026-05-14 08:43729444
78cmxu713,9203,7002026-06-03 08:38777120
79cmxu713,9203,7002026-06-08 06:54785357
80cmxu713,9233,3102026-06-04 06:08778665
81cmxu713,9233,3102026-06-07 17:08784444
82codyx13,9613,5102026-06-07 21:52784818
83codyx13,9613,5102026-06-08 18:09786623
84codyx13,9613,5102026-06-10 23:08790514
85ctree411314,1512,5182026-05-20 15:00743121
86ctree411314,1512,5182026-05-28 21:44763640
87zerol18,5835,1842026-06-09 00:18786803
88zerol18,5835,1842026-06-13 06:44794352
89zerol18,5835,1842026-06-16 14:07800037
90xvade21,2483,0012026-05-18 20:37739590
91aurasoph21,2483,0022026-06-15 08:06798121
92jszhang21,5602,8142026-05-19 08:48740372
93xuanfeiren21,5843,4972026-05-16 01:26733497
94xuanfeiren21,5843,4972026-05-16 01:26733498
95xuanfeiren21,5843,4972026-05-17 08:48735789
96xuanfeiren21,5843,4972026-05-19 01:08739765
97allenanie21,5843,4972026-05-19 04:20739971
98maudlemercier22,1525,1342026-06-02 10:40775524
99maudlemercier22,1535,1422026-06-03 12:17777554
100jason_bourne22,1892,7752026-06-11 10:09791181
101jason_bourne22,1892,7752026-06-12 05:27792721
102jason_bourne22,1892,7752026-06-13 07:23794392
103jason_bourne22,1892,7752026-06-15 16:31798793
104hypergalois23,8213,8882026-05-21 11:18745091
105hypergalois23,8213,8882026-06-08 00:43784932
106sumukhmg24,5082,9552026-06-11 10:47791251
107sumukhmg24,5082,9552026-06-12 05:57792756
108shuwesley24,9063,4362026-05-30 06:27767094
109msantolu25,2833,3512026-05-18 21:04739618
110robertboy1828,0253,1312026-05-20 22:29743754
111guojing028,3563,7572026-05-19 11:29740669
112dmytruto28,5033,8162026-06-08 23:59786800
113dmytruto28,5033,8162026-06-10 11:07789486
114allenzhu28,6381,8602026-06-04 05:10778567
115allenzhu28,6381,8602026-06-07 16:52784414
116allenzhu28,6381,8602026-06-07 17:49784526
117allenzhu28,6381,8602026-06-08 16:35786448
118fabianz28,9472,9232026-06-14 20:34797405
119fabianz28,9472,9232026-06-15 21:48799148
120sandeepsaluru28,9892,8412026-05-25 18:38755093
121maximiliano29,2033,2062026-05-17 15:28736267
122maximiliano29,2033,2062026-05-18 20:38739592
123maximiliano29,2033,2062026-05-18 20:58739612
124maximiliano29,2033,2062026-05-21 10:18744922
125minjaeso29,3382,5112026-06-02 11:54775626
126minjaeso29,3382,5112026-06-03 13:27777609
127marcusm11729,5995,1842026-05-09 23:00719913
128marcusm11729,5995,1842026-05-18 05:40738033
129janko_cameron_lean4-skills29,9582,6112026-05-30 02:11766564
130janko_cameron_lean4-skills29,9582,6112026-05-30 06:31767100
131janko_cameron_lean4-skills29,9582,6112026-05-30 06:56767156
132bhwang32,3034,1062026-05-21 19:54746119
133daniil_shmelev36,3273,4202026-06-13 21:38795622
134atrin45,1943,7702026-06-02 05:21775010
135atrin45,1943,7702026-06-06 00:59782005
136atrin45,1943,7702026-06-15 22:40799175
137jxb22272,7164,7272026-05-09 10:01718997
138aurasoph88,2252,5382026-05-10 21:22721535
139aurasoph88,2252,5382026-05-16 05:16733698
140aurasoph88,2252,5382026-05-18 09:12738406
141squak100,9892,1632026-06-15 00:47797597
142squak100,9892,1632026-06-16 00:00799221

Last updated 2026-06-22 16:42.