Problem K
Yet Satisfiability Again! — Problem Statistics

Back to problem description

Submissions	3550
Accepted submissions	1037
Submission ratio	29.21%
Authors	705
Full solves [?]	602
Full solve Ratio	85.39%

#	User	Runtime	Language	Date
1	Henrik Lindström	0.03 s	C	2019-04-19 20:59:41
2	Alexander Bilde Pedersen	0.04 s	C	2024-10-25 15:16:04
3	Ivan Petrov	0.17 s	C	2020-02-28 09:00:03
4	Franklin Davy KAMGA CHEUKO	0.31 s	C	2025-04-20 20:27:39
5	Bergur Snorrason	0.39 s	C	2020-02-21 07:46:39

#	User	Runtime	Language	Date
1	Dỗn Lùng	0.43 s	C#	2019-11-29 15:41:01
2	Sandip Choudhary	1.12 s	C#	2024-11-26 10:03:17
3	Laurent Colin	1.60 s	C#	2022-03-31 14:29:15

#	User	Runtime	Language	Date
1	Norbert Voelker	0.02 s	Go	2022-08-21 18:55:32
2	Diamond	0.75 s	Go	2022-11-19 08:35:45
3	Vilhelm Melkstam	1.80 s	Go	2022-04-26 20:35:34

#	User	Runtime	Language	Date
1	Steinar Simonnes	0.01 s	Haskell	2025-08-11 13:50:16
2	Patrik Andersson	0.18 s	Haskell	2016-04-28 18:40:46
3	Brent Yorgey	0.19 s	Haskell	2017-10-24 03:18:00
4	Johan Meier	1.21 s	Haskell	2017-01-02 12:36:54

#	User	Runtime	Language	Date
1	David Brink	0.10 s	Java	2018-09-09 18:39:44
2	Jonas Stendahl	0.13 s	Java	2015-11-04 13:20:44
3	John Eriksson	0.14 s	Java	2015-11-05 16:20:36
4	Christian Thorarensen	0.15 s	Java	2020-04-06 14:27:19
5	Daniel Millevik	0.16 s	Java	2015-11-09 17:50:06
6	Niklas Rönnholm	0.17 s	Java	2015-11-10 01:10:55
7	Jiru Xu	0.20 s	Java	2017-09-20 04:56:13
8	Micah Stairs	0.21 s	Java	2016-12-05 00:23:16
9	Jonathan Hartnett	0.22 s	Java	2018-09-11 22:07:54
10	Terrence Park	0.25 s	Java	2016-04-01 19:04:44

#	User	Runtime	Language	Date
1	Bjørn Chr. Soltvedt	0.05 s	JavaScript (SpiderMonkey)	2021-03-22 18:17:59
2	Jimmy Gustafsson	0.19 s	JavaScript (SpiderMonkey)	2022-09-15 18:55:47
3	Christian Pilegaard Cederquist	0.85 s	JavaScript (SpiderMonkey)	2023-11-03 19:04:23

#	User	Runtime	Language	Date
1	Timothy Gaede	1.38 s	Julia	2024-06-28 05:33:16

#	User	Runtime	Language	Date
1	Jacob Huebner	0.90 s	Kotlin	2021-05-31 18:16:46
2	ZANGUE JOREL TIOMELA	1.75 s	Kotlin	2025-04-21 20:00:11

#	User	Runtime	Language	Date
1	이정섭	0.12 s	OCaml	2023-03-26 23:42:07

#	User	Runtime	Language	Date
1	Lars Tveito	0.18 s	Python 2	2015-11-08 22:19:02
2	Måns Gezelius	0.24 s	Python 2	2018-04-23 20:49:45
3	Andreas Björklund	0.43 s	Python 2	2021-11-09 19:44:35
4	Miranda Henry	0.77 s	Python 2	2019-12-05 17:54:57
5	Josenildo Silva	0.85 s	Python 2	2017-05-02 15:02:43
6	Oskar Haarklou Veileborg	1.02 s	Python 2	2019-10-29 12:04:01
7	Haggai Liu	1.81 s	Python 2	2017-01-02 02:36:06
8	Hermon Mulat	1.82 s	Python 2	2019-02-04 03:28:04

