|
Problem 1089H - Harder Satisfiability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
50598158 Feb/28/2019 14:27 HonorJack 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 390 ms 19400 KB
116996357 May/22/2021 12:01 mizu163 1089H - Harder Satisfiability C++17 (GCC 9-64) Accepted 93 ms 25100 KB
138895337 Dec/12/2021 18:57 Sparkle_Twilight 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 124 ms 25000 KB
200691448 Apr/04/2023 17:19 chappy1 1089H - Harder Satisfiability C++17 (GCC 9-64) Accepted 124 ms 25100 KB
46527953 Dec/03/2018 04:06 Feeey 1089H - Harder Satisfiability GNU C++11 Accepted 93 ms 22500 KB
46583926 Dec/04/2018 15:23 vase 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 124 ms 22600 KB
48654608 Jan/21/2019 04:40 ReaLNero1 1089H - Harder Satisfiability GNU C++11 Accepted 109 ms 22500 KB
50598570 Feb/28/2019 14:38 Paul_You 1089H - Harder Satisfiability GNU C++11 Accepted 233 ms 19200 KB
148247654 Mar/04/2022 06:09 CQXYM 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 140 ms 23200 KB
249391111 Mar/03/2024 04:05 Crystally 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 358 ms 27500 KB
62574916 Oct/14/2019 18:36 ak_taniya 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 155 ms 19400 KB
46505553 Dec/02/2018 14:06 Black Cola: sunset, whzzt, webmaster 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 171 ms 22300 KB
46700984 Dec/07/2018 05:20 sunset 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 171 ms 22300 KB
50588660 Feb/28/2019 08:57 AceSrc 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 421 ms 19800 KB
46702757 Dec/07/2018 07:32 KUT_Team2018: developer227, black_horse2014# 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 171 ms 33600 KB
275086838 Aug/07/2024 14:45 rainboy 1089H - Harder Satisfiability GNU C11 Accepted 484 ms 16000 KB
46586784 Dec/04/2018 16:40 yutaka1999 1089H - Harder Satisfiability GNU C++11 Accepted 140 ms 23400 KB
48778337 Jan/23/2019 08:38 ainta 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 171 ms 31200 KB
178195316 Oct/28/2022 12:00 oRZCk: -1e11, rgnerdplayer# 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 187 ms 41500 KB
46528307 Dec/03/2018 04:42 chengzi520 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 171 ms 22300 KB
161556591 Jun/23/2022 16:04 Social_Zhao 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 109 ms 30000 KB
357645524 Jan/13/2026 05:26 sztcodeforces 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 156 ms 18100 KB
51165034 Mar/11/2019 16:58 chenxiaoyan 1089H - Harder Satisfiability GNU C++11 Accepted 109 ms 24300 KB
148948929 Mar/09/2022 08:36 HYLTianMeng 1089H - Harder Satisfiability C++17 (GCC 9-64) Accepted 109 ms 38200 KB
141686244 Jan/05/2022 02:20 CE_WA_TLE 1089H - Harder Satisfiability C++17 (GCC 9-64) Accepted 46 ms 79700 KB
395712536 Oct/23/2026 17:17 bachbach2007 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 218 ms 29400 KB
48778024 Jan/23/2019 08:28 ainta 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 1201 ms 34400 KB
178204236 Oct/28/2022 13:23 rgnerdplayer 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 202 ms 41500 KB
262103772 May/22/2024 10:12 Fidoの小窝: lanos212, Fido_Puppy, cjZYZtcl# 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 186 ms 28800 KB
62203438 Oct/09/2019 15:39 xywsxp 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 514 ms 19900 KB
119572518 Jun/16/2021 05:27 OrlKorrekt 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 202 ms 31700 KB
95583000 Oct/15/2020 15:12 robert1003 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 202 ms 31800 KB
143824265 Jan/24/2022 03:22 Chinese_zjc_ 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 343 ms 17700 KB
52822807 Apr/16/2019 15:37 rainy_season 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 124 ms 18400 KB
50883409 Mar/06/2019 13:01 ericxu0 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 109 ms 20000 KB
194451387 Feb/21/2023 15:21 Kirill22 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 155 ms 29700 KB
50598673 Feb/28/2019 14:40 EASHWATCH 1089H - Harder Satisfiability GNU C++11 Accepted 109 ms 22900 KB
327471403 Jul/05/2025 08:56 Kevin114514 1089H - Harder Satisfiability C++23 (GCC 14-64, msys2) Accepted 233 ms 40000 KB
49219768 Jan/30/2019 21:34 krijgertje 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 140 ms 22100 KB
352626437 Dec/09/2025 04:01 Enigmurl 1089H - Harder Satisfiability C++20 (GCC 13-64) Accepted 234 ms 33600 KB
337862155 Sep/09/2025 21:33 daviedu 1089H - Harder Satisfiability C++23 (GCC 14-64, msys2) Accepted 249 ms 74000 KB
48047163 Jan/07/2019 07:58 MIT -1: ecnerwala, ksun48, xyz111# 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 202 ms 32300 KB
108413926 Feb/24/2021 18:11 Komeiji_Green 1089H - Harder Satisfiability GNU C++11 Accepted 93 ms 17600 KB
50890350 Mar/06/2019 15:58 mch 1089H - Harder Satisfiability GNU C++11 Accepted 639 ms 28800 KB
323782293 Jun/10/2025 17:01 sjchsk1094 1089H - Harder Satisfiability C++23 (GCC 14-64, msys2) Accepted 374 ms 37700 KB
46624642 Dec/04/2018 22:54 saketh 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 187 ms 29000 KB
148911859 Mar/08/2022 20:15 eecs 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 171 ms 22300 KB
246985442 Feb/18/2024 14:29 nik.danilov 1089H - Harder Satisfiability C++20 (GCC 11-64) Accepted 139 ms 36200 KB
61348608 Sep/27/2019 09:44 cz_xuyixuan 1089H - Harder Satisfiability C++14 (GCC 6-32) Accepted 171 ms 22600 KB
46736483 Dec/07/2018 23:17 yarek 1089H - Harder Satisfiability C++17 (GCC 7-32) Accepted 1669 ms 29300 KB
Sort by:
Default order Submission time Judging Time Solution Size Execution Time