| # | When | Who | Problem | Lang | Verdict | Time | Memory |
|---|---|---|---|---|---|---|---|
| 306599466 | Feb/18/2025 03:09 | Yuossef_azzat | 1089H - Harder Satisfiability | C++20 (GCC 13-64) | Accepted | 218 ms | 21100 KB |
| 192778640 | Feb/08/2023 21:22 | Archaeopteryx | 1089H - Harder Satisfiability | C++20 (GCC 11-64) | Accepted | 217 ms | 24300 KB |
| 192998127 | Feb/10/2023 02:11 | Archaeopteryx | 1089H - Harder Satisfiability | C++17 (GCC 7-32) | Accepted | 93 ms | 13300 KB |
| 214668034 | Jul/20/2023 23:24 | Archaeopteryx | 1089H - Harder Satisfiability | C++20 (GCC 11-64) | Accepted | 218 ms | 24300 KB |
| 230239785 | Oct/28/2023 19:06 | your_submissions_ | 1089H - Harder Satisfiability | C++20 (GCC 11-64) | Accepted | 234 ms | 24300 KB |
| 252032257 | Mar/18/2024 09:19 | Yuvraj_2004 | 1089H - Harder Satisfiability | C++17 (GCC 7-32) | Accepted | 108 ms | 13300 KB |
| 263140985 | May/29/2024 15:32 | Engineer | 1089H - Harder Satisfiability | C++20 (GCC 13-64) | Accepted | 203 ms | 21200 KB |
| 320373117 | May/19/2025 17:11 | Pranay-Rokade | 1089H - Harder Satisfiability | C++20 (GCC 13-64) | Accepted | 234 ms | 21200 KB |
| 146507317 | Feb/15/2022 14:12 | Y25t | 1089H - Harder Satisfiability | C++20 (GCC 11-64) | Accepted | 202 ms | 24300 KB |
| 57734895 | Jul/25/2019 12:39 | py_ultron | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 561 ms | 14700 KB |
| 50597429 | Feb/28/2019 14:08 | Britainia | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 560 ms | 14700 KB |
| 57867719 | Jul/28/2019 01:32 | lopare | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 576 ms | 14700 KB |
| 175748909 | Oct/12/2022 14:14 | bsProfessor | 1089H - Harder Satisfiability | C++17 (GCC 7-32) | Accepted | 592 ms | 14700 KB |
| 92947662 | Sep/16/2020 08:40 | Abrar_Hussain_Dar | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 592 ms | 14700 KB |
| 195260947 | Feb/28/2023 14:18 | chengcheng567 | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 560 ms | 14700 KB |
| 257553308 | Apr/21/2024 14:00 | Traverser_Steal69 | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 343 ms | 11000 KB |
| 238920580 | Dec/26/2023 10:35 | Tx_Lcy | 1089H - Harder Satisfiability | C++20 (GCC 11-64) | Accepted | 93 ms | 26400 KB |
| 119545314 | Jun/15/2021 18:08 | Blood_Wu_Ren | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 62 ms | 14200 KB |
| 120308703 | Jun/22/2021 19:13 | IAKCodeForces | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 62 ms | 14200 KB |
| 104692130 | Jan/18/2021 17:06 | KyuushuKyuuhai | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 124 ms | 16400 KB |
| 142316794 | Jan/11/2022 05:11 | QwQcOrZ | 1089H - Harder Satisfiability | C++20 (GCC 11-64) | Accepted | 295 ms | 33500 KB |
| 230132273 | Oct/28/2023 11:00 | bkifhr10 | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 124 ms | 22900 KB |
| 367051349 | Mar/17/2026 07:04 | _l_l_ | 1089H - Harder Satisfiability | C++23 (GCC 14-64, msys2) | Accepted | 218 ms | 29300 KB |
| 146598158 | Feb/16/2022 10:54 | kqp | 1089H - Harder Satisfiability | C++20 (GCC 11-64) | Accepted | 249 ms | 33200 KB |
| 46924022 | Dec/12/2018 10:21 | samjia2000 | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 46 ms | 14700 KB |
| 69508009 | Jan/25/2020 12:26 | gongsuidashen | 1089H - Harder Satisfiability | C++17 (GCC 7-32) | Accepted | 78 ms | 15800 KB |
| 67765629 | Dec/28/2019 06:30 | Isonan | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 78 ms | 15700 KB |
| 192430143 | Feb/06/2023 09:46 | Azimjonm0012 | 1089H - Harder Satisfiability | C++17 (GCC 7-32) | Accepted | 93 ms | 15800 KB |
| 50598018 | Feb/28/2019 14:22 | stuNFLS | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 124 ms | 19300 KB |
| 50598316 | Feb/28/2019 14:32 | tzc_wk | 1089H - Harder Satisfiability | C++17 (GCC 7-32) | Accepted | 171 ms | 19400 KB |
| 50598345 | Feb/28/2019 14:33 | tzc__wk | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 108 ms | 19200 KB |
| 306601567 | Feb/18/2025 04:08 | crowdforces | 1089H - Harder Satisfiability | C++20 (GCC 13-64) | Accepted | 233 ms | 21200 KB |
| 50597862 | Feb/28/2019 14:19 | sunyx | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 217 ms | 19200 KB |
| 46505176 | Dec/02/2018 13:58 | White Sprite: FizzyDavid, TLE, EvenImage | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 124 ms | 24700 KB |
| 46929215 | Dec/12/2018 13:43 | Kuchizu_ | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 124 ms | 24700 KB |
| 49895761 | Feb/14/2019 09:50 | ochilov-2004 | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 108 ms | 24700 KB |
| 340044673 | Sep/23/2025 17:51 | Abdullo-Shamsiev | 1089H - Harder Satisfiability | C++20 (GCC 13-64) | Accepted | 281 ms | 32500 KB |
| 361696123 | Feb/06/2026 14:36 | AbdGraph | 1089H - Harder Satisfiability | C++20 (GCC 13-64) | Accepted | 218 ms | 32500 KB |
| 50599830 | Feb/28/2019 15:09 | bobdog1979 | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 109 ms | 19200 KB |
| 50588827 | Feb/28/2019 09:05 | AceSrc | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 452 ms | 19000 KB |
| 67252022 | Dec/19/2019 22:35 | Motarack | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 156 ms | 20800 KB |
| 306599884 | Feb/18/2025 03:22 | po_rag526 | 1089H - Harder Satisfiability | C++20 (GCC 13-64) | Accepted | 234 ms | 21100 KB |
| 50599511 | Feb/28/2019 15:02 | djjc_tlry | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 389 ms | 19400 KB |
| 50588855 | Feb/28/2019 09:07 | AceSrc | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 420 ms | 19000 KB |
| 50599180 | Feb/28/2019 14:55 | guanhuai04 | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 280 ms | 17100 KB |
| 46701905 | Dec/07/2018 06:35 | OddImage | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 93 ms | 15900 KB |
| 50598040 | Feb/28/2019 14:23 | jerrywcy | 1089H - Harder Satisfiability | GNU C++11 | Accepted | 218 ms | 19200 KB |
| 50588874 | Feb/28/2019 09:07 | AceSrc | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 374 ms | 19000 KB |
| 50597983 | Feb/28/2019 14:22 | Kirito_wmj | 1089H - Harder Satisfiability | C++17 (GCC 7-32) | Accepted | 374 ms | 19400 KB |
| 50588891 | Feb/28/2019 09:08 | AceSrc | 1089H - Harder Satisfiability | C++14 (GCC 6-32) | Accepted | 389 ms | 19400 KB |
