← Back to per problem leaderboard

Challenge_Dijkstra_2

Theorem: dijkstra_terminate. Worth 10 points. 139 solved out of 162 attempted. Ranking by heartbeats ascending, then bytes ascending, then submission time ascending.

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4326012026-06-15 19:02799044
🥈2allenzhu4,4525762026-06-13 06:58794368
🥉3allenzhu4,4525762026-06-13 07:56794462
4allenzhu4,4525762026-06-14 04:45795858
5allenzhu4,4525762026-06-16 02:19799306
6auraq6,1112,7722026-05-17 21:11736752
7jasperdekoninck6,5336,6292026-06-15 17:08798862
8janko_cameron_lean4-skills6,5906,1612026-06-12 16:16793647
9janko_cameron_lean4-skills6,5906,1612026-06-16 01:21799264
10janko_cameron_lean4-skills6,5906,1612026-06-16 01:22799265
11janko_cameron_lean4-skills6,5906,1612026-06-16 13:59800030
12janko_cameron_lean4-skills6,5906,1612026-06-16 14:21800049
13jasperdekoninck6,7526,8252026-06-12 10:28793116
14jasperdekoninck6,7526,8252026-06-12 11:09793197
15janko_cameron_lean4-skills7,4676,6632026-06-03 04:11776732
16cmxu77,7586,7482026-06-09 15:51788024
17cmxu77,7586,7482026-06-10 06:11789020
18cmxu77,7586,7482026-06-11 17:37792086
19cmxu77,7586,7482026-06-11 17:37792087
20cmxu77,7586,7482026-06-11 17:39792089
21cmxu77,7586,7482026-06-11 17:53792119
22cmxu77,7586,7482026-06-16 11:36799861
23janko_cameron_lean4-skills8,6286,1882026-06-02 15:51775956
24bhwang8,9465,9212026-06-15 15:03798657
25bhwang9,0516,0242026-06-15 15:03798659
26ctree41139,3236,9502026-06-13 08:58794524
27ctree41139,3236,9502026-06-13 11:30794724
28ctree41139,3236,9502026-06-13 19:23795480
29ctree41139,5426,8532026-06-12 09:17793020
30bhwang9,6175,9722026-06-10 16:21790079
31bhwang9,6175,9722026-06-15 15:03798656
32paws089,6325,4032026-06-11 21:21792289
33paws089,6325,4032026-06-13 13:34794911
34paws089,6325,4032026-06-15 18:56799029
35ctree41139,7186,8342026-06-11 22:40792365
36allenzhu10,4186,8502026-06-04 05:10778567
37allenzhu10,4186,8502026-06-07 16:52784414
38allenzhu10,4186,8502026-06-07 17:49784526
39allenzhu10,4186,8502026-06-08 16:35786448
40allenzhu10,4186,8502026-06-09 17:45788302
41allenzhu10,4186,8502026-06-10 11:21789514
42allenzhu10,4186,8502026-06-14 04:44795857
43allenzhu10,4186,8502026-06-14 16:59797025
44allenzhu10,4186,8502026-06-15 17:45798920
45jasperdekoninck10,6839,7322026-05-31 19:03771718
46daniil_shmelev10,7447,7212026-06-14 19:30797289
47ctree411310,9467,0962026-06-03 19:03778134
48bhwang11,2849,8022026-05-18 19:07739516
49janko_cameron_lean4-skills11,5147,5072026-05-30 08:25767385
50sumukhmg11,5727,4782026-06-12 05:57792756
51janko_cameron_lean4-skills11,5777,7252026-05-30 06:31767100
52janko_cameron_lean4-skills11,5777,7252026-05-30 06:56767156
53maudlemercier11,67914,3112026-06-02 10:40775524
54maudlemercier11,68314,3832026-06-03 12:17777554
55allenzhu12,5129,7882026-05-09 17:54719676
56allenzhu12,5129,7882026-05-10 04:31720098
57allenzhu12,5129,7882026-05-10 04:55720121
58allenzhu12,5129,7882026-05-10 04:56720124
59allenzhu12,5129,7882026-05-31 04:03770105
60allenzhu12,5129,7882026-06-01 15:45773936
61ctree411312,5226,7352026-05-28 21:44763640
62cmxu712,6985,0342026-06-04 06:08778665
63cmxu712,6985,0342026-06-07 17:08784444
64cmxu712,6995,5842026-06-03 08:38777120
65cmxu712,6995,5842026-06-08 06:54785357
66zerol13,23810,0762026-06-09 00:18786803
67zerol13,23810,0762026-06-13 06:44794352
68zerol13,23810,0762026-06-16 14:07800037
69codyx13,25310,7832026-06-07 21:52784818
70codyx13,25310,7832026-06-08 18:09786623
71codyx13,25310,7832026-06-10 23:08790514
72bhwang13,26215,1932026-05-21 19:54746119
73marcusm11713,30111,2112026-05-09 23:00719913
74marcusm11713,30111,2112026-05-18 05:40738033
75robertboy1815,0935,5872026-05-20 22:29743754
76xuanfeiren15,10210,7582026-05-16 01:26733497
77xuanfeiren15,10210,7582026-05-16 01:26733498
78xuanfeiren15,10210,7582026-05-17 08:48735789
79xuanfeiren15,10210,7582026-05-19 01:08739765
80allenanie15,10210,7582026-05-19 04:20739971
81daniil_shmelev15,3988,3072026-06-14 16:23796957
82nielstron15,5006,1232026-05-28 18:01763078
83chensun15,5006,1232026-05-29 15:53765555
84daniil_shmelev16,1808,2942026-06-13 21:38795622
85jasperdekoninck16,3837,3922026-05-15 19:22733268
86jasperdekoninck16,3837,3922026-05-17 14:15736166
87jasperdekoninck16,5167,4062026-05-14 08:43729444
88lmilikic16,5318,6802026-06-03 16:39777922
89lmilikic16,5318,6802026-06-13 17:26795339
90lmilikic16,5318,6802026-06-15 07:19798041
91lmilikic16,5318,6802026-06-16 11:57799893
92lmilikic16,5318,6802026-06-16 12:27799930
93lmilikic16,5318,6802026-06-16 13:55800029
94atrin16,6879,1632026-06-02 05:21775010
95atrin16,6879,1632026-06-06 00:59782005
96atrin16,6879,1632026-06-15 22:40799175
97lcthej17,0799,6172026-06-13 00:53794124
98hypergalois17,1228,8172026-06-08 00:43784932
99hypergalois17,2688,8202026-05-21 11:18745091
100minjaeso17,4847,2892026-06-02 11:54775626
101minjaeso17,4847,2892026-06-03 13:27777609
102sandeepsaluru17,7019,8512026-05-25 18:38755093
103dmytruto18,6297,7732026-06-02 17:06776150
104dmytruto18,6297,7732026-06-08 23:59786800
105dmytruto18,6297,7732026-06-10 11:07789486
106sunny9919,0699,8042026-05-18 12:42738767
107sunny9919,0699,8042026-05-18 12:58738795
108sunny9919,0699,8042026-05-18 13:06738805
109sunny9919,0699,8042026-05-18 23:40739714
110sunny9919,0699,8042026-05-18 23:41739715
111sunny9919,0699,8042026-05-19 12:52740814
112sunny9919,0699,8042026-05-21 12:47745249
113lcthej19,45011,7162026-06-12 15:41793578
114lcthej19,45011,7162026-06-12 18:00793831
115lcthej19,45211,7402026-06-12 11:43793246
116guojing020,15011,6032026-05-19 11:29740669
117maximiliano20,8885,0212026-05-17 15:28736267
118maximiliano20,8885,0212026-05-18 20:38739592
119maximiliano20,8885,0212026-05-18 20:58739612
120maximiliano20,8885,0212026-05-21 10:18744922
121shuwesley21,10410,3802026-05-30 06:27767094
122jszhang23,53811,6752026-05-19 08:48740372
123ygdjiang23,61910,8202026-06-14 00:12795699
124ygdjiang23,61910,8202026-06-14 14:27796721
125ygdjiang23,61910,8202026-06-14 15:26796843
126bhwang40,7825,7292026-06-04 12:01779310
127fabianz69,2585,9292026-06-14 20:34797405
128fabianz69,2585,9292026-06-15 21:48799148
129xvade74,2607,7172026-05-18 20:37739590
130aurasoph74,2617,7182026-06-15 08:06798121
131aurasoph79,5937,6492026-05-10 21:22721535
132aurasoph79,5937,6492026-05-16 05:16733698
133aurasoph79,5937,6492026-05-18 09:12738406
134squak85,5927,6432026-06-15 00:47797597
135squak85,5927,6432026-06-16 00:00799221
136jason_bourne91,7184,3492026-06-11 10:09791181
137jason_bourne91,7184,3492026-06-12 05:27792721
138jason_bourne91,7184,3492026-06-13 07:23794392
139jason_bourne91,7184,3492026-06-15 16:31798793

Last updated 2026-06-22 16:42.