Stats for formula: Yan Wu-1

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-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Yan Wu-1 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-1
Rank of generator:	40 / 114
Average score:	8.11
Median score:	13.67
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.04	0
2	Aristotle	0.09	0
3	dusty	0.12	0
4	spl	0.18	0
5	CookieMonster	0.23	0
6	Shaheed Chagani	0.26	0
7	Aaron Doll	0.26	0
8	Matt Haake	0.27	0
9	Mike Honcho	0.27	0
10	Sabar Dasgupta	0.30	0
11	Green "The Bean" Choi	0.32	0
12	AFC	0.36	0
13	Quite Satisfied	0.37	0
14	EC	0.38	0
15	Jonathan Kwok	0.41	0
16	Glenn Fisher	0.42	0
17	ModifiedWalkSatBreakZero	0.45	0
18	Tree Prophet	0.46	0
19	Tao	0.49	0
20	Charlie Shucheng Zhu	0.54	0
21	0108	0.56	0
22	Janie Gu	0.60	0
23	dfshasdsf12	0.66	0
24	Walter Little	0.66	0
25	Anon5	0.67	0
26	NA	0.68	0
27	ebp	0.68	0
28	BH	0.68	0
29	DeeEmEm	0.71	0
30	Ben Chen	0.72	0
31	Dr Roberto	0.75	0
32	Andys	0.75	0
33	Yacob Y.	0.78	0
34	Deric Cheng	0.79	0
35	vhsiao	0.84	0
36	Mr. Blobby	0.84	0
37	Sunny	0.87	0
38	David H.	0.89	0
39	Mike Hawk	0.93	0
40	Yan Wu	0.96	0
41	snowflakes	0.97	0
42	Absurdity	0.97	0
43	Sprt	1.01	0
44	jgs	1.08	0
45	Aaron H	1.14	0
46	Joshua Zimmer	1.14	0
47	John Whelchel	1.36	0
48	Valya Barboy	1.38	0
49	KingBach	1.46	0
50	Brendan Wright	2.12	0
51	The Whitman Whale	2.12	0
52	Lisa Kim	2.18	0
53	Fanny	2.35	0
54	Andrew Grasso	2.61	0
55	Anon_K_P	4.52	0
56	Andrew Werner	8.16	0
57	Tom T	13.67	0
58	Joel Faron	14.57	0
59	13a	15.00	1
60	Samuel Jerome	15.00	3
61	CAPS LOCK	13.00	27
62	Bar Shabtai	15.00	39
63	T. Capote	15.00	42
64	R. A. B.	9.00	45
65	HashTagAlreadyFallBreak	15.00	46
66	soccer	15.00	49
67	cat	14.99	51
68	bchouSolver	15.00	52
69	RedOrangeBlue	14.99	63
70	George Okeowo	0.88	65
71	Elphaba	0.09	65
72	Matt Goldsmith	15.00	70
73	Nikhilesh Sigatapu	15.00	157
74	bigwig	15.00	212
75	Boomshanka	15.00	290
76	bfang	15.00	650
77	BMJ	15.00	1031
78	Ytterbium	15.00	1
79	Nihar the Great	15.00	23
80	Jameh	15.00	25
81	Solving For Clauses	15.00	26
82	burrito	15.00	49
83	weezy	15.00	51
84	Happy	15.00	61
85	kt4124	15.00	62
86	Khoa	15.00	65
87	Linda	15.00	83
88	Mickey Mouse	15.00	229
89	Sat Solver 2013	15.00	413
90	Supahaka	15.00	1827
91	Mark Fillmore	15.00	29
92	Blam	15.00	80
93	K.L.	15.00	35528
94	An Extremely Ordinary Sloth	15.00	31
95	Ravi Tandon	15.00	33
96	LilThug	15.00	24
97	Jessie Chen	15.01	83
98	Cam Porter	15.01	173
99	The Kraken	15.01	85
100	TSATTER	15.01	6612
101	Tiny Wings	15.01	15
102	Bebe Shi	15.01	22
103	David Lackey	15.01	23
104	SuperFan	15.01	2468
105	Mercury	15.02	23
106	Keji Xu	15.02	38
107	Gewang	15.02	24
108	Sally Smith	15.03	57
109	Alex Fish	15.06	14
110	Bob Dondero	15.06	482
111	Qinlan Shen	15.08	429
112	cmF5a3ly	15.08	23
113	cjt	22.50	49
114	Jordan Ash	30.62	65
115	David Paulk	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist