← Back to per problem leaderboard

Challenge_Treap_10

Theorem: Cslib.Algorithms.Lean.TimeM.TreapLogic.splitT_correctness. Worth 4 points. 146 solved out of 163 attempted. Ranking by heartbeats ascending, then bytes ascending, then submission time ascending.

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso4,4214822026-06-15 19:02799044
🥈2jasperdekoninck4,5766192026-06-12 10:28793116
🥉3jasperdekoninck4,5766192026-06-12 11:09793197
4jasperdekoninck4,5766192026-06-15 17:08798862
5janko_cameron_lean4-skills4,5986202026-06-12 16:16793647
6janko_cameron_lean4-skills4,5986202026-06-16 01:21799264
7janko_cameron_lean4-skills4,5986202026-06-16 01:22799265
8janko_cameron_lean4-skills4,5986202026-06-16 13:59800030
9janko_cameron_lean4-skills4,5986202026-06-16 14:21800049
10bhwang4,6656302026-06-15 15:03798657
11bhwang4,6656302026-06-15 15:03798659
12cmxu74,6947312026-06-10 06:11789020
13cmxu74,6947312026-06-11 17:37792086
14cmxu74,6947312026-06-11 17:37792087
15cmxu74,6947312026-06-11 17:39792089
16cmxu74,6947312026-06-11 17:53792119
17cmxu74,6947312026-06-16 11:36799861
18cmxu74,6947312026-06-16 11:36799863
19cmxu74,6947312026-06-16 11:36799864
20janko_cameron_lean4-skills4,7135012026-06-03 04:11776732
21janko_cameron_lean4-skills4,7164952026-06-02 15:51775956
22bhwang4,7295222026-06-10 16:21790079
23bhwang4,7295222026-06-15 15:03798656
24paws084,7366582026-06-15 18:56799029
25paws084,7436372026-06-11 21:21792289
26paws084,7436372026-06-13 13:34794911
27allenzhu4,8205062026-06-09 17:45788302
28allenzhu4,8205062026-06-10 11:21789514
29allenzhu4,8205062026-06-13 06:58794368
30allenzhu4,8205062026-06-13 07:56794462
31allenzhu4,8205062026-06-14 04:44795857
32allenzhu4,8205062026-06-14 04:45795858
33allenzhu4,8205062026-06-14 16:59797025
34allenzhu4,8205062026-06-15 17:45798920
35allenzhu4,8205062026-06-16 02:19799306
36bhwang4,8676952026-05-18 08:06738233
37bhwang4,8676952026-05-18 19:07739516
38jasperdekoninck4,8815622026-05-31 19:03771718
39zerol4,9136602026-06-09 00:18786803
40zerol4,9136602026-06-13 06:44794352
41zerol4,9136602026-06-16 14:07800037
42codyx4,9236082026-06-07 21:52784818
43codyx4,9236082026-06-08 18:09786623
44codyx4,9236082026-06-10 23:08790514
45nielstron4,9354152026-05-28 18:01763078
46chensun4,9354152026-05-29 15:53765555
47janko_cameron_lean4-skills4,9354152026-05-30 08:25767385
48shuwesley4,9854232026-05-18 17:06739324
49robertboy184,9854232026-05-20 22:29743754
50shuwesley4,9854232026-05-30 06:27767094
51ygdjiang5,0145852026-06-14 14:27796721
52ygdjiang5,0145852026-06-14 15:26796843
53jszhang5,0565232026-05-19 08:48740372
54ctree41135,0767002026-06-03 19:03778134
55ctree41135,0767002026-06-11 22:40792365
56ctree41135,0767002026-06-12 09:17793020
57ctree41135,0767002026-06-13 08:58794524
58ctree41135,0767002026-06-13 11:30794724
59ctree41135,0767002026-06-13 19:23795480
60jason_bourne5,0817882026-06-11 10:09791181
61jason_bourne5,0817882026-06-12 05:27792721
62jason_bourne5,0817882026-06-13 07:23794392
63jason_bourne5,0817882026-06-15 16:31798793
64cmxu75,0838712026-06-09 15:51788024
65jasperdekoninck5,0885512026-05-14 08:43729444
66jasperdekoninck5,0885512026-05-15 19:22733268
67jasperdekoninck5,0885512026-05-17 14:15736166
68dmytruto5,0935402026-06-02 17:06776150
69dmytruto5,0935402026-06-08 23:59786800
70dmytruto5,0935402026-06-10 11:07789486
71auraq5,1016702026-05-17 21:11736752
72jxb2225,1045722026-05-09 10:01718997
73hypergalois5,1045782026-05-21 11:18745091
74hypergalois5,1045782026-06-08 00:43784932
75atrin5,1045822026-06-02 05:21775010
76lmilikic5,1045822026-06-03 16:39777922
77atrin5,1045822026-06-06 00:59782005
78lmilikic5,1045822026-06-13 17:26795339
79lmilikic5,1045822026-06-15 07:19798041
80atrin5,1045822026-06-15 22:40799175
81lmilikic5,1045822026-06-16 11:57799893
82lmilikic5,1045822026-06-16 12:27799930
83lmilikic5,1045822026-06-16 13:55800029
84lcthej5,1606192026-06-12 15:41793578
85lcthej5,1606192026-06-12 18:00793831
86sandeepsaluru5,1915142026-05-25 18:38755093
87bhwang5,2128862026-05-21 19:54746119
88lcthej5,2345602026-06-12 11:43793246
89marcusm1175,2346072026-05-09 23:00719913
90marcusm1175,2346072026-05-18 05:40738033
91squak5,2725642026-06-15 00:47797597
92squak5,2725642026-06-16 00:00799221
93maximiliano5,2974762026-05-17 15:28736267
94maximiliano5,2974762026-05-18 20:38739592
95maximiliano5,2974762026-05-18 20:58739612
96maximiliano5,2974762026-05-21 10:18744922
97msantolu5,3275372026-05-18 21:04739618
98sumukhmg5,3535452026-06-11 10:47791251
99sumukhmg5,3535452026-06-12 05:57792756
100minjaeso5,3595322026-06-02 11:54775626
101minjaeso5,3595322026-06-03 13:27777609
102sunny995,3595682026-05-18 12:42738767
103sunny995,3595682026-05-18 12:58738795
104sunny995,3595682026-05-18 13:06738805
105sunny995,3595682026-05-18 23:40739714
106sunny995,3595682026-05-18 23:41739715
107sunny995,3595682026-05-19 12:52740814
108sunny995,3595682026-05-21 12:47745249
109daniil_shmelev5,3784472026-06-14 16:23796957
110daniil_shmelev5,3784472026-06-14 19:30797289
111xvade5,4055142026-05-18 20:37739590
112aurasoph5,4055152026-06-15 08:06798121
113janko_cameron_lean4-skills5,4384162026-05-30 02:11766564
114janko_cameron_lean4-skills5,4384162026-05-30 06:31767100
115janko_cameron_lean4-skills5,4384162026-05-30 06:56767156
116maudlemercier5,4384182026-06-02 10:40775524
117maudlemercier5,4384182026-06-03 12:17777554
118daniil_shmelev5,4404252026-06-13 21:38795622
119allenzhu5,4434242026-05-09 17:54719676
120allenzhu5,4434242026-05-10 04:31720098
121allenzhu5,4434242026-05-10 04:55720121
122allenzhu5,4434242026-05-10 04:56720124
123allenzhu5,4434242026-05-31 04:03770105
124allenzhu5,4434242026-06-01 15:45773936
125allenzhu5,4434242026-06-04 05:10778567
126allenzhu5,4434242026-06-07 16:52784414
127allenzhu5,4434242026-06-07 17:49784526
128allenzhu5,4434242026-06-08 16:35786448
129fabianz5,4454822026-06-14 20:34797405
130fabianz5,4454822026-06-15 21:48799148
131xuanfeiren5,4725422026-05-16 01:26733497
132xuanfeiren5,4725422026-05-16 01:26733498
133xuanfeiren5,4725422026-05-17 08:48735789
134xuanfeiren5,4725422026-05-19 01:08739765
135allenanie5,4725422026-05-19 04:20739971
136aurasoph5,4744892026-05-10 21:22721535
137aurasoph5,4744892026-05-16 05:16733698
138aurasoph5,4744892026-05-18 09:12738406
139guojing05,5745082026-05-19 11:29740669
140bhwang5,6041,6282026-06-04 12:01779310
141cmxu75,6597732026-06-03 08:38777120
142cmxu75,6597732026-06-08 06:54785357
143cmxu75,6627082026-06-04 06:08778665
144cmxu75,6627082026-06-07 17:08784444
145ctree41137,0114442026-05-20 15:00743121
146ctree41137,0114442026-05-28 21:44763640

Last updated 2026-06-22 16:42.