Codeforces Round 1133 (Div. 1, Div. 2) is coming soon! Register here. ×
Problem I - No Term Repetition Exactly One Satisfiability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
6136651 Mar/25/2014 14:59 Ghost participant SPb SU POMI Devils: Lishanskiy, Smirnov, Vorobyev I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136653 Mar/25/2014 14:59 Ghost participant Moscow SU Jedi Academy: Minyaylov, Popelyshev, Shavlyugin I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136759 Mar/25/2014 14:59 Ghost participant SPb IFMO 1: Buzdalov, Isenbaev, Kapun I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136797 Mar/25/2014 14:59 Ghost participant SPb SPU Fieldtech: Mishunin, Yaroslavtsev I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136832 Mar/25/2014 14:59 Ghost participant Helsinki U of Tech Barton Fan Club: Ojala, Peltola, Pettersson I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136836 Mar/25/2014 14:59 Ghost participant Ural SU Fusion: Ayzenshtein, Chevdar, Samsonov I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136845 Mar/25/2014 14:59 Ghost participant Japanese Team JUN: Ushioda, Tamura, Tahakashi I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136871 Mar/25/2014 14:59 Ghost participant Moscow SU Unpredictable: Gusakov, Kornakov, Razenshtein I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136894 Mar/25/2014 14:59 Ghost participant MIPT Bugaga: Dlougach, Pimenov, Shved I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136897 Mar/25/2014 14:59 Ghost participant BSU 1: Rudol, Tihon, Pronin I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136945 Mar/25/2014 14:59 Ghost participant SPb SU Burunduchki: Davydov, Kopeliovich, Petrov I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136974 Mar/25/2014 14:59 Ghost participant Ural SU Pensioners: Fominykh, Ipatov, Ivanov I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6136975 Mar/25/2014 14:59 Ghost participant PetrSU Wx: Denisov, Nikolaevskiy, Nikolaevskiy I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6137047 Mar/25/2014 14:59 Ghost participant SPb SU Nimvord: Bankevich, Levin, Shmakov I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6137092 Mar/25/2014 14:59 Ghost participant Altai STU #1: Akinshin, Kolosovskiy, Izbyshev I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
6137093 Mar/25/2014 14:59 Ghost participant Saratov SU 1: Bondarenko, Matov, Pak I - No Term Repetition Exactly One Satisfiability Unknown Accepted 0 ms 0 KB
18823398 Jun/30/2016 15:21 .^_^. O_O .: SeyedParsa, LiTi# I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 124 ms 4900 KB
389592636 Sep/05/2026 23:33 HFTilted: andreyDagger, 300iq# I - No Term Repetition Exactly One Satisfiability C++23 (GCC 14-64, msys2) Accepted 92 ms 100 KB
6165709 Mar/28/2014 13:18 KuroNeko# I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 60 ms 700 KB
6828854 Jun/07/2014 00:55 ecnerwala# I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 124 ms 200 KB
26761916 Apr/30/2017 09:24 vjudge3 I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 62 ms 2400 KB
347367163 Nov/04/2025 11:17 CodeMonsterChu I - No Term Repetition Exactly One Satisfiability C++23 (GCC 14-64, msys2) Accepted 124 ms 100 KB
6546171 May/04/2014 22:00 fcjy I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 62 ms 1300 KB
394251136 Oct/12/2026 12:06 chenwz I - No Term Repetition Exactly One Satisfiability C++17 (GCC 7-32) Accepted 92 ms 0 KB
18824018 Jun/30/2016 16:01 Dear Boss!: PrinceOfPersia, Reyna# I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 62 ms 9500 KB
20967007 Sep/28/2016 15:31 SoiMae I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 30 ms 7000 KB
11101054 May/14/2015 20:43 ZonkZonk: mnbvmar, Marcin_smu, Swistakk# I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 30 ms 200 KB
6203333 Apr/01/2014 12:56 Angstrom: DoubleLu, czy941030, foreverbell# I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 30 ms 2800 KB
18823945 Jun/30/2016 15:57 CrockPot: matrix, JeBeK, Haghani# I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 62 ms 200 KB
30727213 Sep/25/2017 16:52 NCTU_Foudre: frankbozar, ytc, HowardChung# I - No Term Repetition Exactly One Satisfiability C++14 (GCC 6-32) Accepted 30 ms 400 KB
55198222 Jun/06/2019 12:26 AnnieCai I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 92 ms 300 KB
183687801 Dec/03/2022 09:57 miao22是我们的红太阳: CrTsIr, qiuzx, njwrz# I - No Term Repetition Exactly One Satisfiability C++20 (GCC 11-64) Accepted 0 ms 0 KB
43549445 Sep/29/2018 00:48 Time do dia 17: samuelfgs, nonsequitur, LoppA# I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 62 ms 12800 KB
55981109 Jun/24/2019 00:10 Smaug I - No Term Repetition Exactly One Satisfiability C++17 (GCC 7-32) Accepted 62 ms 3200 KB
58430194 Aug/07/2019 14:32 U of Wroclaw: WroClowns: MicGor, Rzepa, Anadi# I - No Term Repetition Exactly One Satisfiability C++17 (GCC 7-32) Accepted 62 ms 300 KB
227069406 Oct/08/2023 01:15 Jasonwei08# I - No Term Repetition Exactly One Satisfiability C++14 (GCC 6-32) Accepted 62 ms 700 KB
227070354 Oct/08/2023 01:38 Kuroni# I - No Term Repetition Exactly One Satisfiability C++20 (GCC 11-64) Accepted 30 ms 0 KB
215636923 Jul/25/2023 21:43 Saiif I - No Term Repetition Exactly One Satisfiability C++14 (GCC 6-32) Accepted 30 ms 400 KB
7112175 Jul/16/2014 03:04 I_love_Tanya_Romanova I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 62 ms 400 KB
6162205 Mar/27/2014 18:39 Krig I - No Term Repetition Exactly One Satisfiability GNU C++0x Accepted 30 ms 2400 KB
13801122 Oct/23/2015 04:52 L_Ecry I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 60 ms 32500 KB
6853237 Jun/09/2014 13:13 sevenkplus# I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 30 ms 900 KB
263080166 May/29/2024 06:05 vjudge5 I - No Term Repetition Exactly One Satisfiability C++20 (GCC 13-64) Accepted 92 ms 100 KB
361369060 Feb/04/2026 06:33 Chen_ri_kang I - No Term Repetition Exactly One Satisfiability C++20 (GCC 13-64) Accepted 92 ms 100 KB
29592410 Aug/19/2017 11:06 PECaveros: eddy1021, akaiNeko# I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 30 ms 8600 KB
7039447 Jul/07/2014 13:13 darkhh# I - No Term Repetition Exactly One Satisfiability GNU C++0x Accepted 62 ms 400 KB
72581651 Mar/06/2020 17:49 Whatever it takes!: Kalam, KMAASZRAA# I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 92 ms 400 KB
33260051 Dec/15/2017 12:52 kronos96 I - No Term Repetition Exactly One Satisfiability C++14 (GCC 6-32) Accepted 30 ms 2500 KB
44734448 Oct/23/2018 15:13 leaomatheus I - No Term Repetition Exactly One Satisfiability GNU C++11 Accepted 124 ms 900 KB
17699490 May/03/2016 17:23 FacelessMen: sahilgrover, abhilak, alecsyde# I - No Term Repetition Exactly One Satisfiability GNU C++ Accepted 30 ms 18100 KB
Sort by: