Problem B - Boolean Satisfability
 
 
 
 
Contest status
 
 
# When Who Problem Lang Verdict Time Memory
131378334 Oct/10/2021 08:02 KAIST: DO Solve: est_stella, Onjo, Serin# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 30 ms 3800 KB
205399626 May/11/2023 10:29 dimachine# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 2000 KB
63917685 Oct/31/2019 13:39 *小小青蛙输给风雨: myworld, kr1210, lusto# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
86027105 Jul/05/2020 08:55 XMUCF: bibibihhh, g19wxy, yujik# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 4000 KB
71475973 Feb/20/2020 09:24 I_loved_celia B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 300 KB
42751452 Sep/11/2018 05:38 vjudge3 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 500 KB
174723838 Oct/05/2022 12:58 vjudge1 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 0 KB
32541620 Nov/22/2017 09:26 Team name(English): WYJ20154348, Static_Ricardo, bird_14# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 30 ms 300 KB
145617416 Feb/08/2022 10:42 YHY_team: roony20020505, henry0523ho, Tim_yu0527# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 200 KB
174326854 Oct/02/2022 08:34 vjudge5 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 0 KB
40245427 Jul/13/2018 03:06 KUT_Team2018: developer227, kutengine, black_horse2014# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 200 KB
35720027 Feb/26/2018 07:57 vjudge2 B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 2000 KB
50708633 Mar/03/2019 08:42 khsoo01# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 30 ms 100 KB
125912571 Aug/15/2021 12:13 Higher School of Abbreviations: Karabutsa, timav, Solenoid555# B - Boolean Satisfability Python 3 Accepted 77 ms 6800 KB
32610299 Nov/24/2017 07:37 Check it out: Syloviaely, shanquan2, SkyDec# B - Boolean Satisfability GNU C++11 Accepted 15 ms 2200 KB
32800063 Nov/30/2017 12:00 vjudge4 B - Boolean Satisfability GNU C++11 Accepted 62 ms 2300 KB
65532025 Nov/22/2019 15:48 posij118# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
118784755 Jun/08/2021 11:27                      10iq benchmark                     : JaroslavUrban# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
69543760 Jan/26/2020 02:58 _123123_ B - Boolean Satisfability Python 3 Accepted 109 ms 500 KB
100739073 Dec/09/2020 09:12 Xian Jiaotong U: Dodo Kindergarten: DistantYesterday, SunshinePie, nocriz# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
45265540 Nov/04/2018 08:39 vjudge1 B - Boolean Satisfability GNU C++11 Accepted 31 ms 100 KB
40560971 Jul/20/2018 03:21 -is-this-fft-# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
61420461 Sep/28/2019 14:35 [UFMG] Rábalabaxúrias: Paniago, rafaelgo, brunomont# B - Boolean Satisfability PyPy 3 Accepted 155 ms 100 KB
69499099 Jan/25/2020 08:47 Ari B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 200 KB
44616593 Oct/21/2018 05:19 vjudge2 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 500 KB
62191433 Oct/09/2019 12:48 vjudge4 B - Boolean Satisfability GNU C++11 Accepted 31 ms 200 KB
60061370 Sep/05/2019 10:10 RedNextCentury# B - Boolean Satisfability GNU C++11 Accepted 31 ms 2100 KB
63916863 Oct/31/2019 13:22 「明治十七年的上海爱丽丝」: oneman233, Misaka_QwQ, HiedanoAkyuu# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 30 ms 200 KB
46578673 Dec/04/2018 13:11 Kurut: _Dreamer_, kylychbek# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 46 ms 200 KB
56601486 Jul/06/2019 03:57 _gXX B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
59807859 Aug/31/2019 15:35 Emiso# B - Boolean Satisfability PyPy 2 Accepted 140 ms 0 KB
53726286 May/04/2019 07:35 cherry mud: NewClno1, frteen, Hipo_3412# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
144033364 Jan/26/2022 08:36 vjudge2 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 100 KB
170441467 Sep/01/2022 06:53 vjudge5 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 400 KB
32324416 Nov/15/2017 08:12 vjudge2 B - Boolean Satisfability GNU C++ Accepted 15 ms 300 KB
69067949 Jan/18/2020 22:36 MnM: zucker42, mjguru, NibNalin# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
43035654 Sep/18/2018 16:30 vjudge5 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 300 KB
178823618 Nov/01/2022 15:01 Madboly# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
44062922 Oct/10/2018 10:15 sultanhalim# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 200 KB
163655962 Jul/11/2022 13:22 上海宝钢: 2873531385, Langdao_Zhang, nidhs# B - Boolean Satisfability C++17 (GCC 7-32) Accepted 15 ms 0 KB
37697978 Apr/29/2018 04:56 Team name (English): fye2357, DaViD9901# B - Boolean Satisfability GNU C++ Accepted 31 ms 3600 KB
86025475 Jul/05/2020 08:26 ZengCuoAn Kindergarten: wh0816, GOATWU, DWAE86# B - Boolean Satisfability GNU C++11 Accepted 31 ms 4200 KB
348253476 Nov/10/2025 12:07 andrei_boaca# B - Boolean Satisfability C++23 (GCC 14-64, msys2) Accepted 62 ms 0 KB
32234457 Nov/12/2017 07:35 vjudge5 B - Boolean Satisfability GNU C++ Accepted 15 ms 200 KB
36788827 Apr/01/2018 08:30 vjudge1 B - Boolean Satisfability GNU C++11 Accepted 31 ms 3600 KB
32572407 Nov/23/2017 13:45 vjudge2 B - Boolean Satisfability GNU C++ Accepted 30 ms 1100 KB
44650272 Oct/21/2018 14:20 Jupitercal B - Boolean Satisfability C++14 (GCC 6-32) Accepted 15 ms 200 KB
170694789 Sep/03/2022 08:27 oRZCk: -1e11, rgnerdplayer# B - Boolean Satisfability C++20 (GCC 11-64) Accepted 15 ms 0 KB
53848087 May/07/2019 15:07 vjudge3 B - Boolean Satisfability C++17 (GCC 7-32) Accepted 31 ms 100 KB
45464644 Nov/09/2018 08:09 OEIS: starry2024, Grunt# B - Boolean Satisfability C++14 (GCC 6-32) Accepted 31 ms 200 KB
Sort by: