WFF 'N PROOF
Problem statistics
- Submissions 794
- Accepted submissions 309
- Submission ratio 39%
- Authors 303
- Accepted authors 269
- Author ratio 89%
- Accepted
- Wrong Answer
- Run Time Error
- Compile Error
- Other
| # | Name | Runtime | Language | Date | ID |
|---|---|---|---|---|---|
| 1 | Niklas Bäckström | 0.00 s | C++ | 2012-10-09 16:29:11 | [email protected] site |
| 2 | Emil Lenngren | 0.00 s | C++ | 2012-10-09 16:53:38 | [email protected] site |
| 3 | Lukas Polacek | 0.00 s | C++ | 2014-11-24 17:43:44 | [email protected] site |
| 4 | Hidden user | 0.00 s | C++ | 2014-12-07 12:32:17 | 658795 |
| 5 | David Wärn | 0.00 s | Haskell | 2015-07-19 12:25:08 | 738847 |
| 6 | Johan Sannemo | 0.00 s | C++ | 2015-10-24 15:44:41 | 903494 |
| 7 | Steven Halim | 0.00 s | C++ | 2015-10-27 07:21:11 | 906935 |
| 8 | Tomas Lagland | 0.00 s | C++ | 2015-11-29 07:36:53 | 978637 |
| 9 | David Venhoek | 0.00 s | C++ | 2016-02-11 09:43:13 | 1041978 |
| 10 | Clarence Chew | 0.00 s | C++ | 2016-03-07 03:46:57 | 1076121 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Hidden user | 0.00 s | 2017-05-05 22:55:23 | 1838721 |
| 2 | Bergur Snorrason | 0.00 s | 2019-07-01 18:49:06 | 4281624 |
| 3 | Raymund Luis Medialdea | 0.00 s | 2020-12-11 08:34:39 | 6582975 |
| 4 | Josh Chua | 0.00 s | 2020-12-12 03:55:15 | 6586104 |
| 5 | Rayvhen Mico Rosima | 0.00 s | 2020-12-15 03:06:05 | 6596982 |
| 6 | Raven Alexis Tee | 0.00 s | 2020-12-25 06:49:16 | 6627345 |
| 7 | Hidden user | 0.01 s | 2021-04-13 13:29:52 | 7143703 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Doug Goodman | 0.02 s | 2018-09-01 16:55:23 | 3021017 |
| 2 | Nils Lenart | 0.02 s | 2020-04-07 10:17:14 | 5555918 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Niklas Bäckström | 0.00 s | 2012-10-09 16:29:11 | [email protected] site |
| 2 | Emil Lenngren | 0.00 s | 2012-10-09 16:53:38 | [email protected] site |
| 3 | Lukas Polacek | 0.00 s | 2014-11-24 17:43:44 | [email protected] site |
| 4 | Hidden user | 0.00 s | 2014-12-07 12:32:17 | 658795 |
| 5 | Johan Sannemo | 0.00 s | 2015-10-24 15:44:41 | 903494 |
| 6 | Steven Halim | 0.00 s | 2015-10-27 07:21:11 | 906935 |
| 7 | Tomas Lagland | 0.00 s | 2015-11-29 07:36:53 | 978637 |
| 8 | David Venhoek | 0.00 s | 2016-02-11 09:43:13 | 1041978 |
| 9 | Clarence Chew | 0.00 s | 2016-03-07 03:46:57 | 1076121 |
| 10 | Jacob Eriksson | 0.00 s | 2016-03-16 18:25:25 | 1087574 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Norbert Voelker | 0.02 s | 2021-09-09 21:21:50 | 7613129 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | David Wärn | 0.00 s | 2015-07-19 12:25:08 | 738847 |
| 2 | Brent Yorgey | 0.01 s | 2018-09-02 04:53:48 | 3021937 |
| 3 | Juan Miguel Vilar | 0.01 s | 2020-08-05 10:10:19 | 5918537 |
| 4 | Tim Finnetey | 0.01 s | 2020-09-25 13:40:26 | 6151821 |
| 5 | Rafał Gwoździński | 0.01 s | 2021-03-16 07:09:07 | 7028726 |
| 6 | Erik von Brömssen | 0.01 s | 2021-06-25 22:20:46 | 7401019 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Martijn Muijsers | 0.05 s | 2017-03-05 02:37:46 | 1718035 |
| 2 | Simon Klein | 0.06 s | 2012-10-09 17:38:19 | [email protected] site |
| 3 | Erik Odenman | 0.06 s | 2012-10-09 18:07:24 | [email protected] site |
| 4 | Jonas Aule | 0.06 s | 2012-10-09 18:48:52 | [email protected] site |
| 5 | Michael Sullivan | 0.06 s | 2016-02-15 10:08:12 | 1045229 |
| 6 | Simon Xue | 0.06 s | 2016-05-31 19:52:04 | 1176909 |
| 7 | Micah Stairs | 0.06 s | 2016-12-22 16:33:23 | 1590273 |
| 8 | Winston Cheung | 0.06 s | 2017-01-09 03:48:38 | 1605160 |
| 9 | Hidden user | 0.06 s | 2017-01-22 16:44:16 | 1628966 |
| 10 | Mohideen Imran Khan | 0.06 s | 2018-06-13 07:00:25 | 2911582 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Oscar Peulicke | 0.41 s | 2020-10-25 09:32:25 | 6330152 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Hidden user | 0.21 s | 2021-02-20 22:18:42 | 6888448 |
| 2 | Hidden user | 0.22 s | 2017-11-28 19:04:04 | 2374336 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Lars Tveito | 0.03 s | 2015-11-11 01:20:00 | 953659 |
| 2 | Cian Ruane | 0.03 s | 2018-09-03 01:14:45 | 3023526 |
| 3 | Jesper Öqvist | 0.03 s | 2018-11-10 16:15:32 | 3429094 |
| 4 | Thomas Feld | 0.04 s | 2019-09-30 13:58:54 | 4650115 |
| 5 | Johan Lyts | 0.05 s | 2020-12-15 14:17:00 | 6598360 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | David Masters | 0.02 s | 2016-09-15 00:32:51 | 1271085 |
| 2 | Noah Ó Donnaile | 0.02 s | 2017-09-14 12:09:23 | 2014004 |
| 3 | Josenildo Silva | 0.02 s | 2017-12-07 01:19:57 | 2402806 |
| 4 | Aaron Dunigan AtLee | 0.02 s | 2018-01-15 13:05:02 | 2477416 |
| 5 | Kasra Ghodsi | 0.02 s | 2018-06-23 16:44:50 | 2925295 |
| 6 | Johan Wind | 0.02 s | 2018-09-17 20:40:20 | 3081306 |
| 7 | Vincent Tandya | 0.02 s | 2019-05-16 14:11:42 | 4189930 |
| 8 | Ben Trybulski | 0.02 s | 2019-08-02 18:34:08 | 4341004 |
| 9 | Carrie Bergstedt | 0.02 s | 2019-09-08 23:36:26 | 4455784 |
| 10 | Bjørn Dons | 0.02 s | 2019-11-10 17:10:28 | 4968747 |
| # | Name | Runtime | Date | ID |
|---|---|---|---|---|
| 1 | Muhammad Rais Fathin Mudzakir | 0.00 s | 2021-05-09 20:27:40 | 7241849 |
| 2 | Z S | 0.00 s | 2021-08-15 00:49:18 | 7520464 |
| 3 | Adam Gausmann | 0.00 s | 2021-11-16 00:00:22 | 8018668 |