CNF-SAT Statistics

Accepted Submissions

ID	Problem	Submitter	Result	Time	Memory	Language	File size	Submit time
#17703	#172. CNF-SAT	cj_hl	100	1079ms	32928kb	C++11	2.4kb	2020-01-09 12:06:16
#17693	#172. CNF-SAT	CJ_tjj	100	1838ms	97256kb	C++11	2.8kb	2020-01-09 10:59:33
#17746	#172. CNF-SAT	shrich	100	1847ms	66660kb	C++	2.7kb	2020-01-10 07:31:08
#17657	#172. CNF-SAT	Itst	100	1950ms	129480kb	C++	1.8kb	2020-01-09 07:04:04
#17725	#172. CNF-SAT	yajnun	100	2463ms	179252kb	C++11	3.1kb	2020-01-09 14:17:33
#17733	#172. CNF-SAT	CJ_czf	100	2507ms	42584kb	C++	1.7kb	2020-01-09 14:55:16
#17695	#172. CNF-SAT	CJ_ych	100	2660ms	105156kb	C++11	1.7kb	2020-01-09 11:25:36
#17644	#172. CNF-SAT	std	100	4803ms	260828kb	C++11	4.6kb	2020-01-09 06:30:53
#17744	#172. CNF-SAT	CJ_xzz	100	6502ms	67076kb	C++11	1.6kb	2020-01-10 07:16:19
#17672	#172. CNF-SAT	CJ_gcz	100	12795ms	452128kb	C++11	3.1kb	2020-01-09 07:17:55