← Back to per problem leaderboard

Challenge_BinaryHeap_2

Theorem: extract_min_correctness. Worth 25 points. 132 solved out of 162 attempted. Ranking by heartbeats ascending, then bytes ascending, then submission time ascending.

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1allenzhu4,4325012026-06-13 06:58794368
🥈2allenzhu4,4325012026-06-13 07:56794462
🥉3allenzhu4,4325012026-06-14 04:45795858
4allenzhu4,4325012026-06-16 02:19799306
5minjaeso4,4436472026-06-15 19:02799044
6janko_cameron_lean4-skills8,80310,3312026-06-12 16:16793647
7janko_cameron_lean4-skills8,80310,3312026-06-16 01:21799264
8janko_cameron_lean4-skills8,80310,3312026-06-16 01:22799265
9janko_cameron_lean4-skills8,80310,3312026-06-16 13:59800030
10janko_cameron_lean4-skills8,80310,3312026-06-16 14:21800049
11jasperdekoninck9,43721,5192026-06-15 17:08798862
12jasperdekoninck9,61021,3482026-06-12 10:28793116
13jasperdekoninck9,61021,3482026-06-12 11:09793197
14janko_cameron_lean4-skills12,31513,1602026-06-03 04:11776732
15cmxu712,34313,2802026-06-09 15:51788024
16cmxu712,34313,2802026-06-10 06:11789020
17cmxu712,34313,2802026-06-11 17:37792086
18cmxu712,34313,2802026-06-11 17:37792087
19cmxu712,34313,2802026-06-11 17:39792089
20cmxu712,34313,2802026-06-11 17:53792119
21cmxu712,34313,2802026-06-16 11:36799861
22ctree411313,39217,6802026-06-13 08:58794524
23ctree411313,39217,6802026-06-13 11:30794724
24ctree411313,39217,6802026-06-13 19:23795480
25lcthej13,89114,9212026-06-13 00:53794124
26bhwang14,10915,9942026-06-15 15:03798657
27bhwang14,38716,4692026-06-15 15:03798659
28jasperdekoninck14,75827,7092026-05-31 19:03771718
29bhwang14,96717,1492026-06-10 16:21790079
30bhwang14,96717,1492026-06-15 15:03798656
31ctree411315,57115,0372026-06-11 22:40792365
32ctree411315,57115,0372026-06-12 09:17793020
33lcthej15,80417,7022026-06-12 15:41793578
34paws0816,03120,2552026-06-15 18:56799029
35lcthej16,16718,7272026-06-12 18:00793831
36janko_cameron_lean4-skills16,97415,6642026-06-02 15:51775956
37ctree411320,26016,5042026-06-03 19:03778134
38allenzhu20,91126,5622026-06-09 17:45788302
39allenzhu20,91126,5622026-06-10 11:21789514
40allenzhu20,91126,5622026-06-14 04:44795857
41allenzhu20,91126,5622026-06-14 16:59797025
42allenzhu20,91126,5622026-06-15 17:45798920
43bhwang23,42943,0652026-06-04 12:01779310
44allenzhu24,64025,3342026-06-07 16:52784414
45allenzhu24,64025,3342026-06-07 17:49784526
46allenzhu24,64025,3342026-06-08 16:35786448
47allenzhu26,49532,9432026-05-09 17:54719676
48allenzhu26,49532,9432026-05-10 04:31720098
49lcthej28,74828,7412026-06-12 11:43793246
50lmilikic29,64719,0422026-06-13 17:26795339
51lmilikic29,64719,0422026-06-15 07:19798041
52lmilikic29,64719,0422026-06-16 11:57799893
53lmilikic29,64719,0422026-06-16 12:27799930
54lmilikic29,64719,0422026-06-16 13:55800029
55allenzhu34,43747,7162026-05-10 04:55720121
56allenzhu34,43747,7162026-05-10 04:56720124
57allenzhu34,43747,7162026-05-31 04:03770105
58allenzhu34,43747,7162026-06-01 15:45773936
59jasperdekoninck45,71021,6082026-05-15 19:22733268
60jasperdekoninck45,71021,6082026-05-17 14:15736166
61jasperdekoninck45,88422,0322026-05-14 08:43729444
62guojing055,93219,7792026-05-19 11:29740669
63lmilikic62,82318,2522026-06-03 16:39777922
64fabianz63,95721,1762026-06-14 20:34797405
65fabianz63,95721,1762026-06-15 21:48799148
66nielstron66,05525,6612026-05-28 18:01763078
67chensun66,05525,6612026-05-29 15:53765555
68sumukhmg67,15915,7342026-06-12 05:57792756
69xuanfeiren75,10817,8922026-05-16 01:26733497
70xuanfeiren75,10817,8922026-05-16 01:26733498
71xuanfeiren75,10817,8922026-05-17 08:48735789
72robertboy1876,91515,5402026-05-20 22:29743754
73codyx81,36824,0732026-06-07 21:52784818
74codyx81,36824,0732026-06-08 18:09786623
75codyx81,36824,0732026-06-10 23:08790514
76paws0886,33420,0042026-06-11 21:21792289
77paws0886,86420,2972026-06-13 13:34794911
78maximiliano95,69410,9402026-05-17 15:28736267
79jszhang96,26626,6422026-05-19 08:48740372
80aurasoph97,4259,0912026-05-10 21:22721535
81hypergalois99,36719,4132026-06-08 00:43784932
82hypergalois100,60819,7642026-05-21 11:18745091
83sandeepsaluru102,88526,8732026-05-25 18:38755093
84zerol103,56027,1702026-06-09 00:18786803
85zerol103,56027,1702026-06-13 06:44794352
86zerol103,56027,1702026-06-16 14:07800037
87auraq104,97225,6272026-05-17 21:11736752
88shuwesley105,82514,1562026-05-30 06:27767094
89cmxu7110,9559,1782026-06-04 06:08778665
90cmxu7110,9559,1782026-06-07 17:08784444
91cmxu7110,97410,4472026-06-03 08:38777120
92cmxu7110,97410,4472026-06-08 06:54785357
93atrin112,08019,1872026-06-02 05:21775010
94atrin112,08019,1872026-06-06 00:59782005
95atrin112,08019,1872026-06-15 22:40799175
96maximiliano120,23720,2582026-05-21 10:18744922
97allenzhu120,83325,3302026-06-04 05:10778567
98maximiliano122,31419,2402026-05-18 20:38739592
99maximiliano122,31419,2402026-05-18 20:58739612
100ctree4113125,95914,4322026-05-28 21:44763640
101dmytruto126,62834,2622026-06-08 23:59786800
102dmytruto126,62834,2622026-06-10 11:07789486
103maudlemercier132,44286,9752026-06-03 12:17777554
104bhwang138,39623,5232026-05-18 19:07739516
105bhwang145,45220,1192026-05-21 19:54746119
106sunny99149,51221,4602026-05-18 12:42738767
107sunny99149,51221,4602026-05-18 12:58738795
108sunny99149,51221,4602026-05-18 13:06738805
109sunny99149,51221,4602026-05-18 23:40739714
110sunny99149,51221,4602026-05-18 23:41739715
111sunny99149,51221,4602026-05-19 12:52740814
112sunny99149,51221,4602026-05-21 12:47745249
113janko_cameron_lean4-skills172,50715,8532026-05-30 08:25767385
114janko_cameron_lean4-skills172,52315,9842026-05-30 02:11766564
115janko_cameron_lean4-skills172,52315,9842026-05-30 06:31767100
116janko_cameron_lean4-skills172,52315,9842026-05-30 06:56767156
117jason_bourne172,8997,7832026-06-15 16:31798793
118ygdjiang177,17813,4722026-06-14 00:12795699
119ygdjiang177,27813,9242026-06-14 14:27796721
120ygdjiang177,27813,9242026-06-14 15:26796843
121marcusm117193,69745,0482026-05-09 23:00719913
122marcusm117193,69745,0482026-05-18 05:40738033
123xuanfeiren194,37426,9992026-05-19 01:08739765
124allenanie194,37426,9992026-05-19 04:20739971
125aurasoph220,96317,2062026-05-18 09:12738406
126aurasoph220,96517,2062026-05-16 05:16733698
127xvade495,97516,9942026-05-18 20:37739590
128aurasoph495,97916,9952026-06-15 08:06798121
129squak813,31124,2962026-06-16 00:00799221
130squak825,30824,2192026-06-15 00:47797597
131minjaeso1,139,63719,9002026-06-02 11:54775626
132minjaeso1,139,63719,9002026-06-03 13:27777609

Last updated 2026-06-22 16:42.