Задача F - Formal Program Verification
 
 
 
 
Статус соревнования
 
 
№ Когда Кто Задача Язык Вердикт Время Память
7922778 23.09.2014 14:44 Участник-призрак SPbSU ITMO 1 (Isenbaev, Kapun, Melnikov) F - Formal Program Verification Unknown Полное решение 0 мс 0 КБ
45208469 02.11.2018 16:58 WUr: MicGor, yarek, Anadi# F - Formal Program Verification PyPy 3 Полное решение 202 мс 1400 КБ
13834254 25.10.2015 09:31 Wunderzeit: s-quark, zhj, dhh1995# F - Formal Program Verification GNU C++11 Полное решение 30 мс 2500 КБ
17530351 27.04.2016 06:18 blackEarth F - Formal Program Verification GNU C++11 Полное решение 15 мс 2600 КБ
10935419 30.04.2015 09:02 ThinkingBear: Leo_Yu, Eternal_Answer, ACMonster# F - Formal Program Verification GNU C++ Полное решение 31 мс 2200 КБ
8286810 18.10.2014 00:12 guspiel F - Formal Program Verification GNU C++0x Полное решение 109 мс 400 КБ
266824253 22.06.2024 14:58 qiuzx F - Formal Program Verification C++20 (GCC 13-64) Полное решение 62 мс 100 КБ
172127763 14.09.2022 13:34 applese F - Formal Program Verification C++14 (GCC 6-32) Полное решение 15 мс 200 КБ
14844778 17.12.2015 14:11 darkhh F - Formal Program Verification GNU C++11 Полное решение 31 мс 200 КБ
95736073 17.10.2020 15:11 Scrambled Eggs: theodor.moroianu, livlivi, bicsi# F - Formal Program Verification C++17 (GCC 9-64) Полное решение 31 мс 200 КБ
14846107 17.12.2015 16:03 darkhh F - Formal Program Verification GNU C++11 Полное решение 15 мс 200 КБ
216563953 31.07.2023 13:52 Muhamed_Abdelghany F - Formal Program Verification C++20 (GCC 11-64) Полное решение 46 мс 36300 КБ
45459266 09.11.2018 01:24 Rzepa F - Formal Program Verification C++17 (GCC 7-32) Полное решение 46 мс 24900 КБ
216563721 31.07.2023 13:50 Muhamed_Abdelghany F - Formal Program Verification C++20 (GCC 11-64) Полное решение 31 мс 36300 КБ
350437851 24.11.2025 08:13 hobbycp F - Formal Program Verification C++17 (GCC 7-32) Полное решение 62 мс 0 КБ
Сортировка по: