Problem I
Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions	27
Accepted submissions	20
Submission ratio	74.07%
Authors	20
Accepted authors	20
Author ratio	100.00%

#	User	Runtime	Date
1	Kuan Wei Heng	0.02 s	2019-02-22 04:51:57
2	Way Tan	0.04 s	2019-02-21 03:41:08
3	Rahul Rajesh	0.04 s	2019-02-28 14:14:32
4	Yehezkiel Raymundo Theodoroes	0.09 s	2019-03-02 07:42:35
5	Jiang Yue	0.13 s	2019-02-23 10:29:46
6	Jay Lim	0.14 s	2019-02-18 14:00:53
7	Ryan Chew	0.14 s	2019-03-04 09:40:08
8	Wang Zhi Jian	0.15 s	2019-02-20 10:11:30
9	Teh Nian Fei	0.17 s	2019-03-04 07:21:35
10	Giang Đào	0.18 s	2019-02-20 11:15:15

#	User	Length	Date
1	Ryan Chew	1021	2019-03-04 09:40:08
2	Tấn Phát Trần	1032	2019-02-18 16:28:12
3	Jiang Yue	1242	2019-02-23 10:29:46
4	Wang Zhi Jian	1379	2019-02-20 10:11:30
5	Way Tan	1392	2019-02-21 03:41:08
6	Minh Nguyen	1433	2019-02-28 18:57:22
7	Liu Husong	1532	2019-02-23 08:14:26
8	Ng Tek In	1717	2019-02-18 14:04:23
9	Giang Đào	1768	2019-02-20 11:15:15
10	Herbert Ilhan Tanujaya	1806	2019-02-25 04:31:31

Solution running time distribution