Problem C
Proofs — Problem Statistics

Back to problem description

Submissions	2791
Accepted submissions	1339
Submission ratio	47.98%
Authors	989
Full solves [?]	888
Full solve Ratio	89.79%

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

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

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

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

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

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

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

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

#	User	Runtime	Language	Date
1	Minh Trang Nguyen	0.64 s	JavaScript (Node.js)	2025-11-17 19:51:11

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

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

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

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

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

#	User	Runtime	Language	Date
1	Ocram Esah	0.15 s	Python 3	2022-06-06 08:14:25
2	Petr	0.23 s	Python 3	2025-07-12 22:36:24
3	Agis Daniels	0.31 s	Python 3	2020-08-03 21:19:26
4	Marcel Rød	0.33 s	Python 3	2021-12-30 19:14:24
5	Jiaming Kong	0.33 s	Python 3	2025-08-06 16:26:59
6	Lee Isaac	0.34 s	Python 3	2023-05-17 07:34:26
7	Islam	0.34 s	Python 3	2025-11-20 12:49:03
8	Peter Stauder	0.35 s	Python 3	2022-07-08 20:21:59
9	Greg Hamerly	0.35 s	Python 3	2022-10-11 16:11:09
10	Lai Zhuoyuan	0.35 s	Python 3	2023-03-26 12:41:56

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

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

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

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

#	User	Length	Language	Date
1	Kristoffer Højelse	762	C#	2022-09-09 16:25:48
2	Akib Ibn Zahid	829	C#	2025-11-17 09:54:22
3	Göran Andersson	863	C#	2022-05-24 11:43:26
4	Jonas Røssum	923	C#	2022-09-09 16:19:41
5	Dan Church	1110	C#	2022-06-25 12:02:25
6	Anders Parsberg Wagner	1477	C#	2020-09-16 21:43:41
7	Henrik Hallbert	1486	C#	2022-01-05 12:26:01
8	Eric Weiss	1511	C#	2022-10-03 15:42:04
9	Anders Lapiki	3328	C#	2022-09-09 16:50:21

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

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

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

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

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

#	User	Length	Language	Date
1	Minh Trang Nguyen	603	JavaScript (Node.js)	2025-11-17 19:51:11

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

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

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

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

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

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

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

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

Solution running time distribution