Problem B
Proofs — Problem Statistics

Back to problem description

Submissions	2343
Accepted submissions	1137
Submission ratio	48.53%
Authors	827
Accepted authors	741
Author ratio	89.60%

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

#	User	Runtime	Language	Date
1	Sven Rönnbäck	0.02	C	2023-02-21 18:32:47
2	Bergur Snorrason	0.22	C	2020-04-30 12:04:02
3	Ivan Petrov	0.37	C	2020-04-28 08:21:44
4	Sambit Palit	1.32	C	2020-10-07 01:44:11

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

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

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

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

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

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

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

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

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

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

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

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

#	User	Runtime	Language	Date
1	Rasmus Kaj	0.02	Rust	2021-01-15 01:02:28
2	Vincent Lagerros	0.02	Rust	2023-09-22 18:39:46
3	Artur Khuziakhmetov	0.14	Rust	2023-06-04 11:12:24
4	Theodor Ström	0.15	Rust	2022-02-09 14:01:03
5	Alice Ryhl	0.19	Rust	2022-09-09 16:33:35
6	Gustaf Haglund	0.2	Rust	2022-04-20 17:31:09
7	Bas Dirks	0.26	Rust	2022-01-09 11:17:00
8	Sasidhar Movva	0.28	Rust	2021-06-26 05:51:28
9	Eric Pinter	0.29	Rust	2020-05-23 08:42:40
10	Sherman Chann Zhi Shen	0.31	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	Sambit Palit	1880	C	2020-10-07 01:44:11
3	Bergur Snorrason	2409	C	2020-04-30 12:04:02
4	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	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	Woo Wen Jun	460	C++	2022-09-14 05:39:48
10	Umair Yusof	469	C++	2022-10-22 17:01:16

#	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	Yuki Okamoto	692	Java	2023-03-11 23:49:17
2	Erik Tegler	695	Java	2020-04-25 11:13:34
3	Ethan Fan	744	Java	2021-08-10 21:04:24
4	Adrian Bay Dorph	754	Java	2021-05-07 23:06:22
5	Crystal Sharpe	757	Java	2020-04-27 04:10:06
6	Dhiraputta Pathama Tengara	766	Java	2023-10-18 16:06:41
7	Chad Waters	789	Java	2024-03-01 21:04:49
8	Theis Stensgaard	795	Java	2022-09-09 16:07:22
9	Goh Hong Wei, Shawn	805	Java	2024-09-20 07:52:07
10	Kristoffer Borgstrøm	812	Java	2020-10-21 13:43:59

#	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	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	David Lolck	203	Python 3	2022-09-09 16:29:23
9	Aayush Singh	209	Python 3	2022-11-05 02:25:50
10	David Nilsson	222	Python 3	2020-07-11 07:34:17

#	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