Problem F
Proving Equivalences — Problem Statistics

Back to problem description

Submissions	392
Accepted submissions	89
Submission ratio	22.70%
Authors	72
Full solves [?]	59
Full solve Ratio	81.94%

#	User	Runtime	Language	Date
1	Marcus Larsson	0.08 s	C	2013-03-07 07:53:08
2	Oscar Cusin	0.20 s	C	2024-02-27 18:25:44

#	User	Runtime	Language	Date
1	Tómas Ingi Hrólfsson	0.07 s	C++	2024-02-27 14:33:55
2	Lukas Polacek	0.08 s	C++	2012-05-03 13:43:25
3	Niklas Bäckström	0.08 s	C++	2012-05-03 14:24:13
4	Simon Lindholm	0.08 s	C++	2015-10-07 15:31:50
5	Mårten Wiman	0.08 s	C++	2015-10-09 14:15:17
6	Ellinor Åhlander	0.08 s	C++	2026-02-02 02:25:26
7	Fabian Bergmark	0.09 s	C++	2014-03-04 15:57:47
8	Martin Runelöv	0.09 s	C++	2014-03-05 11:28:24
9	Carl Frendin	0.09 s	C++	2014-03-18 17:42:59
10	Jesper Norberg	0.09 s	C++	2014-10-21 23:35:57

#	User	Runtime	Language	Date
1	Markus Westerlind	3.20 s	Haskell	2015-10-13 17:31:09

#	User	Runtime	Language	Date
1	Simon Klein	0.19 s	Java	2012-05-17 18:04:15
2	Linus Hansson	0.50 s	Java	2013-03-07 11:25:56
3	Jens Ståhl	0.58 s	Java	2014-02-27 14:13:32
4	Isak Nilsson	0.59 s	Java	2015-10-13 16:54:54
5	Alexandre Loiko	0.63 s	Java	2013-03-02 19:01:56
6	Erik Odenman	0.63 s	Java	2013-03-04 16:35:09
7	Tobias Andersson	0.94 s	Java	2014-03-05 17:54:21
8	Rikard Blixt	1.00 s	Java	2014-03-02 15:48:56
9	Viktor Widin	1.42 s	Java	2025-02-25 16:49:48
10	Axel Lewenhaupt	1.60 s	Java	2013-03-06 18:12:54

#	User	Runtime	Language	Date
1	Harry Zhang	0.63 s	Python 3	2024-02-26 13:09:54
2	Jacob Molin	1.24 s	Python 3	2025-05-29 12:45:41
3	Karl Walfridson	2.19 s	Python 3	2025-02-21 09:30:11

#	User	Runtime	Language	Date
1	Vincent Lagerros	0.06 s	Rust	2024-02-26 22:19:23
2	Herman Hallonqvist	0.07 s	Rust	2026-02-05 21:43:14
3	Christiane Kobalt	0.09 s	Rust	2025-02-23 20:32:31
4	Emil Hultcrantz	0.13 s	Rust	2025-02-24 22:24:15
5	Rasmus Andersson	0.58 s	Rust	2024-02-29 15:52:06

#	User	Length	Language	Date
1	Marcus Larsson	2161	C	2013-03-07 07:53:08
2	Oscar Cusin	29664	C	2024-02-27 18:25:44

#	User	Length	Language	Date
1	Simon Lindholm	1537	C++	2015-10-07 15:31:50
2	Lukas Polacek	1687	C++	2014-11-24 18:44:16
3	Emil Wärnberg	1742	C++	2013-03-05 23:34:56
4	Andreas Gabrielsson	1839	C++	2013-03-07 12:07:40
5	Johan Sannemo	1871	C++	2012-05-07 18:25:03
6	Mårten Wiman	1906	C++	2015-10-09 14:15:17
7	Alix Menard	2142	C++	2024-02-23 15:59:25
8	Niklas Bäckström	2199	C++	2013-03-04 16:09:17
9	Emil Lenngren	2297	C++	2012-05-02 19:44:39
10	Hidden user	2323	C++	2024-02-01 19:17:56

#	User	Length	Language	Date
1	Markus Westerlind	2540	Haskell	2015-10-13 17:31:09

#	User	Length	Language	Date
1	Erik Odenman	3125	Java	2013-03-04 16:35:09
2	Rikard Blixt	4676	Java	2014-03-02 15:48:56
3	Jens Ståhl	4922	Java	2014-02-27 14:13:32
4	Tobias Andersson	5440	Java	2014-03-05 17:54:21
5	Linus Hansson	6008	Java	2013-03-07 11:25:56
6	Simon Klein	6181	Java	2012-05-17 18:04:15
7	Isak Nilsson	6470	Java	2015-10-13 16:54:54
8	Viktor Widin	6470	Java	2025-02-25 16:49:48
9	Alexandre Loiko	6843	Java	2013-03-02 19:01:56
10	Axel Lewenhaupt	7675	Java	2013-03-06 18:12:54

#	User	Length	Language	Date
1	Jacob Molin	1269	Python 3	2025-05-29 12:45:41
2	Harry Zhang	2943	Python 3	2024-02-26 13:09:54
3	Karl Walfridson	4902	Python 3	2025-02-21 09:30:11

#	User	Length	Language	Date
1	Rasmus Andersson	2962	Rust	2024-02-29 15:47:46
2	Herman Hallonqvist	4794	Rust	2026-02-05 21:43:14
3	Christiane Kobalt	5235	Rust	2025-02-23 20:32:31
4	Vincent Lagerros	7386	Rust	2024-02-26 22:19:23
5	Emil Hultcrantz	12929	Rust	2025-02-24 22:24:15

Solution running time distribution