Problem I
Proofs — Problem Statistics

Back to problem description

Submissions	2684
Accepted submissions	1287
Submission ratio	47.95%
Authors	944
Accepted authors	846
Author ratio	89.62%

#	User	Runtime	Language	Date
1	Danny Robinson	0.49 s	Bash	2023-10-11 07:07:41

#	User	Runtime	Language	Date
1	Sven Rönnbäck	0.02 s	C	2023-02-21 18:32:47
2	Max McGinty	0.06 s	C	2025-02-27 21:45:54
3	Bergur Snorrason	0.22 s	C	2020-04-30 12:04:02
4	Ivan Petrov	0.37 s	C	2020-04-28 08:21:44
5	Hidden user	0.63 s	C	2025-03-28 18:12:08
6	Sambit Palit	1.32 s	C	2020-10-07 01:44:11

#	User	Runtime	Language	Date
1	Henrik Hallbert	0.80 s	C#	2022-03-16 20:55:19
2	Anders Lapiki	0.81 s	C#	2022-09-09 18:50:21
3	Anders Parsberg Wagner	0.82 s	C#	2020-09-16 23:43:41
4	Göran Andersson	0.88 s	C#	2022-05-24 13:43:26
5	Kristoffer Højelse	0.93 s	C#	2022-09-09 18:25:48
6	Eric Weiss	0.93 s	C#	2022-10-03 17:42:04
7	Dan Church	0.99 s	C#	2022-06-25 14:02:25
8	Jonas Røssum	1.03 s	C#	2022-09-09 18:24:54

#	User	Runtime	Language	Date
1	Agis Daniels	0.03 s	C++	2021-12-11 16:15:20
2	Yuesong Zou	0.03 s	C++	2022-10-22 21:03:42
3	Frank Endriss	0.11 s	C++	2020-04-26 22:45:15
4	Vincent Lagerros	0.15 s	C++	2022-02-11 18:46:19
5	Brad	0.21 s	C++	2024-02-10 19:07:41
6	Tomas Lagland	0.24 s	C++	2020-05-14 23:38:01
7	Kevin Sunjaya	0.25 s	C++	2021-01-26 04:07:38
8	Hidden user	0.25 s	C++	2021-11-06 10:46:55
9	Ashikur Rahman	0.25 s	C++	2024-09-01 01:32:05
10	Markus Bao	0.25 s	C++	2024-10-08 13:14:02

#	User	Runtime	Language	Date
1	Jacob Harris Cryer Kragh	1.35 s	F#	2023-01-18 12:37:45

#	User	Runtime	Language	Date
1	Norbert Voelker	0.55 s	Go	2021-07-10 00:51:05

#	User	Runtime	Language	Date
1	Brent Yorgey	0.86 s	Haskell	2020-04-25 22:21:17
2	Jan Hrček	1.64 s	Haskell	2021-04-07 18:31:16
3	Hidden user	1.66 s	Haskell	2021-06-01 12:39:40
4	Steinar Simonnes	1.67 s	Haskell	2024-05-30 10:55:56

#	User	Runtime	Language	Date
1	Sven Rönnbäck	0.14 s	Java	2023-02-19 20:27:31
2	Emil Bak-Møller	0.42 s	Java	2020-05-07 01:25:04
3	Asmus Tørsleff	0.47 s	Java	2022-09-09 17:09:49
4	Aurélien Pepin	0.53 s	Java	2020-04-26 14:42:02
5	Steven Cheng	0.65 s	Java	2020-04-30 07:36:02
6	Luke Eales	0.66 s	Java	2023-10-09 11:23:24
7	Clement Oh	0.67 s	Java	2023-09-01 14:22:38
8	Malte Larsson	0.68 s	Java	2020-04-25 11:25:54
9	Winston Lim Jun Yang	0.68 s	Java	2023-10-31 06:08:58
10	Issa Issack	0.68 s	Java	2024-04-03 06:01:19

#	User	Runtime	Language	Date
1	Christian Cederquist	0.88 s	JavaScript (SpiderMonkey)	2023-03-25 17:06:08
2	Bjørn Chr. Soltvedt	1.02 s	JavaScript (SpiderMonkey)	2020-04-26 12:41:47

#	User	Runtime	Language	Date
1	Timothy Gaede	0.88 s	Julia	2024-05-27 01:37:58
2	Danny Robinson	1.81 s	Julia	2023-10-11 06:46:19

#	User	Runtime	Language	Date
1	Adam Rankin	1.28 s	Kotlin	2023-05-12 18:31:59
2	Ola Sundell	1.36 s	Kotlin	2021-05-26 09:38:48

#	User	Runtime	Language	Date
1	Erik K	0.39 s	OCaml	2020-10-11 10:45:17

#	User	Runtime	Language	Date
1	Agis Daniels	0.21 s	Python 2	2020-08-03 23:21:35
2	Hidden user	0.28 s	Python 2	2020-04-26 00:44:10
3	Thomas Feld	0.28 s	Python 2	2020-04-30 10:46:03
4	Andrei Stoica	0.28 s	Python 2	2021-10-14 00:13:16
5	Anton Lyxell	0.32 s	Python 2	2020-04-25 11:16:34
6	Alexander Kravberg	0.33 s	Python 2	2020-04-25 11:32:21
7	Andreas Björklund	0.33 s	Python 2	2020-04-26 19:48:20
8	Ram Basnet	0.33 s	Python 2	2020-06-01 21:19:35
9	Maj Stenmark	0.34 s	Python 2	2020-04-25 11:19:23
10	Chaitanya Katpatal	0.34 s	Python 2	2020-04-25 12:54:23

#	User	Runtime	Language	Date
1	Ocram Esah	0.15 s	Python 3	2022-06-06 10:14:25
2	Agis Daniels	0.31 s	Python 3	2020-08-03 23:19:26
3	Petr	0.32 s	Python 3	2025-01-07 18:28:34
4	Marcel Rød	0.33 s	Python 3	2021-12-30 20:14:24
5	Lee Isaac	0.34 s	Python 3	2023-05-17 09:34:26
6	Peter Stauder	0.35 s	Python 3	2022-07-08 22:21:59
7	Greg Hamerly	0.35 s	Python 3	2022-10-11 18:11:09
8	Lai Zhuoyuan	0.35 s	Python 3	2023-03-26 14:41:56
9	Ryan Tan	0.36 s	Python 3	2022-06-06 05:33:40
10	FU ZIHANG	0.36 s	Python 3	2023-11-04 02:37:52

#	User	Runtime	Language	Date
1	Thomas Feld	1.01 s	Ruby	2023-05-11 14:38:22
2	Dylan Mcdougall	1.19 s	Ruby	2020-05-24 07:21:09

#	User	Runtime	Language	Date
1	Rasmus Kaj	0.02 s	Rust	2021-01-15 01:02:28
2	Vincent Lagerros	0.02 s	Rust	2023-09-22 18:39:46
3	Artur Khuziakhmetov	0.14 s	Rust	2023-06-04 11:12:24
4	Theodor Ström	0.15 s	Rust	2022-02-09 14:01:03
5	Alice Ryhl	0.19 s	Rust	2022-09-09 16:33:35
6	Gustaf Haglund	0.20 s	Rust	2022-04-20 17:31:09
7	Bas Dirks	0.26 s	Rust	2022-01-09 11:17:00
8	Sasidhar Movva	0.28 s	Rust	2021-06-26 05:51:28
9	Eric Pinter	0.29 s	Rust	2020-05-23 08:42:40
10	Sherman Chann Zhi Shen	0.31 s	Rust	2021-10-02 04:04:29

#	User	Length	Language	Date
1	Danny Robinson	80	Bash	2023-10-11 07:15:06

#	User	Length	Language	Date
1	Sven Rönnbäck	1203	C	2023-02-21 18:32:47
2	Max McGinty	1511	C	2025-02-27 21:45:54
3	Hidden user	1628	C	2025-03-28 18:12:08
4	Sambit Palit	1880	C	2020-10-07 01:44:11
5	Bergur Snorrason	2409	C	2020-04-30 12:04:02
6	Ivan Petrov	6734	C	2020-04-28 08:21:44

#	User	Length	Language	Date
1	Kristoffer Højelse	762	C#	2022-09-09 18:25:48
2	Göran Andersson	863	C#	2022-05-24 13:43:26
3	Jonas Røssum	923	C#	2022-09-09 18:19:41
4	Dan Church	1110	C#	2022-06-25 14:02:25
5	Anders Parsberg Wagner	1477	C#	2020-09-16 23:43:41
6	Henrik Hallbert	1486	C#	2022-01-05 13:26:01
7	Eric Weiss	1511	C#	2022-10-03 17:42:04
8	Anders Lapiki	3318	C#	2022-09-09 18:50:21

#	User	Length	Language	Date
1	Elias Lolck	297	C++	2022-09-09 16:34:19
2	Frederick Pek	361	C++	2021-07-11 08:56:44
3	Clement Oh	366	C++	2023-10-26 17:46:54
4	Alexander Skovsende	376	C++	2022-09-09 16:44:03
5	Dmitry Lyubshin	408	C++	2023-03-25 22:13:18
6	Hyunjun Lee	424	C++	2022-11-10 23:38:00
7	Marcel Wienöbst	426	C++	2020-05-01 14:27:56
8	Lee Zheng Han	445	C++	2022-12-06 18:36:00
9	Wen Jun	460	C++	2022-09-14 05:39:48
10	Markus Bao	463	C++	2024-10-08 12:58:33

#	User	Length	Language	Date
1	Jacob Harris Cryer Kragh	1152	F#	2023-01-18 12:37:45

#	User	Length	Language	Date
1	Norbert Voelker	820	Go	2021-07-10 00:51:05

#	User	Length	Language	Date
1	Steinar Simonnes	633	Haskell	2024-05-30 10:55:56
2	Jan Hrček	1011	Haskell	2021-04-07 18:31:16
3	Brent Yorgey	1198	Haskell	2020-04-25 22:21:17
4	Hidden user	11346	Haskell	2021-06-01 12:39:40

#	User	Length	Language	Date
1	Markus Bao	678	Java	2024-09-21 15:49:24
2	Yuki Okamoto	692	Java	2023-03-11 23:49:17
3	Erik Tegler	695	Java	2020-04-25 11:13:34
4	Ethan Fan	744	Java	2021-08-10 21:04:24
5	Adrian Bay Dorph	754	Java	2021-05-07 23:06:22
6	Crystal Sharpe	757	Java	2020-04-27 04:10:06
7	Riley Richardson	757	Java	2025-02-27 23:18:40
8	Dhiraputta Pathama Tengara	766	Java	2023-10-18 16:06:41
9	Le Minh Hoang	772	Java	2024-10-01 17:30:52
10	Chad Waters	789	Java	2024-03-01 21:04:49

#	User	Length	Language	Date
1	Bjørn Chr. Soltvedt	351	JavaScript (SpiderMonkey)	2020-04-26 12:41:47
2	Christian Cederquist	538	JavaScript (SpiderMonkey)	2023-03-25 17:06:08

#	User	Length	Language	Date
1	Danny Robinson	145	Julia	2023-10-11 06:46:19
2	Timothy Gaede	331	Julia	2024-05-27 01:37:58

#	User	Length	Language	Date
1	Adam Rankin	1018	Kotlin	2023-05-12 18:31:59
2	Ola Sundell	1157	Kotlin	2021-05-26 09:38:48

#	User	Length	Language	Date
1	Erik K	1137	OCaml	2020-10-11 10:45:17

#	User	Length	Language	Date
1	Thomas Feld	225	Python 2	2020-04-30 10:47:12
2	Agis Daniels	273	Python 2	2020-08-03 22:47:59
3	Andreas Björklund	296	Python 2	2020-04-26 19:48:20
4	Fredrik Hernqvist	313	Python 2	2020-04-25 11:21:12
5	Maj Stenmark	335	Python 2	2020-04-25 11:19:23
6	Alexander Kravberg	336	Python 2	2020-04-25 11:32:21
7	Yanmarshus Bachtiar	368	Python 2	2020-09-07 09:23:07
8	Hidden user	401	Python 2	2020-04-26 00:44:10
9	Brandon Sovran	418	Python 2	2022-10-22 22:17:49
10	Anton Lyxell	448	Python 2	2020-04-25 11:16:34

#	User	Length	Language	Date
1	Clement Oh	107	Python 3	2023-06-10 07:22:35
2	Lee Isaac	145	Python 3	2023-05-17 09:46:14
3	Benjamin Z White	147	Python 3	2023-05-10 00:34:47
4	Ahmed Chamseddine	164	Python 3	2024-09-13 15:30:24
5	Tai Tze Kin	174	Python 3	2024-05-03 23:24:37
6	Noah Hessen Bjerke	185	Python 3	2024-04-17 17:55:50
7	Oskar Haarklou Veileborg	189	Python 3	2020-09-10 16:01:44
8	Gustav Kalander	192	Python 3	2025-03-30 17:10:38
9	David Lolck	203	Python 3	2022-09-09 16:29:23
10	Jose Mari Paolo Rollan	206	Python 3	2025-06-22 23:45:44

#	User	Length	Language	Date
1	Thomas Feld	71	Ruby	2023-10-12 15:34:44
2	Dylan Mcdougall	329	Ruby	2020-05-24 07:21:09

#	User	Length	Language	Date
1	Artur Khuziakhmetov	636	Rust	2023-06-04 11:12:24
2	Ng Tek In	745	Rust	2022-08-23 21:05:24
3	Gustaf Haglund	783	Rust	2022-04-20 17:36:26
4	Alice Ryhl	806	Rust	2022-09-09 16:33:35
5	Bas Dirks	816	Rust	2022-01-09 11:17:00
6	Theodor Ström	864	Rust	2022-02-09 14:10:15
7	Sherman Chann Zhi Shen	919	Rust	2021-10-02 04:04:29
8	Nikoline Olander Rasmussen	928	Rust	2022-09-09 19:01:51
9	Vincent Lagerros	969	Rust	2023-09-22 18:02:51
10	Sasidhar Movva	1136	Rust	2021-06-26 05:53:38

Solution running time distribution