Problem F
WFF 'N PROOF — Problem Statistics

Back to problem description

Submissions	971
Accepted submissions	368
Submission ratio	37.90%
Authors	365
Full solves [?]	315
Full solve Ratio	86.30%

#	User	Runtime	Language	Date
1	Hidden user	0.00 s	C	2017-05-05 22:55:23
2	Bergur Snorrason	0.00 s	C	2019-07-01 18:49:06
3	Raymund Luis Medialdea	0.00 s	C	2020-12-11 08:34:39
4	Josh Chua	0.00 s	C	2020-12-12 03:55:15
5	Rayvhen Mico Rosima	0.00 s	C	2020-12-15 03:06:05
6	Raven Alexis Tee	0.00 s	C	2020-12-25 06:49:16
7	Hidden user	0.01 s	C	2021-04-13 13:29:52

#	User	Runtime	Language	Date
1	Doug Goodman	0.02 s	C#	2018-09-01 16:55:23
2	Nils Lenart	0.02 s	C#	2020-04-07 10:17:14

#	User	Runtime	Language	Date
1	KatSch	0.01 s	Common Lisp	2022-11-20 11:40:19

#	User	Runtime	Language	Date
1	Norbert Voelker	0.02 s	Go	2021-09-09 21:21:50

#	User	Runtime	Language	Date
1	David Wärn	0.00 s	Haskell	2015-07-19 12:25:08
2	Nicholas Marsh	0.00 s	Haskell	2022-12-18 12:58:08
3	Steinar Simonnes	0.00 s	Haskell	2024-11-08 07:42:10
4	Brent Yorgey	0.01 s	Haskell	2018-09-02 04:53:48
5	Juan Miguel Vilar	0.01 s	Haskell	2020-08-05 10:10:19
6	Tim Finnetey	0.01 s	Haskell	2020-09-25 13:40:26
7	Rafał Gwoździński	0.01 s	Haskell	2021-03-16 07:09:07
8	Erik von Brömssen	0.01 s	Haskell	2021-06-25 22:20:46

#	User	Runtime	Language	Date
1	Martijn Muijsers	0.05 s	Java	2017-03-05 02:37:46
2	Simon Klein	0.06 s	Java	2012-10-09 17:38:19
3	Erik Odenman	0.06 s	Java	2012-10-09 18:07:24
4	Jonas Aule	0.06 s	Java	2012-10-09 18:48:52
5	Michael Sullivan	0.06 s	Java	2016-02-15 10:08:12
6	Simon Xue	0.06 s	Java	2016-05-31 19:52:04
7	Micah Stairs	0.06 s	Java	2016-12-22 16:33:23
8	Winston Cheung	0.06 s	Java	2017-01-09 03:48:38
9	Hidden user	0.06 s	Java	2017-01-22 16:44:16
10	Mohideen Imran Khan	0.06 s	Java	2018-06-13 07:00:25

#	User	Runtime	Language	Date
1	Oscar Peulicke	0.41 s	JavaScript (Node.js)	2020-10-25 09:32:25

#	User	Runtime	Language	Date
1	Christian Pilegaard Cederquist	0.03 s	JavaScript (SpiderMonkey)	2023-05-27 07:08:13

#	User	Runtime	Language	Date
1	Danny Robinson	0.57 s	Julia	2023-10-21 03:04:43

#	User	Runtime	Language	Date
1	Hidden user	0.21 s	Kotlin	2021-02-20 22:18:42
2	Hidden user	0.22 s	Kotlin	2017-11-28 19:04:04
3	Adam Rankin	0.22 s	Kotlin	2023-09-26 23:51:47

#	User	Runtime	Language	Date
1	Lars Tveito	0.03 s	Python 2	2015-11-11 01:20:00
2	Cian Ruane	0.03 s	Python 2	2018-09-03 01:14:45
3	Jesper Öqvist	0.03 s	Python 2	2018-11-10 16:15:32
4	Thomas Feld	0.04 s	Python 2	2019-09-30 13:58:54
5	Johan Lyts	0.05 s	Python 2	2020-12-15 14:17:00

#	User	Runtime	Language	Date
1	David Masters	0.02 s	Python 3	2016-09-15 00:32:51
2	Noah Ó Donnaile	0.02 s	Python 3	2017-09-14 12:09:23
3	Josenildo Silva	0.02 s	Python 3	2017-12-07 01:19:57
4	Aaron Dunigan AtLee	0.02 s	Python 3	2018-01-15 13:05:02
5	Kasra Ghodsi	0.02 s	Python 3	2018-06-23 16:44:50
6	Johan Wind	0.02 s	Python 3	2018-09-17 20:40:20
7	Vincent Tandya	0.02 s	Python 3	2019-05-16 14:11:42
8	Carrie Bergstedt	0.02 s	Python 3	2019-09-08 23:36:26
9	Bjørn Dons	0.02 s	Python 3	2019-11-10 17:10:28
10	Charley Sheaffer	0.02 s	Python 3	2019-11-26 19:27:41

#	User	Runtime	Language	Date
1	Thomas Feld	0.06 s	Ruby	2023-09-06 10:37:53

#	User	Runtime	Language	Date
1	Muhammad Rais Fathin Mudzakir	0.00 s	Rust	2021-05-09 20:27:40
2	Z S	0.00 s	Rust	2021-08-15 00:49:18
3	Adam Gausmann	0.00 s	Rust	2021-11-16 00:00:22
4	Bas Dirks	0.00 s	Rust	2024-02-03 16:56:47

#	User	Length	Language	Date
1	Josh Chua	866	C	2020-12-12 03:55:15
2	Rayvhen Mico Rosima	866	C	2020-12-15 03:06:05
3	Raven Alexis Tee	866	C	2020-12-25 06:49:16
4	Raymund Luis Medialdea	1120	C	2020-12-11 08:34:39
5	Hidden user	2086	C	2021-04-13 13:29:52
6	Hidden user	2278	C	2017-05-05 22:55:23
7	Bergur Snorrason	2443	C	2019-07-01 18:49:06

#	User	Length	Language	Date
1	Doug Goodman	1219	C#	2018-09-01 16:55:23
2	Nils Lenart	7111	C#	2020-04-07 10:17:14

#	User	Length	Language	Date
1	Yeung Man Tsung	486	C++	2022-11-29 08:33:24
2	Hyunjun Lee	584	C++	2023-05-05 17:09:53
3	Markus Mathiasen	608	C++	2022-08-25 10:54:47
4	Mustafa Serdar Şanlı	639	C++	2017-10-09 23:15:30
5	David Venhoek	665	C++	2016-02-11 09:43:13
6	Stephen Alex Ngo	685	C++	2020-08-03 11:30:55
7	Ellijah Jimenez	715	C++	2020-08-03 15:10:18
8	Noé Weeks	757	C++	2020-12-24 15:06:24
9	Darren Tee	765	C++	2020-08-04 05:17:49
10	Darren Tee	765	C++	2020-08-04 05:24:40

#	User	Length	Language	Date
1	KatSch	1955	Common Lisp	2022-11-20 11:40:19

#	User	Length	Language	Date
1	Norbert Voelker	1136	Go	2021-09-09 21:38:16

#	User	Length	Language	Date
1	David Wärn	485	Haskell	2015-07-19 12:25:08
2	Nicholas Marsh	588	Haskell	2022-12-18 12:58:08
3	Tim Finnetey	732	Haskell	2020-09-25 13:40:26
4	Erik von Brömssen	893	Haskell	2021-06-25 22:20:46
5	Steinar Simonnes	897	Haskell	2024-11-08 07:42:10
6	Juan Miguel Vilar	993	Haskell	2020-08-05 10:10:19
7	Brent Yorgey	1003	Haskell	2018-09-02 04:53:48
8	Rafał Gwoździński	1711	Haskell	2021-03-16 07:09:07

#	User	Length	Language	Date
1	Mitch Price	824	Java	2016-09-25 20:47:12
2	Xuehui Chen	914	Java	2018-05-06 17:22:27
3	Doug Goodman	1059	Java	2018-06-14 18:53:35
4	Christopher Lim	1182	Java	2020-12-11 07:53:40
5	Christopher Hinton	1194	Java	2024-01-13 20:05:44
6	Micah Stairs	1203	Java	2016-12-22 16:33:23
7	Amos Rafael J. Cacha	1235	Java	2020-12-10 11:36:11
8	Phoebe Clare Ong	1283	Java	2020-12-13 06:44:19
9	Charlotte Zhuang	1320	Java	2020-03-23 05:03:15
10	Moses Schindler	1378	Java	2017-04-12 17:37:03

#	User	Length	Language	Date
1	Oscar Peulicke	2069	JavaScript (Node.js)	2020-10-25 09:32:25

#	User	Length	Language	Date
1	Christian Pilegaard Cederquist	568	JavaScript (SpiderMonkey)	2023-05-27 07:08:13

#	User	Length	Language	Date
1	Danny Robinson	207	Julia	2023-10-21 03:04:43

#	User	Length	Language	Date
1	Hidden user	1692	Kotlin	2021-02-20 22:18:42
2	Hidden user	1693	Kotlin	2017-11-28 19:04:04
3	Adam Rankin	2397	Kotlin	2023-09-26 23:51:47

#	User	Length	Language	Date
1	Thomas Feld	252	Python 2	2019-09-30 13:58:54
2	Lars Tveito	498	Python 2	2015-11-11 01:20:00
3	Johan Lyts	657	Python 2	2020-12-15 14:17:00
4	Jesper Öqvist	673	Python 2	2018-11-10 16:15:32
5	Cian Ruane	701	Python 2	2018-09-03 01:14:45

#	User	Length	Language	Date
1	Benjamin Z White	232	Python 3	2023-08-31 22:19:22
2	Ahmed Chamseddine	287	Python 3	2025-03-02 11:41:40
3	Charles Ancheta	295	Python 3	2023-04-08 10:02:27
4	Peter Stauder	303	Python 3	2022-10-05 06:15:25
5	Alejandro Romeo	402	Python 3	2025-08-10 16:23:51
6	Jason Clarke	410	Python 3	2024-02-19 15:02:44
7	Hidden user	415	Python 3	2023-08-21 08:29:04
8	Lex Janssens	474	Python 3	2023-07-21 08:50:59
9	Johan Wind	492	Python 3	2018-09-17 20:40:20
10	David Masters	502	Python 3	2016-09-15 00:32:51

#	User	Length	Language	Date
1	Thomas Feld	121	Ruby	2023-09-06 10:48:42

#	User	Length	Language	Date
1	Adam Gausmann	1201	Rust	2021-11-16 00:00:22
2	Bas Dirks	1306	Rust	2024-02-03 16:56:47
3	Z S	2023	Rust	2021-08-15 00:49:18
4	Muhammad Rais Fathin Mudzakir	4700	Rust	2021-05-09 20:27:40

Solution running time distribution