Problem I
Yet Satisfiability Again! — Problem Statistics

Back to problem description

Submissions	27
Accepted submissions	20
Submission ratio	74.07%
Authors	20
Full solves [?]	20
Full solve Ratio	100.00%

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

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

Solution running time distribution