Problem H
WFF 'N PROOF — Problem Statistics

Back to problem description

Submissions	20
Accepted submissions	10
Submission ratio	50.00%
Authors	12
Accepted authors	10
Author ratio	83.33%

#	User	Runtime	Language	Date
1	Bertrand Mermet	0.00 s	C++	2012-10-09 18:28:46
2	Niklas Bäckström	0.00 s	C++	2012-10-09 18:29:11
3	Emil Lenngren	0.00 s	C++	2012-10-09 18:53:38
4	Chen, Tang-Chu	0.00 s	C++	2012-10-09 21:05:31
5	Lukas Polacek	0.00 s	C++	2014-11-24 18:43:44

#	User	Runtime	Language	Date
1	Simon Klein	0.06 s	Java	2012-10-09 19:38:19
2	Erik Odenman	0.06 s	Java	2012-10-09 20:07:24
3	Jonas Aule	0.06 s	Java	2012-10-09 20:48:52
4	Jens Ståhl	0.07 s	Java	2013-10-08 16:39:14
5	Anders Ye	0.08 s	Java	2013-10-08 17:09:01

#	User	Length	Language	Date
1	Chen, Tang-Chu	1058	C++	2012-10-09 21:05:31
2	Emil Lenngren	1093	C++	2012-10-09 18:53:38
3	Lukas Polacek	1140	C++	2014-11-24 18:43:44
4	Bertrand Mermet	1290	C++	2012-10-09 18:28:46
5	Niklas Bäckström	1449	C++	2012-10-09 18:29:11

#	User	Length	Language	Date
1	Erik Odenman	2522	Java	2012-10-09 20:07:24
2	Anders Ye	3804	Java	2013-10-08 17:09:01
3	Jens Ståhl	3933	Java	2013-10-08 16:39:14
4	Simon Klein	3978	Java	2012-10-09 19:38:19
5	Jonas Aule	4242	Java	2012-10-09 20:48:52

Solution running time distribution