Problem K - Kripke Model
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
12435611 Aug/10/2015 12:43 Ghost participant SPb IFMO 1 (Buzdalov, Isenbaev, Kapun) K - Kripke Model Unknown Accepted 0 ms 0 KB
12435751 Aug/10/2015 12:43 Ghost participant SPb IFMO 2 (Akhi, Bannykh, Poromov) K - Kripke Model Unknown Accepted 0 ms 0 KB
12435793 Aug/10/2015 12:43 Ghost participant Petrozavodsk SU 3 (Denisov, Nikolaevskiy, Nikolaevskiy) K - Kripke Model Unknown Accepted 0 ms 0 KB
12435837 Aug/10/2015 12:43 Ghost participant SPb SU 3 (Boykiy, Fondaratov, Gladysheva) K - Kripke Model Unknown Accepted 0 ms 0 KB
12435892 Aug/10/2015 12:43 Ghost participant Acad Phys Tech U 1 (Mishunin, Sokolov, Yaroslavtsev) K - Kripke Model Unknown Accepted 0 ms 0 KB
12435934 Aug/10/2015 12:43 Ghost participant SPb SU 2 (Serebryakov, Vorobyev, Zemlyanskiy) K - Kripke Model Unknown Accepted 0 ms 0 KB
12435968 Aug/10/2015 12:43 Ghost participant Pomor SU 1 (Osichev, Tchurov, Zabolotskaya) K - Kripke Model Unknown Accepted 0 ms 0 KB
12436162 Aug/10/2015 12:43 Ghost participant SPb SU 1 (Antipov, Levin, Smirnov) K - Kripke Model Unknown Accepted 0 ms 0 KB
12436189 Aug/10/2015 12:43 Ghost participant SPb IFMO 3 (Kever, Melnikov, Nigmatullin) K - Kripke Model Unknown Accepted 0 ms 0 KB
12436203 Aug/10/2015 12:43 Ghost participant Pskov SPI 2 (Dvoinev, Marchenko, Shvarkunov) K - Kripke Model Unknown Accepted 0 ms 0 KB
12436260 Aug/10/2015 12:43 Ghost participant SPb IFMO 5 (Alexandrov, Kazakov, Sergushichev) K - Kripke Model Unknown Accepted 0 ms 0 KB
12436301 Aug/10/2015 12:43 Ghost participant SPb SU 4 (Merabishvili, Samojlov, Udalov) K - Kripke Model Unknown Accepted 0 ms 0 KB
12436383 Aug/10/2015 12:43 Ghost participant SPb IFMO 6 (Geraschenko, Medvedev, Ofitserov) K - Kripke Model Unknown Accepted 0 ms 0 KB
18838334 Jul/01/2016 13:07 Wood Cube: tun, mugua# K - Kripke Model GNU C++11 Accepted 77 ms 1900 KB
31225174 Oct/11/2017 21:30 [USP] ¯)(ツ)(¯: victorsenam, arthur.nascimento, yancouto# K - Kripke Model GNU C++11 Accepted 93 ms 3900 KB
31148177 Oct/08/2017 18:29 Ironsides: Odin-, timo14z# K - Kripke Model C++14 (GCC 6-32) Accepted 93 ms 2000 KB
21273755 Oct/08/2016 10:20 OAO: qazwsxedcrfvtg14, gkevinyen5418, ihave33cm# K - Kripke Model GNU C++11 Accepted 78 ms 3600 KB
21274471 Oct/08/2016 10:53 kevinptt0323 K - Kripke Model GNU C++11 Accepted 78 ms 3600 KB
21840070 Oct/28/2016 09:12 ntu_vjudge_2 K - Kripke Model GNU C++11 Accepted 78 ms 1600 KB
379695075 Jun/21/2026 15:10 chenwz# K - Kripke Model C++20 (GCC 13-64) Accepted 93 ms 600 KB
42802338 Sep/12/2018 18:04 vjudge1 K - Kripke Model GNU C++11 Accepted 124 ms 139800 KB
14097686 Nov/06/2015 03:04 HellKitsune# K - Kripke Model GNU C++11 Accepted 78 ms 1900 KB
13358923 Oct/03/2015 15:00 UWr LTJ: RosomaczQ, ddd51, olekluka# K - Kripke Model GNU C++ Accepted 93 ms 2000 KB
224778337 Sep/23/2023 19:18 Postroim?: Zandler, petyb, IMRUN# K - Kripke Model C++20 (GCC 11-64) Accepted 280 ms 4900 KB
42802027 Sep/12/2018 17:53 vjudge4 K - Kripke Model GNU C++11 Accepted 78 ms 4500 KB
21338731 Oct/10/2016 16:30 Jbros: johnchen902, Petwill, Daikon# K - Kripke Model C++14 (GCC 6-32) Accepted 93 ms 3900 KB
13358893 Oct/03/2015 14:58 Tree Musketeers: dziku, Anadi, tommek# K - Kripke Model GNU C++11 Accepted 78 ms 2700 KB
21790143 Oct/26/2016 11:56 ntu_vjudge_1 K - Kripke Model GNU C++11 Accepted 78 ms 1900 KB
21838471 Oct/28/2016 06:55 ntu_vjudge_1 K - Kripke Model GNU C++11 Accepted 78 ms 1900 KB
310461482 Mar/13/2025 21:21 sufficiently_large_boss K - Kripke Model C++23 (GCC 14-64, msys2) Accepted 218 ms 20300 KB
14027331 Nov/02/2015 16:07 jagiellonian żelipapą: JohnPaulII, m.sewcio, glapul# K - Kripke Model GNU C++11 Accepted 77 ms 3100 KB
21358264 Oct/11/2016 15:21 National Taiwan University: ODOP: domen111, fsps60312, hungchuhui# K - Kripke Model GNU C++11 Accepted 78 ms 4900 KB
21804780 Oct/26/2016 21:44 kevin4314 K - Kripke Model GNU C++11 Accepted 77 ms 1800 KB
21804793 Oct/26/2016 21:45 ntu_vjudge_1 K - Kripke Model GNU C++11 Accepted 93 ms 1800 KB
21622193 Oct/20/2016 18:52 TsukeenamiElRashidy: TsunamiNoLetGo, NourElRashidy, KhaledKEE# K - Kripke Model GNU C++ Accepted 202 ms 1800 KB
10343678 Mar/19/2015 01:54 The Viper, The Mountain and The Imp: links234, HighFlow, Mikester# K - Kripke Model GNU C++0x Accepted 155 ms 13300 KB
63389617 Oct/25/2019 17:48 NCTU_Pusheen: udchen, wdzeng, KellyLu# K - Kripke Model C++17 (GCC 7-32) Accepted 108 ms 5700 KB
21387392 Oct/12/2016 19:51 Volgograd STU 1: Zeber: ShadowGorn, temich, NSV# K - Kripke Model C++14 (GCC 6-32) Accepted 78 ms 3500 KB
42246222 Aug/29/2018 18:27 olya.masaeva K - Kripke Model MS C++ Accepted 187 ms 3900 KB
21211187 Oct/05/2016 17:25 G00dMeow: spentplaying, magrady24, hiwang123# K - Kripke Model GNU C++11 Accepted 78 ms 2900 KB
287506032 Oct/23/2024 14:36 crowdforces K - Kripke Model C++20 (GCC 13-64) Accepted 312 ms 2900 KB
287501022 Oct/23/2024 13:58 crowdforces K - Kripke Model C++20 (GCC 13-64) Accepted 312 ms 1600 KB
42967089 Sep/17/2018 05:16 vjudge3 K - Kripke Model C++14 (GCC 6-32) Accepted 93 ms 31700 KB
21789141 Oct/26/2016 10:49 ntu_vjudge_2 K - Kripke Model GNU C++11 Accepted 124 ms 2800 KB
12019846 Jul/12/2015 17:01 alex_world K - Kripke Model GNU C++11 Accepted 78 ms 2100 KB
377009693 Jun/02/2026 14:54 eleven-mile K - Kripke Model C++23 (GCC 14-64, msys2) Accepted 78 ms 300 KB
10646220 Apr/10/2015 11:07 lnsuyn# K - Kripke Model GNU C++11 Accepted 78 ms 4100 KB
15338237 Jan/14/2016 02:58 Heuristics: karanaggarwal, akshay1994.leo, darkshadows# K - Kripke Model GNU C++11 Accepted 217 ms 1600 KB
13620179 Oct/15/2015 15:15 ABalobanov# K - Kripke Model MS C++ Accepted 78 ms 14400 KB
61332736 Sep/26/2019 18:30 Chocolate: aleex, Septimelon, RED_INSIDE# K - Kripke Model C++17 (GCC 7-32) Accepted 62 ms 8000 KB
Sort by: