Problem A
Yet Satisfiability Again! — Problem Statistics

Back to problem description

Submissions	2226
Accepted submissions	566
Submission ratio	25.43%
Authors	383
Full solves [?]	376
Full solve Ratio	98.17%

#	User	Runtime	Language	Date
1	Henrik Lindström	0.03 s	C	2019-04-19 22:59:41
2	Axel Sundelin	0.39 s	C	2025-09-23 17:37:41

#	User	Runtime	Language	Date
1	Fredrik Präntare	0.00 s	C++	2016-03-23 20:31:55
2	Gustav Gränsbo	0.00 s	C++	2017-04-13 12:49:53
3	Martin Byhlin	0.00 s	C++	2017-04-19 14:49:07
4	Leif Eriksson	0.00 s	C++	2018-05-25 13:08:19
5	Andreas Zeijlon	0.00 s	C++	2020-04-22 16:31:55
6	Albin Pettersson	0.00 s	C++	2020-05-07 15:24:16
7	Erik Nikko	0.00 s	C++	2021-04-23 07:54:55
8	Elliot Gestrin	0.00 s	C++	2023-06-03 08:49:57
9	Baptiste Content	0.00 s	C++	2025-04-30 03:42:57
10	Dominik Drexler	0.01 s	C++	2021-04-21 14:51:46

#	User	Runtime	Language	Date
1	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

#	User	Runtime	Language	Date
1	Christian Thorarensen	0.16 s	Java	2020-04-06 16:20:28
2	Edvin Bergström	0.20 s	Java	2021-04-21 10:09:18
3	Daniel Norström	0.21 s	Java	2022-05-10 08:32:30
4	Andreas Hultqvist	0.30 s	Java	2020-04-22 21:39:37
5	Hidden user	0.35 s	Java	2018-04-26 00:14:40
6	William Holmgren	0.40 s	Java	2020-04-29 02:58:39
7	Kim Sundström	0.40 s	Java	2022-07-15 16:19:30
8	Jesper Wrang	0.42 s	Java	2019-02-15 13:08:18
9	Julia Andersson	0.45 s	Java	2020-04-16 08:33:31
10	Mio Cajander	0.49 s	Java	2024-04-13 16:20:47

#	User	Runtime	Language	Date
1	Måns Gezelius	0.24 s	Python 2	2018-04-23 22:49:45

#	User	Runtime	Language	Date
1	Bo Valdemar Norgren	0.11 s	Python 3	2023-04-12 16:52:30
2	Johan von Axelson	0.11 s	Python 3	2025-04-29 12:15:14
3	Arturas Aleksandrauskas	0.12 s	Python 3	2019-05-19 13:06:32
4	Johanna Groven	0.12 s	Python 3	2025-04-22 16:57:49
5	Joakim Eriksson	0.14 s	Python 3	2022-07-04 22:44:49
6	Oskar Danielsson	0.14 s	Python 3	2024-03-22 14:15:02
7	Anton Nilsson	0.15 s	Python 3	2025-04-30 10:17:56
8	Emanuel Särnhammar	0.16 s	Python 3	2023-05-09 15:19:56
9	Daniel Tufvesson	0.16 s	Python 3	2025-04-29 14:17:26
10	Martin Johansen	0.16 s	Python 3	2025-08-06 00:08:21

#	User	Runtime	Language	Date
1	David Axelsson	0.01 s	Rust	2024-05-04 00:22:33
2	Anton Iacobaeus	0.04 s	Rust	2024-04-09 08:10:39
3	Edvin Kjell	0.24 s	Rust	2022-04-26 18:23:40
4	Axel Thelin	0.24 s	Rust	2024-04-01 10:35:33
5	Linus Käll	0.27 s	Rust	2022-04-25 19:34:05
6	Alexander Berntsson	0.28 s	Rust	2025-04-21 16:40:25
7	Leo Jarhede	0.32 s	Rust	2025-04-29 16:44:44

#	User	Length	Language	Date
1	Henrik Lindström	2215	C	2019-04-19 18:54:56
2	Axel Sundelin	3344	C	2025-09-23 17:37:41

#	User	Length	Language	Date
1	Vladimir Valyukh	1005	C++	2016-06-07 15:40:29
2	Martin Jonson	1319	C++	2023-03-31 14:42:44
3	Philip Welin-Berger	1367	C++	2024-04-17 11:33:00
4	Robert Norlander	1583	C++	2016-04-27 12:49:06
5	Jonathan Öhrling	1623	C++	2022-04-27 13:02:33
6	Douglas Liao	1693	C++	2024-04-16 23:47:03
7	Gauvain Robert	1696	C++	2019-05-02 16:45:13
8	Axel Söderlind	1710	C++	2024-04-17 11:32:49
9	Herman Appelgren	1721	C++	2020-06-21 01:10:41
10	Nils Jakobsson	1744	C++	2023-04-20 13:25:34

#	User	Length	Language	Date
1	Vilhelm Melkstam	1927	Go	2022-04-26 22:35:34

#	User	Length	Language	Date
1	Patrik Andersson	1381	Haskell	2016-04-28 20:40:46

#	User	Length	Language	Date
1	Mio Cajander	1968	Java	2024-04-13 15:50:13
2	Inge Hansson	2142	Java	2024-03-18 11:23:34
3	Olav Övrebö	2517	Java	2018-04-27 01:35:30
4	Andreas Hultqvist	3518	Java	2020-04-22 21:39:37
5	Kim Sundström	4010	Java	2022-07-15 16:43:54
6	Hidden user	4082	Java	2018-04-26 00:14:40
7	Björn Detterfelt	4260	Java	2019-04-30 16:33:48
8	Lovisa Stålebrink	4266	Java	2021-05-30 10:40:01
9	Alfons Johansson	5061	Java	2024-04-14 16:40:32
10	Oscar Nyman	5090	Java	2024-04-04 16:23:54

#	User	Length	Language	Date
1	Måns Gezelius	1029	Python 2	2018-04-23 22:49:45

#	User	Length	Language	Date
1	Gustav Elmqvist	322	Python 3	2023-03-03 17:18:02
2	Noah Nielsen	345	Python 3	2024-04-16 17:53:23
3	Jorke de Vlas	637	Python 3	2024-05-30 20:28:20
4	Victor Eriksson	729	Python 3	2024-04-08 19:23:07
5	Laura Oksanen	772	Python 3	2024-04-17 13:47:45
6	Lukas Ingemarsson	874	Python 3	2025-04-29 11:34:22
7	Felix Angerborn	958	Python 3	2021-06-06 21:35:57
8	Oliver Green	979	Python 3	2023-04-17 16:40:33
9	Fredrik Nääs	1011	Python 3	2024-03-22 14:27:57
10	Joel Alexandersson	1015	Python 3	2022-05-02 14:43:20

#	User	Length	Language	Date
1	Leo Jarhede	2073	Rust	2025-04-29 16:44:44
2	Anton Iacobaeus	2127	Rust	2023-04-29 09:47:07
3	Alexander Berntsson	2328	Rust	2025-04-21 16:40:25
4	Axel Thelin	2774	Rust	2024-04-01 10:35:33
5	Edvin Kjell	2892	Rust	2022-04-26 18:23:40
6	Linus Käll	4342	Rust	2022-04-25 19:34:05
7	David Axelsson	6670	Rust	2024-05-04 00:22:33

Solution running time distribution