eolymp
bolt
Try our new interface for solving problems
Problems

Yet Satisfiability Again!

Submits: 70
Accepted submits: 44
Users submitted: 46
Users accepted: 40
Complexity: 13%
The complexity of the problem is determined by the ratio between number of users who have solved the problem, and number of users who have submitted solution.

Best solutions

#UserSubmit dateTimeMemoryLang
2602097Andriy77 Apr 18, 2016, 5:46:33 PM 81 ms 708608 KB C++ 11 (gnu 10.2)
2603492bdp Apr 19, 2016, 2:33:38 PM 86 ms 708608 KB C++ 11 (gnu 10.2)
2599802tyamgin Apr 17, 2016, 12:42:38 PM 87 ms 708608 KB C++ 11 (gnu 10.2)
14975294TOGRUL_INFORMATIKA Nov 2, 2023, 4:43:03 PM 174 ms 860160 KB C++ 17 (gnu 10.2)
2599305mveliyev Apr 16, 2016, 11:11:35 PM 176 ms 708608 KB C++ 11 (gnu 10.2)
12601600 Jan 5, 2023, 9:59:46 AM 178 ms 606208 KB C++ 11 (gnu 10.2)
15594677Ropal Dec 27, 2023, 9:02:40 PM 177 ms 860160 KB C++ 11 (gnu 10.2)
11868516fdj Oct 20, 2022, 12:19:18 PM 179 ms 606208 KB C++ 17 (gnu 10.2)
12421888hcyevelnur Dec 10, 2022, 11:31:44 PM 179 ms 610304 KB C++ 17 (gnu 10.2)
11770212zimaexe Oct 13, 2022, 11:11:47 AM 179 ms 610304 KB C++ 17 (gnu 10.2)
12380997elchin_aliyev Dec 5, 2022, 7:19:14 PM 179 ms 606208 KB C++ 17 (gnu 10.2)
15625490 Jan 4, 2024, 1:14:04 PM 178 ms 860160 KB C++ 17 (gnu 10.2)
15798198 Jan 25, 2024, 10:18:58 PM 178 ms 860160 KB C++ 17 (gnu 10.2)
11144517ibrahim001 Jun 3, 2022, 8:53:02 AM 219 ms 610304 KB C++ 17 (gnu 10.2)
11155836Xanlar2004 Jun 6, 2022, 10:12:53 PM 250 ms 606208 KB C++ 17 (gnu 10.2)
10530527qasimoff__2008 Feb 18, 2022, 1:56:58 PM 257 ms 602112 KB C++ 17 (gnu 10.2)
10001107Maryna_ Nov 30, 2021, 2:01:58 AM 264 ms 606208 KB C++ 17 (gnu 10.2)
10945564khuliyef_m Apr 26, 2022, 5:10:24 AM 265 ms 602112 KB C++ 17 (gnu 10.2)
10754245 Mar 25, 2022, 10:08:11 AM 267 ms 602112 KB C++ 17 (gnu 10.2)
7105568andriidem Jun 2, 2020, 4:08:12 PM 262 ms 1966080 KB C++ 11 (gnu 10.2)
8545773hasanov.r Feb 24, 2021, 8:25:04 PM 265 ms 2265088 KB C++ 11 (gnu 10.2)
7012429vsl24 May 6, 2020, 4:28:21 PM 267 ms 1941504 KB C++ 11 (gnu 10.2)
10806537 Apr 2, 2022, 4:46:56 PM 277 ms 602112 KB C++ 17 (gnu 10.2)
10831224VitaliiBB Apr 6, 2022, 3:15:56 PM 268 ms 2113536 KB C++ 11 (gnu 10.2)
9116733abdullahazharuddeen Jun 25, 2021, 1:39:24 PM 271 ms 2117632 KB C++ 11 (gnu 10.2)