Problem E
Proofs

Back to problem description

Problem statistics

Submissions	2258
Accepted submissions	1093
Submission ratio	48.41%
Authors	792
Accepted authors	712
Author ratio	89.90%

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

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

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

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

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

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

#	User	Runtime	Date
1	Brent Yorgey	0.86 s	2020-04-25 22:21:17
2	Jan Hrček	1.64 s	2021-04-07 18:31:16
3	Hidden user	1.66 s	2021-06-01 12:39:40

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

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

#	User	Runtime	Date
1	Danny Robinson	1.81 s	2023-10-11 06:46:19

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

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

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

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

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

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

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

#	User	Length	Date
1	Sven Rönnbäck	1203	2023-02-21 18:32:47
2	Sambit Palit	1880	2020-10-07 01:44:11
3	Bergur Snorrason	2409	2020-04-30 12:04:02
4	Ivan Petrov	6734	2020-04-28 08:21:44

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

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

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

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

#	User	Length	Date
1	Jan Hrček	1011	2021-04-07 18:31:16
2	Brent Yorgey	1198	2020-04-25 22:21:17
3	Hidden user	11346	2021-06-01 12:39:40

#	User	Length	Date
1	Yuki Okamoto	692	2023-03-11 23:49:17
2	Erik Tegler	695	2020-04-25 11:13:34
3	Ethan Fan	744	2021-08-10 21:04:24
4	Adrian Bay Dorph	754	2021-05-07 23:06:22
5	Crystal Sharpe	757	2020-04-27 04:10:06
6	Dhiraputta Pathama Tengara	766	2023-10-18 16:06:41
7	Chad Waters	789	2024-03-01 21:04:49
8	Theis Stensgaard	795	2022-09-09 16:07:22
9	Kristoffer Borgstrøm	812	2020-10-21 13:43:59
10	Tan Zi Yang	814	2023-10-08 02:24:41

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

#	User	Length	Date
1	Danny Robinson	145	2023-10-11 06:46:19

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

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

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

#	User	Length	Date
1	Clement Oh	107	2023-06-10 07:22:35
2	Lee Isaac	145	2023-05-17 09:46:14
3	Benjamin Z White	147	2023-05-10 00:34:47
4	Tai Tze Kin	174	2024-05-03 23:24:37
5	Noah Hessen Bjerke	185	2024-04-17 17:55:50
6	Oskar Haarklou Veileborg	189	2020-09-10 16:01:44
7	David Lolck	203	2022-09-09 16:29:23
8	Aayush Singh	209	2022-11-05 02:25:50
9	David Nilsson	222	2020-07-11 07:34:17
10	Hu Yijie	224	2022-11-12 16:49:51

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

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

Solution running time distribution