← Back to per problem leaderboard

Challenge_Dijkstra_3

Theorem: dijkstra_correctness. Worth 80 points. 117 solved out of 160 attempted. Ranking by heartbeats ascending, then bytes ascending, then submission time ascending.

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4107182026-06-15 19:02799044
🥈2allenzhu4,4244192026-06-13 06:58794368
🥉3allenzhu4,4244192026-06-13 07:56794462
4allenzhu4,4244192026-06-14 04:45795858
5allenzhu4,4244192026-06-16 02:19799306
6allenzhu4,4244922026-05-10 04:31720098
7xuanfeiren4,4595982026-05-16 01:26733498
8atrin4,5037452026-06-02 05:21775010
9jasperdekoninck34,504105,9352026-06-15 17:08798862
10jasperdekoninck38,391106,4152026-06-12 10:28793116
11jasperdekoninck38,391106,4152026-06-12 11:09793197
12janko_cameron_lean4-skills41,57772,8862026-06-12 16:16793647
13janko_cameron_lean4-skills41,57772,8862026-06-16 01:21799264
14janko_cameron_lean4-skills41,57772,8862026-06-16 01:22799265
15janko_cameron_lean4-skills41,57772,8862026-06-16 13:59800030
16janko_cameron_lean4-skills41,57772,8862026-06-16 14:21800049
17ctree411341,65751,4872026-06-13 11:30794724
18ctree411341,65751,4872026-06-13 19:23795480
19ctree411341,81751,4572026-06-13 08:58794524
20ctree411342,52251,4412026-06-12 09:17793020
21ctree411343,12151,4562026-06-11 22:40792365
22lcthej44,23330,3602026-06-13 00:53794124
23allenzhu44,91750,8802026-06-09 17:45788302
24allenzhu44,91750,8802026-06-10 11:21789514
25allenzhu44,91750,8802026-06-14 04:44795857
26allenzhu44,91750,8802026-06-14 16:59797025
27allenzhu44,91750,8802026-06-15 17:45798920
28cmxu745,88265,8212026-06-09 15:51788024
29cmxu745,88265,8212026-06-10 06:11789020
30cmxu745,88265,8212026-06-11 17:37792086
31cmxu745,88265,8212026-06-11 17:37792087
32cmxu745,88265,8212026-06-11 17:39792089
33cmxu745,88265,8212026-06-11 17:53792119
34cmxu745,88265,8212026-06-16 11:36799861
35lcthej48,20550,0172026-06-12 18:00793831
36daniil_shmelev49,31276,7522026-06-14 19:30797289
37janko_cameron_lean4-skills51,98970,7732026-06-03 04:11776732
38paws0853,13270,1872026-06-15 18:56799029
39allenzhu55,31950,2262026-06-07 16:52784414
40allenzhu55,31950,2262026-06-07 17:49784526
41allenzhu55,31950,2262026-06-08 16:35786448
42lcthej55,87765,9272026-06-12 15:41793578
43ctree411357,55852,7012026-06-03 19:03778134
44bhwang59,44785,5782026-06-15 15:03798657
45bhwang60,82585,9932026-06-15 15:03798659
46ygdjiang61,43863,5432026-06-14 14:27796721
47ygdjiang61,43863,5432026-06-14 15:26796843
48jasperdekoninck61,88799,9842026-05-31 19:03771718
49janko_cameron_lean4-skills62,84174,6832026-06-02 15:51775956
50allenzhu64,02170,6792026-05-31 04:03770105
51allenzhu64,02170,6792026-06-01 15:45773936
52bhwang78,411104,7942026-06-10 16:21790079
53bhwang78,411104,7942026-06-15 15:03798656
54hypergalois79,00181,8352026-06-08 00:43784932
55hypergalois80,81882,0462026-05-21 11:18745091
56daniil_shmelev81,88277,2722026-06-14 16:23796957
57allenzhu86,95150,2222026-06-04 05:10778567
58lcthej118,570134,4182026-06-12 11:43793246
59jasperdekoninck120,75294,9142026-05-15 19:22733268
60jasperdekoninck120,75294,9142026-05-17 14:15736166
61janko_cameron_lean4-skills139,61677,1062026-05-30 08:25767385
62janko_cameron_lean4-skills142,53176,4332026-05-30 06:56767156
63jszhang144,55072,6302026-05-19 08:48740372
64atrin170,69971,3912026-06-15 22:40799175
65atrin170,71271,4072026-06-06 00:59782005
66lmilikic176,89360,6582026-06-13 17:26795339
67lmilikic176,89360,6582026-06-16 12:27799930
68lmilikic176,89460,6582026-06-15 07:19798041
69lmilikic176,89460,6582026-06-16 11:57799893
70lmilikic176,89460,6582026-06-16 13:55800029
71sunny99184,10799,9352026-05-18 23:40739714
72sunny99184,10799,9352026-05-18 23:41739715
73sunny99184,10799,9352026-05-19 12:52740814
74sunny99184,10799,9352026-05-21 12:47745249
75zerol187,55799,3402026-06-09 00:18786803
76zerol187,55799,3402026-06-13 06:44794352
77zerol187,55799,3402026-06-16 14:07800037
78minjaeso192,100167,0942026-06-02 11:54775626
79minjaeso192,100167,0942026-06-03 13:27777609
80robertboy18193,62894,7082026-05-20 22:29743754
81nielstron195,195129,4642026-05-28 18:01763078
82chensun195,195129,4642026-05-29 15:53765555
83paws08206,36668,6792026-06-11 21:21792289
84paws08206,36668,6792026-06-13 13:34794911
85cmxu7210,57961,9602026-06-03 08:38777120
86cmxu7210,57961,9602026-06-08 06:54785357
87ctree4113214,11249,8342026-05-28 21:44763640
88lmilikic214,82959,5932026-06-03 16:39777922
89bhwang219,785112,3292026-06-04 12:01779310
90bhwang219,791110,6452026-05-21 19:54746119
91marcusm117222,227141,3222026-05-09 23:00719913
92marcusm117222,227141,3222026-05-18 05:40738033
93maudlemercier223,463265,2142026-06-03 12:17777554
94jason_bourne243,03133,2892026-06-12 05:27792721
95jason_bourne243,03233,2892026-06-11 10:09791181
96jason_bourne243,03233,2892026-06-13 07:23794392
97jason_bourne243,03233,2892026-06-15 16:31798793
98fabianz251,28292,2362026-06-14 20:34797405
99fabianz251,28292,2362026-06-15 21:48799148
100dmytruto262,150203,0142026-06-08 23:59786800
101dmytruto262,150203,0142026-06-10 11:07789486
102xuanfeiren440,031196,7972026-05-17 08:48735789
103xuanfeiren440,031196,7972026-05-19 01:08739765
104allenanie440,031196,7972026-05-19 04:20739971
105aurasoph460,91454,2222026-05-10 21:22721535
106daniil_shmelev578,20376,8212026-06-13 21:38795622
107sandeepsaluru702,417163,9692026-05-25 18:38755093
108aurasoph950,39883,2792026-05-18 09:12738406
109aurasoph950,39983,2792026-05-16 05:16733698
110maximiliano1,378,07945,2992026-05-17 15:28736267
111squak1,394,76357,2722026-06-16 00:00799221
112maximiliano1,486,60067,7782026-05-18 20:58739612
113maximiliano1,486,60167,7782026-05-21 10:18744922
114maximiliano1,489,36366,7582026-05-18 20:38739592
115squak1,531,40459,7202026-06-15 00:47797597
116xvade2,833,79173,7092026-05-18 20:37739590
117aurasoph2,833,80573,7102026-06-15 08:06798121

Last updated 2026-06-22 16:42.