Stats for satsolver: Yan Wu

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 cnf formulas generated by a generator is denoted by generator_name:i where i is 0 for the first cnf and 1 for the second. The table below shows the time satsolver Yan Wu took for each formula and how many clauses it left unsatisfied; the formulas are sorted by the satsolver's score on it (which is different from its runtime). For each formula , we also list the name of the best solver, the time taken by the best solver (Best time) and the number of clauses left unsatisfied by him/her (Best unsat). A blank symbol denotes that Yan Wu took more than 150 seconds for that formula or terminated with an exception. Some important stats are summarized at the start. Click on the name of a formula to view details.

Summary

Satsolver:	Yan Wu
Rank:	108 / 118
Average Score:	27.43
Median Score:	0.37
Description:	This sat-solver uses WalkSat to solve a given CNF. Variations include random restarts after a given number of literal flips, and selecting 3 unsatisfied clauses instead of one.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	Ravi Tandon:0	KingBach	0.00	0.00	0	0
4	Bebe Shi:1	KingBach	0.00	0.00	0	0
5	K.L.:1	KingBach	0.00	0.00	0	0
6	Bebe Shi:0	KingBach	0.00	0.00	0	0
7	Ravi Tandon:1	KingBach	0.00	0.00	0	0
8	Miranda:0	cat	0.00	0.00	0	0
9	Daffy Duck:1	haoyu	0.00	0.00	0	0
10	Solving For Clauses:1	haoyu	0.01	0.00	0	0
11	Miranda:1	cat	0.01	0.00	0	0
12	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
13	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
14	Blam:1	Elphaba	0.01	0.00	0	0
15	Blam:0	Elphaba	0.01	0.00	0	0
16	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
17	bchouGenerator:0	haoyu	0.01	0.00	0	0
18	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
19	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
20	David Paulk:0	cat	0.01	0.00	0	0
21	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
22	K.L.:0	haoyu	0.01	0.00	0	0
23	The Kraken:1	haoyu	0.01	0.00	0	0
24	Tree Prophet:0	haoyu	0.01	0.00	0	0
25	Happy:1	KingBach	0.01	0.00	0	0
26	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
27	R. A. B.:1	cat	0.01	0.00	0	0
28	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
29	Quite Satisfied:0	haoyu	0.01	0.00	0	0
30	BMJ:1	burrito	0.01	0.00	0	0
31	BMJ:0	Elphaba	0.01	0.00	0	0
32	Tree Prophet:1	haoyu	0.01	0.00	0	0
33	cmF5a3ly:1	Nihar the Great	0.01	0.00	0	0
34	Jordan Ash:1	Bar Shabtai	0.01	0.01	0	0
35	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
36	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
37	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
38	haoyu:1	Anon5	0.01	0.01	0	0
39	Happy:0	haoyu	0.01	0.00	0	0
40	The Kraken:0	haoyu	0.01	0.00	0	0
41	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
42	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
43	Mickey Mouse:1	haoyu	0.03	0.01	0	0
44	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
45	haoyu:0	KingBach	0.03	0.01	0	0
46	Dr Roberto:0	Andrew Grasso	0.03	0.03	0	0
47	weezy:0	Bar Shabtai	0.03	0.01	0	0
48	Mike Honcho:0	Miranda	0.03	0.01	0	0
49	Tom T:0	EC	0.03	0.02	0	0
50	weezy:1	Bar Shabtai	0.03	0.01	0	0
51	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
52	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
53	Jameh:0	haoyu	0.04	0.01	0	0
54	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
55	Ytterbium:0	Andrew Grasso	0.05	0.02	0	0
56	Tom T:1	Andrew Werner	0.05	0.02	0	0
57	Dr Roberto:1	Andrew Grasso	0.05	0.02	0	0
58	Alex Fish:1	haoyu	0.05	0.02	0	0
59	vluu:1	Nihar the Great	0.05	0.02	0	0
60	vluu:0	Nihar the Great	0.06	0.01	0	0
61	Jameh:1	haoyu	0.06	0.01	0	0
62	Boomshanka:0	haoyu	0.06	0.01	0	0
63	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.07	0.01	0	0
64	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.07	0.01	0	0
65	Janie Gu:1	Jonathan Kwok	0.08	0.07	0	0
66	cat:1	haoyu	0.09	0.03	0	0
67	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
68	Tiny Wings:0	haoyu	0.09	0.02	0	0
69	DeeEmEm:1	haoyu	0.10	0.02	0	0
70	Tiny Wings:1	haoyu	0.10	0.01	0	0
71	0108:1	haoyu	0.10	0.01	0	0
72	Jordan Ash:0	EC	0.10	0.03	0	0
73	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.10	0.00	0	0
74	Ytterbium:1	Nihar the Great	0.10	0.02	0	0
75	cat:0	haoyu	0.10	0.03	0	0
76	Janie Gu:0	Glenn Fisher	0.10	0.07	0	0
77	David Lackey:0	Anon5	0.11	0.03	0	0
78	Sunny:0	Green "The Bean" Choi	0.11	0.02	0	0
79	Linda:0	Andrew Grasso	0.11	0.01	0	0
80	Alex Fish:0	haoyu	0.12	0.01	0	0
81	George Okeowo:0	Andrew Grasso	0.12	0.01	0	0
82	Nikhilesh Sigatapu:0	haoyu	0.13	0.03	0	0
83	George Okeowo:1	Andrew Grasso	0.14	0.01	0	0
84	David Lackey:1	Bar Shabtai	0.14	0.03	0	0
85	Tao:0	Bar Shabtai	0.14	0.02	0	0
86	Keji Xu:1	Nihar the Great	0.15	0.04	0	0
87	Sunny:1	jabreezy	0.16	0.01	0	0
88	Samuel Jerome:1	haoyu	0.17	0.03	0	0
89	Samuel Jerome:0	haoyu	0.17	0.03	0	0
90	The Whitman Whale:0	bigwig	0.17	0.04	0	0
91	Tao:1	Aristotle	0.19	0.07	0	0
92	Lisa Kim:1	Bar Shabtai	0.20	0.06	0	0
93	kt4124:0	haoyu	0.27	0.03	0	0
94	Mike Honcho:1	Jessie Chen	0.31	0.01	0	0
95	Bob Dondero:1	Mickey Mouse	0.31	0.03	0	0
96	Mercury:0	haoyu	0.32	0.05	0	0
97	Mercury:1	haoyu	0.33	0.05	0	0
98	Sally Smith:1	haoyu	0.34	0.04	0	0
99	Bob Dondero:0	Andrew Grasso	0.35	0.02	0	0
100	Nikhilesh Sigatapu:1	haoyu	0.37	0.04	0	0
101	Keji Xu:0	Nihar the Great	0.39	0.03	0	0
102	kt4124:1	haoyu	0.40	0.04	0	0
103	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.44	0.01	0	0
104	Batman:0	haoyu	0.48	0.04	0	0
105	Sally Smith:0	haoyu	0.49	0.04	0	0
106	KingBach:1	haoyu	0.55	0.04	0	0
107	Lisa Kim:0	Aristotle	0.59	0.07	0	0
108	Batman:1	haoyu	0.59	0.04	0	0
109	Linda:1	Andrew Grasso	0.61	0.02	0	0
110	Yan Wu:0	haoyu	0.64	0.05	0	0
111	bfang:0	haoyu	0.66	0.04	0	0
112	Khoa:1	Aristotle	0.72	0.09	0	0
113	KingBach:0	haoyu	0.75	0.06	0	0
114	Sprt:1	haoyu	0.76	0.05	0	0
115	bfang:1	haoyu	0.80	0.04	0	0
116	Khoa:0	haoyu	0.87	0.09	0	0
117	Matt Haake:1	haoyu	0.88	0.05	0	0
118	Yan Wu:1	haoyu	0.96	0.04	0	0
119	soccer:0	haoyu	1.32	0.04	0	0
120	soccer:1	haoyu	1.50	0.04	0	0
121	Glenn Fisher:0	Elphaba	1.53	0.02	0	0
122	DinnerPartyPlannerBM:1	Nihar the Great	1.64	0.06	0	0
123	Anon_K_P:1	Aristotle	1.79	0.03	0	0
124	Sabar Dasgupta:1	Aaron Doll	2.19	0.17	0	0
125	burrito:0	haoyu	2.23	0.09	0	0
126	dfshasdsf12:0	haoyu	2.26	0.09	0	0
127	Anon_K_P:0	haoyu	2.29	0.02	0	0
128	Aaron H:0	Aristotle	2.45	0.11	0	0
129	Lil Thug:1	Andrew Grasso	2.47	0.03	0	0
130	Lil Thug:0	Andrew Grasso	2.60	0.03	0	0
131	Sprt:0	Aristotle	3.67	0.11	0	0
132	Aaron H:1	Aristotle	4.10	0.11	0	0
133	EC:0	haoyu	4.34	0.03	0	0
134	Brendan Wright:0	haoyu	4.43	0.10	0	0
135	Matt Haake:0	haoyu	4.67	0.05	0	0
136	jabreezy:1	Mercury	4.79	0.10	0	0
137	John Whelchel:0	haoyu	4.87	0.06	0	0
138	Brendan Wright:1	Deric Cheng	5.58	0.10	0	0
139	jabreezy:0	Mercury	5.59	0.09	0	0
140	dfshasdsf12:1	Nihar the Great	5.63	0.11	0	0
141	Charliezsc:1	haoyu	6.38	0.07	0	0
142	Fanny:0	Aristotle	7.01	0.10	0	0
143	Andys:1	Aristotle	7.27	0.13	0	0
144	Andrew Werner:1	haoyu	7.73	0.11	0	0
145	DinnerPartyPlannerBM:0	Aristotle	7.87	0.11	0	0
146	Sabar Dasgupta:0	spl	8.63	0.23	0	0
147	Andys:0	Aristotle	8.68	0.12	0	0
148	Mike Hunt:1	Aristotle	10.23	0.29	0	0
149	Mike Hunt:0	Aristotle	10.44	0.27	0	0
150	Glenn Fisher:1	jabreezy	10.87	0.09	0	0
151	CAPS LOCK:0	Aristotle	11.48	0.20	0	0
152	nupog:1	Aristotle	11.81	0.12	0	0
153	nupog:0	Aristotle	12.12	0.13	0	0
154	burrito:1	haoyu	13.13	0.10	0	0
155	Yacob Y.:0	haoyu	14.76	0.06	0	0
156	T. Capote:1	haoyu	15.00	0.00	4	2
157	T. Capote:0	haoyu	15.02	0.00	3	2
158	Jessie Chen:1	Joel Faron	15.20	0.12	4	1
159	SuperFan:1	jgs	15.28	14.98	14	4
160	Jessie Chen:0	Joel Faron	15.63	0.13	2	1
161	DeeEmEm:0	CAPS LOCK	16.01	13.00	6	1
162	NA:1	Elphaba	16.66	0.04	0	0
163	ebp:1	haoyu	16.73	0.04	0	0
164	SuperFan:0	jgs	18.00	14.98	12	4
165	Mark S. Fillmore:1	Supahaka	18.66	0.04	79	79
166	Quite Satisfied:1	Joel Faron	19.01	2.11	7	1
167	Fanny:1	Aristotle	21.15	0.12	0	0
168	Supahaka:1	Joel Faron	22.86	15.00	41	35
169	ebp:0	haoyu	23.52	0.04	0	0
170	EC:1	haoyu	24.52	0.03	0	0
171	CAPS LOCK:1	Aristotle	24.53	0.25	0	0
172	Supahaka:0	Andrew Werner	25.75	15.00	46	35
173	John Whelchel:1	haoyu	26.03	0.11	0	0
174	BH:0	haoyu	26.70	0.07	0	0
175	BH:1	haoyu	26.80	0.05	0	0
176	Qinlan Shen:1	R. A. B.	27.04	9.00	4	1
177	Mark S. Fillmore:0	Supahaka	30.96	0.01	116	116
178	Elphaba:1	Aristotle	31.77	0.22	0	0
179	Elphaba:0	Aristotle	33.98	0.24	0	0
180	Bar Shabtai:1	haoyu	36.32	0.12	0	0
181	Anon5:1	Green "The Bean" Choi	37.59	0.07	0	0
182	Shaheed Chagani:0	Aristotle	41.49	0.17	0	0
183	Dusty:0	CookieMonster	41.55	1.39	26	0
184	Dusty:1	Shaheed Chagani	41.62	0.22	27	0
185	Ben Chen:0	Elphaba	42.34	0.07	0	0
186	Andrew Grasso:1	Shaheed Chagani	43.08	0.15	30	0
187	Andrew Grasso:0	Aaron Doll	43.62	0.18	15	0
188	Andrew Werner:0	Aaron Doll	44.14	0.33	0	0
189	jgs:0	Aristotle	45.44	0.12	0	0
190	Mr. Blobby:1	dusty	49.54	0.12	0	0
191	Shaheed Chagani:1	Aristotle	49.98	0.11	0	0
192	0108:0	jgs	52.67	14.98	11	1
193	Mr. Blobby:0	Green "The Bean" Choi	64.63	0.14	0	0
194	Valya Barboy:0	Aristotle	64.87	0.06	0	0
195	jgs:1	haoyu	65.17	0.18	0	0
196	Ben Chen:1	spl	94.15	0.20	0	0
197	Nihar the Great:0	Aristotle	94.44	0.23	0	0
198	Walter Little:1	haoyu	96.08	0.03	0	0
199	Valya Barboy:1	Shaheed Chagani	105.42	0.18	10	0
200	Nihar the Great:1	Aristotle	134.43	0.25	0	0
201	David H.:1	DeeEmEm	-	0.33	-	0
202	Walter Little:0	haoyu	-	0.04	-	0
203	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
204	Aristotle:1	Aristotle	-	9.69	-	0
205	snowflakes:0	haoyu	-	0.03	-	0
206	Anon5:0	haoyu	-	0.05	-	0
207	Aaron Doll:0	Aristotle	-	0.56	-	0
208	Charliezsc:0	jgs	-	14.98	-	1
209	spl:0	Elphaba	-	0.09	-	0
210	Deric Cheng:1	jgs	-	14.98	-	1
211	David H.:0	AFC	-	0.28	-	0
212	13a:0	Aaron Doll	-	15.00	-	21
213	Absurdity:1	Aristotle	-	0.18	-	0
214	AFC:1	Aristotle	-	0.16	-	0
215	Aaron Doll:1	Aristotle	-	1.27	-	0
216	Deric Cheng:0	jgs	-	14.99	-	1
217	CookieMonster:0	CookieMonster	-	0.82	-	0
218	NA:0	haoyu	-	0.03	-	0
219	spl:1	haoyu	-	0.06	-	0
220	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
221	CookieMonster:1	CookieMonster	-	1.10	-	0
222	Absurdity:0	Aristotle	-	0.23	-	0
223	snowflakes:1	haoyu	-	0.03	-	0
224	AFC:0	CookieMonster	-	0.34	-	0
225	Aristotle:0	Aristotle	-	15.00	-	1
226	13a:1	Aaron Doll	-	15.00	-	29
227	Yacob Y.:1	Aristotle	-	15.00	-	1
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist