→ 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 F - Formal Program Verification
Contest status
| # | When | Who | Problem | Lang | Verdict | Time | Memory |
|---|---|---|---|---|---|---|---|
| 7922778 | Sep/23/2014 14:44 |
 SPbSU ITMO 1 (Isenbaev, Kapun, Melnikov) |
F - Formal Program Verification | Unknown | Accepted | 0 ms | 0 KB |
| 45208469 | Nov/02/2018 16:58 | WUr: MicGor, yarek, Anadi# | F - Formal Program Verification | PyPy 3 | Accepted | 202 ms | 1400 KB |
| 13834254 | Oct/25/2015 09:31 | Wunderzeit: s-quark, zhj, dhh1995# | F - Formal Program Verification | GNU C++11 | Accepted | 30 ms | 2500 KB |
| 17530351 | Apr/27/2016 06:18 | blackEarth | F - Formal Program Verification | GNU C++11 | Accepted | 15 ms | 2600 KB |
| 10935419 | Apr/30/2015 09:02 | ThinkingBear: Leo_Yu, Eternal_Answer, ACMonster# | F - Formal Program Verification | GNU C++ | Accepted | 31 ms | 2200 KB |
| 8286810 | Oct/18/2014 00:12 | guspiel | F - Formal Program Verification | GNU C++0x | Accepted | 109 ms | 400 KB |
| 266824253 | Jun/22/2024 14:58 | qiuzx | F - Formal Program Verification | C++20 (GCC 13-64) | Accepted | 62 ms | 100 KB |
| 172127763 | Sep/14/2022 13:34 | applese | F - Formal Program Verification | C++14 (GCC 6-32) | Accepted | 15 ms | 200 KB |
| 14844778 | Dec/17/2015 14:11 | darkhh | F - Formal Program Verification | GNU C++11 | Accepted | 31 ms | 200 KB |
| 95736073 | Oct/17/2020 15:11 | Scrambled Eggs: theodor.moroianu, livlivi, bicsi# | F - Formal Program Verification | C++17 (GCC 9-64) | Accepted | 31 ms | 200 KB |
| 14846107 | Dec/17/2015 16:03 | darkhh | F - Formal Program Verification | GNU C++11 | Accepted | 15 ms | 200 KB |
| 216563953 | Jul/31/2023 13:52 | Muhamed_Abdelghany | F - Formal Program Verification | C++20 (GCC 11-64) | Accepted | 46 ms | 36300 KB |
| 45459266 | Nov/09/2018 01:24 | Rzepa | F - Formal Program Verification | C++17 (GCC 7-32) | Accepted | 46 ms | 24900 KB |
| 216563721 | Jul/31/2023 13:50 | Muhamed_Abdelghany | F - Formal Program Verification | C++20 (GCC 11-64) | Accepted | 31 ms | 36300 KB |
| 350437851 | Nov/24/2025 08:13 | hobbycp | F - Formal Program Verification | C++17 (GCC 7-32) | Accepted | 62 ms | 0 KB |
Sort by:
Codeforces (c) Copyright 2010-2026 Mike Mirzayanov
The only programming contests Web 2.0 platform
Server time: May/23/2026 15:46:35 (g1).
Desktop version, switch to mobile version.
Supported by
