Problem I
WFF 'N PROOF

Back to problem description

Problem statistics

Submissions	885
Accepted submissions	346
Submission ratio	39.10%
Authors	334
Accepted authors	295
Author ratio	88.32%

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

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

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

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

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

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

#	User	Runtime	Date
1	Oscar Peulicke	0.41 s	2020-10-25 10:32:25

#	User	Runtime	Date
1	Christian Cederquist	0.03 s	2023-05-27 09:08:13

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

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

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

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

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

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

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

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

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

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

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

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

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

#	User	Length	Date
1	Oscar Peulicke	2069	2020-10-25 10:32:25

#	User	Length	Date
1	Christian Cederquist	568	2023-05-27 09:08:13

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

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

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

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

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

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

Solution running time distribution