Problem K
WFF 'N PROOF — Problem Statistics

Back to problem description

Submissions	968
Accepted submissions	363
Submission ratio	37.50%
Authors	358
Accepted authors	310
Author ratio	86.59%

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Solution running time distribution