Problem I
Proving Equivalences — Problem Statistics

Back to problem description

Submissions	6156
Accepted submissions	1406
Submission ratio	22.84%
Authors	1089
Accepted authors	883
Author ratio	81.08%

#	User	Runtime	Language	Date
1	Hidden user	0.03 s	C	2025-05-29 14:38:46
2	Marcus Larsson	0.08 s	C	2013-03-07 07:53:08
3	Ivan Petrov	0.10 s	C	2019-06-28 14:07:18
4	Oscar Cusin	0.20 s	C	2024-02-27 18:25:44

#	User	Runtime	Language	Date
1	Aravindan Kulandaivelu	0.40 s	C#	2017-06-12 12:36:33

#	User	Runtime	Language	Date
1	Ashley Khoo	0.02 s	C++	2019-08-10 21:39:27
2	SiBi	0.03 s	C++	2019-05-30 12:04:12
3	Brandon Zhang	0.03 s	C++	2024-01-28 10:55:42
4	Yaniel Velazquez	0.04 s	C++	2015-02-23 06:40:14
5	Daniel Taco Törbacka	0.04 s	C++	2017-05-28 10:59:19
6	Joel Au	0.04 s	C++	2020-05-30 08:40:04
7	Harrison Shen	0.04 s	C++	2020-07-16 17:05:43
8	Jiacheng Wu	0.04 s	C++	2022-02-10 02:06:58
9	Geralt of Rivia	0.04 s	C++	2022-06-17 03:37:52
10	Peter Jin	0.04 s	C++	2023-03-11 00:01:06

#	User	Runtime	Language	Date
1	Việt Hà Nguyễn	1.08 s	Go	2016-08-06 17:40:18

#	User	Runtime	Language	Date
1	Simon Klein	0.19 s	Java	2012-05-17 18:04:15
2	José Vander Meulen	0.21 s	Java	2018-04-16 23:08:57
3	Kol Greenbaum	0.28 s	Java	2023-03-22 23:43:25
4	Vamsi Krishna Gollapudi	0.31 s	Java	2017-12-21 11:42:05
5	William Fiset	0.31 s	Java	2020-10-07 03:02:09
6	Leon Wang	0.31 s	Java	2024-10-23 16:35:33
7	Alvin Lee	0.33 s	Java	2024-10-19 04:13:37
8	Jakob Kallestad	0.35 s	Java	2019-02-11 23:47:49
9	William Quiroga	0.36 s	Java	2018-02-06 04:32:00
10	Jimmy Dinh	0.37 s	Java	2023-03-12 06:55:49

#	User	Runtime	Language	Date
1	Nicholas Johnson	0.99 s	Kotlin	2022-05-27 18:30:16
2	Jekaterina Kuštana	4.01 s	Kotlin	2018-06-28 02:38:03

#	User	Runtime	Language	Date
1	Louis Ye	1.01 s	Python 2	2022-02-14 05:25:49
2	Mayur Mohite	1.04 s	Python 2	2015-04-12 18:38:57

#	User	Runtime	Language	Date
1	Qasim Khawaja	0.33 s	Python 3	2022-02-06 06:11:41
2	Christopher Gou	0.39 s	Python 3	2024-10-25 04:18:17
3	Shashank Bhagwani	0.40 s	Python 3	2024-10-20 00:55:10
4	Praval Kollipara	0.42 s	Python 3	2024-10-25 21:20:46
5	Hidden user	0.43 s	Python 3	2022-10-17 02:04:43
6	Ethan	0.44 s	Python 3	2025-06-15 23:44:36
7	Jonathan Cederlund	0.48 s	Python 3	2025-02-08 10:48:53
8	Laith Bohsali	0.48 s	Python 3	2025-04-03 18:53:32
9	Ramis Raza	0.50 s	Python 3	2025-03-21 08:04:01
10	einar bratthall	0.51 s	Python 3	2023-02-22 19:59:49

#	User	Runtime	Language	Date
1	Vincent Lagerros	0.02 s	Rust	2025-03-16 11:34:14
2	Giang Đào	0.06 s	Rust	2023-01-12 15:27:36
3	Muhammad Rais Fathin Mudzakir	0.07 s	Rust	2022-02-12 19:35:43
4	Christofer Nolander	0.08 s	Rust	2018-12-28 12:10:37
5	Niklas Sandén	0.08 s	Rust	2023-02-21 16:29:59
6	Julius Thunström	0.08 s	Rust	2023-02-22 20:50:19
7	Daniel Anker Hermansen	0.13 s	Rust	2024-10-15 09:57:01
8	Emil Hultcrantz	0.13 s	Rust	2025-02-24 22:24:15
9	Eskil Queseth	0.23 s	Rust	2020-01-15 16:23:29
10	Eric Pinter	0.41 s	Rust	2021-07-29 06:50:02

#	User	Length	Language	Date
1	Ivan Petrov	2003	C	2019-06-28 14:07:18
2	Marcus Larsson	2161	C	2013-03-07 07:53:08
3	Hidden user	2583	C	2025-05-29 14:37:02
4	Oscar Cusin	29532	C	2024-02-27 18:25:44

#	User	Length	Language	Date
1	Aravindan Kulandaivelu	4080	C#	2017-06-12 12:36:33

#	User	Length	Language	Date
1	Yu-Chen Chan	763	C++	2024-03-12 01:26:51
2	Pranav Krishnan	1062	C++	2024-04-04 08:48:53
3	Hidden user	1077	C++	2015-10-30 08:20:00
4	Herman Karlsson	1114	C++	2017-01-09 00:54:30
5	Asbjørn Lind	1117	C++	2024-12-06 00:37:21
6	Alfredo Beaumont	1192	C++	2020-12-30 18:55:45
7	Josenildo Silva	1211	C++	2017-04-12 20:32:01
8	bekarhunmain	1245	C++	2024-07-23 17:33:49
9	Hidden user	1249	C++	2022-02-15 03:22:17
10	Hidden user	1251	C++	2024-09-11 14:34:59

#	User	Length	Language	Date
1	Việt Hà Nguyễn	3170	Go	2016-08-07 10:55:25

#	User	Length	Language	Date
1	Kurtis Van Gent	1934	Java	2016-07-08 20:24:01
2	Doug Goodman	2113	Java	2016-07-11 16:36:34
3	Diệp Hiểu Phong	2324	Java	2016-11-09 12:05:53
4	Hidden user	2488	Java	2015-02-28 20:45:11
5	Hidden user	2514	Java	2022-05-02 06:12:36
6	Raj Niti	2544	Java	2022-04-05 03:34:13
7	Qian Lin	2550	Java	2017-06-21 18:02:45
8	Hidden user	2552	Java	2023-10-15 02:29:00
9	David Nowzari	2559	Java	2016-07-01 22:04:16
10	Prashant Kumar	2561	Java	2018-09-23 22:56:20

#	User	Length	Language	Date
1	Nicholas Johnson	2663	Kotlin	2022-05-27 18:30:16
2	Jekaterina Kuštana	3221	Kotlin	2018-06-28 02:38:03

#	User	Length	Language	Date
1	Louis Ye	2643	Python 2	2022-02-14 05:29:08
2	Mayur Mohite	3631	Python 2	2015-04-12 18:38:57

#	User	Length	Language	Date
1	Will Corcoran	740	Python 3	2024-10-06 00:49:42
2	Keshav Dharshan	960	Python 3	2025-04-03 20:36:39
3	Kritim	1066	Python 3	2024-01-28 11:31:20
4	Nicholas Russell Saerang	1106	Python 3	2023-07-21 22:33:48
5	Jacob Molin	1269	Python 3	2025-05-29 12:36:59
6	Xiaoyang Xu	1303	Python 3	2024-10-02 02:03:02
7	Zac Friggstad	1310	Python 3	2022-01-31 04:15:42
8	Hidden user	1460	Python 3	2025-04-06 05:02:06
9	Thomas Bolf	1471	Python 3	2025-04-05 22:28:50
10	Shehab Ahmed Hatem	1481	Python 3	2023-11-13 21:49:14

#	User	Length	Language	Date
1	Rasmus Andersson	2962	Rust	2024-02-29 15:47:46
2	Eric Pinter	3222	Rust	2021-07-29 06:50:02
3	Eskil Queseth	3988	Rust	2020-01-15 16:23:29
4	Christofer Nolander	4967	Rust	2018-12-28 11:35:52
5	Vincent Lagerros	5969	Rust	2024-02-26 22:04:16
6	Giang Đào	9716	Rust	2023-01-12 15:27:36
7	Muhammad Rais Fathin Mudzakir	10827	Rust	2022-02-12 19:35:43
8	Emil Hultcrantz	12909	Rust	2025-02-24 22:24:15
9	Daniel Anker Hermansen	16320	Rust	2024-10-15 09:57:01
10	Niklas Sandén	28760	Rust	2023-02-21 16:29:59

Solution running time distribution