Problem A
Yet Satisfiability Again! — Problem Statistics

Back to problem description

Submissions	1897
Accepted submissions	485
Submission ratio	25.57%
Authors	323
Accepted authors	315
Author ratio	97.52%

#	User	Runtime	Language	Date
1	Henrik Lindström	0.03 s	C	2019-04-19 22:59: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	Dominik Drexler	0.01 s	C++	2021-04-21 14:51:46
10	Hidden user	0.01 s	C++	2021-08-22 10:43:07

#	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	kimsu	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	Bo Valdemar Norgren	0.11 s	Python 3	2023-04-12 16:52:30
2	Arturas Aleksandrauskas	0.12 s	Python 3	2019-05-19 13:06:32
3	Joakim Eriksson	0.14 s	Python 3	2022-07-04 22:44:49
4	Oskar Danielsson	0.14 s	Python 3	2024-03-22 14:15:02
5	Emanuel Särnhammar	0.16 s	Python 3	2023-05-09 15:19:56
6	Mattias Sjögren	0.22 s	Python 3	2023-04-20 16:03:07
7	Erik Voldstad	0.25 s	Python 3	2023-04-20 23:46:51
8	Adam Samuelsson	0.26 s	Python 3	2024-04-01 15:46:50
9	Laura Oksanen	0.27 s	Python 3	2024-04-17 13:47:45
10	Jonas Svedberg	0.30 s	Python 3	2024-05-30 14:33:17

#	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

#	User	Length	Language	Date
1	Henrik Lindström	2215	C	2019-04-19 18:54:56

#	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	3499	Java	2020-04-22 21:39:37
5	kimsu	4010	Java	2022-07-15 16:43:54
6	Hidden user	4065	Java	2018-04-26 00:14:40
7	Björn Detterfelt	4241	Java	2019-04-30 16:33:48
8	Lovisa Stålebrink	4247	Java	2021-05-30 10:40:01
9	Alfons Johansson	5042	Java	2024-04-14 16:40:32
10	Oscar Nyman	5063	Java	2024-04-04 16:23:54

#	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	Felix Angerborn	958	Python 3	2021-06-06 21:35:57
7	Oliver Green	979	Python 3	2023-04-17 16:40:33
8	Fredrik Nääs	1011	Python 3	2024-03-22 14:27:57
9	Joel Alexandersson	1015	Python 3	2022-05-02 14:43:20
10	Hassan Mustafa	1063	Python 3	2023-04-18 21:07:24

#	User	Length	Language	Date
1	Anton Iacobaeus	2127	Rust	2024-04-09 08:10:39
2	Axel Thelin	2774	Rust	2024-04-01 10:35:33
3	Edvin Kjell	2883	Rust	2022-04-26 18:23:40
4	Linus Käll	4332	Rust	2022-04-25 19:34:05
5	David Axelsson	6670	Rust	2024-05-04 00:22:33

Solution running time distribution