Problem D
Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions	1878
Accepted submissions	472
Submission ratio	25.13%
Authors	313
Accepted authors	304
Author ratio	97.12%

#	User	Runtime	Date
1	Henrik Lindström	0.03 s	2019-04-19 22:59:41

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

#	User	Runtime	Date
1	Vilhelm Melkstam	1.80 s	2022-04-26 22:35:34

#	User	Runtime	Date
1	Patrik Andersson	0.18 s	2016-04-28 20:40:46

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

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

#	User	Runtime	Date
1	Bo Valdemar Norgren	0.11 s	2023-04-12 16:52:30
2	Arturas Aleksandrauskas	0.12 s	2019-05-19 13:06:32
3	Joakim Eriksson	0.14 s	2022-07-04 22:44:49
4	Oskar Danielsson	0.14 s	2024-03-22 14:15:02
5	Emanuel Särnhammar	0.16 s	2023-05-09 15:19:56
6	Mattias Sjögren	0.22 s	2023-04-20 16:03:07
7	Erik Voldstad	0.25 s	2023-04-20 23:46:51
8	Adam Samuelsson	0.26 s	2024-04-01 15:46:50
9	Laura Oksanen	0.27 s	2024-04-17 13:47:45
10	Jamie Mersh	0.66 s	2024-03-17 13:17:42

#	User	Runtime	Date
1	David Axelsson	0.01 s	2024-05-04 00:22:33
2	Anton Iacobaeus	0.04 s	2024-04-09 08:10:39
3	Edvin Kjell	0.24 s	2022-04-26 18:23:40
4	Axel Thelin	0.24 s	2024-04-01 10:35:33
5	Linus Käll	0.27 s	2022-04-25 19:34:05

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

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

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

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

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

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

#	User	Length	Date
1	Gustav Elmqvist	322	2023-03-03 17:18:02
2	Noah Nielsen	345	2024-04-16 17:53:23
3	Victor Eriksson	729	2024-04-08 19:23:07
4	Laura Oksanen	772	2024-04-17 13:47:45
5	Felix Angerborn	958	2021-06-06 21:35:57
6	Oliver Green	979	2023-04-17 16:40:33
7	Fredrik Nääs	1011	2024-03-22 14:27:57
8	Joel Alexandersson	1015	2022-05-02 14:43:20
9	Hassan Mustafa	1063	2023-04-18 21:07:24
10	George Osipov	1087	2021-04-20 23:40:13

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

Solution running time distribution