#	User	Runtime	Language	Date
1	Maarten Sebregts	0.10 s	Python 3	2018-05-13 18:41:13
2	Casper Rysgaard	0.10 s	Python 3	2020-02-10 20:56:39
3	Jakob Vingren	0.10 s	Python 3	2025-03-10 14:42:12
4	Bo Valdemar Norgren	0.11 s	Python 3	2023-04-12 14:52:30
5	Johan von Axelson	0.11 s	Python 3	2025-04-29 10:15:14
6	Arturas Aleksandrauskas	0.12 s	Python 3	2019-05-19 11:06:32
7	Mariann Løtvedt	0.12 s	Python 3	2022-12-13 09:49:37
8	John Swingle	0.15 s	Python 3	2022-03-03 17:51:37
9	Anton Nilsson	0.15 s	Python 3	2025-04-30 08:17:56
10	Emanuel Särnhammar	0.16 s	Python 3	2023-05-09 13:19:56

#	User	Runtime	Language	Date
1	Anton Iacobaeus	0.04 s	Rust	2024-04-09 06:10:39
2	Daniel Anker Hermansen	0.08 s	Rust	2024-10-01 20:06:30
3	Bas Dirks	0.16 s	Rust	2022-05-25 05:35:30
4	David Rasch	0.17 s	Rust	2023-10-20 09:09:33
5	Marcus Persson	0.21 s	Rust	2025-08-11 02:06:45
6	Wilmer Johansen	0.22 s	Rust	2025-08-09 13:09:27
7	Alexander Berntsson	0.28 s	Rust	2025-04-21 14:40:25
8	Leo Jarhede	0.32 s	Rust	2025-04-29 14:44:44
9	Julius Thunström	1.88 s	Rust	2023-03-01 09:07:38

#	User	Length	Language	Date
1	Franklin Davy KAMGA CHEUKO	1344	C	2025-04-20 20:28:39
2	Ivan Petrov	1856	C	2020-02-28 09:00:03
3	Henrik Lindström	2215	C	2019-04-19 16:54:56
4	Alexander Bilde Pedersen	2299	C	2024-10-25 15:16:04
5	Bergur Snorrason	3135	C	2020-02-21 07:46:39

#	User	Length	Language	Date
1	Sandip Choudhary	2340	C#	2024-11-26 10:03:17
2	Dỗn Lùng	2729	C#	2019-11-29 15:41:01
3	Laurent Colin	11294	C#	2022-03-31 14:29:15

#	User	Length	Language	Date
1	Javier Marinkovic	759	C++	2019-11-06 18:41:47
2	Manshant Singh Kohli	842	C++	2017-02-05 08:42:32
3	Frederick Pek	849	C++	2021-12-08 17:27:25
4	Zac Friggstad	924	C++	2021-07-20 20:40:48
5	Vladimir Valyukh	1005	C++	2016-06-07 13:40:29
6	Antoni Guz	1014	C++	2018-03-10 02:55:20
7	Ryan Chew	1021	C++	2019-03-04 08:39:10
8	Tấn Phát Trần	1032	C++	2019-02-18 15:28:12
9	Chenghao Wang	1042	C++	2023-02-20 03:42:48
10	Alexander Skidanov	1042	C++	2025-01-26 09:56:26

#	User	Length	Language	Date
1	Vilhelm Melkstam	1927	Go	2022-04-26 20:35:34
2	Norbert Voelker	2127	Go	2022-08-10 22:20:27
3	Diamond	3428	Go	2022-11-19 08:35:45

#	User	Length	Language	Date
1	Johan Meier	1245	Haskell	2017-01-02 12:36:54
2	Patrik Andersson	1381	Haskell	2016-04-28 18:40:46
3	Steinar Simonnes	1554	Haskell	2025-08-11 13:56:04
4	Brent Yorgey	2073	Haskell	2017-10-24 03:18:00

#	User	Length	Language	Date
1	Jake Crouch	1209	Java	2017-11-19 23:49:03
2	Jiru Xu	1278	Java	2017-09-20 04:56:13
3	Erik Baalhuis	1281	Java	2017-09-30 14:28:07
4	Jarrett Spiker	1415	Java	2017-03-10 21:46:09
5	Alan Zhao	1421	Java	2015-10-24 18:50:13
6	Finn Lidbetter	1487	Java	2015-11-07 20:32:53
7	Micah Stairs	1590	Java	2016-12-05 00:23:16
8	Nicolás Eduardo Peña Moreno	1622	Java	2015-10-24 18:38:08
9	Benjamin Scott Pruett	1641	Java	2015-10-24 17:48:37
10	Sam Reinehr	1659	Java	2018-10-20 17:07:26

#	User	Length	Language	Date
1	Jimmy Gustafsson	710	JavaScript (SpiderMonkey)	2022-09-15 18:55:47
2	Christian Pilegaard Cederquist	857	JavaScript (SpiderMonkey)	2023-11-03 19:04:23
3	Bjørn Chr. Soltvedt	8705	JavaScript (SpiderMonkey)	2021-03-22 18:17:59

#	User	Length	Language	Date
1	Timothy Gaede	1984	Julia	2024-06-28 05:39:34

#	User	Length	Language	Date
1	ZANGUE JOREL TIOMELA	1839	Kotlin	2025-04-21 20:00:11
2	Jacob Huebner	2231	Kotlin	2021-05-31 18:16:46

#	User	Length	Language	Date
1	이정섭	984	OCaml	2023-03-26 23:42:07

#	User	Length	Language	Date
1	Oskar Haarklou Veileborg	507	Python 2	2019-10-29 12:04:01
2	Andreas Björklund	628	Python 2	2021-11-09 19:44:35
3	Hermon Mulat	986	Python 2	2019-02-04 03:28:04
4	Måns Gezelius	1029	Python 2	2018-04-23 20:49:45
5	Haggai Liu	1142	Python 2	2017-01-02 02:36:06
6	Josenildo Silva	1268	Python 2	2017-05-02 15:02:43
7	Miranda Henry	1629	Python 2	2019-12-05 17:54:57
8	Lars Tveito	1785	Python 2	2015-11-08 22:19:02

#	User	Length	Language	Date
1	Michael Goldwasser	285	Python 3	2024-10-26 03:24:00
2	Gustav Elmqvist	322	Python 3	2023-03-03 16:13:53
3	Ahmed Chamseddine	416	Python 3	2024-12-05 17:11:50
4	Jorke de Vlas	637	Python 3	2024-05-30 18:28:20
5	Jakob Fredby	674	Python 3	2025-08-11 03:10:28
6	Victor Eriksson	729	Python 3	2024-04-08 17:23:07
7	Laura Oksanen	772	Python 3	2024-04-17 11:47:45
8	Jhann Quiambao	838	Python 3	2025-11-10 22:22:17
9	Robert Nix	855	Python 3	2018-09-13 20:47:37
10	ALPHONSE DESIRE JUNIOR ENAMA	867	Python 3	2025-04-21 04:14:32

#	User	Length	Language	Date
1	David Rasch	931	Rust	2023-10-20 09:32:16
2	Bas Dirks	1350	Rust	2022-05-25 05:48:12
3	Leo Jarhede	2073	Rust	2025-04-29 14:44:44
4	Anton Iacobaeus	2127	Rust	2023-04-29 07:47:07
5	Wilmer Johansen	2140	Rust	2025-08-09 13:09:27
6	Alexander Berntsson	2328	Rust	2025-04-21 14:40:25
7	Marcus Persson	2466	Rust	2025-08-11 02:06:45
8	Julius Thunström	27814	Rust	2023-03-01 09:07:38
9	Daniel Anker Hermansen	28572	Rust	2024-10-01 20:06:30

Solution running time distribution