← Back to per problem leaderboard

Challenge_BinaryHeap_4

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,3934302026-06-15 19:02799044
🥈2jasperdekoninck6,79811,8152026-06-15 17:08798862
🥉3jasperdekoninck6,90411,9022026-06-12 10:28793116
4jasperdekoninck6,90411,9022026-06-12 11:09793197
5janko_cameron_lean4-skills7,3377,1692026-06-12 16:16793647
6janko_cameron_lean4-skills7,3377,1692026-06-16 01:21799264
7janko_cameron_lean4-skills7,3377,1692026-06-16 01:22799265
8janko_cameron_lean4-skills7,3377,1692026-06-16 13:59800030
9janko_cameron_lean4-skills7,3377,1692026-06-16 14:21800049
10janko_cameron_lean4-skills7,7788,2332026-06-03 04:11776732
11lcthej7,8867,8082026-06-13 00:53794124
12jasperdekoninck8,46913,7972026-05-31 19:03771718
13cmxu78,64614,2592026-06-09 15:51788024
14cmxu78,64614,2592026-06-10 06:11789020
15cmxu78,64614,2592026-06-11 17:37792086
16cmxu78,64614,2592026-06-11 17:37792087
17cmxu78,64614,2592026-06-11 17:39792089
18cmxu78,64614,2592026-06-11 17:53792119
19cmxu78,64614,2592026-06-16 11:36799861
20lcthej8,7109,0142026-06-12 18:00793831
21lcthej8,7119,0222026-06-12 15:41793578
22allenzhu8,89310,5112026-05-10 04:31720098
23allenzhu8,89610,5432026-05-09 17:54719676
24ctree411310,0018,5492026-06-12 09:17793020
25ctree411310,0018,5492026-06-13 08:58794524
26ctree411310,0018,5492026-06-13 11:30794724
27ctree411310,0018,5492026-06-13 19:23795480
28ctree411310,0128,5542026-06-11 22:40792365
29allenzhu10,28410,9082026-06-09 17:45788302
30allenzhu10,28410,9082026-06-10 11:21789514
31allenzhu10,28410,9082026-06-13 06:58794368
32allenzhu10,28410,9082026-06-13 07:56794462
33allenzhu10,28410,9082026-06-14 04:44795857
34allenzhu10,28410,9082026-06-14 04:45795858
35allenzhu10,28410,9082026-06-14 16:59797025
36allenzhu10,28410,9082026-06-15 17:45798920
37allenzhu10,28410,9082026-06-16 02:19799306
38ctree411310,5198,7642026-06-03 19:03778134
39bhwang10,57713,9472026-06-15 15:03798657
40bhwang10,57713,9472026-06-15 15:03798659
41bhwang10,85913,9332026-06-10 16:21790079
42bhwang10,85913,9332026-06-15 15:03798656
43janko_cameron_lean4-skills10,9827,3592026-06-02 15:51775956
44paws0812,17114,3782026-06-15 18:56799029
45dmytruto14,9049,4232026-06-02 17:06776150
46dmytruto14,9049,4232026-06-08 23:59786800
47dmytruto14,9049,4232026-06-10 11:07789486
48nielstron15,77412,7072026-05-28 18:01763078
49chensun15,77412,7072026-05-29 15:53765555
50lcthej16,36711,5212026-06-12 11:43793246
51daniil_shmelev17,0269,0372026-06-14 16:23796957
52daniil_shmelev17,0269,0372026-06-14 19:30797289
53lmilikic18,48412,0302026-06-13 17:26795339
54lmilikic18,48412,0302026-06-15 07:19798041
55lmilikic18,48412,0302026-06-16 11:57799893
56lmilikic18,48412,0302026-06-16 12:27799930
57lmilikic18,48412,0302026-06-16 13:55800029
58jasperdekoninck27,12613,3772026-05-15 19:22733268
59jasperdekoninck27,12613,3772026-05-17 14:15736166
60jasperdekoninck27,14613,3972026-05-14 08:43729444
61allenzhu30,28210,2132026-06-07 16:52784414
62allenzhu30,28210,2132026-06-07 17:49784526
63allenzhu30,28210,2132026-06-08 16:35786448
64allenzhu30,49916,1752026-05-10 04:55720121
65allenzhu30,49916,1752026-05-10 04:56720124
66allenzhu30,49916,1752026-05-31 04:03770105
67allenzhu30,49916,1752026-06-01 15:45773936
68lmilikic36,53211,8482026-06-03 16:39777922
69bhwang37,46815,0662026-05-21 19:54746119
70shuwesley40,5177,6942026-05-30 06:27767094
71xuanfeiren40,51814,4372026-05-16 01:26733497
72xuanfeiren40,51814,4372026-05-16 01:26733498
73xuanfeiren40,51814,4372026-05-17 08:48735789
74xuanfeiren43,47419,8002026-05-19 01:08739765
75allenanie43,47419,8002026-05-19 04:20739971
76jszhang45,01712,4182026-05-19 08:48740372
77cmxu746,18012,0602026-06-03 08:38777120
78cmxu746,18012,0602026-06-08 06:54785357
79cmxu746,1889,9832026-06-04 06:08778665
80cmxu746,1889,9832026-06-07 17:08784444
81sumukhmg47,7499,5092026-06-12 05:57792756
82fabianz48,75912,9272026-06-14 20:34797405
83fabianz48,75912,9272026-06-15 21:48799148
84maudlemercier50,42954,4782026-06-03 12:17777554
85marcusm11753,48713,0092026-05-09 23:00719913
86marcusm11753,48713,0092026-05-18 05:40738033
87robertboy1855,18810,8752026-05-20 22:29743754
88allenzhu59,67610,2112026-06-04 05:10778567
89ygdjiang61,0529,6012026-06-14 00:12795699
90ygdjiang61,31010,6782026-06-14 14:27796721
91ygdjiang61,31010,6782026-06-14 15:26796843
92paws0861,63614,2212026-06-11 21:21792289
93paws0861,63614,2212026-06-13 13:34794911
94bhwang65,49246,5422026-06-04 12:01779310
95auraq66,08613,7412026-05-17 21:11736752
96maximiliano68,1057,2582026-05-17 15:28736267
97maximiliano68,1057,2582026-05-18 20:38739592
98maximiliano68,1057,2582026-05-18 20:58739612
99maximiliano68,1057,2582026-05-21 10:18744922
100bhwang70,89516,5762026-05-18 19:07739516
101zerol71,42613,0052026-06-09 00:18786803
102zerol71,42613,0052026-06-13 06:44794352
103zerol71,42613,0052026-06-16 14:07800037
104sandeepsaluru71,56211,5532026-05-25 18:38755093
105hypergalois76,27612,2902026-06-08 00:43784932
106ctree411377,4717,7012026-05-28 21:44763640
107hypergalois78,03912,2782026-05-21 11:18745091
108atrin88,60310,7212026-06-02 05:21775010
109atrin88,60310,7212026-06-06 00:59782005
110atrin88,60310,7212026-06-15 22:40799175
111codyx96,26618,5632026-06-07 21:52784818
112codyx96,26618,5632026-06-08 18:09786623
113codyx96,26618,5632026-06-10 23:08790514
114daniil_shmelev99,1899,4512026-06-13 21:38795622
115sunny99109,14711,3822026-05-18 12:42738767
116sunny99109,14711,3822026-05-18 12:58738795
117sunny99109,14711,3822026-05-18 13:06738805
118sunny99109,14711,3822026-05-18 23:40739714
119sunny99109,14711,3822026-05-18 23:41739715
120sunny99109,14711,3822026-05-19 12:52740814
121sunny99109,14711,3822026-05-21 12:47745249
122guojing0114,6419,0542026-05-19 11:29740669
123jason_bourne125,2925,3552026-06-15 16:31798793
124janko_cameron_lean4-skills128,2866,5982026-05-30 08:25767385
125janko_cameron_lean4-skills128,2906,6252026-05-30 02:11766564
126janko_cameron_lean4-skills128,2906,6252026-05-30 06:31767100
127janko_cameron_lean4-skills128,2906,6252026-05-30 06:56767156
128minjaeso239,60616,2852026-06-02 11:54775626
129minjaeso239,60616,2852026-06-03 13:27777609
130aurasoph257,22613,4782026-05-18 09:12738406
131aurasoph257,22813,4782026-05-10 21:22721535
132aurasoph257,22813,4782026-05-16 05:16733698
133xvade263,64711,7442026-05-18 20:37739590
134aurasoph263,64711,7452026-06-15 08:06798121
135squak425,61612,2722026-06-16 00:00799221
136squak438,50212,4032026-06-15 00:47797597

Last updated 2026-06-22 16:42.