Stats for formula: Yan Wu-0

How to interpret the values

Each satsolver was run against each test case. Two cnf formulas were generated from each submitted generator to form the set of generators. For each run, a number of seconds were charged to the program based on the criteria described on the assignments webpage; this was the score for that run. If the program crashed or went into a loop, 150 seconds were charged. The two formulas generated by a generator are denoted by generator_name:i where i is 0 for the first cnf and 1 for the second. The table below shows the time each satsolver took for cnf Yan Wu-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Yan Wu-0 or terminated with an exception. Some important stats are summarized at the start.The ranking scheme is described on the Generators Ranklist page. Click on the name of a satsolver to see details of that satsolver.

Summary

Cnf:	Yan Wu-0
Rank of generator:	40 / 114
Average score:	7.71
Median score:	3.60
Best solver:	haoyu
Description:	This generator generates a satisfiable CNF that represents a protein regulation problem. There are 4 classes of proteins, and the problem reduces to a variation of the graph coloringproblem.

	Solver	Time taken	Unsat
1	haoyu	0.05	0
2	Aristotle	0.11	0
3	dusty	0.13	0
4	CookieMonster	0.19	0
5	Aaron Doll	0.20	0
6	spl	0.21	0
7	Jonathan Kwok	0.22	0
8	jgs	0.22	0
9	Andrew Grasso	0.25	0
10	Mike Hawk	0.25	0
11	Shaheed Chagani	0.25	0
12	EC	0.26	0
13	Tao	0.27	0
14	Glenn Fisher	0.28	0
15	Matt Haake	0.29	0
16	ModifiedWalkSatBreakZero	0.30	0
17	Anon5	0.31	0
18	Valya Barboy	0.31	0
19	Mike Honcho	0.31	0
20	13a	0.32	0
21	Ben Chen	0.32	0
22	Samuel Jerome	0.32	0
23	Walter Little	0.34	0
24	Mr. Blobby	0.35	0
25	Joshua Zimmer	0.38	0
26	Sprt	0.38	0
27	bfang	0.40	0
28	Andys	0.41	0
29	vhsiao	0.41	0
30	Janie Gu	0.41	0
31	snowflakes	0.41	0
32	Sabar Dasgupta	0.43	0
33	David H.	0.44	0
34	NA	0.45	0
35	Yacob Y.	0.47	0
36	Absurdity	0.49	0
37	Quite Satisfied	0.52	0
38	BH	0.57	0
39	Tree Prophet	0.60	0
40	Yan Wu	0.64	0
41	Andrew Werner	0.68	0
42	ebp	0.76	0
43	Deric Cheng	0.76	0
44	Charlie Shucheng Zhu	0.77	0
45	dfshasdsf12	0.86	0
46	Nikhilesh Sigatapu	1.07	0
47	John Whelchel	1.12	0
48	Lisa Kim	1.17	0
49	DeeEmEm	1.21	0
50	0108	1.40	0
51	KingBach	1.51	0
52	Aaron H	1.75	0
53	The Whitman Whale	2.08	0
54	Brendan Wright	2.26	0
55	Fanny	3.15	0
56	Tom T	3.21	0
57	HashTagAlreadyFallBreak	3.60	0
58	Green "The Bean" Choi	3.97	0
59	AFC	9.56	0
60	Ytterbium	14.37	0
61	CAPS LOCK	13.00	32
62	Matt Goldsmith	15.00	40
63	R. A. B.	9.00	42
64	Bar Shabtai	15.00	45
65	bchouSolver	15.00	46
66	cat	14.99	52
67	RedOrangeBlue	14.99	59
68	Joel Faron	15.00	61
69	bigwig	15.00	64
70	George Okeowo	0.96	65
71	Sunny	14.95	65
72	Elphaba	0.05	65
73	Dr Roberto	14.99	68
74	T. Capote	15.00	72
75	soccer	15.00	103
76	Boomshanka	15.00	430
77	BMJ	15.00	1163
78	K.L.	15.00	42443
79	Nihar the Great	15.00	21
80	Jameh	15.00	31
81	Mark Fillmore	15.00	31
82	Solving For Clauses	15.00	33
83	Ravi Tandon	15.00	40
84	Happy	15.00	61
85	Khoa	15.00	65
86	Linda	15.00	65
87	kt4124	15.00	70
88	Blam	15.00	81
89	weezy	15.00	84
90	burrito	15.00	91
91	Cam Porter	15.00	204
92	Mickey Mouse	15.00	253
93	Supahaka	15.00	3707
94	An Extremely Ordinary Sloth	15.00	38
95	Sat Solver 2013	15.00	590
96	Anon_K_P	15.00	3106
97	LilThug	15.00	27
98	Keji Xu	15.01	39
99	Sally Smith	15.01	80
100	The Kraken	15.01	64
101	Gewang	15.02	39
102	Tiny Wings	15.02	144
103	SuperFan	15.02	3300
104	Mercury	15.03	28
105	Bebe Shi	15.05	27
106	Bob Dondero	15.05	1217
107	David Lackey	15.06	114
108	Jessie Chen	15.07	82
109	Alex Fish	15.08	14
110	cmF5a3ly	15.13	21
111	TSATTER	15.14	7948
112	Qinlan Shen	15.38	4535
113	cjt	22.50	71
114	Jordan Ash	32.74	65
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist