← Back to per problem leaderboard

Challenge_BinaryHeap_3

Theorem: insert_correctness. Worth 25 points. 142 solved out of 163 attempted. Ranking by heartbeats ascending, then bytes ascending, then submission time ascending.

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4093882026-06-15 19:02799044
🥈2jasperdekoninck5,4555,1002026-06-15 17:08798862
🥉3jasperdekoninck5,5315,5682026-06-12 10:28793116
4jasperdekoninck5,5315,5682026-06-12 11:09793197
5janko_cameron_lean4-skills5,6202,9722026-06-12 16:16793647
6janko_cameron_lean4-skills5,6202,9722026-06-16 01:21799264
7janko_cameron_lean4-skills5,6202,9722026-06-16 01:22799265
8janko_cameron_lean4-skills5,6202,9722026-06-16 13:59800030
9janko_cameron_lean4-skills5,6202,9722026-06-16 14:21800049
10janko_cameron_lean4-skills5,7163,1702026-06-03 04:11776732
11lcthej5,7542,3112026-06-13 00:53794124
12lcthej5,9822,5802026-06-12 15:41793578
13lcthej5,9822,5802026-06-12 18:00793831
14cmxu76,1044,7882026-06-10 06:11789020
15cmxu76,1044,7882026-06-11 17:37792086
16cmxu76,1044,7882026-06-11 17:37792087
17cmxu76,1044,7882026-06-11 17:39792089
18cmxu76,1044,7882026-06-11 17:53792119
19cmxu76,1044,7882026-06-16 11:36799861
20cmxu76,1214,8082026-06-09 15:51788024
21bhwang6,1795,5562026-06-15 15:03798657
22bhwang6,1985,6092026-06-15 15:03798659
23ctree41136,4713,0872026-06-13 08:58794524
24ctree41136,4713,0872026-06-13 11:30794724
25ctree41136,4713,0872026-06-13 19:23795480
26jasperdekoninck6,5006,3552026-05-31 19:03771718
27bhwang6,7363,9272026-06-10 16:21790079
28bhwang6,7363,9272026-06-15 15:03798656
29marcusm1176,9217,1392026-05-09 23:00719913
30marcusm1176,9217,1392026-05-18 05:40738033
31bhwang7,0417,7092026-06-04 12:01779310
32daniil_shmelev7,0505,0312026-06-14 19:30797289
33daniil_shmelev7,0845,0012026-06-14 16:23796957
34nielstron7,0903,3622026-05-28 18:01763078
35chensun7,0903,3622026-05-29 15:53765555
36ctree41137,1332,7312026-06-11 22:40792365
37ctree41137,1332,7312026-06-12 09:17793020
38xuanfeiren7,2545,3592026-05-16 01:26733497
39xuanfeiren7,2545,3592026-05-16 01:26733498
40xuanfeiren7,2545,3592026-05-17 08:48735789
41xuanfeiren7,2545,3592026-05-19 01:08739765
42allenanie7,2545,3592026-05-19 04:20739971
43maudlemercier7,2856,8472026-06-03 12:17777554
44janko_cameron_lean4-skills7,5903,3132026-06-02 15:51775956
45allenzhu7,6843,2122026-06-07 16:52784414
46allenzhu7,6843,2122026-06-07 17:49784526
47allenzhu7,6843,2122026-06-08 16:35786448
48allenzhu7,6843,2122026-06-09 17:45788302
49allenzhu7,6843,2122026-06-10 11:21789514
50allenzhu7,6843,2122026-06-13 06:58794368
51allenzhu7,6843,2122026-06-13 07:56794462
52allenzhu7,6843,2122026-06-14 04:44795857
53allenzhu7,6843,2122026-06-14 04:45795858
54allenzhu7,6843,2122026-06-14 16:59797025
55allenzhu7,6843,2122026-06-15 17:45798920
56allenzhu7,6843,2122026-06-16 02:19799306
57zerol7,9723,9202026-06-09 00:18786803
58zerol7,9723,9202026-06-13 06:44794352
59zerol7,9723,9202026-06-16 14:07800037
60bhwang8,5455,8482026-05-18 19:07739516
61dmytruto10,1744,0752026-06-02 17:06776150
62dmytruto10,1744,0752026-06-08 23:59786800
63dmytruto10,1744,0752026-06-10 11:07789486
64lmilikic10,5756,3302026-06-13 17:26795339
65lmilikic10,5756,3302026-06-15 07:19798041
66lmilikic10,5756,3302026-06-16 11:57799893
67lmilikic10,5756,3302026-06-16 12:27799930
68lmilikic10,5756,3302026-06-16 13:55800029
69sumukhmg12,0254,7132026-06-12 05:57792756
70fabianz12,3874,2232026-06-14 20:34797405
71fabianz12,3874,2232026-06-15 21:48799148
72lcthej12,4274,1232026-06-12 11:43793246
73paws0812,6026,0952026-06-11 21:21792289
74paws0812,6026,0952026-06-13 13:34794911
75paws0812,6026,0952026-06-15 18:56799029
76cmxu712,6163,1542026-06-03 08:38777120
77cmxu712,6163,1542026-06-08 06:54785357
78cmxu712,6182,5692026-06-04 06:08778665
79cmxu712,6182,5692026-06-07 17:08784444
80minjaeso12,6817,7162026-06-02 11:54775626
81minjaeso12,6817,7162026-06-03 13:27777609
82guojing012,8502,8252026-05-19 11:29740669
83maximiliano13,2142,5042026-05-17 15:28736267
84maximiliano13,2142,5042026-05-18 20:38739592
85maximiliano13,2142,5042026-05-18 20:58739612
86maximiliano13,2142,5042026-05-21 10:18744922
87msantolu13,5836,0982026-05-18 21:04739618
88ctree411314,5282,3382026-06-03 19:03778134
89bhwang14,7587,5222026-05-21 19:54746119
90jasperdekoninck14,7986,1092026-05-15 19:22733268
91jasperdekoninck14,7986,1092026-05-17 14:15736166
92jasperdekoninck14,8126,1512026-05-14 08:43729444
93lmilikic20,5286,1572026-06-03 16:39777922
94shuwesley21,6393,3642026-05-30 06:27767094
95janko_cameron_lean4-skills24,3702,7952026-05-30 02:11766564
96janko_cameron_lean4-skills24,3702,7952026-05-30 06:31767100
97janko_cameron_lean4-skills24,3702,7952026-05-30 06:56767156
98janko_cameron_lean4-skills24,7952,7632026-05-30 08:25767385
99jszhang25,41413,1242026-05-19 08:48740372
100allenzhu25,9745,7862026-05-09 17:54719676
101allenzhu25,9745,7862026-05-10 04:31720098
102allenzhu25,9745,7862026-05-10 04:55720121
103allenzhu25,9745,7862026-05-10 04:56720124
104allenzhu25,9745,7862026-05-31 04:03770105
105allenzhu25,9745,7862026-06-01 15:45773936
106sandeepsaluru27,5734,2192026-05-25 18:38755093
107jxb22229,9303,9582026-05-09 10:01718997
108codyx33,3474,9532026-06-07 21:52784818
109codyx33,3474,9532026-06-08 18:09786623
110codyx33,3474,9532026-06-10 23:08790514
111allenzhu33,8652,9592026-06-04 05:10778567
112hypergalois34,4285,0432026-06-08 00:43784932
113hypergalois35,2954,6912026-05-21 11:18745091
114robertboy1838,7445,3952026-05-20 22:29743754
115jason_bourne39,3572,8352026-06-11 10:09791181
116jason_bourne39,3572,8352026-06-12 05:27792721
117jason_bourne39,3572,8352026-06-13 07:23794392
118jason_bourne39,3572,8352026-06-15 16:31798793
119ygdjiang43,9583,3552026-06-14 00:12795699
120ygdjiang43,9583,3552026-06-14 14:27796721
121ygdjiang43,9583,3552026-06-14 15:26796843
122sunny9945,4534,4312026-05-18 12:42738767
123sunny9945,4534,4312026-05-18 12:58738795
124sunny9945,4534,4312026-05-18 13:06738805
125sunny9945,4534,4312026-05-18 23:40739714
126sunny9945,4534,4312026-05-18 23:41739715
127sunny9945,4534,4312026-05-19 12:52740814
128sunny9945,4534,4312026-05-21 12:47745249
129daniil_shmelev50,5885,0352026-06-13 21:38795622
130auraq52,49514,1602026-05-17 21:11736752
131atrin68,0173,2912026-06-02 05:21775010
132atrin68,0173,2912026-06-06 00:59782005
133atrin68,0173,2912026-06-15 22:40799175
134xvade74,0352,5522026-05-18 20:37739590
135aurasoph74,0412,5532026-06-15 08:06798121
136aurasoph82,4102,1982026-05-16 05:16733698
137aurasoph82,4112,1982026-05-10 21:22721535
138aurasoph82,4112,1982026-05-18 09:12738406
139squak104,5864,4902026-06-16 00:00799221
140ctree4113161,3038982026-05-20 15:00743121
141ctree4113161,3038982026-05-28 21:44763640
142squak173,1675,3802026-06-15 00:47797597

Last updated 2026-06-22 16:42.