Problem F
Proving Equivalences — Problem Statistics

Back to problem description

Submissions	356
Accepted submissions	79
Submission ratio	22.19%
Authors	62
Accepted authors	50
Author ratio	80.65%

#	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	Fabian Bergmark	0.09 s	C++	2014-03-04 15:57:47
7	Martin Runelöv	0.09 s	C++	2014-03-05 11:28:24
8	Carl Frendin	0.09 s	C++	2014-03-18 17:42:59
9	Jesper Norberg	0.09 s	C++	2014-10-21 23:35:57
10	Arvid Jonasson	0.10 s	C++	2024-01-30 18:24:52

#	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	Axel Lewenhaupt	1.60 s	Java	2013-03-06 18:12:54
10	Björn Holm	1.78 s	Java	2014-10-21 18:34:48

#	User	Runtime	Language	Date
1	Harry Zhang	0.63 s	Python 3	2024-02-26 13:09:54
2	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	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	29532	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	3101	Java	2013-03-04 16:35:09
2	Rikard Blixt	4664	Java	2014-03-02 15:48:56
3	Jens Ståhl	4910	Java	2014-02-27 14:13:32
4	Tobias Andersson	5429	Java	2014-03-05 17:54:21
5	Linus Hansson	5984	Java	2013-03-07 11:25:56
6	Simon Klein	6153	Java	2012-05-17 18:04:15
7	Isak Nilsson	6454	Java	2015-10-13 16:54:54
8	Alexandre Loiko	6815	Java	2013-03-02 19:01:56
9	Axel Lewenhaupt	7637	Java	2013-03-06 18:12:54
10	Björn Holm	16037	Java	2014-10-21 18:22:33

#	User	Length	Language	Date
1	Harry Zhang	2943	Python 3	2024-02-26 13:09:54
2	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	Vincent Lagerros	7365	Rust	2024-02-26 22:19:23

Solution running time distribution