→ About Contest
Andrew Stankevich — Gold and Silver Medalist of ACM-ICPC, associate professor in Saint Petersburg University ITMO, SPb NRU ITMO teams coach, that became ACM-ICPC World Champions for 5 times. His contests have been used in Summer and Winter Petrozavodsk Camps since 2003. The contests are considered to be among the most interesting and well-prepared contests used at this international training camp. Contests materials are distributed under Creative Commons 4.0 Attribution license.
→ 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 I - No Term Repetition Exactly One Satisfiability
Contest status
| # | When | Who | Problem | Lang | Verdict | Time | Memory |
|---|---|---|---|---|---|---|---|
| 6538747 | May/03/2014 16:44 | (ˇˍˇ): Merlininice, seen, lasten# | I - No Term Repetition Exactly One Satisfiability | GNU C++ | Accepted | 30 ms | 1500 KB |
| 350284812 | Nov/23/2025 10:29 | 0mar | I - No Term Repetition Exactly One Satisfiability | C++20 (GCC 13-64) | Accepted | 92 ms | 0 KB |
| 55295894 | Jun/08/2019 12:51 | vjudge4 | I - No Term Repetition Exactly One Satisfiability | C++17 (GCC 7-32) | Accepted | 92 ms | 500 KB |
| 55295870 | Jun/08/2019 12:50 | SrO | I - No Term Repetition Exactly One Satisfiability | C++17 (GCC 7-32) | Accepted | 92 ms | 500 KB |
Sort by:
Codeforces (c) Copyright 2010-2026 Mike Mirzayanov
The only programming contests Web 2.0 platform
Server time: Sep/24/2026 11:51:10 (g2).
Desktop version, switch to mobile version.
Supported by
