→ Virtual participation
Virtual contest is a way to take part in past contest, as close as possible to participation on time. It is supported only ICPC mode for virtual contests.
If you've seen these problems, a virtual contest is not for you - solve these problems in the archive.
If you just want to solve some problem from a contest, a virtual contest is not for you - solve this problem in the archive.
Never use someone else's code, read the tutorials or communicate with other person during a virtual contest.
→ Practice?
Want to solve the contest problems after the official contest ends? Just register for practice and you will be able to submit solutions.
→ Status filter
→ Contest materials
Problem B - Boolean Satisfability
Contest status
| # | When | Who | Problem | Lang | Verdict | Time | Memory |
|---|---|---|---|---|---|---|---|
| 32217982 | Nov/11/2017 14:31 | Rehman | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 15 ms | 300 KB |
| 35719762 | Feb/26/2018 07:39 | vjudge4 | B - Boolean Satisfability | GNU C++11 | Accepted | 15 ms | 2200 KB |
| 199053225 | Mar/25/2023 10:32 | vjudge3 | B - Boolean Satisfability | C++20 (GCC 11-64) | Accepted | 15 ms | 0 KB |
| 41671345 | Aug/17/2018 08:19 | Fighters: Mohamed38, Fatmaabdeen, Ahmedabdalmola# | B - Boolean Satisfability | GNU C++11 | Accepted | 31 ms | 100 KB |
| 40161827 | Jul/10/2018 10:33 | vjudge4 | B - Boolean Satisfability | FPC | Accepted | 31 ms | 100 KB |
| 115414763 | May/06/2021 15:05 | vjudge1 | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 3900 KB |
| 188602693 | Jan/09/2023 17:59 | Homura_jar | B - Boolean Satisfability | C++20 (GCC 11-64) | Accepted | 15 ms | 0 KB |
| 32235537 | Nov/12/2017 08:58 | vjudge5 | B - Boolean Satisfability | GNU C++ | Accepted | 31 ms | 200 KB |
| 37043396 | Apr/07/2018 11:23 | mi1k | B - Boolean Satisfability | GNU C++ | Accepted | 31 ms | 3900 KB |
| 40162495 | Jul/10/2018 10:55 | vjudge2 | B - Boolean Satisfability | GNU C++ | Accepted | 31 ms | 400 KB |
| 32444879 | Nov/19/2017 03:56 | VladaMG98# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 2000 KB |
| 56602069 | Jul/06/2019 04:34 | _gXX | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 100 KB |
| 45499465 | Nov/10/2018 09:07 | vjudge3 | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 100 KB |
| 117004194 | May/22/2021 13:35 | Bedoo# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 300 KB |
| 71523378 | Feb/21/2020 05:10 | I_loved_celia | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 200 KB |
| 33043088 | Dec/09/2017 11:05 | Resurrection: Ownography, The-Legend, Vendetta.# | B - Boolean Satisfability | GNU C++ | Accepted | 30 ms | 2200 KB |
| 69979388 | Feb/01/2020 18:53 | Makedonii: Stelutzu, Usu# | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 200 KB |
| 206882639 | May/22/2023 23:25 | Peso Puma: Zawos, Alexbrii# | B - Boolean Satisfability | C++20 (GCC 11-64) | Accepted | 15 ms | 0 KB |
| 32855206 | Dec/02/2017 13:40 | cuibst | B - Boolean Satisfability | GNU C++ | Accepted | 62 ms | 2200 KB |
| 71587483 | Feb/22/2020 08:12 | vjudge2 | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 100 KB |
| 172645655 | Sep/19/2022 14:09 | NYCU_Pusheen3.0: pinshao, AlisonWen, Lin2602# | B - Boolean Satisfability | C++20 (GCC 11-64) | Accepted | 15 ms | 200 KB |
| 45705221 | Nov/14/2018 14:13 | 99930036# | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 30 ms | 500 KB |
| 69160738 | Jan/20/2020 02:18 | eXtasY# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 300 KB |
| 32324925 | Nov/15/2017 08:52 | swfhio226# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 15 ms | 200 KB |
| 32897467 | Dec/03/2017 14:25 | NCD#1: fudail225, anoosykh95# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 15 ms | 2200 KB |
| 56602182 | Jul/06/2019 04:41 | _gXX | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 100 KB |
| 136148155 | Nov/19/2021 13:01 | Solitary Dream: pb0207, Eden_CY, cxt# | B - Boolean Satisfability | C++17 (GCC 9-64) | Accepted | 15 ms | 500 KB |
| 170699191 | Sep/03/2022 09:20 | QYHamster# | B - Boolean Satisfability | PyPy 3-64 | Accepted | 61 ms | 0 KB |
| 175101896 | Oct/08/2022 11:27 | vjudge1 | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 15 ms | 200 KB |
| 32543445 | Nov/22/2017 10:54 | viiiiirt: ToTLeS, Navick, Mohammad.Sj# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 300 KB |
| 40159501 | Jul/10/2018 09:16 | vjudge1 | B - Boolean Satisfability | GNU C++ | Accepted | 31 ms | 400 KB |
| 170447081 | Sep/01/2022 08:51 | vjudge5 | B - Boolean Satisfability | C++20 (GCC 11-64) | Accepted | 15 ms | 0 KB |
| 36463012 | Mar/21/2018 22:18 | Thiagohnc# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 3600 KB |
| 53849114 | May/07/2019 15:34 | vjudge1 | B - Boolean Satisfability | GNU C++11 | Accepted | 31 ms | 1100 KB |
| 56602547 | Jul/06/2019 04:58 | _gXX | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 100 KB |
| 40160576 | Jul/10/2018 09:53 | vjudge4 | B - Boolean Satisfability | GNU C++ | Accepted | 31 ms | 200 KB |
| 56618792 | Jul/06/2019 14:02 | Icyfox | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 200 KB |
| 149948143 | Mar/17/2022 21:04 | [UFMG] Summergimurne?: emaneru, bernardo_amorim# | B - Boolean Satisfability | C++17 (GCC 9-64) | Accepted | 15 ms | 0 KB |
| 33001319 | Dec/07/2017 16:13 | euLnaKt | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 2000 KB |
| 205350817 | May/10/2023 19:23 | daukah# | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 15 ms | 0 KB |
| 32340642 | Nov/15/2017 21:58 | OO_I_LOVE_YZQ__OO# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 300 KB |
| 96169115 | Oct/20/2020 19:56 | 100% Winrate: tamp_, mahmoudbadawy, Yousef_Salama# | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 300 KB |
| 33245434 | Dec/14/2017 19:15 | O(mg): PedroBortolli, VLamarca, tiagonapoli# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 2300 KB |
| 32662672 | Nov/26/2017 08:49 | bitset: justarandomstring, sylxjtu, Luffbee# | B - Boolean Satisfability | GNU C++11 | Accepted | 30 ms | 2200 KB |
| 32500028 | Nov/20/2017 15:57 | mrs_empress | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 15 ms | 200 KB |
| 60447183 | Sep/12/2019 17:32 | Two Steps From Hell: MASTERASSASSIN, KhaledFarhat, ahmad66# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 30 ms | 100 KB |
| 32214104 | Nov/11/2017 11:16 | The Old Guard: Walid_Amin, 0xA28, osamahatem# | B - Boolean Satisfability | GNU C++11 | Accepted | 31 ms | 200 KB |
| 52937399 | Apr/18/2019 10:17 | BUET_KnightMare: solaimanope, SlowDecay, Anachor# | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 100 KB |
| 144038009 | Jan/26/2022 09:37 | vjudge1 | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 15 ms | 1000 KB |
| 43739402 | Oct/03/2018 20:17 | [UFU] Clube das Winx: nunes, yurics, lucaasdamaso# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 300 KB |
Sort by:
Codeforces (c) Copyright 2010-2026 Mike Mirzayanov
The only programming contests Web 2.0 platform
Server time: Apr/19/2026 22:03:27 (g2).
Desktop version, switch to mobile version.
Supported by
