← Back to per problem leaderboard

Challenge_Query_1

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1allenzhu4,5703782026-06-13 06:58794368
🥈2allenzhu4,5703782026-06-13 07:56794462
🥉3allenzhu4,5703782026-06-14 04:45795858
4allenzhu4,5703782026-06-16 02:19799306
5hypergalois4,5834252026-06-08 00:43784932
6minjaeso4,5834522026-06-15 19:02799044
7janko_cameron_lean4-skills7,4705,8202026-06-12 16:16793647
8janko_cameron_lean4-skills7,4705,8202026-06-16 01:21799264
9janko_cameron_lean4-skills7,4705,8202026-06-16 01:22799265
10janko_cameron_lean4-skills7,4705,8202026-06-16 13:59800030
11janko_cameron_lean4-skills7,4705,8202026-06-16 14:21800049
12janko_cameron_lean4-skills9,5637,2322026-06-03 04:11776732
13bhwang10,4537,6902026-06-15 15:03798657
14jasperdekoninck10,53711,2762026-06-15 17:08798862
15bhwang10,6317,9952026-06-15 15:03798659
16janko_cameron_lean4-skills10,9478,0312026-06-02 15:51775956
17cmxu711,4458,6102026-06-10 06:11789020
18cmxu711,4458,6102026-06-11 17:37792086
19cmxu711,4458,6102026-06-11 17:37792087
20cmxu711,4458,6102026-06-11 17:39792089
21cmxu711,4458,6102026-06-11 17:53792119
22cmxu711,4458,6102026-06-16 11:36799861
23cmxu711,4918,5862026-06-09 15:51788024
24jasperdekoninck11,99110,1322026-06-12 10:28793116
25jasperdekoninck11,99110,1322026-06-12 11:09793197
26ctree411315,0189,9962026-06-13 08:58794524
27ctree411315,0189,9962026-06-13 11:30794724
28ctree411315,0189,9962026-06-13 19:23795480
29bhwang17,60210,8442026-06-10 16:21790079
30bhwang17,60210,8442026-06-15 15:03798656
31jasperdekoninck18,41614,9652026-05-31 19:03771718
32lcthej18,44310,4372026-06-13 00:53794124
33lcthej18,94512,8392026-06-12 18:00793831
34lcthej18,99414,0702026-06-12 15:41793578
35ctree411320,5549,5442026-06-12 09:17793020
36allenzhu21,11611,1772026-06-14 04:44795857
37allenzhu21,11611,1772026-06-14 16:59797025
38ctree411323,59910,0172026-06-11 22:40792365
39janko_cameron_lean4-skills26,4177,2682026-05-30 08:25767385
40janko_cameron_lean4-skills26,4267,2692026-05-30 02:11766564
41janko_cameron_lean4-skills26,4267,2692026-05-30 06:31767100
42janko_cameron_lean4-skills26,4267,2692026-05-30 06:56767156
43guojing028,69210,2502026-05-19 11:29740669
44cmxu729,5988,8702026-06-03 08:38777120
45cmxu729,5988,8702026-06-08 06:54785357
46cmxu729,6028,0042026-06-04 06:08778665
47cmxu729,6028,0042026-06-07 17:08784444
48aurasoph29,7156,5202026-05-16 05:16733698
49aurasoph29,7156,5202026-05-18 09:12738406
50aurasoph31,7666,5202026-05-10 21:22721535
51ctree411332,3569,8572026-06-03 19:03778134
52lmilikic33,10118,2542026-06-13 17:26795339
53lmilikic33,10118,2542026-06-15 07:19798041
54lmilikic33,10118,2542026-06-16 11:57799893
55lmilikic33,10118,2542026-06-16 12:27799930
56lmilikic33,10118,2542026-06-16 13:55800029
57allenzhu33,33721,0272026-06-09 17:45788302
58allenzhu33,33721,0272026-06-10 11:21789514
59allenzhu33,33721,0272026-06-15 17:45798920
60jason_bourne34,0346,9482026-06-15 16:31798793
61daniil_shmelev35,45710,5272026-06-14 19:30797289
62sunny9936,33311,1602026-05-18 12:58738795
63sunny9936,33311,1602026-05-18 13:06738805
64sunny9936,33311,1602026-05-18 23:40739714
65sunny9936,33311,1602026-05-18 23:41739715
66sunny9936,33311,1602026-05-19 12:52740814
67sunny9936,33311,1602026-05-21 12:47745249
68paws0836,62610,3392026-06-15 18:56799029
69codyx36,7918,4032026-06-07 21:52784818
70codyx36,7918,4032026-06-08 18:09786623
71codyx36,7918,4032026-06-10 23:08790514
72maudlemercier37,30124,3402026-06-03 12:17777554
73sumukhmg37,3329,3892026-06-12 05:57792756
74daniil_shmelev37,7099,7712026-06-14 16:23796957
75minjaeso41,29210,2412026-06-02 11:54775626
76minjaeso41,29210,2412026-06-03 13:27777609
77robertboy1842,01911,7782026-05-20 22:29743754
78jszhang43,04611,8852026-05-19 08:48740372
79fabianz45,36410,8692026-06-14 20:34797405
80fabianz45,36410,8692026-06-15 21:48799148
81maximiliano45,6959,2802026-05-17 15:28736267
82maximiliano45,6959,2802026-05-18 20:38739592
83maximiliano45,6959,2802026-05-18 20:58739612
84maximiliano45,6959,2802026-05-21 10:18744922
85ctree411347,0339,4552026-05-28 21:44763640
86marcusm11753,85912,1472026-05-09 23:00719913
87marcusm11753,85912,1472026-05-18 05:40738033
88jasperdekoninck54,44515,5262026-05-17 14:15736166
89jasperdekoninck54,44615,4902026-05-14 08:43729444
90jasperdekoninck54,44615,5262026-05-15 19:22733268
91nielstron55,10012,4742026-05-28 18:01763078
92chensun55,10012,4742026-05-29 15:53765555
93ygdjiang58,8319,7172026-06-14 14:27796721
94ygdjiang58,8319,7172026-06-14 15:26796843
95bhwang59,02914,3282026-05-18 19:07739516
96bhwang60,07410,0542026-05-21 19:54746119
97allenzhu66,34821,8282026-06-08 16:35786448
98allenzhu70,68822,2882026-06-07 16:52784414
99allenzhu70,68822,2882026-06-07 17:49784526
100lcthej70,84917,0702026-06-12 11:43793246
101allenzhu74,38318,5822026-05-09 17:54719676
102allenzhu74,38318,5822026-05-10 04:31720098
103xuanfeiren75,75311,6912026-05-16 01:26733497
104xuanfeiren75,75311,6912026-05-16 01:26733498
105xuanfeiren75,75311,6912026-05-17 08:48735789
106xuanfeiren75,75311,6912026-05-19 01:08739765
107allenanie75,75311,6912026-05-19 04:20739971
108lmilikic80,58317,2752026-05-14 20:46731053
109paws0882,90210,3042026-06-11 21:21792289
110paws0882,90210,3042026-06-13 13:34794911
111hypergalois84,53215,3432026-05-21 11:18745091
112lmilikic85,33517,1512026-06-03 16:39777922
113bhwang92,70817,2702026-06-04 12:01779310
114auraq95,0248,7292026-05-17 21:11736752
115zerol97,89611,1952026-06-13 06:44794352
116zerol97,89611,1952026-06-16 14:07800037
117dmytruto101,72813,1332026-06-02 17:06776150
118dmytruto101,72813,1332026-06-08 23:59786800
119dmytruto101,72813,1332026-06-10 11:07789486
120allenzhu104,86427,3012026-05-10 04:55720121
121allenzhu104,86427,3012026-05-10 04:56720124
122allenzhu104,86427,3012026-05-31 04:03770105
123allenzhu104,86427,3012026-06-01 15:45773936
124zerol122,38715,9852026-06-09 00:18786803
125jason_bourne126,5129,3132026-06-11 10:09791181
126jason_bourne126,5129,3132026-06-12 05:27792721
127jason_bourne126,5129,3132026-06-13 07:23794392
128atrin127,97512,8652026-06-02 05:21775010
129atrin127,97512,8652026-06-06 00:59782005
130atrin127,97512,8652026-06-15 22:40799175
131sandeepsaluru130,98515,7872026-05-25 18:38755093
132xvade148,4457,6382026-05-18 20:37739590
133aurasoph148,4457,6392026-06-15 08:06798121
134allenzhu179,70922,0142026-06-04 05:10778567
135daniil_shmelev287,0937,8272026-06-13 21:38795622
136squak484,36610,7422026-06-16 00:00799221
137squak488,40812,0842026-06-15 00:47797597

Last updated 2026-06-22 16:42.