|
Problem 1089H - Harder Satisfiability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
46719148 Dec/07/2018 15:33 yosupo 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 202 ms 20900 KB
142316523 Jan/11/2022 05:03 MicroMaker 1089H - Harder Satisfiability C++17 (GCC 9-64) Accepted 124 ms 33900 KB
46624571 Dec/04/2018 22:52 saketh 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 171 ms 29000 KB
47224563 Dec/18/2018 19:30 Deng1X 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 155 ms 19000 KB
152466825 Apr/02/2022 11:20 paradox 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 265 ms 15800 KB
260769688 May/13/2024 12:10 lllei 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 233 ms 35800 KB
58190139 Aug/02/2019 22:07 specia1 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 171 ms 22200 KB
51310266 Mar/14/2019 21:57 tribute_to_Ukraine_2022 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 171 ms 70500 KB
136252529 Nov/20/2021 15:14 wrong_answer_on_19260817 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 171 ms 50800 KB
46587484 Dec/04/2018 16:59 yxqk 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 436 ms 24700 KB
61348328 Sep/27/2019 09:35 cz_xuyixuan 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 156 ms 22600 KB
295985865 Dec/11/2024 10:45 ArsenGotov 1089H - Harder Satisfiability C++23 (GCC 14-64, msys2) Accepted 203 ms 30200 KB
50708344 Mar/03/2019 08:33 mch 1089H - Harder Satisfiability GNU C++11 Accepted 1092 ms 19900 KB
230155241 Oct/28/2023 13:46 qiuzx 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 124 ms 47800 KB
259701656 May/06/2024 06:54 lllei 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 202 ms 37300 KB
50598947 Feb/28/2019 14:49 EASHWATCH 1089H - Harder Satisfiability GNU C++11 Accepted 62 ms 21300 KB
396349572 Oct/27/2026 23:39 vadimistor 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 296 ms 60600 KB
288952916 Oct/30/2024 20:58 stepanov.aa 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 327 ms 36500 KB
230155175 Oct/28/2023 13:46 qiuzx 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 140 ms 47800 KB
331352309 Jul/28/2025 23:27 Thunnus 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 218 ms 15300 KB
379445571 Jun/19/2026 06:09 CutSandstone# 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 1578 ms 455700 KB
379750536 Jun/22/2026 05:29 MattTheNub# 1089H - Harder Satisfiability C++23 (GCC 14-64, msys2) Accepted 203 ms 28000 KB
221609086 Sep/02/2023 22:59 soup 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 124 ms 29600 KB
47528199 Dec/26/2018 20:11 Nyatl 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 155 ms 29000 KB
50666021 Mar/02/2019 07:12 Big_gold_date 1089H - Harder Satisfiability GNU C++11 Accepted 265 ms 23200 KB
88698829 Aug/02/2020 04:57 JY_Poi 1089H - Harder Satisfiability Java 8 Accepted 779 ms 200700 KB
88698879 Aug/02/2020 04:59 JY_Poi 1089H - Harder Satisfiability Java 8 Accepted 764 ms 200700 KB
57301551 Jul/19/2019 03:14 Benq 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 155 ms 24700 KB
47233443 Dec/18/2018 22:12 AryssonFigueiredo 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 171 ms 28800 KB
334775823 Aug/21/2025 12:53 maspy 1089H - Harder Satisfiability C++23 (GCC 14-64, msys2) Accepted 202 ms 30400 KB
Sort by:
Default order Submission time Judging Time Solution Size Execution Time