→ 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 |
|---|---|---|---|---|---|---|---|
| 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 |
| 182757805 | Nov/27/2022 12:10 | UNN negative 1: MuUJa, mishaizlesa, mada40# | B - Boolean Satisfability | C++20 (GCC 11-64) | Accepted | 15 ms | 300 KB |
| 67402819 | Dec/22/2019 07:55 | LoopedAF: doped.silicon, harshhx17, sarthak1220# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 15 ms | 300 KB |
| 100489288 | Dec/06/2020 07:49 | vjudge5 | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 300 KB |
| 164891863 | Jul/19/2022 15:11 | Sute Albastre: Alex18mai, ionanghelina, butasebi# | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 15 ms | 0 KB |
| 43995840 | Oct/08/2018 14:28 | RuntimeTerror: Savit_Gupta, madhav_1999, prakhar17252# | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 300 KB |
| 100420118 | Dec/05/2020 09:01 | NTU 2: kagura_kanami, lijiafan678, s1gma# | B - Boolean Satisfability | C++17 (GCC 7-32) | Accepted | 31 ms | 200 KB |
| 32550172 | Nov/22/2017 15:35 | vjudge5 | B - Boolean Satisfability | GNU C++ | Accepted | 30 ms | 1300 KB |
| 100857520 | Dec/10/2020 21:04 | vjudge1 | B - Boolean Satisfability | C++14 (GCC 6-32) | Accepted | 31 ms | 300 KB |
| 69697404 | Jan/29/2020 00:15 | 46 is a Prime Number: NinjaDoggy, atakyn, SpargelTarzan# | B - Boolean Satisfability | Java 8 | Accepted | 124 ms | 0 KB |
| 69984404 | Feb/01/2020 20:24 | atakyn | B - Boolean Satisfability | Java 8 | Accepted | 124 ms | 0 KB |
| 348654191 | Nov/12/2025 20:35 | lad1chka# | B - Boolean Satisfability | C++20 (GCC 13-64) | Accepted | 62 ms | 0 KB |
| 164210672 | Jul/15/2022 07:12 | Neutral: Liswiera, Xinull, JIaIILLIa# | B - Boolean Satisfability | C# 8 | Accepted | 171 ms | 400 KB |
| 35533375 | Feb/21/2018 00:05 | -_-: thedarkness901, sqr_hussain, Marcil# | B - Boolean Satisfability | GNU C++11 | Accepted | 15 ms | 2200 KB |
Sort by:
Codeforces (c) Copyright 2010-2026 Mike Mirzayanov
The only programming contests Web 2.0 platform
Server time: Oct/18/2026 13:16:56 (f1).
Desktop version, switch to mobile version.
Supported by
