AAPS Exercise 11
Problem D
Yet Satisfiability Again! — Problem Statistics
Back to problem description| Submissions | 1950 |
| Accepted submissions | 500 |
| Submission ratio | 25.64% |
| Authors | 339 |
| Accepted authors | 327 |
| Author ratio | 96.46% |
The 10 fastest solutions (all languages)
| # | User | Runtime | Language | Date | |
|---|---|---|---|---|---|
| 1 | Fredrik Präntare | 0.00 s | C++ | 2016-03-23 20:31:55 | |
| 2 | Gustav Gränsbo | 0.00 s | C++ | 2017-04-13 12:49:53 | |
| 3 | Martin Byhlin | 0.00 s | C++ | 2017-04-19 14:49:07 | |
| 4 | Leif Eriksson | 0.00 s | C++ | 2018-05-25 13:08:19 | |
| 5 | Andreas Zeijlon | 0.00 s | C++ | 2020-04-22 16:31:55 | |
| 6 | Albin Pettersson | 0.00 s | C++ | 2020-05-07 15:24:16 | |
| 7 | Erik Nikko | 0.00 s | C++ | 2021-04-23 07:54:55 | |
| 8 | Elliot Gestrin | 0.00 s | C++ | 2023-06-03 08:49:57 | |
| 9 | Dominik Drexler | 0.01 s | C++ | 2021-04-21 14:51:46 | |
| 10 | Hidden user | 0.01 s | C++ | 2021-08-22 10:43:07 |
The 10 shortest solutions (all languages)
| # | User | Length | Language | Date | |
|---|---|---|---|---|---|
| 1 | Gustav Elmqvist | 322 | Python 3 | 2023-03-03 17:18:02 | |
| 2 | Noah Nielsen | 345 | Python 3 | 2024-04-16 17:53:23 | |
| 3 | Jorke de Vlas | 637 | Python 3 | 2024-05-30 20:28:20 | |
| 4 | Victor Eriksson | 729 | Python 3 | 2024-04-08 19:23:07 | |
| 5 | Laura Oksanen | 772 | Python 3 | 2024-04-17 13:47:45 | |
| 6 | Felix Angerborn | 958 | Python 3 | 2021-06-06 21:35:57 | |
| 7 | Oliver Green | 979 | Python 3 | 2023-04-17 16:40:33 | |
| 8 | Vladimir Valyukh | 1005 | C++ | 2016-06-07 15:40:29 | |
| 9 | Fredrik Nääs | 1011 | Python 3 | 2024-03-22 14:27:57 | |
| 10 | Joel Alexandersson | 1015 | Python 3 | 2022-05-02 14:43:20 |