Stats for satsolver: Andrew Werner

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 Andrew Werner 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 Andrew Werner 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:	Andrew Werner
Rank:	30 / 118
Average Score:	5.54
Median Score:	0.91
Description:	The implementation is WalkSAT as outlined in the text.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.00	0.00	0	0
3	bigwig:1	KingBach	0.00	0.00	0	0
4	Bebe Shi:1	KingBach	0.00	0.00	0	0
5	Miranda:1	cat	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	Daffy Duck:0	Andrew Werner	0.00	0.00	0	0
8	K.L.:1	KingBach	0.00	0.00	0	0
9	Happy:1	KingBach	0.00	0.00	0	0
10	K.L.:0	haoyu	0.00	0.00	0	0
11	Bebe Shi:0	KingBach	0.00	0.00	0	0
12	Miranda:0	cat	0.00	0.00	0	0
13	Solving For Clauses:1	haoyu	0.01	0.00	0	0
14	R. A. B.:1	cat	0.01	0.00	0	0
15	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
16	Happy:0	haoyu	0.01	0.00	0	0
17	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
18	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
19	Blam:1	Elphaba	0.01	0.00	0	0
20	Daffy Duck:1	haoyu	0.01	0.00	0	0
21	Blam:0	Elphaba	0.01	0.00	0	0
22	bchouGenerator:0	haoyu	0.01	0.00	0	0
23	Quite Satisfied:0	haoyu	0.01	0.00	0	0
24	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
25	haoyu:1	Anon5	0.01	0.01	0	0
26	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
27	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
28	David Paulk:0	cat	0.01	0.00	0	0
29	Jordan Ash:1	Bar Shabtai	0.01	0.01	0	0
30	BMJ:0	Elphaba	0.01	0.00	0	0
31	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
32	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
33	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
34	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
35	Mike Honcho:0	Miranda	0.02	0.01	0	0
36	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
37	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
38	The Kraken:1	haoyu	0.02	0.00	0	0
39	Tom T:1	Andrew Werner	0.02	0.02	0	0
40	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
41	Mickey Mouse:1	haoyu	0.02	0.01	0	0
42	BMJ:1	burrito	0.02	0.00	0	0
43	weezy:1	Bar Shabtai	0.03	0.01	0	0
44	Jameh:0	haoyu	0.03	0.01	0	0
45	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
46	The Kraken:0	haoyu	0.03	0.00	0	0
47	Tree Prophet:0	haoyu	0.03	0.00	0	0
48	Tiny Wings:0	haoyu	0.03	0.02	0	0
49	weezy:0	Bar Shabtai	0.03	0.01	0	0
50	haoyu:0	KingBach	0.03	0.01	0	0
51	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.03	0.01	0	0
52	Qinlan Shen:0	Bar Shabtai	0.04	0.01	0	0
53	Tom T:0	EC	0.04	0.02	0	0
54	Jordan Ash:0	EC	0.04	0.03	0	0
55	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
56	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.05	0.01	0	0
57	Scheduling Generator 203:1	Jameh	0.05	0.02	0	0
58	Alex Fish:1	haoyu	0.05	0.02	0	0
59	Ytterbium:0	Andrew Grasso	0.05	0.02	0	0
60	Tiny Wings:1	haoyu	0.05	0.01	0	0
61	Boomshanka:0	haoyu	0.06	0.01	0	0
62	0108:1	haoyu	0.06	0.01	0	0
63	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.06	0.01	0	0
64	Jameh:1	haoyu	0.06	0.01	0	0
65	vluu:0	Nihar the Great	0.07	0.01	0	0
66	David Lackey:0	Anon5	0.07	0.03	0	0
67	David Lackey:1	Bar Shabtai	0.08	0.03	0	0
68	vluu:1	Nihar the Great	0.08	0.02	0	0
69	Tree Prophet:1	haoyu	0.09	0.00	0	0
70	cat:0	haoyu	0.10	0.03	0	0
71	Keji Xu:1	Nihar the Great	0.10	0.04	0	0
72	DeeEmEm:1	haoyu	0.10	0.02	0	0
73	The Whitman Whale:1	Andrew Grasso	0.10	0.03	0	0
74	Janie Gu:1	Jonathan Kwok	0.11	0.07	0	0
75	cat:1	haoyu	0.11	0.03	0	0
76	Dr Roberto:1	Andrew Grasso	0.12	0.02	0	0
77	Tao:1	Aristotle	0.12	0.07	0	0
78	Anon_K_P:1	Aristotle	0.13	0.03	0	0
79	The Whitman Whale:0	bigwig	0.13	0.04	0	0
80	Samuel Jerome:1	haoyu	0.14	0.03	0	0
81	Bob Dondero:0	Andrew Grasso	0.15	0.02	0	0
82	Sunny:0	Green "The Bean" Choi	0.15	0.02	0	0
83	Linda:0	Andrew Grasso	0.15	0.01	0	0
84	Samuel Jerome:0	haoyu	0.15	0.03	0	0
85	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.16	0.00	0	0
86	Alex Fish:0	haoyu	0.17	0.01	0	0
87	Ytterbium:1	Nihar the Great	0.17	0.02	0	0
88	Tao:0	Bar Shabtai	0.18	0.02	0	0
89	Keji Xu:0	Nihar the Great	0.19	0.03	0	0
90	Mike Honcho:1	Jessie Chen	0.20	0.01	0	0
91	Nikhilesh Sigatapu:1	haoyu	0.22	0.04	0	0
92	Nikhilesh Sigatapu:0	haoyu	0.23	0.03	0	0
93	George Okeowo:1	Andrew Grasso	0.24	0.01	0	0
94	Bob Dondero:1	Mickey Mouse	0.27	0.03	0	0
95	George Okeowo:0	Andrew Grasso	0.28	0.01	0	0
96	Lisa Kim:0	Aristotle	0.29	0.07	0	0
97	Lisa Kim:1	Bar Shabtai	0.30	0.06	0	0
98	Mercury:1	haoyu	0.33	0.05	0	0
99	Sunny:1	jabreezy	0.34	0.01	0	0
100	Anon_K_P:0	haoyu	0.42	0.02	0	0
101	bfang:0	haoyu	0.43	0.04	0	0
102	Janie Gu:0	Glenn Fisher	0.49	0.07	0	0
103	Matt Haake:0	haoyu	0.50	0.05	0	0
104	Mercury:0	haoyu	0.51	0.05	0	0
105	bfang:1	haoyu	0.55	0.04	0	0
106	kt4124:0	haoyu	0.58	0.03	0	0
107	kt4124:1	haoyu	0.59	0.04	0	0
108	Batman:1	haoyu	0.60	0.04	0	0
109	Linda:1	Andrew Grasso	0.61	0.02	0	0
110	Sally Smith:0	haoyu	0.65	0.04	0	0
111	Yan Wu:0	haoyu	0.68	0.05	0	0
112	KingBach:1	haoyu	0.70	0.04	0	0
113	Sally Smith:1	haoyu	0.73	0.04	0	0
114	Dr Roberto:0	Andrew Grasso	0.91	0.03	0	0
115	KingBach:0	haoyu	0.92	0.06	0	0
116	Khoa:0	haoyu	0.95	0.09	0	0
117	Matt Haake:1	haoyu	0.95	0.05	0	0
118	Khoa:1	Aristotle	1.03	0.09	0	0
119	Sprt:1	haoyu	1.19	0.05	0	0
120	Andrew Grasso:1	Shaheed Chagani	1.31	0.15	0	0
121	Batman:0	haoyu	1.45	0.04	0	0
122	Valya Barboy:1	Shaheed Chagani	1.49	0.18	0	0
123	burrito:0	haoyu	1.64	0.09	0	0
124	soccer:1	haoyu	1.69	0.04	0	0
125	Anon5:1	Green "The Bean" Choi	1.77	0.07	0	0
126	Andrew Grasso:0	Aaron Doll	1.78	0.18	0	0
127	Brendan Wright:0	haoyu	1.83	0.10	0	0
128	soccer:0	haoyu	1.84	0.04	0	0
129	Fanny:1	Aristotle	2.62	0.12	0	0
130	DinnerPartyPlannerBM:1	Nihar the Great	2.81	0.06	0	0
131	Sabar Dasgupta:1	Aaron Doll	2.99	0.17	0	0
132	Yacob Y.:0	haoyu	3.05	0.06	0	0
133	EC:0	haoyu	3.26	0.03	0	0
134	Aaron H:1	Aristotle	3.53	0.11	0	0
135	Lil Thug:0	Andrew Grasso	3.63	0.03	0	0
136	Aaron H:0	Aristotle	4.14	0.11	0	0
137	Dusty:0	CookieMonster	4.18	1.39	0	0
138	Mike Hunt:0	Aristotle	4.23	0.27	0	0
139	Mr. Blobby:1	dusty	4.45	0.12	0	0
140	Anon5:0	haoyu	4.84	0.05	0	0
141	Fanny:0	Aristotle	5.64	0.10	0	0
142	Walter Little:0	haoyu	5.81	0.04	0	0
143	dfshasdsf12:0	haoyu	6.08	0.09	0	0
144	David H.:0	AFC	6.14	0.28	0	0
145	snowflakes:0	haoyu	7.27	0.03	0	0
146	Lil Thug:1	Andrew Grasso	7.41	0.03	0	0
147	John Whelchel:0	haoyu	7.76	0.06	0	0
148	burrito:1	haoyu	7.77	0.10	0	0
149	Mr. Blobby:0	Green "The Bean" Choi	7.82	0.14	0	0
150	EC:1	haoyu	8.09	0.03	0	0
151	Yan Wu:1	haoyu	8.16	0.04	0	0
152	jabreezy:0	Mercury	8.27	0.09	0	0
153	Ben Chen:0	Elphaba	8.61	0.07	0	0
154	snowflakes:1	haoyu	9.39	0.03	0	0
155	Sprt:0	Aristotle	9.80	0.11	0	0
156	Andys:0	Aristotle	9.89	0.12	0	0
157	AFC:1	Aristotle	11.59	0.16	0	0
158	Mike Hunt:1	Aristotle	11.75	0.29	0	0
159	Ben Chen:1	spl	12.13	0.20	0	0
160	Absurdity:1	Aristotle	12.72	0.18	0	0
161	Walter Little:1	haoyu	12.79	0.03	0	0
162	Charliezsc:1	haoyu	12.87	0.07	0	0
163	John Whelchel:1	haoyu	12.97	0.11	0	0
164	CAPS LOCK:0	Aristotle	13.04	0.20	0	0
165	Dusty:1	Shaheed Chagani	13.31	0.22	0	0
166	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
167	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
168	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
169	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
170	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
171	0108:0	jgs	15.00	14.98	1	1
172	T. Capote:0	haoyu	15.00	0.00	2	2
173	T. Capote:1	haoyu	15.00	0.00	2	2
174	SuperFan:0	jgs	15.00	14.98	4	4
175	SuperFan:1	jgs	15.00	14.98	4	4
176	Supahaka:0	Andrew Werner	15.00	15.00	35	35
177	Supahaka:1	Joel Faron	15.00	15.00	35	35
178	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
179	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
180	David H.:1	DeeEmEm	15.00	0.33	1	0
181	CookieMonster:0	CookieMonster	15.00	0.82	1	0
182	NA:0	haoyu	15.00	0.03	1	0
183	CookieMonster:1	CookieMonster	15.00	1.10	1	0
184	Glenn Fisher:1	jabreezy	15.00	0.09	1	0
185	AFC:0	CookieMonster	15.00	0.34	1	0
186	Valya Barboy:0	Aristotle	15.00	0.06	1	0
187	Glenn Fisher:0	Elphaba	15.00	0.02	2	0
188	NA:1	Elphaba	15.00	0.04	2	0
189	jabreezy:1	Mercury	15.00	0.10	2	0
190	spl:1	haoyu	15.00	0.06	3	0
191	Yacob Y.:1	Aristotle	15.00	15.00	3	1
192	ebp:1	haoyu	15.00	0.04	11	0
193	ebp:0	haoyu	15.00	0.04	15	0
194	BH:1	haoyu	15.00	0.05	147	0
195	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	553	0
196	dfshasdsf12:1	Nihar the Great	15.00	0.11	654	0
197	nupog:1	Aristotle	15.00	0.12	968	0
198	Shaheed Chagani:0	Aristotle	15.00	0.17	2803	0
199	Shaheed Chagani:1	Aristotle	15.00	0.11	6051	0
200	Elphaba:0	Aristotle	15.00	0.24	43166	0
201	13a:0	Aaron Doll	15.00	15.00	68922	21
202	Aaron Doll:1	Aristotle	15.00	1.27	319293	0
203	Absurdity:0	Aristotle	15.00	0.23	1	0
204	jgs:1	haoyu	15.00	0.18	982	0
205	nupog:0	Aristotle	15.00	0.13	1087	0
206	CAPS LOCK:1	Aristotle	15.00	0.25	8680	0
207	spl:0	Elphaba	15.00	0.09	3	0
208	Andys:1	Aristotle	15.00	0.13	1	0
209	13a:1	Aaron Doll	15.00	15.00	83964	29
210	Andrew Werner:1	haoyu	15.00	0.11	2	0
211	jgs:0	Aristotle	15.00	0.12	137	0
212	BH:0	haoyu	15.00	0.07	154	0
213	Charliezsc:0	jgs	15.01	14.98	1	1
214	Deric Cheng:0	jgs	15.01	14.99	1	1
215	Elphaba:1	Aristotle	15.01	0.22	39953	0
216	Aristotle:1	Aristotle	15.01	9.69	745625	0
217	Sabar Dasgupta:0	spl	15.01	0.23	1	0
218	Bar Shabtai:1	haoyu	15.01	0.12	3529	0
219	Nihar the Great:1	Aristotle	15.01	0.25	21630	0
220	Brendan Wright:1	Deric Cheng	15.03	0.10	1	0
221	Nihar the Great:0	Aristotle	15.04	0.23	22948	0
222	Andrew Werner:0	Aaron Doll	15.05	0.33	2	0
223	Aristotle:0	Aristotle	15.06	15.00	765387	1
224	Aaron Doll:0	Aristotle	15.07	0.56	254342	0
225	Bar Shabtai:0	Aaron Doll	15.08	15.01	301419	1
226	Deric Cheng:1	jgs	15.12	14.98	1	1
227	Matt Goldsmith:0	Nihar the Great	15.12	0.03	512999	0
228	Matt Goldsmith:1	Happy	15.13	0.03	519220	0

SatSolvers Ranklist

Generators Ranklist