WFF 'N PROOF
Problem statistics
- Submissions 223
- Accepted submissions 104
- Submission ratio 47%
- Authors 109
- Accepted authors 97
- Author ratio 89%
- Accepted
- Wrong Answer
- Time Limit Exceeded
- Run Time Error
- Compile Error
| # | Name | Runtime | Language | Date | ID |
|---|---|---|---|---|---|
| 1 | Niklas Bäckström | 0.00 s | C++ | 2012-10-09 18:29:11 | [email protected] site |
| 2 | Emil Lenngren | 0.00 s | C++ | 2012-10-09 18:53:38 | [email protected] site |
| 3 | Lukas Polacek | 0.00 s | C++ | 2014-11-24 18:43:44 | [email protected] site |
| 4 | Arman Shamsgovara | 0.00 s | C++ | 2014-12-07 13:32:17 | 658795 |
| 5 | David Wärn | 0.00 s | Haskell | 2015-07-19 14:25:08 | 738847 |
| 6 | Johan Sannemo | 0.00 s | C++ | 2015-10-24 17:44:41 | 903494 |
| 7 | Steven Halim | 0.00 s | C++ | 2015-10-27 08:21:11 | 906935 |
| 8 | Tomas Lagland | 0.00 s | C++ | 2015-11-29 08:36:53 | 978637 |
| 9 | David Venhoek | 0.00 s | C++ | 2016-02-11 10:43:13 | 1041978 |
| 10 | Clarence Chew | 0.00 s | C++ | 2016-03-07 04:46:57 | 1076121 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Hidden user | 0.00 s | 2017-05-06 00:55:23 | 1838721 |
| 2 | Bergur Snorrason | 0.00 s | 2019-07-01 20:49:06 | 4281624 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Doug Goodman | 0.02 s | 2018-09-01 18:55:23 | 3021017 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Niklas Bäckström | 0.00 s | 2012-10-09 18:29:11 | [email protected] site |
| 2 | Emil Lenngren | 0.00 s | 2012-10-09 18:53:38 | [email protected] site |
| 3 | Lukas Polacek | 0.00 s | 2014-11-24 18:43:44 | [email protected] site |
| 4 | Arman Shamsgovara | 0.00 s | 2014-12-07 13:32:17 | 658795 |
| 5 | Johan Sannemo | 0.00 s | 2015-10-24 17:44:41 | 903494 |
| 6 | Steven Halim | 0.00 s | 2015-10-27 08:21:11 | 906935 |
| 7 | Tomas Lagland | 0.00 s | 2015-11-29 08:36:53 | 978637 |
| 8 | David Venhoek | 0.00 s | 2016-02-11 10:43:13 | 1041978 |
| 9 | Clarence Chew | 0.00 s | 2016-03-07 04:46:57 | 1076121 |
| 10 | Jacob Eriksson | 0.00 s | 2016-03-16 19:25:25 | 1087574 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | David Wärn | 0.00 s | 2015-07-19 14:25:08 | 738847 |
| 2 | Brent Yorgey | 0.01 s | 2018-09-02 06:53:48 | 3021937 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Martijn Muijsers | 0.05 s | 2017-03-05 03:37:46 | 1718035 |
| 2 | Simon Klein | 0.06 s | 2012-10-09 19:38:19 | [email protected] site |
| 3 | Erik Odenman | 0.06 s | 2012-10-09 20:07:24 | [email protected] site |
| 4 | Michael Sullivan | 0.06 s | 2016-02-15 11:08:12 | 1045229 |
| 5 | Simon Xue | 0.06 s | 2016-05-31 21:52:04 | 1176909 |
| 6 | Micah Stairs | 0.06 s | 2016-12-22 17:33:23 | 1590273 |
| 7 | Winston Cheung | 0.06 s | 2017-01-09 04:48:38 | 1605160 |
| 8 | Hidden user | 0.06 s | 2017-01-22 17:44:16 | 1628966 |
| 9 | Mohideen Imran Khan | 0.06 s | 2018-06-13 09:00:25 | 2911582 |
| 10 | Jens Ståhl | 0.07 s | 2013-10-08 16:39:14 | [email protected] site |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Hidden user | 0.22 s | 2017-11-28 20:04:04 | 2374336 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Lars Tveito | 0.03 s | 2015-11-11 02:20:00 | 953659 |
| 2 | Cian Ruane | 0.03 s | 2018-09-03 03:14:45 | 3023526 |
| 3 | Jesper Öqvist | 0.03 s | 2018-11-10 17:15:32 | 3429094 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | David Masters | 0.02 s | 2016-09-15 02:32:51 | 1271085 |
| 2 | Noah Ó Donnaile | 0.02 s | 2017-09-14 14:09:23 | 2014004 |
| 3 | Josenildo Silva | 0.02 s | 2017-12-07 02:19:57 | 2402806 |
| 4 | Aaron Dunigan AtLee | 0.02 s | 2018-01-15 14:05:02 | 2477416 |
| 5 | Kasra Ghodsi | 0.02 s | 2018-06-23 18:44:50 | 2925295 |
| 6 | John Smith | 0.02 s | 2018-09-17 22:40:20 | 3081306 |
| 7 | Vincent Tandya | 0.02 s | 2019-05-16 16:11:42 | 4189930 |
| 8 | Ben Trybulski | 0.02 s | 2019-08-02 20:34:08 | 4341004 |
| 9 | Carrie Bergstedt | 0.02 s | 2019-09-09 01:36:26 | 4455784 |
| 10 | Kirk Patrick Bamba | 0.03 s | 2018-10-27 11:38:04 | 3328094 |