Problem F
Yet Satisfiability Again! — Problem Statistics

Back to problem description

Submissions	3316
Accepted submissions	923
Submission ratio	27.83%
Authors	643
Accepted authors	548
Author ratio	85.23%

#	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	Christian Lidström	0.00 s	C++	2015-11-07 17:31:28
2	Fredrik Präntare	0.00 s	C++	2016-03-23 20:31:55
3	Gustav Gränsbo	0.00 s	C++	2017-04-13 12:49:53
4	Martin Byhlin	0.00 s	C++	2017-04-19 14:49:07
5	Leif Eriksson	0.00 s	C++	2018-05-25 13:08:19
6	David Sturgill	0.00 s	C++	2020-01-08 13:19:48
7	Andreas Zeijlon	0.00 s	C++	2020-04-22 16:31:55
8	Albin Pettersson	0.00 s	C++	2020-04-29 16:16:27
9	Erik Nikko	0.00 s	C++	2021-04-23 07:54:55
10	Hampus Liljekvist	0.01 s	C++	2015-11-08 22:21:47

#	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	Patrik Andersson	0.18 s	Haskell	2016-04-28 20:40:46
2	Brent Yorgey	0.19 s	Haskell	2017-10-24 05:18:00
3	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	Alexander Berntsson	0.28 s	Rust	2025-04-21 16:40:25
6	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	3119	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	Alexander Skidanov	1042	C++	2025-01-26 10:56:26
10	Chenghao Wang	1042	C++	2023-02-20 04:42:48

#	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	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	Victor Eriksson	729	Python 3	2024-04-08 19:23:07
6	Laura Oksanen	772	Python 3	2024-04-17 13:47:45
7	Robert Nix	855	Python 3	2018-09-13 22:47:37
8	ALPHONSE DESIRE JUNIOR ENAMA	867	Python 3	2025-04-21 06:14:32
9	Lukas Olof Ingemarsson	874	Python 3	2025-04-29 11:34:22
10	Nicholas Russell Saerang	889	Python 3	2023-08-20 21:38:28

#	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	Anton Iacobaeus	2127	Rust	2024-04-09 08:10:39
4	Alexander Berntsson	2328	Rust	2025-04-21 16:40:25
5	Julius Thunström	27814	Rust	2023-03-01 10:07:38
6	Daniel Anker Hermansen	28555	Rust	2024-10-01 22:06:30

Solution running time distribution