Problem B - Boolean Satisfability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
32177024 Nov/09/2017 21:04 Ghost participant SPb State University 1 (Bochkov, Gaevoi, Petrov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177030 Nov/09/2017 21:04 Ghost participant SPb ITMO University 2 (Budin, Drozdova, Kirillov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177035 Nov/09/2017 21:04 Ghost participant SPb ITMO University 7 (Pleshakov, Sviridov, Trapeznikov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177050 Nov/09/2017 21:04 Ghost participant SPb Academic University 2 (Alferov, Tukh, Yutman) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177065 Nov/09/2017 21:04 Ghost participant SPb State University 12 (Alekseev, Ivanov, Novikov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177066 Nov/09/2017 21:04 Ghost participant SPb Academic University 3 (Babushkin, Makhnev, Trilis) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177070 Nov/09/2017 21:04 Ghost participant SPb ITMO University 15 (Amirov, Zabashta, Kolobov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177074 Nov/09/2017 21:04 Ghost participant Northern (Arctic) Federal University (Asyutchenko, Dyachkov, Guriev) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177095 Nov/09/2017 21:04 Ghost participant SPb Academic University 6 (Olemskaya, Shevchenko, Sofronova) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177116 Nov/09/2017 21:04 Ghost participant SPb ITMO University 6 (Oreshnikov, Sokolov, Khala) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177123 Nov/09/2017 21:04 Ghost participant Petrozavodsk State University 2 (Ermishin, Ermolin, Kobeleva) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177129 Nov/09/2017 21:04 Ghost participant SPb State University 26 (Abramchik, Mekumyanov, Poletanskiy) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177143 Nov/09/2017 21:04 Ghost participant SPb ITMO University 13 (Gromov, Romanov, Khabibullin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177145 Nov/09/2017 21:04 Ghost participant SPb ITMO University 8 (Bumagina, Kozelko, Kostlivtsev) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177151 Nov/09/2017 21:04 Ghost participant SPb ITMO University 16 (Vikhlyaev, Safaryan, Mukhametkulov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177155 Nov/09/2017 21:04 Ghost participant SPb State University 31 (Bashaev, Pak, Yartsev) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177159 Nov/09/2017 21:04 Ghost participant SPb Academic University 1 (Belova, Fedorov, Sayutin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177160 Nov/09/2017 21:04 Ghost participant Petrozavodsk State University 3 (Evstafeev, Remeslennikov, Titov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177165 Nov/09/2017 21:04 Ghost participant SPb State University 22 (Logunov, Makarov, Savchenkov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177169 Nov/09/2017 21:04 Ghost participant Petrozavodsk State University 1 (Alkin, Kukushkin, Ostakova) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177171 Nov/09/2017 21:04 Ghost participant SPb State University 14 (Martynovich, Mendaliev, Shorkhoev) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177186 Nov/09/2017 21:04 Ghost participant SPb Academic University 8 (Ermilov, Fedorkina, Labutin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177192 Nov/09/2017 21:04 Ghost participant SPb State University 24 (Belichenko, Markov, Spirin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177202 Nov/09/2017 21:04 Ghost participant SPb Academic University 7 (Podguzov, Smirnov, Stepanov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177210 Nov/09/2017 21:04 Ghost participant Mozhaisky Military Space Academy 1 (Ilatovskiy, Kubantsev, Lukin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177216 Nov/09/2017 21:04 Ghost participant SPb ITMO University 1 (Belonogov, Zban, Putilin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177225 Nov/09/2017 21:04 Ghost participant SPb State University 25 (Kanteev, Musatian, Smirnov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177226 Nov/09/2017 21:04 Ghost participant SPb ITMO University 3 (Naumov, Turaev, Philipchik) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177227 Nov/09/2017 21:04 Ghost participant SPb State University 20 (Dobronravov, Dobronravov, Kassihin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177230 Nov/09/2017 21:04 Ghost participant SPb Academic University 4 (Gavrilov, Surkov, Yepifanov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177232 Nov/09/2017 21:04 Ghost participant SPb Academic University 5 (Gaev, Lyubort, Nefedov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177251 Nov/09/2017 21:04 Ghost participant SPb State University 2 (Leonova, Rakhimov, Shcherbakov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177279 Nov/09/2017 21:04 Ghost participant SPb State University 16 (Kireev, Panfilyonok, Zaitcev) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177282 Nov/09/2017 21:04 Ghost participant SPb ITMO University 5 (Aknazarov, Meshscheryakov, Sychev) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177283 Nov/09/2017 21:04 Ghost participant SPb Electrotechnical University 1 (Chulanov, Ilin, Skorospelov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177298 Nov/09/2017 21:04 Ghost participant SPb ITMO University 12 (Vinokurov, Savinov, Teplyakov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177299 Nov/09/2017 21:04 Ghost participant SPb ITMO University 9 (Kornilov, Pavlyuk, Sharipov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177316 Nov/09/2017 21:04 Ghost participant SPb Baltic State Technical University 1 (Ivanyk, Matveev, Stepanov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177350 Nov/09/2017 21:04 Ghost participant SPb State University 5 (Bzikadze, Nebogatikov, Pravdyukov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177359 Nov/09/2017 21:04 Ghost participant SPb State University 27 (Gusev, Tursunova, Volodin) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177366 Nov/09/2017 21:04 Ghost participant SPb State University 4 (Ovechkin, Romanenko, Sokolov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177367 Nov/09/2017 21:04 Ghost participant SPb ITMO University 4 (Belikov, Daminov, Petrovski) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177374 Nov/09/2017 21:04 Ghost participant SPb State University 6 (Efimov, Marakhovskii, Panasovets) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177376 Nov/09/2017 21:04 Ghost participant SPb ITMO University 17 (Makeev, Osipov, Telnoi) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177380 Nov/09/2017 21:04 Ghost participant SPb State Polytechnic University 2 (Istomin, Shergalis, Stoyanovskiy) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177389 Nov/09/2017 21:04 Ghost participant SPb State University 7 (Kuchkarov, Malykh, Tishchuk) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177391 Nov/09/2017 21:04 Ghost participant SPb State University 3 (Gavaza, Gubkin, Konenkov) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177398 Nov/09/2017 21:04 Ghost participant SPb State University 9 (Alexandrov, Belousov, Kruchinina) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177399 Nov/09/2017 21:04 Ghost participant Mozhaisky Military Space Academy 3 (Antonov, Archakov, Lebedev) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
32177410 Nov/09/2017 21:04 Ghost participant SPb State University 28 (Aivazyian, Glushen, Martynova) B - Boolean Satisfability Unknown Accepted 0 ms 0 KB
Sort by: