Problem K
Yet Satisfiability Again! — Problem Statistics

Back to problem description

Submissions	3464
Accepted submissions	993
Submission ratio	28.67%
Authors	682
Full solves [?]	581
Full solve Ratio	85.19%

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Solution running time distribution