Задача K - Kripke Model
 
 
 
 
Статус соревнования
 
 
№ Когда Кто Задача Язык Вердикт Время Память
12435611 10.08.2015 12:43 Участник-призрак SPb IFMO 1 (Buzdalov, Isenbaev, Kapun) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12435751 10.08.2015 12:43 Участник-призрак SPb IFMO 2 (Akhi, Bannykh, Poromov) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12435793 10.08.2015 12:43 Участник-призрак Petrozavodsk SU 3 (Denisov, Nikolaevskiy, Nikolaevskiy) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12435837 10.08.2015 12:43 Участник-призрак SPb SU 3 (Boykiy, Fondaratov, Gladysheva) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12435892 10.08.2015 12:43 Участник-призрак Acad Phys Tech U 1 (Mishunin, Sokolov, Yaroslavtsev) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12435934 10.08.2015 12:43 Участник-призрак SPb SU 2 (Serebryakov, Vorobyev, Zemlyanskiy) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12435968 10.08.2015 12:43 Участник-призрак Pomor SU 1 (Osichev, Tchurov, Zabolotskaya) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12436162 10.08.2015 12:43 Участник-призрак SPb SU 1 (Antipov, Levin, Smirnov) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12436189 10.08.2015 12:43 Участник-призрак SPb IFMO 3 (Kever, Melnikov, Nigmatullin) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12436203 10.08.2015 12:43 Участник-призрак Pskov SPI 2 (Dvoinev, Marchenko, Shvarkunov) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12436260 10.08.2015 12:43 Участник-призрак SPb IFMO 5 (Alexandrov, Kazakov, Sergushichev) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12436301 10.08.2015 12:43 Участник-призрак SPb SU 4 (Merabishvili, Samojlov, Udalov) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
12436383 10.08.2015 12:43 Участник-призрак SPb IFMO 6 (Geraschenko, Medvedev, Ofitserov) K - Kripke Model Unknown Полное решение 0 мс 0 КБ
18838334 01.07.2016 13:07 Wood Cube: tun, mugua# K - Kripke Model GNU C++11 Полное решение 77 мс 1900 КБ
31225174 11.10.2017 21:30 [USP] ¯)(ツ)(¯: victorsenam, arthur.nascimento, yancouto# K - Kripke Model GNU C++11 Полное решение 93 мс 3900 КБ
31148177 08.10.2017 18:29 Ironsides: Odin-, timo14z# K - Kripke Model C++14 (GCC 6-32) Полное решение 93 мс 2000 КБ
21273755 08.10.2016 10:20 OAO: qazwsxedcrfvtg14, gkevinyen5418, ihave33cm# K - Kripke Model GNU C++11 Полное решение 78 мс 3600 КБ
21274471 08.10.2016 10:53 kevinptt0323 K - Kripke Model GNU C++11 Полное решение 78 мс 3600 КБ
21840070 28.10.2016 09:12 ntu_vjudge_2 K - Kripke Model GNU C++11 Полное решение 78 мс 1600 КБ
379695075 21.06.2026 15:10 chenwz# K - Kripke Model C++20 (GCC 13-64) Полное решение 93 мс 600 КБ
42802338 12.09.2018 18:04 vjudge1 K - Kripke Model GNU C++11 Полное решение 124 мс 139800 КБ
14097686 06.11.2015 03:04 HellKitsune# K - Kripke Model GNU C++11 Полное решение 78 мс 1900 КБ
13358923 03.10.2015 15:00 UWr LTJ: RosomaczQ, ddd51, olekluka# K - Kripke Model GNU C++ Полное решение 93 мс 2000 КБ
224778337 23.09.2023 19:18 Построим?: Zandler, petyb, IMRUN# K - Kripke Model C++20 (GCC 11-64) Полное решение 280 мс 4900 КБ
42802027 12.09.2018 17:53 vjudge4 K - Kripke Model GNU C++11 Полное решение 78 мс 4500 КБ
21338731 10.10.2016 16:30 Jbros: johnchen902, Petwill, Daikon# K - Kripke Model C++14 (GCC 6-32) Полное решение 93 мс 3900 КБ
13358893 03.10.2015 14:58 Tree Musketeers: dziku, Anadi, tommek# K - Kripke Model GNU C++11 Полное решение 78 мс 2700 КБ
21790143 26.10.2016 11:56 ntu_vjudge_1 K - Kripke Model GNU C++11 Полное решение 78 мс 1900 КБ
21838471 28.10.2016 06:55 ntu_vjudge_1 K - Kripke Model GNU C++11 Полное решение 78 мс 1900 КБ
310461482 13.03.2025 21:21 sufficiently_large_boss K - Kripke Model C++23 (GCC 14-64, msys2) Полное решение 218 мс 20300 КБ
14027331 02.11.2015 16:07 jagiellonian żelipapą: JohnPaulII, m.sewcio, glapul# K - Kripke Model GNU C++11 Полное решение 77 мс 3100 КБ
21358264 11.10.2016 15:21 National Taiwan University: ODOP: domen111, fsps60312, hungchuhui# K - Kripke Model GNU C++11 Полное решение 78 мс 4900 КБ
21804780 26.10.2016 21:44 kevin4314 K - Kripke Model GNU C++11 Полное решение 77 мс 1800 КБ
21804793 26.10.2016 21:45 ntu_vjudge_1 K - Kripke Model GNU C++11 Полное решение 93 мс 1800 КБ
21622193 20.10.2016 18:52 TsukeenamiElRashidy: TsunamiNoLetGo, NourElRashidy, KhaledKEE# K - Kripke Model GNU C++ Полное решение 202 мс 1800 КБ
10343678 19.03.2015 01:54 The Viper, The Mountain and The Imp: links234, HighFlow, Mikester# K - Kripke Model GNU C++0x Полное решение 155 мс 13300 КБ
63389617 25.10.2019 17:48 NCTU_Pusheen: udchen, wdzeng, KellyLu# K - Kripke Model C++17 (GCC 7-32) Полное решение 108 мс 5700 КБ
21387392 12.10.2016 19:51 Volgograd STU 1: Zeber: ShadowGorn, temich, NSV# K - Kripke Model C++14 (GCC 6-32) Полное решение 78 мс 3500 КБ
42246222 29.08.2018 18:27 olya.masaeva K - Kripke Model MS C++ Полное решение 187 мс 3900 КБ
21211187 05.10.2016 17:25 G00dMeow: spentplaying, magrady24, hiwang123# K - Kripke Model GNU C++11 Полное решение 78 мс 2900 КБ
287506032 23.10.2024 14:36 crowdforces K - Kripke Model C++20 (GCC 13-64) Полное решение 312 мс 2900 КБ
287501022 23.10.2024 13:58 crowdforces K - Kripke Model C++20 (GCC 13-64) Полное решение 312 мс 1600 КБ
42967089 17.09.2018 05:16 vjudge3 K - Kripke Model C++14 (GCC 6-32) Полное решение 93 мс 31700 КБ
21789141 26.10.2016 10:49 ntu_vjudge_2 K - Kripke Model GNU C++11 Полное решение 124 мс 2800 КБ
12019846 12.07.2015 17:01 alex_world K - Kripke Model GNU C++11 Полное решение 78 мс 2100 КБ
377009693 02.06.2026 14:54 eleven-mile K - Kripke Model C++23 (GCC 14-64, msys2) Полное решение 78 мс 300 КБ
10646220 10.04.2015 11:07 lnsuyn# K - Kripke Model GNU C++11 Полное решение 78 мс 4100 КБ
15338237 14.01.2016 02:58 Heuristics: karanaggarwal, akshay1994.leo, darkshadows# K - Kripke Model GNU C++11 Полное решение 217 мс 1600 КБ
13620179 15.10.2015 15:15 ABalobanov# K - Kripke Model MS C++ Полное решение 78 мс 14400 КБ
61332736 26.09.2019 18:30 Шоколад: aleex, Septimelon, RED_INSIDE# K - Kripke Model C++17 (GCC 7-32) Полное решение 62 мс 8000 КБ
Сортировка по: