| # | When | Who | Problem | Lang | Verdict | Time | Memory |
|---|---|---|---|---|---|---|---|
| 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 |
| 213612038 | Jul/13/2023 10:37 | SHARAP Neutral: vekotov, JIaIILLIa, Liswiera# | K - Kripke Model | C# 10 | Accepted | 171 ms | 11200 KB |
