USC ICPC Practice: Exhaustive Search
Problem D
Yet Satisfiability Again! — Problem Statistics
Back to problem description
Submissions | 3028 |
Accepted submissions | 839 |
Submission ratio | 27.71% |
Authors | 587 |
Accepted authors | 496 |
Author ratio | 84.50% |
The 10 fastest solutions (all languages)
# | User | Runtime | Language | Date | |
---|---|---|---|---|---|
1 | Christian Lidström | 0.00 s | C++ | 2015-11-07 17:31:28 | |
2 | Fredrik Präntare | 0.00 s | C++ | 2016-03-23 20:31:55 | |
3 | Gustav Gränsbo | 0.00 s | C++ | 2017-04-13 12:49:53 | |
4 | Martin Byhlin | 0.00 s | C++ | 2017-04-19 14:49:07 | |
5 | Leif Eriksson | 0.00 s | C++ | 2018-05-25 13:08:19 | |
6 | David Sturgill | 0.00 s | C++ | 2020-01-08 13:19:48 | |
7 | Andreas Zeijlon | 0.00 s | C++ | 2020-04-22 16:31:55 | |
8 | Albin Pettersson | 0.00 s | C++ | 2020-04-29 16:16:27 | |
9 | Erik Nikko | 0.00 s | C++ | 2021-04-23 07:54:55 | |
10 | Hampus Liljekvist | 0.01 s | C++ | 2015-11-08 22:21:47 |
The 10 shortest solutions (all languages)
# | User | Length | Language | Date | |
---|---|---|---|---|---|
1 | Michael Goldwasser | 285 | Python 3 | 2024-10-26 05:24:00 | |
2 | Gustav Elmqvist | 322 | Python 3 | 2023-03-03 17:13:53 | |
3 | Ahmed Chamseddine | 416 | Python 3 | 2024-12-05 18:11:50 | |
4 | Jorke de Vlas | 637 | Python 3 | 2024-05-30 20:28:20 | |
5 | Jimmy Gustafsson | 710 | JavaScript (SpiderMonkey) | 2022-09-15 20:55:47 | |
6 | Victor Eriksson | 729 | Python 3 | 2024-04-08 19:23:07 | |
7 | Javier Marinkovic | 759 | C++ | 2019-11-06 19:41:47 | |
8 | Laura Oksanen | 772 | Python 3 | 2024-04-17 13:47:45 | |
9 | Manshant Singh Kohli | 842 | C++ | 2017-02-05 09:42:32 | |
10 | Frederick Pek | 849 | C++ | 2021-12-08 18:27:25 |