Problem F
3SAT — Problem Statistics

Back to problem description

Submissions	1969
Accepted submissions	1009
Submission ratio	51.24%
Authors	167
Full solves [?]	69
Full solve Ratio	41.32%

#	User	Score	Language	Date
1	Joseph Huang	70	Go	2016-11-11 18:03:25

#	User	Score	Language	Date
1	Andrew Molina	70	JavaScript (Node.js)	2024-03-26 23:30:43

#	User	Score	Language	Date
1	Hidden user	100	Python 2	2016-11-12 22:09:05
2	Andrew Kronser	100	Python 2	2017-11-10 02:39:14
3	Nick Rohn	70	Python 2	2017-11-13 03:05:20

#	User	Runtime	Language	Date
1	Matt Kendzior	0.01 s	C++	2017-11-14 01:25:59
2	Hidden user	0.01 s	C++	2021-11-02 13:50:26
3	Christen Barringer	0.01 s	C++	2025-04-01 03:57:58
4	John Rothpletz	0.03 s	C++	2025-11-04 19:47:12
5	Benjamin Sepanski	0.04 s	C++	2019-11-01 16:01:53
6	Jorge Yero Salazar	0.06 s	C++	2022-11-08 06:58:10
7	Xiaohui Chen	0.06 s	C++	2024-11-09 19:30:57
8	Emmanuelli Everept Jeffrey El-Mahmoud	0.10 s	C++	2021-11-08 06:55:23
9	Andrew Walker	0.15 s	C++	2022-03-28 16:23:15
10	Hidden user	0.32 s	C++	2019-11-10 22:48:57

#	User	Runtime	Language	Date
1	Amr Elsayed	0.36 s	Java	2021-11-08 22:13:07
2	Hidden user	0.43 s	Java	2017-11-13 01:19:56
3	Matthew Griffin	0.46 s	Java	2017-11-14 15:36:22
4	Jonathan Simmons	0.47 s	Java	2019-11-12 10:56:56
5	Nicholas Bava	0.60 s	Java	2024-03-23 20:35:43
6	Sean Lavoie	0.72 s	Java	2017-11-13 21:56:26
7	Hidden user	0.98 s	Java	2017-11-13 03:43:51
8	Khifayat Abolurin	0.98 s	Java	2025-03-26 01:23:23
9	Jingya Wang	1.22 s	Java	2019-11-11 05:13:16
10	Mohammad Abu-Shaira	1.50 s	Java	2021-11-09 06:01:17

#	User	Runtime	Language	Date
1	Hidden user	0.13 s	Python 2	2016-11-12 22:09:05
2	Andrew Kronser	0.22 s	Python 2	2017-11-10 02:42:54

#	User	Runtime	Language	Date
1	Ana Paula Arguelles Terron	0.14 s	Python 3	2024-11-11 05:06:24
2	Kevin Fritz	0.14 s	Python 3	2025-03-24 19:15:10
3	Abanisenioluwa Kolawole Orojo	0.15 s	Python 3	2024-11-08 19:59:16
4	Matthew Tuan	0.15 s	Python 3	2025-04-02 07:02:39
5	Sharmin Fatema	0.15 s	Python 3	2025-11-06 03:48:45
6	Kofi Nketia Ackaah-Gyasi	0.17 s	Python 3	2024-11-12 04:24:26
7	Ryan Sherer	0.17 s	Python 3	2025-03-08 22:52:13
8	Xiang Fang	0.18 s	Python 3	2024-11-12 04:43:14
9	Bryant Huang	0.22 s	Python 3	2024-11-12 07:05:59
10	Benjamin Pung	0.23 s	Python 3	2024-03-20 21:20:45

#	User	Length	Language	Date
1	Greg Walkup	1266	C++	2016-11-13 03:18:32
2	Brian Langford	1549	C++	2016-11-16 01:33:53
3	Swapnil Saha	1574	C++	2021-08-21 19:28:49
4	Abdullah Al Maruf	1828	C++	2020-11-09 07:06:01
5	Mahee Noor Tayba	1836	C++	2020-11-10 01:20:46
6	Danielle Samuels	2210	C++	2025-03-23 07:03:32
7	Kelechi Fletcher	2359	C++	2016-11-14 21:02:51
8	Xiaohui Chen	2430	C++	2024-11-09 19:30:57
9	Pratistha Shrestha	2460	C++	2019-11-12 03:34:08
10	Colin Burdine	2791	C++	2018-10-31 05:50:55

#	User	Length	Language	Date
1	Korn Sooksatra	1476	Java	2020-11-09 08:11:33
2	Matthew Griffin	1795	Java	2017-11-14 15:36:22
3	Hidden user	2267	Java	2017-11-13 03:43:51
4	Hidden user	2631	Java	2019-12-17 06:08:26
5	Jie Ren	3076	Java	2022-11-08 05:18:57
6	Jingya Wang	3154	Java	2019-11-11 04:55:43
7	Khifayat Abolurin	3412	Java	2025-03-26 01:23:23
8	Nicholas Bava	3499	Java	2024-03-23 20:35:43
9	Sean Lavoie	3737	Java	2017-11-13 21:56:26
10	Yixiao Gao	3915	Java	2020-11-10 03:28:17

#	User	Length	Language	Date
1	Andrew Kronser	1654	Python 2	2017-11-10 02:42:54
2	Hidden user	3396	Python 2	2016-11-12 22:09:05

#	User	Length	Language	Date
1	Ryan Sherer	486	Python 3	2025-03-20 03:56:50
2	Salma Battisha	1124	Python 3	2024-11-10 20:12:32
3	Alejandro Medina	1239	Python 3	2024-11-12 04:03:17
4	Kevin Fritz	1480	Python 3	2025-03-24 19:29:26
5	Christopher Chenoweth	1512	Python 3	2024-11-12 02:01:49
6	Matthew Tuan	1697	Python 3	2025-04-02 07:02:39
7	Isaac Marsh	1926	Python 3	2024-11-12 02:24:17
8	Sharmin Fatema	1928	Python 3	2025-11-06 04:03:50
9	Jie Ren	2059	Python 3	2022-11-07 01:09:23
10	Ana Paula Arguelles Terron	2207	Python 3	2024-11-11 03:34:52

Solution running time distribution