← Back to per problem leaderboard

Challenge_Query_2

Theorem: Cslib.Algorithms.Lean.TimeM.query_time. Worth 20 points. 136 solved out of 162 attempted. Ranking by heartbeats ascending, then bytes ascending, then submission time ascending.

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1allenzhu4,4113162026-06-13 06:58794368
🥈2allenzhu4,4113162026-06-13 07:56794462
🥉3allenzhu4,4113162026-06-14 04:45795858
4allenzhu4,4113162026-06-16 02:19799306
5hypergalois4,4243542026-06-08 00:43784932
6minjaeso4,4253882026-06-15 19:02799044
7janko_cameron_lean4-skills6,6395,0132026-06-12 16:16793647
8janko_cameron_lean4-skills6,6395,0132026-06-16 01:21799264
9janko_cameron_lean4-skills6,6395,0132026-06-16 01:22799265
10janko_cameron_lean4-skills6,6395,0132026-06-16 13:59800030
11janko_cameron_lean4-skills6,6395,0132026-06-16 14:21800049
12jasperdekoninck7,5239,5202026-06-15 17:08798862
13janko_cameron_lean4-skills8,3127,9192026-06-03 04:11776732
14jasperdekoninck8,7179,7112026-06-12 10:28793116
15jasperdekoninck8,7179,7112026-06-12 11:09793197
16cmxu79,9959,8592026-06-10 06:11789020
17cmxu79,9959,8592026-06-11 17:37792086
18cmxu79,9959,8592026-06-11 17:37792087
19cmxu79,9959,8592026-06-11 17:39792089
20cmxu79,9959,8592026-06-11 17:53792119
21cmxu79,9959,8592026-06-16 11:36799861
22cmxu710,0419,8152026-06-09 15:51788024
23bhwang11,14710,3352026-06-15 15:03798657
24bhwang11,6769,3772026-06-15 15:03798659
25bhwang12,7459,6212026-06-10 16:21790079
26bhwang12,7459,6212026-06-15 15:03798656
27janko_cameron_lean4-skills13,1488,3092026-06-02 15:51775956
28jasperdekoninck13,79111,9342026-05-31 19:03771718
29ctree411316,4027,2902026-06-13 08:58794524
30ctree411316,4027,2902026-06-13 11:30794724
31ctree411316,4027,2902026-06-13 19:23795480
32lcthej17,3136,7912026-06-13 00:53794124
33lcthej17,6288,5282026-06-12 18:00793831
34lcthej18,47910,1022026-06-12 15:41793578
35jasperdekoninck21,1038,5802026-05-14 08:43729444
36jasperdekoninck21,1038,5822026-05-15 19:22733268
37jasperdekoninck21,1038,5822026-05-17 14:15736166
38dmytruto21,1366,4062026-06-02 17:06776150
39dmytruto21,1366,4062026-06-08 23:59786800
40dmytruto21,1366,4062026-06-10 11:07789486
41bhwang23,4649,9712026-05-18 19:07739516
42bhwang23,46410,4602026-05-21 19:54746119
43daniil_shmelev23,5886,5542026-06-14 19:30797289
44cmxu723,7439,9112026-06-03 08:38777120
45cmxu723,7439,9112026-06-08 06:54785357
46cmxu723,7528,8052026-06-04 06:08778665
47cmxu723,7528,8052026-06-07 17:08784444
48allenzhu24,4797,0412026-06-09 17:45788302
49allenzhu24,4797,0412026-06-10 11:21789514
50allenzhu24,4797,0412026-06-14 04:44795857
51allenzhu24,4797,0412026-06-14 16:59797025
52allenzhu24,4797,0412026-06-15 17:45798920
53allenzhu25,1027,4022026-06-07 16:52784414
54allenzhu25,1027,4022026-06-07 17:49784526
55allenzhu25,1027,4022026-06-08 16:35786448
56lcthej25,8569,9312026-06-12 11:43793246
57ygdjiang26,28510,9752026-06-14 14:27796721
58ygdjiang26,28510,9752026-06-14 15:26796843
59codyx26,75611,1672026-06-07 21:52784818
60codyx26,75611,1672026-06-08 18:09786623
61codyx26,75611,1672026-06-10 23:08790514
62nielstron26,8489,6992026-05-28 18:01763078
63chensun26,8489,6992026-05-29 15:53765555
64daniil_shmelev27,0827,5632026-06-14 16:23796957
65daniil_shmelev28,3787,5912026-06-13 21:38795622
66ctree411329,4728,4122026-06-11 22:40792365
67ctree411329,4728,4122026-06-12 09:17793020
68robertboy1829,8686,3952026-05-20 22:29743754
69fabianz30,5357,8812026-06-14 20:34797405
70fabianz30,5357,8812026-06-15 21:48799148
71janko_cameron_lean4-skills33,1187,9372026-05-30 08:25767385
72janko_cameron_lean4-skills33,1458,1322026-05-30 02:11766564
73janko_cameron_lean4-skills33,1458,1322026-05-30 06:31767100
74janko_cameron_lean4-skills33,1458,1322026-05-30 06:56767156
75sumukhmg35,0856,9622026-06-12 05:57792756
76atrin36,29211,5222026-06-02 05:21775010
77atrin36,29211,5222026-06-06 00:59782005
78atrin36,29211,5222026-06-15 22:40799175
79minjaeso38,85413,5682026-06-02 11:54775626
80minjaeso38,85413,5682026-06-03 13:27777609
81jszhang39,2159,5822026-05-19 08:48740372
82paws0839,6228,8202026-06-15 18:56799029
83squak40,6929,8102026-06-15 00:47797597
84squak40,6929,8102026-06-16 00:00799221
85ctree411340,7418,4922026-06-03 19:03778134
86lmilikic41,49015,7112026-06-13 17:26795339
87lmilikic41,49015,7112026-06-15 07:19798041
88lmilikic41,49015,7112026-06-16 11:57799893
89lmilikic41,49015,7112026-06-16 12:27799930
90lmilikic41,49015,7112026-06-16 13:55800029
91sunny9941,9393,5102026-05-18 12:58738795
92sunny9941,9393,5102026-05-18 13:06738805
93sunny9941,9393,5102026-05-18 23:40739714
94sunny9941,9393,5102026-05-18 23:41739715
95sunny9941,9393,5102026-05-19 12:52740814
96sunny9941,9393,5102026-05-21 12:47745249
97maudlemercier42,51230,6292026-06-03 12:17777554
98zerol43,59114,0032026-06-09 00:18786803
99zerol43,59114,0032026-06-13 06:44794352
100zerol43,59114,0032026-06-16 14:07800037
101ctree411350,0658,4222026-05-28 21:44763640
102marcusm11750,18020,8032026-05-09 23:00719913
103marcusm11750,18020,8032026-05-18 05:40738033
104guojing056,68011,7692026-05-19 11:29740669
105bhwang71,78321,4112026-06-04 12:01779310
106allenzhu80,8246,1532026-06-04 05:10778567
107hypergalois89,32113,8042026-05-21 11:18745091
108jason_bourne90,71012,5322026-06-11 10:09791181
109jason_bourne90,71012,5322026-06-12 05:27792721
110jason_bourne90,71012,5322026-06-13 07:23794392
111jason_bourne90,71012,5322026-06-15 16:31798793
112maximiliano93,9325,4302026-05-17 15:28736267
113maximiliano93,9325,4302026-05-18 20:38739592
114maximiliano93,9325,4302026-05-18 20:58739612
115maximiliano93,9325,4302026-05-21 10:18744922
116lmilikic97,86013,2312026-05-14 20:46731053
117lmilikic97,86013,2312026-06-03 16:39777922
118allenzhu179,9278,7292026-05-09 17:54719676
119allenzhu179,9278,7292026-05-10 04:31720098
120allenzhu179,9278,7292026-05-10 04:55720121
121allenzhu179,9278,7292026-05-10 04:56720124
122allenzhu179,9278,7292026-05-31 04:03770105
123allenzhu179,9278,7292026-06-01 15:45773936
124xuanfeiren183,1519,0422026-05-16 01:26733497
125xuanfeiren183,1519,0422026-05-16 01:26733498
126xuanfeiren183,1519,0422026-05-17 08:48735789
127xuanfeiren183,1519,0422026-05-19 01:08739765
128allenanie183,1519,0422026-05-19 04:20739971
129paws08234,2248,7272026-06-11 21:21792289
130paws08234,2248,7272026-06-13 13:34794911
131aurasoph235,1597,8922026-05-16 05:16733698
132aurasoph235,1607,8922026-05-18 09:12738406
133aurasoph239,5407,6412026-05-10 21:22721535
134sandeepsaluru424,05114,4062026-05-25 18:38755093
135aurasoph976,49022,0392026-06-15 08:06798121
136xvade976,49322,0382026-05-18 20:37739590

Last updated 2026-06-22 16:42.