Problem B - Boolean Satisfability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
32739840 Nov/28/2017 07:20 Under-violet teapots: _greg, kater, Kideri# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 2200 KB
176469660 Oct/16/2022 13:09 First_Try: spartanes, NoNameLeha# B - Boolean Satisfability C++17 (GCC 9-64) Accepted 15 ms 0 KB
32322300 Nov/15/2017 04:12 Strong_Head# B - Boolean Satisfability GNU C++ Accepted 31 ms 300 KB
348650038 Nov/12/2025 20:03 Pashteticus# B - Boolean Satisfability C++23 (GCC 14-64, msys2) Accepted 62 ms 0 KB
60335939 Sep/10/2019 11:33 tech_plus_coaches: Ahmad_Albakri, LAYTH_OUD, Laith_Drebaty# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 30 ms 300 KB
45159507 Nov/01/2018 10:55 SoooooMuchDrama: AlesyaIvanova, LordVoldebug, PeregudovSergey# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 46 ms 500 KB
61706635 Oct/02/2019 13:18 A$KETI: TurboSergikk, dmitriyklebanov, AleXman111# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 46 ms 300 KB
61754872 Oct/03/2019 08:06 vjudge3 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
170454703 Sep/01/2022 10:40 vjudge2 B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
34727523 Jan/31/2018 08:55 WAWAtewa B - Boolean Satisfability GNU C++ Accepted 15 ms 2200 KB
43026343 Sep/18/2018 11:58 vjudge1 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 600 KB
63279108 Oct/24/2019 11:04 CyTheFu: The_LLirik, jackson4800, kibastian# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
62969530 Oct/20/2019 09:22 TooHardTask: polarcat, Tvorobusheck, olya.masaeva# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
347146739 Nov/02/2025 22:04 nizamoff B - Boolean Satisfability C++20 (GCC 13-64) Accepted 61 ms 100 KB
40544763 Jul/19/2018 13:59 batraz B - Boolean Satisfability Mono C# Accepted 77 ms 3500 KB
37251994 Apr/12/2018 16:46 warsaw141: tomciox, Tropuq, kwazar# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 3400 KB
53726715 May/04/2019 07:55 TEAM Churchill: Xones, IcEater# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
52002149 Mar/30/2019 09:43 vjudge2 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 100 KB
45122934 Oct/31/2018 09:07 lly: LZDFDSMLL, NotNight, walht# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 200 KB
96727977 Oct/25/2020 22:48 Bekh# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 46 ms 300 KB
108068851 Feb/21/2021 06:37 Timonnable# B - Boolean Satisfability C++17 (GCC 9-64) Accepted 31 ms 200 KB
95182584 Oct/11/2020 10:18 echr B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 5200 KB
66020071 Nov/30/2019 10:02 TheOneYouWant# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
32896810 Dec/03/2017 13:54 EVgexa B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 2200 KB
229430657 Oct/23/2023 16:29 The sixth precomplete class: are_you_tilted, dazed_and_confused# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
43559187 Sep/29/2018 10:59 ACM: qkoqhh, wang9897, yelengahh# B - Boolean Satisfability GNU C++11 Accepted 31 ms 200 KB
35759027 Feb/27/2018 14:02 Al-Ghedaak: EleCursity, SubSpring, NourAlhadi# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 2000 KB
43619581 Sep/30/2018 21:22 rush_123 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 300 KB
42196620 Aug/28/2018 09:43 Black-Glasses: Canoeing, CoffeeDog, __WNJXYK# B - Boolean Satisfability GNU C++11 Accepted 30 ms 100 KB
188588531 Jan/09/2023 15:57 yudati B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
347095869 Nov/02/2025 14:55 Mak__ B - Boolean Satisfability C++23 (GCC 14-64, msys2) Accepted 61 ms 100 KB
32804524 Nov/30/2017 15:11 misfits: tttayushag10004, aditya18, advitiyabrijesh# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 2000 KB
45773168 Nov/15/2018 18:36 Allors B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 500 KB
71587486 Feb/22/2020 08:12 vjudge5 B - Boolean Satisfability Java 8 Accepted 124 ms 0 KB
96271904 Oct/21/2020 16:26 Kon567889 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 46 ms 300 KB
176842180 Oct/18/2022 10:04 Shelby Family: alavrov, Yaroslav_R_03, LFY-# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
69046409 Jan/18/2020 14:11 LoL (not League of Legends!): takasoft, Infused# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
63278323 Oct/24/2019 10:48 Izhevsk STU : The Cringe: Grisha1549, vadim.kh7, bendercry# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 30 ms 100 KB
44865687 Oct/25/2018 18:53 aokiga B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 400 KB
32347907 Nov/16/2017 08:49 morejarphone# B - Boolean Satisfability GNU C++11 Accepted 30 ms 200 KB
32446439 Nov/19/2017 06:36 TeamOrSolo: dai, Triracle, thjchph4trjnh# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 2200 KB
121869831 Jul/10/2021 08:04 Winning Opportunity: cwb_sb, myx12345# B - Boolean Satisfability GNU C++11 Accepted 30 ms 200 KB
44070682 Oct/10/2018 14:30 A nu cheeki breeki i v damke: Eldervald, vitya7, KArs# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 300 KB
60595877 Sep/15/2019 08:34 sigma_g# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 300 KB
32423569 Nov/18/2017 10:34 prateep B - Boolean Satisfability MS C++ Accepted 30 ms 200 KB
98059929 Nov/10/2020 15:53 Kataigan maldar: almas.kenes, abunyawa, bthero# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 1100 KB
347507598 Nov/05/2025 09:54 TORNADO++: adl, Kanich# B - Boolean Satisfability C++20 (GCC 13-64) Accepted 62 ms 100 KB
32904518 Dec/03/2017 20:28 zenith_lead: monster, ThePontiacBandit, already_last# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 2000 KB
32740068 Nov/28/2017 07:37 Бешаный squad: Pi_Tigrannik, Al3XS0n, kol9# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 2100 KB
289373473 Nov/02/2024 09:48 Moscow SU: ConTesters: lxnu, Pervushev, Khomutov# B - Boolean Satisfability C++20 (GCC 13-64) Accepted 62 ms 100 KB
Sort by: