Problem B - Boolean Satisfability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
91986088 Sep/06/2020 08:45 UHISHIRO: suta, kiyoshi0205, siro53# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
170696895 Sep/03/2022 08:54 ٩(´ᗜ`*)و: joylintp, yungyao, Ji_Kuai# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 0 KB
86026106 Jul/05/2020 08:38 XMUCF: passer_by7, farmerj, Witcano# B - Boolean Satisfability GNU C++11 Accepted 31 ms 4200 KB
62418011 Oct/12/2019 15:08 treinar: marcospb19, pauloamed, andrewinston# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
64472585 Nov/07/2019 16:29 WF ISA: Half-Blood_Prince, Hassanosama# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 300 KB
94417650 Oct/01/2020 18:02 caiocbr B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
32211287 Nov/11/2017 08:43 TATUFB: azikolmn, abduqunduz, SARVARBEK# B - Boolean Satisfability GNU C++11 Accepted 15 ms 200 KB
32643590 Nov/25/2017 13:08 Convex_Lull: abhikalpu_123, rashish2202, aviroop123# B - Boolean Satisfability GNU C++11 Accepted 30 ms 2200 KB
32324187 Nov/15/2017 07:51 vjudge3 B - Boolean Satisfability GNU C++ Accepted 15 ms 300 KB
32430251 Nov/18/2017 15:14 Lab 104: ShahedMM, Reem, Jester# B - Boolean Satisfability GNU C++11 Accepted 30 ms 300 KB
42109129 Aug/26/2018 07:21 vjudge5 B - Boolean Satisfability GNU C++11 Accepted 31 ms 1100 KB
224713089 Sep/23/2023 10:54 SweetHash2: NikitaLobaev, FedorX, PoLoNiUm# B - Boolean Satisfability PyPy 3 Accepted 92 ms 0 KB
32420305 Nov/18/2017 07:40 vjudge1 B - Boolean Satisfability GNU C++ Accepted 30 ms 200 KB
40245301 Jul/13/2018 02:54 hcs1994# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 200 KB
46930218 Dec/12/2018 14:15 HuoDui: KZNS, githubofhuo, IAT14# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 500 KB
145719181 Feb/09/2022 09:53 ladyfingers: huahua1018, hjh0309, vayne20011125# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 0 KB
170694969 Sep/03/2022 08:30 std_abs: syl123456, abc864197532, BurnedChicken# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 0 KB
70538444 Feb/08/2020 07:47 RescueRangers: Nickir, AntonovKirill# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
53867336 May/08/2019 08:27 HZNU_TI1050: lts, Dup4# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
144611337 Jan/31/2022 07:28 SHHK_test B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 0 KB
40245214 Jul/13/2018 02:46 KUT_Team_3: kut_kjb1994# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 200 KB
97847564 Nov/07/2020 16:24 carevi: jurichhh8, ominikfistric, Shtef# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
32191626 Nov/10/2017 13:47 BanFcc# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 400 KB
56830060 Jul/11/2019 09:36 UAIC: VYE: cristian1997, denis2111, Juve45# B - Boolean Satisfability Python 3 Accepted 109 ms 0 KB
170444509 Sep/01/2022 08:03 vjudge4 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 0 KB
33622475 Dec/25/2017 18:57 Y!: SAeed, Mhammad1# B - Boolean Satisfability GNU C++ Accepted 62 ms 2200 KB
32234883 Nov/12/2017 08:09 vjudge1 B - Boolean Satisfability GNU C++ Accepted 15 ms 1200 KB
84856375 Jun/24/2020 08:44 vjudge1 B - Boolean Satisfability GNU C++11 Accepted 31 ms 4000 KB
35720152 Feb/26/2018 08:07 vjudge5 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 3000 KB
32203355 Nov/10/2017 21:38 slavok1732 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 300 KB
37087425 Apr/08/2018 07:41 salty fish in the north lake: miamiao, zhouhebin, strawberrry# B - Boolean Satisfability GNU C++11 Accepted 31 ms 3700 KB
59778306 Aug/31/2019 04:21 Dorgival Tree with Biliu Propagation: Arthurvtr, guga, joaom# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 300 KB
32662536 Nov/26/2017 08:39 vjudge4 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 2200 KB
46577658 Dec/04/2018 12:34 Taza: bbmirbek, bktl1love# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
100683879 Dec/08/2020 13:07 vjudge3 B - Boolean Satisfability GNU C++11 Accepted 15 ms 100 KB
39232347 Jun/14/2018 08:43 UT a.k.a Is: HIR180, yokozuna57, yutaka1999# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 300 KB
95179932 Oct/11/2020 09:48 monggo1995 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 46 ms 200 KB
96278452 Oct/21/2020 17:32 Angelina_Kurepina B - Boolean Satisfability GNU C++11 Accepted 31 ms 100 KB
97988357 Nov/09/2020 14:27 nvujica B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
172411087 Sep/17/2022 05:51 _Ice_Tea_# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 0 KB
252395093 Mar/20/2024 08:26 Solanum lycopersicum L. Fan Club: hhoppitree, HaHeHyt# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 0 KB
32523772 Nov/21/2017 14:42 vjudge2 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 200 KB
70494136 Feb/07/2020 12:59 Naofumi_SH# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
167321013 Aug/06/2022 22:36 tUNometescabra: JhonnyZaz, -osdajigu-, prins# B - Boolean Satisfability C++17 (GCC 9-64) Accepted 15 ms 0 KB
40160792 Jul/10/2018 10:00 vjudge4 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 600 KB
32210660 Nov/11/2017 08:06 NEFU 1: mirrorqman, Loesen, nukeykt# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 100 KB
144033286 Jan/26/2022 08:35 vjudge4 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 100 KB
199051778 Mar/25/2023 10:20 vjudge3 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 200 KB
347145550 Nov/02/2025 21:51 Opes_Mentis B - Boolean Satisfability C++23 (GCC 14-64, msys2) Accepted 62 ms 0 KB
61419700 Sep/28/2019 14:23 dilsonguim# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 300 KB
Sort by: