Problem K - Kripke Model
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
13359302 Oct/03/2015 15:27 Why us?: tysia2512, macieck9, mateuszlewko# K - Kripke Model GNU C++ Accepted 483 ms 3400 KB
27870388 Jun/17/2017 23:14 Gracias Demetrio: ec24, Vladislao, mjhun# K - Kripke Model C++14 (GCC 6-32) Accepted 109 ms 12100 KB
224752776 Sep/23/2023 16:34 TODO 2.0: Hello_zoka, Mr.Robot_28, AliceG# K - Kripke Model C++20 (GCC 11-64) Accepted 46 ms 2100 KB
21400097 Oct/13/2016 12:57 NCTU_Foudre: frankbozar, ytc, HowardChung# K - Kripke Model C++14 (GCC 6-32) Accepted 93 ms 4400 KB
13357303 Oct/03/2015 13:21 Wrocławskie Smerfy: matix2267, bardek, Solaris# K - Kripke Model GNU C++ Accepted 93 ms 11600 KB
28469555 Jul/12/2017 12:37 vjudge2 K - Kripke Model GNU C++11 Accepted 78 ms 13600 KB
14056646 Nov/04/2015 14:56 Jagiellonian Something: noh4h_ss, krismaz, zaj# K - Kripke Model GNU C++11 Accepted 156 ms 2000 KB
28469316 Jul/12/2017 12:27 vjudge5 K - Kripke Model GNU C++ Accepted 78 ms 7300 KB
21969474 Nov/01/2016 16:56 ntu_vjudge_2 K - Kripke Model GNU C++11 Accepted 155 ms 5200 KB
291224964 Nov/12/2024 20:13 KViahera K - Kripke Model C++20 (GCC 13-64) Accepted 92 ms 800 KB
28654106 Jul/18/2017 06:50 vjudge2 K - Kripke Model GNU C++11 Accepted 78 ms 3200 KB
28467409 Jul/12/2017 11:21 vjudge3 K - Kripke Model GNU C++ Accepted 62 ms 47000 KB
12686192 Aug/24/2015 18:56 abistrigova K - Kripke Model GNU C++ Accepted 78 ms 3800 KB
224989849 Sep/24/2023 21:07 CUB enjoyers: almazov.03, Splatjov, Meeter-In-The-Middle# K - Kripke Model C++20 (GCC 11-64) Accepted 46 ms 4300 KB
21275850 Oct/08/2016 11:56 MeowiNThebox: ppetter1025, walkhorse, t1016d# K - Kripke Model GNU C++11 Accepted 78 ms 5600 KB
224878099 Sep/24/2023 17:19 Blank Space: I.Gleb, polinarria, klimoza# K - Kripke Model C++20 (GCC 11-64) Accepted 46 ms 3900 KB
22116371 Nov/08/2016 19:11 ntu_vjudge_1 K - Kripke Model GNU C++11 Accepted 93 ms 3600 KB
314412678 Apr/07/2025 21:39 francisconassif K - Kripke Model C++17 (GCC 7-32) Accepted 343 ms 700 KB
13477478 Oct/07/2015 17:15 Saratov SU 2: adedalic, IlyaLos, RoKi# K - Kripke Model GNU C++11 Accepted 78 ms 2500 KB
103325147 Jan/04/2021 23:28 vjudge3 K - Kripke Model C++14 (GCC 6-32) Accepted 155 ms 98900 KB
13316204 Sep/30/2015 17:23 Saratov SU Daemons: kuviman, danilka.pro, Edvard# K - Kripke Model GNU C++11 Accepted 78 ms 2200 KB
21338902 Oct/10/2016 16:37 Some_guy_took_my_wf_slot# K - Kripke Model GNU C++11 Accepted 405 ms 144600 KB
45152882 Nov/01/2018 00:25 incognito: brimix__, mredigonda, indexs# K - Kripke Model C++14 (GCC 6-32) Accepted 93 ms 3100 KB
22133090 Nov/09/2016 18:08 ntu_vjudge_1 K - Kripke Model GNU C++11 Accepted 93 ms 3600 KB
21272551 Oct/08/2016 09:10 PECaveros: paulwang, akaiNeko, eddy1021# K - Kripke Model C++14 (GCC 6-32) Accepted 108 ms 5100 KB
13318374 Sep/30/2015 19:14 Saratov SU 3 Skibiribiri Nugarachok: Oleg_Smirnov, Perforator, Roms# K - Kripke Model MS C++ Accepted 233 ms 2800 KB
214623984 Jul/20/2023 16:36 YoussefMorad1 K - Kripke Model C++20 (GCC 11-64) Accepted 265 ms 5600 KB
214625980 Jul/20/2023 16:53 YoussefMorad1 K - Kripke Model C++20 (GCC 11-64) Accepted 265 ms 5600 KB
28469415 Jul/12/2017 12:32 vjudge1 K - Kripke Model GNU C++ Accepted 78 ms 55200 KB
28469463 Jul/12/2017 12:34 vjudge3 K - Kripke Model GNU C++ Accepted 78 ms 55200 KB
31123882 Oct/07/2017 20:29 The Old Guard: 0xA28, osamahatem# K - Kripke Model GNU C++11 Accepted 78 ms 4200 KB
312490055 Mar/25/2025 23:09 marcobarch K - Kripke Model C++17 (GCC 7-32) Accepted 109 ms 700 KB
21418152 Oct/14/2016 11:03 มีดножknife: cchao, kevin4314, dihimono# K - Kripke Model C++14 (GCC 6-32) Accepted 171 ms 3500 KB
22051559 Nov/05/2016 11:35 Ahmad_Elsagheer K - Kripke Model GNU C++11 Accepted 171 ms 4900 KB
281374300 Sep/15/2024 18:18 1st year (with a catch): Stanislau, kefolen, Karabutsa# K - Kripke Model C++20 (GCC 13-64) Accepted 108 ms 100 KB
28464981 Jul/12/2017 10:06 vjudge3 K - Kripke Model GNU C++ Accepted 62 ms 11600 KB
20399574 Sep/05/2016 15:30 Moscow IPT: Fire Ferrets: AndreySergunin, irkstepanov# K - Kripke Model GNU C++11 Accepted 155 ms 3100 KB
15555159 Jan/24/2016 15:30 Fcdkbear# K - Kripke Model GNU C++11 Accepted 78 ms 4300 KB
12852679 Sep/05/2015 15:09 ONU_Antananarivu: AnnKats93, romanova, Anarivu# K - Kripke Model GNU C++11 Accepted 93 ms 11200 KB
12856825 Sep/05/2015 21:00 Al.Cash# K - Kripke Model GNU C++11 Accepted 78 ms 3300 KB
51545669 Mar/19/2019 23:04 juanma K - Kripke Model C++17 (GCC 7-32) Accepted 139 ms 12300 KB
312137555 Mar/24/2025 06:05 lira.frts K - Kripke Model C++23 (GCC 14-64, msys2) Accepted 93 ms 6300 KB
59554421 Aug/27/2019 08:26 hank55663# K - Kripke Model C++17 (GCC 7-32) Accepted 93 ms 5800 KB
11940814 Jul/06/2015 03:47 I_love_Tanya_Romanova# K - Kripke Model GNU C++11 Accepted 233 ms 31700 KB
224924528 Sep/24/2023 18:21 11Bar: akagi_shigeru, Dodolphin, KhB# K - Kripke Model C++20 (GCC 11-64) Accepted 46 ms 4200 KB
42487922 Sep/05/2018 13:18 BigDawgsSociety: Teodor_Stefan_Pintea, munteanuvlad98, patrick.sava# K - Kripke Model C++17 (GCC 7-32) Accepted 77 ms 3800 KB
132206454 Oct/17/2021 12:46 Lera Retired: Riladavin, Aleks5d, Makcum888# K - Kripke Model C++17 (GCC 9-64) Accepted 62 ms 5100 KB
19515041 Jul/30/2016 13:53 Samara SAU : Haters: Petruchcho, pitfall# K - Kripke Model Java 8 Accepted 373 ms 14400 KB
13289425 Sep/29/2015 02:43 pimpke K - Kripke Model GNU C++ Accepted 93 ms 4400 KB
12425159 Aug/09/2015 14:24 annbelov_team: vitux, Ancient_mage, jk_qq# K - Kripke Model MS C++ Accepted 202 ms 2900 KB
Sort by: