← Back to per problem leaderboard

Challenge_Treap_2

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

RankSubmitterHeartbeatsBytesSubmittedSubmission ID
🥇1minjaeso5,0791,7252026-06-15 19:02799044
🥈2janko_cameron_lean4-skills5,9772,6022026-06-12 16:16793647
🥉3janko_cameron_lean4-skills5,9772,6022026-06-16 01:21799264
4janko_cameron_lean4-skills5,9772,6022026-06-16 01:22799265
5janko_cameron_lean4-skills5,9772,6022026-06-16 13:59800030
6janko_cameron_lean4-skills5,9772,6022026-06-16 14:21800049
7janko_cameron_lean4-skills6,1562,9222026-06-03 04:11776732
8jasperdekoninck6,1794,3752026-06-15 17:08798862
9janko_cameron_lean4-skills6,5972,4572026-06-02 15:51775956
10cmxu76,6332,9572026-06-10 06:11789020
11cmxu76,6332,9572026-06-11 17:37792086
12cmxu76,6332,9572026-06-11 17:37792087
13cmxu76,6332,9572026-06-11 17:39792089
14cmxu76,6332,9572026-06-11 17:53792119
15cmxu76,6332,9572026-06-16 11:36799861
16jasperdekoninck6,6713,3572026-06-12 10:28793116
17jasperdekoninck6,6713,3572026-06-12 11:09793197
18ctree41136,8743,0932026-06-13 11:30794724
19ctree41136,8743,0932026-06-13 19:23795480
20cmxu76,9483,0242026-06-09 15:51788024
21bhwang7,2423,5402026-06-15 15:03798657
22allenzhu7,3882,7642026-06-09 17:45788302
23allenzhu7,3882,7642026-06-10 11:21789514
24allenzhu7,3882,7642026-06-13 06:58794368
25allenzhu7,3882,7642026-06-13 07:56794462
26allenzhu7,3882,7642026-06-14 04:44795857
27allenzhu7,3882,7642026-06-14 04:45795858
28allenzhu7,3882,7642026-06-14 16:59797025
29allenzhu7,3882,7642026-06-15 17:45798920
30allenzhu7,3882,7642026-06-16 02:19799306
31bhwang7,4524,1652026-06-15 15:03798659
32jasperdekoninck7,4713,5132026-05-31 19:03771718
33lcthej7,4874,4872026-06-12 15:41793578
34lcthej7,4874,4872026-06-12 18:00793831
35bhwang7,4874,6952026-06-10 16:21790079
36bhwang7,4874,6952026-06-15 15:03798656
37paws087,4963,4182026-06-15 18:56799029
38allenzhu7,5422,6892026-06-04 05:10778567
39allenzhu7,5422,6892026-06-07 16:52784414
40allenzhu7,5422,6892026-06-07 17:49784526
41allenzhu7,5422,6892026-06-08 16:35786448
42zerol7,5483,4102026-06-09 00:18786803
43zerol7,5483,4102026-06-13 06:44794352
44zerol7,5483,4102026-06-16 14:07800037
45squak7,5533,5232026-06-15 00:47797597
46squak7,5533,5232026-06-16 00:00799221
47paws087,5733,4542026-06-11 21:21792289
48paws087,5733,4542026-06-13 13:34794911
49cmxu77,5883,4262026-06-03 08:38777120
50cmxu77,5883,4262026-06-08 06:54785357
51cmxu77,5913,2002026-06-04 06:08778665
52cmxu77,5913,2002026-06-07 17:08784444
53auraq7,6093,8042026-05-17 21:11736752
54janko_cameron_lean4-skills7,6453,1442026-05-30 02:11766564
55janko_cameron_lean4-skills7,6453,1442026-05-30 06:31767100
56janko_cameron_lean4-skills7,6453,1442026-05-30 06:56767156
57ctree41137,6542,9532026-06-11 22:40792365
58ctree41137,6542,9532026-06-12 09:17793020
59ctree41137,6542,9532026-06-13 08:58794524
60janko_cameron_lean4-skills7,6583,0282026-05-30 08:25767385
61xuanfeiren7,6714,0142026-05-16 01:26733497
62xuanfeiren7,6714,0142026-05-16 01:26733498
63xuanfeiren7,6714,0142026-05-17 08:48735789
64xuanfeiren7,6714,0142026-05-19 01:08739765
65allenanie7,6714,0142026-05-19 04:20739971
66codyx7,6823,5882026-06-07 21:52784818
67codyx7,6823,5882026-06-08 18:09786623
68codyx7,6823,5882026-06-10 23:08790514
69nielstron7,6823,6992026-05-28 18:01763078
70chensun7,6823,6992026-05-29 15:53765555
71jszhang7,6923,7012026-05-19 08:48740372
72maximiliano7,7043,2872026-05-17 15:28736267
73maximiliano7,7043,2872026-05-18 20:38739592
74maximiliano7,7043,2872026-05-18 20:58739612
75maximiliano7,7043,2872026-05-21 10:18744922
76msantolu7,7493,3772026-05-18 21:04739618
77sumukhmg7,7952,9792026-06-11 10:47791251
78sumukhmg7,7952,9792026-06-12 05:57792756
79sandeepsaluru7,8033,5002026-05-25 18:38755093
80sunny997,8313,5592026-05-18 12:42738767
81sunny997,8313,5592026-05-18 12:58738795
82sunny997,8313,5592026-05-18 13:06738805
83sunny997,8313,5592026-05-18 23:40739714
84sunny997,8313,5592026-05-18 23:41739715
85sunny997,8313,5592026-05-19 12:52740814
86sunny997,8313,5592026-05-21 12:47745249
87dmytruto7,8333,0902026-06-02 17:06776150
88dmytruto7,8333,0902026-06-08 23:59786800
89dmytruto7,8333,0902026-06-10 11:07789486
90jason_bourne7,8733,3942026-06-11 10:09791181
91jason_bourne7,8733,3942026-06-12 05:27792721
92jason_bourne7,8733,3942026-06-13 07:23794392
93jason_bourne7,8733,3942026-06-15 16:31798793
94lcthej7,8754,4282026-06-12 11:43793246
95daniil_shmelev7,8963,6972026-06-13 21:38795622
96aurasoph7,9214,1872026-05-16 05:16733698
97aurasoph7,9214,1872026-05-18 09:12738406
98jxb2227,9843,6932026-05-09 10:01718997
99lmilikic8,0184,0702026-06-03 16:39777922
100lmilikic8,0184,0702026-06-13 17:26795339
101lmilikic8,0184,0702026-06-15 07:19798041
102lmilikic8,0184,0702026-06-16 11:57799893
103lmilikic8,0184,0702026-06-16 12:27799930
104lmilikic8,0184,0702026-06-16 13:55800029
105jasperdekoninck8,0403,8242026-05-14 08:43729444
106jasperdekoninck8,0403,8242026-05-15 19:22733268
107jasperdekoninck8,0403,8242026-05-17 14:15736166
108marcusm1178,0625,2952026-05-09 23:00719913
109marcusm1178,0625,2952026-05-18 05:40738033
110maudlemercier8,13013,5042026-06-02 10:40775524
111maudlemercier8,13213,5362026-06-03 12:17777554
112allenzhu8,2774,4952026-05-09 17:54719676
113allenzhu8,2774,4952026-05-10 04:31720098
114allenzhu8,2774,4952026-05-10 04:55720121
115allenzhu8,2774,4952026-05-10 04:56720124
116allenzhu8,2774,4952026-05-31 04:03770105
117allenzhu8,2774,4952026-06-01 15:45773936
118minjaeso8,4233,4392026-06-02 11:54775626
119minjaeso8,4233,4392026-06-03 13:27777609
120ctree41138,4483,5052026-06-03 19:03778134
121bhwang8,5726,8782026-05-21 19:54746119
122xvade8,9693,2712026-05-18 20:37739590
123aurasoph8,9693,2722026-06-15 08:06798121
124bhwang9,1506,2952026-05-18 08:06738233
125bhwang9,1506,2952026-05-18 19:07739516
126bhwang9,2377,0452026-06-04 12:01779310
127hypergalois10,4752,6412026-05-21 11:18745091
128hypergalois10,4752,6412026-06-08 00:43784932
129shuwesley12,0724,0042026-05-30 06:27767094
130guojing012,1413,9052026-05-19 11:29740669
131fabianz13,7173,5622026-06-14 20:34797405
132fabianz13,7173,5622026-06-15 21:48799148
133atrin14,3952,0102026-06-02 05:21775010
134atrin14,3952,0102026-06-06 00:59782005
135atrin14,3952,0102026-06-15 22:40799175
136robertboy1816,9581,8952026-05-20 22:29743754
137ygdjiang21,8975,2042026-06-14 15:26796843
138ygdjiang21,8985,2042026-06-14 14:27796721
139ctree411396,2341,6592026-05-20 15:00743121
140ctree411396,2341,6592026-05-28 21:44763640

Last updated 2026-06-22 16:42.