| # | When | Who | Problem | Lang | Verdict | Time | Memory |
|---|---|---|---|---|---|---|---|
| 44175954 | Oct/12/2018 11:53 | Felan esm nadarim: dorostmishe, Arpa# | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 800 KB |
| 153689118 | Apr/15/2022 07:21 | XY_cpp | M - Modifying SAT | C++17 (GCC 9-64) | Accepted | 46 ms | 4000 KB |
| 125044414 | Aug/06/2021 14:02 | HYPERHYPERHYPERCUBELOVER | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 31 ms | 4100 KB |
| 125043854 | Aug/06/2021 13:55 | HYPERHYPERHYPERCUBELOVER | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 31 ms | 4200 KB |
| 44426646 | Oct/17/2018 07:55 | vjudge3 | M - Modifying SAT | GNU C++11 | Accepted | 46 ms | 700 KB |
| 43102790 | Sep/20/2018 09:33 | lucyanna2018# | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 31 ms | 800 KB |
| 286829074 | Oct/19/2024 20:43 | LuCpp | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 108 ms | 400 KB |
| 43615490 | Sep/30/2018 19:11 | skydog | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 46 ms | 500 KB |
| 129431276 | Sep/20/2021 21:47 | Deaga | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 109 ms | 7600 KB |
| 103886701 | Jan/09/2021 17:13 | Chinchila | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 1200 KB |
| 228092925 | Oct/14/2023 01:59 | AngelOlan | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 15 ms | 500 KB |
| 296854513 | Dec/16/2024 17:15 | amigodojoseph | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 61 ms | 100 KB |
| 176499039 | Oct/16/2022 17:04 | vjudge4 | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 31 ms | 500 KB |
| 103879981 | Jan/09/2021 15:50 | Chinchila | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 1200 KB |
| 103882478 | Jan/09/2021 16:22 | Chinchila | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 1200 KB |
| 103882807 | Jan/09/2021 16:26 | Chinchila | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 1100 KB |
| 103880624 | Jan/09/2021 15:59 | Chinchila | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 1200 KB |
| 43097140 | Sep/20/2018 04:22 | Emiso | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 62 ms | 1000 KB |
| 286132782 | Oct/15/2024 23:26 | Infinite Loopers: burg113, gloria_mundi, Jonas01234500# | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 124 ms | 2500 KB |
| 43737647 | Oct/03/2018 19:38 | splucs | M - Modifying SAT | GNU C++11 | Accepted | 46 ms | 900 KB |
| 43426061 | Sep/25/2018 23:16 | danya090699 | M - Modifying SAT | GNU C++11 | Accepted | 61 ms | 500 KB |
| 98127269 | Nov/11/2020 16:09 | FallingStar | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 600 KB |
| 43054840 | Sep/19/2018 05:40 | samuelfgs | M - Modifying SAT | GNU C++11 | Accepted | 46 ms | 600 KB |
| 324186441 | Jun/13/2025 06:44 | darkmx0z | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 77 ms | 100 KB |
| 132971060 | Oct/25/2021 05:04 | fcw | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 2600 KB |
| 132970974 | Oct/25/2021 05:00 | fcw | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 46 ms | 2600 KB |
| 43349121 | Sep/24/2018 03:03 | Dranoel321 | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 46 ms | 500 KB |
| 324319368 | Jun/14/2025 06:57 | 0xor1 | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 46 ms | 0 KB |
| 103887041 | Jan/09/2021 17:17 | fcw | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 46 ms | 1500 KB |
| 43998909 | Oct/08/2018 15:47 | vjudge4 | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 46 ms | 900 KB |
| 43416013 | Sep/25/2018 18:33 | leaomatheus | M - Modifying SAT | GNU C++11 | Accepted | 46 ms | 500 KB |
| 43434783 | Sep/26/2018 07:39 | vjudge2 | M - Modifying SAT | GNU C++11 | Accepted | 46 ms | 500 KB |
| 151280890 | Mar/29/2022 00:14 | fcw | M - Modifying SAT | C++20 (GCC 11-64) | Accepted | 15 ms | 1000 KB |
| 151004332 | Mar/26/2022 16:11 | fcw | M - Modifying SAT | C++20 (GCC 11-64) | Accepted | 31 ms | 1000 KB |
| 329103454 | Jul/15/2025 21:40 | mathiasgw | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 61 ms | 1500 KB |
| 43389769 | Sep/25/2018 02:43 | bicsi | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 46 ms | 700 KB |
| 43783327 | Oct/04/2018 14:21 | cor001 | M - Modifying SAT | GNU C++11 | Accepted | 31 ms | 600 KB |
| 43048737 | Sep/18/2018 22:39 | victoragnez | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 31 ms | 500 KB |
| 67386515 | Dec/21/2019 21:00 | AlexPop28 | M - Modifying SAT | GNU C++11 | Accepted | 46 ms | 700 KB |
| 94596648 | Oct/03/2020 22:34 | freak93 | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 62 ms | 500 KB |
| 332718203 | Aug/07/2025 04:51 | mika_uwu | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 93 ms | 100 KB |
| 59797395 | Aug/31/2019 12:03 | MofK# | M - Modifying SAT | C++14 (GCC 6-32) | Accepted | 31 ms | 500 KB |
| 82408911 | Jun/03/2020 17:58 | KOMOREBI: jell, math957963, noimi# | M - Modifying SAT | C++17 (GCC 9-64) | Accepted | 62 ms | 1600 KB |
| 323830730 | Jun/11/2025 01:18 | vjudge.8 | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 109 ms | 0 KB |
| 286129496 | Oct/15/2024 22:50 | KIT Training 1: qwexd, imirdy# | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 125 ms | 3900 KB |
| 102134394 | Dec/23/2020 19:08 | Xylofo | M - Modifying SAT | C++17 (GCC 9-64) | Accepted | 61 ms | 1000 KB |
| 324182172 | Jun/13/2025 05:45 | darkmx0z | M - Modifying SAT | C++20 (GCC 13-64) | Accepted | 109 ms | 100 KB |
| 162624584 | Jul/03/2022 12:20 | oizo1211 | M - Modifying SAT | C++20 (GCC 11-64) | Accepted | 15 ms | 500 KB |
| 133290853 | Oct/28/2021 00:40 | gustavo_m32 | M - Modifying SAT | C++17 (GCC 7-32) | Accepted | 31 ms | 2200 KB |
| 244460461 | Feb/01/2024 22:22 | Ayalla | M - Modifying SAT | C++20 (GCC 11-64) | Accepted | 140 ms | 2000 KB |

| Name |
|---|


