Problem B - Boolean Satisfability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
98208408 Nov/12/2020 17:35 We have a dealer to do this: Weldnor, dimentor, FelixArg# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 46 ms 300 KB
176485614 Oct/16/2022 15:12 Error_431# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 200 KB
45788796 Nov/16/2018 08:06 NTUSECURE: Origenes, Ejecutante# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 46 ms 200 KB
33402618 Dec/19/2017 12:12 TooWeakTooSlow: vmrajas, Baba, Chipe1# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 2300 KB
32240530 Nov/12/2017 13:25 ICTIS Temp#3: yuriland4444, MediumForce# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 300 KB
41652325 Aug/16/2018 15:33 byakuya_sougetsu B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
170695924 Sep/03/2022 08:42 ideograph_advantage: WiwiHo, 8e7, Wayne_Yan# B - Boolean Satisfability C++17 (GCC 9-64) Accepted 15 ms 0 KB
34909823 Feb/04/2018 01:01 Ideones 2.0: Ands, phibrain, Froz# B - Boolean Satisfability GNU C++11 Accepted 31 ms 2200 KB
110011997 Mar/15/2021 09:04 Your exe file is not compatible with Ubuntu: Yisin0729, WAWAHappy, yuxihen# B - Boolean Satisfability GNU C++11 Accepted 31 ms 100 KB
32425972 Nov/18/2017 12:23 vjudge1 B - Boolean Satisfability GNU C++ Accepted 62 ms 200 KB
256598544 Apr/14/2024 09:09 __builtin_orz(jakao): warner1129, BOSON._., Egg_OwO# B - Boolean Satisfability C++20 (GCC 13-64) Accepted 77 ms 0 KB
43028516 Sep/18/2018 13:17 vjudge1 B - Boolean Satisfability GNU C++11 Accepted 31 ms 500 KB
157352929 May/16/2022 04:33 vjudge2 B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 1200 KB
37251674 Apr/12/2018 16:37 UW2: tribute_to_Ukraine_2022, znirzej, tabasz# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 3600 KB
85260129 Jun/28/2020 08:43 gladinum B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 4200 KB
170573068 Sep/02/2022 14:15 vjudge5 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 200 KB
44405488 Oct/16/2018 17:39 vjudge1 B - Boolean Satisfability GNU C++11 Accepted 31 ms 100 KB
164218996 Jul/15/2022 09:09 Command 2: gujik, Nikolaev_A.D._IP-012# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 0 KB
66221935 Dec/03/2019 14:07 The 1226564th prime number: Dancepted, hat, saitoasuka# B - Boolean Satisfability GNU C++11 Accepted 31 ms 100 KB
174328959 Oct/02/2022 09:00 vjudge2 B - Boolean Satisfability C++17 (GCC 9-64) Accepted 15 ms 800 KB
32235546 Nov/12/2017 08:59 vjudge5 B - Boolean Satisfability GNU C++ Accepted 15 ms 200 KB
157352921 May/16/2022 04:33 vjudge1 B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 1200 KB
124482409 Aug/01/2021 10:22 LaTeX: Derbent, LLIAMA3OB, Rvess# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 3900 KB
170441910 Sep/01/2022 07:04 vjudge3 B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
173381707 Sep/25/2022 06:27 Biaz B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 8000 KB
288991981 Oct/31/2024 14:35 sudo -E bash: riogor, rlghirsrifhbp, alyoks1# B - Boolean Satisfability C++20 (GCC 13-64) Accepted 62 ms 100 KB
165518709 Jul/24/2022 14:56 Cats on Trees: shiv_codegen, kunalsrv20, mohit_jx64# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 0 KB
35576071 Feb/22/2018 17:47 Outesters: aijey, MishaPrigara# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 2200 KB
315263941 Apr/13/2025 12:24 kvn+m-k: KIRIJIJI, Fanarill, mariibykova# B - Boolean Satisfability C++23 (GCC 14-64, msys2) Accepted 77 ms 100 KB
101649624 Dec/18/2020 17:48 UPC-vives+n00b: fraret, javierlc2000, EdgarMM19# B - Boolean Satisfability GNU C++11 Accepted 31 ms 100 KB
53871284 May/08/2019 12:08 vjudge3 B - Boolean Satisfability GNU C11 Accepted 31 ms 16800 KB
164415959 Jul/16/2022 11:05 Useless but powerfull: ZNOL, Azzpg7, GrishaIvanenko# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
42024955 Aug/24/2018 14:49 YJq B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
42024966 Aug/24/2018 14:50 vjudge1 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
32897480 Dec/03/2017 14:26 vjudge5 B - Boolean Satisfability GNU C++ Accepted 15 ms 2200 KB
164110253 Jul/14/2022 09:59 oyasumi_suya: .rong., oizo1211, pear_651530# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 100 KB
189819258 Jan/20/2023 11:30 I_love_Paul_Diac: Brodicico, Fanurie# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 300 KB
136413613 Nov/22/2021 10:01 Ziware# B - Boolean Satisfability C++17 (GCC 9-64) Accepted 15 ms 0 KB
205398856 May/11/2023 10:19 Fortitude# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
51788807 Mar/24/2019 14:53 Yotin: yotin, sameep17264, Anmol17220# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 100 KB
32569768 Nov/23/2017 11:31 vjudge5 B - Boolean Satisfability GNU C++ Accepted 30 ms 200 KB
133102375 Oct/25/2021 22:33 Burunduk(pochti): vahtang, ZADaCHI# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 9900 KB
209802537 Jun/15/2023 22:34 Mirali777# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 300 KB
42353160 Sep/02/2018 09:56 izat# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 19900 KB
157352909 May/16/2022 04:33 vjudge5 B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 1200 KB
115420645 May/06/2021 16:01 vjudge5 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 3900 KB
209803088 Jun/15/2023 22:43 kauperwood# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 200 KB
360146906 Jan/27/2026 15:49 MOD-Essam# B - Boolean Satisfability C++23 (GCC 14-64, msys2) Accepted 46 ms 4000 KB
32837071 Dec/01/2017 20:59 pranjal.ssh B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 2000 KB
33442964 Dec/20/2017 04:58 XXDXDXXXD: smml1996, Wil12Fred# B - Boolean Satisfability GNU C++11 Accepted 62 ms 2200 KB
Sort by: