| № | Когда | Кто | Задача | Язык | Вердикт | Время | Память |
|---|---|---|---|---|---|---|---|
| 13289425 | 29.09.2015 02:43 | pimpke | K - Kripke Model | GNU C++ | Полное решение | 93 мс | 4400 КБ |
| 12425159 | 09.08.2015 14:24 | Команда имени А.П.Беловой: vitux, Ancient_mage, jk_qq# | K - Kripke Model | MS C++ | Полное решение | 202 мс | 2900 КБ |
| 213612038 | 13.07.2023 10:37 | SHARAP Neutral: vekotov, JIaIILLIa, Liswiera# | K - Kripke Model | C# 10 | Полное решение | 171 мс | 11200 КБ |
