Problem F
3SAT — Problem Statistics

Back to problem description

Submissions	2099
Accepted submissions	1093
Submission ratio	52.07%
Authors	194
Full solves [?]	91
Full solve Ratio	46.91%

#	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	Abdullah Al Noman	0.01 s	C++	2025-11-10 07:54:57
5	John Rothpletz	0.03 s	C++	2025-11-04 19:47:12
6	Benjamin Sepanski	0.04 s	C++	2019-11-01 16:01:53
7	Jorge Yero Salazar	0.06 s	C++	2022-11-08 06:58:10
8	Xiaohui Chen	0.06 s	C++	2024-11-09 19:30:57
9	Carter Collins	0.08 s	C++	2025-11-10 03:56:23
10	Willie Brown	0.09 s	C++	2025-11-11 01:17:11

#	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	Mark Josephs	0.99 s	Java	2025-11-10 17:49:28
10	Jingya Wang	1.22 s	Java	2019-11-11 05:13:16

#	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	Maryam Samami	0.09 s	Python 3	2025-11-10 11:31:48
2	Ana Paula Arguelles Terron	0.14 s	Python 3	2024-11-11 05:06:24
3	Kevin Fritz	0.14 s	Python 3	2025-03-24 19:15:10
4	Abanisenioluwa Kolawole Orojo	0.15 s	Python 3	2024-11-08 19:59:16
5	Matthew Tuan	0.15 s	Python 3	2025-04-02 07:02:39
6	Sharmin Fatema	0.15 s	Python 3	2025-11-06 03:48:45
7	Danielle Boswell	0.16 s	Python 3	2025-11-07 19:42:48
8	Andrew Hamara	0.16 s	Python 3	2025-11-09 21:14:38
9	Kofi Nketia Ackaah-Gyasi	0.17 s	Python 3	2024-11-12 04:24:26
10	Ryan Sherer	0.17 s	Python 3	2025-03-08 22:52:13

#	User	Length	Language	Date
1	Greg Walkup	1266	C++	2016-11-13 03:18:32
2	Dong Li	1473	C++	2025-11-09 01:48:45
3	Tanvir Ahmed Redoy	1491	C++	2025-11-09 05:15:54
4	Jeremy	1543	C++	2025-11-08 19:36:43
5	Brian Langford	1549	C++	2016-11-16 01:33:53
6	Swapnil Saha	1574	C++	2021-08-21 19:28:49
7	Abdullah Al Maruf	1828	C++	2020-11-09 07:06:01
8	Mahee Noor Tayba	1836	C++	2020-11-10 01:20:46
9	Ashfaqul Islam	2101	C++	2025-11-10 08:21:25
10	Danielle Samuels	2210	C++	2025-03-23 07:03:32

#	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	Mark Josephs	3438	Java	2025-11-10 17:49:28
9	Nicholas Bava	3499	Java	2024-03-23 20:35:43
10	Sean Lavoie	3737	Java	2017-11-13 21:56:26

#	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	Andrew Hamara	385	Python 3	2025-11-10 08:01:32
2	Ryan Sherer	486	Python 3	2025-03-20 03:56:50
3	Salma Battisha	1124	Python 3	2024-11-10 20:12:32
4	Alejandro Medina	1239	Python 3	2024-11-12 04:03:17
5	Kevin Fritz	1480	Python 3	2025-03-24 19:29:26
6	Christopher Chenoweth	1512	Python 3	2024-11-12 02:01:49
7	Jared Jones	1590	Python 3	2025-11-11 04:10:11
8	Matthew Tuan	1697	Python 3	2025-04-02 07:02:39
9	Maryam Samami	1763	Python 3	2025-11-10 11:33:37
10	Danielle Boswell	1774	Python 3	2025-11-07 19:42:48

Solution running time distribution