| № | Когда | Кто | Задача | Язык | Вердикт | Время | Память |
|---|---|---|---|---|---|---|---|
| 55828485 | 20.06.2019 15:01 | SPb SU -1: Dmitriy.Belichenko, anta.baka# | K - Kripke Model | C++17 (GCC 7-32) | Полное решение | 62 мс | 3500 КБ |
| 21272603 | 08.10.2016 09:14 | AcThPaUNpPuAmCmBkCfEsFmMdNoLr: meteor, step5, darkhh# | K - Kripke Model | C++14 (GCC 6-32) | Полное решение | 61 мс | 7200 КБ |
| 13359302 | 03.10.2015 15:27 | Why us?: tysia2512, macieck9, mateuszlewko# | K - Kripke Model | GNU C++ | Полное решение | 483 мс | 3400 КБ |
| 27870388 | 17.06.2017 23:14 | Gracias Demetrio: ec24, Vladislao, mjhun# | K - Kripke Model | C++14 (GCC 6-32) | Полное решение | 109 мс | 12100 КБ |
| 224752776 | 23.09.2023 16:34 | TODO 2.0: Hello_zoka, Mr.Robot_28, AliceG# | K - Kripke Model | C++20 (GCC 11-64) | Полное решение | 46 мс | 2100 КБ |
| 21400097 | 13.10.2016 12:57 | NCTU_Foudre: frankbozar, ytc, HowardChung# | K - Kripke Model | C++14 (GCC 6-32) | Полное решение | 93 мс | 4400 КБ |
| 13357303 | 03.10.2015 13:21 | Wrocławskie Smerfy: matix2267, bardek, Solaris# | K - Kripke Model | GNU C++ | Полное решение | 93 мс | 11600 КБ |
| 28469555 | 12.07.2017 12:37 | vjudge2 | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 13600 КБ |
| 14056646 | 04.11.2015 14:56 | Jagiellonian Something: noh4h_ss, krismaz, zaj# | K - Kripke Model | GNU C++11 | Полное решение | 156 мс | 2000 КБ |
| 28469316 | 12.07.2017 12:27 | vjudge5 | K - Kripke Model | GNU C++ | Полное решение | 78 мс | 7300 КБ |
| 21969474 | 01.11.2016 16:56 | ntu_vjudge_2 | K - Kripke Model | GNU C++11 | Полное решение | 155 мс | 5200 КБ |
| 291224964 | 12.11.2024 20:13 | KViahera | K - Kripke Model | C++20 (GCC 13-64) | Полное решение | 92 мс | 800 КБ |
| 28654106 | 18.07.2017 06:50 | vjudge2 | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 3200 КБ |
| 28467409 | 12.07.2017 11:21 | vjudge3 | K - Kripke Model | GNU C++ | Полное решение | 62 мс | 47000 КБ |
| 12686192 | 24.08.2015 18:56 | abistrigova | K - Kripke Model | GNU C++ | Полное решение | 78 мс | 3800 КБ |
| 224989849 | 24.09.2023 21:07 | CUB enjoyers: almazov.03, Splatjov, Meeter-In-The-Middle# | K - Kripke Model | C++20 (GCC 11-64) | Полное решение | 46 мс | 4300 КБ |
| 21275850 | 08.10.2016 11:56 | MeowiNThebox: ppetter1025, walkhorse, t1016d# | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 5600 КБ |
| 224878099 | 24.09.2023 17:19 | Blank Space: I.Gleb, polinarria, klimoza# | K - Kripke Model | C++20 (GCC 11-64) | Полное решение | 46 мс | 3900 КБ |
| 22116371 | 08.11.2016 19:11 | ntu_vjudge_1 | K - Kripke Model | GNU C++11 | Полное решение | 93 мс | 3600 КБ |
| 314412678 | 07.04.2025 21:39 | francisconassif | K - Kripke Model | C++17 (GCC 7-32) | Полное решение | 343 мс | 700 КБ |
| 13477478 | 07.10.2015 17:15 | Saratov SU 2: adedalic, IlyaLos, RoKi# | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 2500 КБ |
| 103325147 | 04.01.2021 23:28 | vjudge3 | K - Kripke Model | C++14 (GCC 6-32) | Полное решение | 155 мс | 98900 КБ |
| 13316204 | 30.09.2015 17:23 | Saratov SU Daemons: kuviman, danilka.pro, Edvard# | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 2200 КБ |
| 21338902 | 10.10.2016 16:37 | Some_guy_took_my_wf_slot# | K - Kripke Model | GNU C++11 | Полное решение | 405 мс | 144600 КБ |
| 45152882 | 01.11.2018 00:25 | incognito: brimix__, mredigonda, indexs# | K - Kripke Model | C++14 (GCC 6-32) | Полное решение | 93 мс | 3100 КБ |
| 22133090 | 09.11.2016 18:08 | ntu_vjudge_1 | K - Kripke Model | GNU C++11 | Полное решение | 93 мс | 3600 КБ |
| 21272551 | 08.10.2016 09:10 | PECaveros: paulwang, akaiNeko, eddy1021# | K - Kripke Model | C++14 (GCC 6-32) | Полное решение | 108 мс | 5100 КБ |
| 13318374 | 30.09.2015 19:14 | Saratov SU 3 Skibiribiri Nugarachok: Oleg_Smirnov, Perforator, Roms# | K - Kripke Model | MS C++ | Полное решение | 233 мс | 2800 КБ |
| 214623984 | 20.07.2023 16:36 | YoussefMorad1 | K - Kripke Model | C++20 (GCC 11-64) | Полное решение | 265 мс | 5600 КБ |
| 214625980 | 20.07.2023 16:53 | YoussefMorad1 | K - Kripke Model | C++20 (GCC 11-64) | Полное решение | 265 мс | 5600 КБ |
| 28469415 | 12.07.2017 12:32 | vjudge1 | K - Kripke Model | GNU C++ | Полное решение | 78 мс | 55200 КБ |
| 28469463 | 12.07.2017 12:34 | vjudge3 | K - Kripke Model | GNU C++ | Полное решение | 78 мс | 55200 КБ |
| 31123882 | 07.10.2017 20:29 | The Old Guard: 0xA28, osamahatem# | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 4200 КБ |
| 312490055 | 25.03.2025 23:09 | marcobarch | K - Kripke Model | C++17 (GCC 7-32) | Полное решение | 109 мс | 700 КБ |
| 21418152 | 14.10.2016 11:03 | มีดножknife: cchao, kevin4314, dihimono# | K - Kripke Model | C++14 (GCC 6-32) | Полное решение | 171 мс | 3500 КБ |
| 22051559 | 05.11.2016 11:35 | Ahmad_Elsagheer | K - Kripke Model | GNU C++11 | Полное решение | 171 мс | 4900 КБ |
| 281374300 | 15.09.2024 18:18 | 1st year (with a catch): Stanislau, kefolen, Karabutsa# | K - Kripke Model | C++20 (GCC 13-64) | Полное решение | 108 мс | 100 КБ |
| 28464981 | 12.07.2017 10:06 | vjudge3 | K - Kripke Model | GNU C++ | Полное решение | 62 мс | 11600 КБ |
| 20399574 | 05.09.2016 15:30 | Moscow IPT: Fire Ferrets: AndreySergunin, irkstepanov# | K - Kripke Model | GNU C++11 | Полное решение | 155 мс | 3100 КБ |
| 15555159 | 24.01.2016 15:30 | Fcdkbear# | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 4300 КБ |
| 12852679 | 05.09.2015 15:09 | ONU_Antananarivu: AnnKats93, romanova, Anarivu# | K - Kripke Model | GNU C++11 | Полное решение | 93 мс | 11200 КБ |
| 12856825 | 05.09.2015 21:00 | Al.Cash# | K - Kripke Model | GNU C++11 | Полное решение | 78 мс | 3300 КБ |
| 51545669 | 19.03.2019 23:04 | juanma | K - Kripke Model | C++17 (GCC 7-32) | Полное решение | 139 мс | 12300 КБ |
| 312137555 | 24.03.2025 06:05 | lira.frts | K - Kripke Model | C++23 (GCC 14-64, msys2) | Полное решение | 93 мс | 6300 КБ |
| 59554421 | 27.08.2019 08:26 | hank55663# | K - Kripke Model | C++17 (GCC 7-32) | Полное решение | 93 мс | 5800 КБ |
| 11940814 | 06.07.2015 03:47 | I_love_Tanya_Romanova# | K - Kripke Model | GNU C++11 | Полное решение | 233 мс | 31700 КБ |
| 224924528 | 24.09.2023 18:21 | 11Bar: akagi_shigeru, Dodolphin, KhB# | K - Kripke Model | C++20 (GCC 11-64) | Полное решение | 46 мс | 4200 КБ |
| 42487922 | 05.09.2018 13:18 | BigDawgsSociety: Teodor_Stefan_Pintea, munteanuvlad98, patrick.sava# | K - Kripke Model | C++17 (GCC 7-32) | Полное решение | 77 мс | 3800 КБ |
| 132206454 | 17.10.2021 12:46 | Lera Retired: Riladavin, Aleks5d, Makcum888# | K - Kripke Model | C++17 (GCC 9-64) | Полное решение | 62 мс | 5100 КБ |
| 19515041 | 30.07.2016 13:53 | Samara SAU : Haters: Petruchcho, pitfall# | K - Kripke Model | Java 8 | Полное решение | 373 мс | 14400 КБ |