Stats for satsolver: weezy

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 weezy 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 weezy 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:	weezy
Rank:	75 / 118
Average Score:	11.50
Median Score:	15.00
Description:	This SatSolver implements a version of WalkSAT similar to that described in the Russell and Norvig text.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	Miranda:1	cat	0.01	0.00	0	0
3	bigwig:1	KingBach	0.01	0.00	0	0
4	Bebe Shi:1	KingBach	0.01	0.00	0	0
5	Miranda:0	cat	0.01	0.00	0	0
6	Ravi Tandon:0	KingBach	0.01	0.00	0	0
7	Ravi Tandon:1	KingBach	0.01	0.00	0	0
8	K.L.:1	KingBach	0.01	0.00	0	0
9	Bebe Shi:0	KingBach	0.01	0.00	0	0
10	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
11	R. A. B.:1	cat	0.01	0.00	0	0
12	Mike Honcho:0	Miranda	0.02	0.01	0	0
13	BMJ:1	burrito	0.02	0.00	0	0
14	Solving For Clauses:1	haoyu	0.03	0.00	0	0
15	Solving For Clauses:0	Glenn Fisher	0.03	0.00	0	0
16	Happy:1	KingBach	0.03	0.00	0	0
17	Jonathan Kwok:0	Elphaba	0.03	0.00	0	0
18	Mike Honcho:1	Jessie Chen	0.04	0.01	0	0
19	Jonathan Kwok:1	KingBach	0.04	0.00	0	0
20	Joshua Zimmer:0	haoyu	0.05	0.00	0	0
21	K.L.:0	haoyu	0.05	0.00	0	0
22	cmF5a3ly:0	Nihar the Great	0.06	0.00	0	0
23	Blam:1	Elphaba	0.06	0.00	0	0
24	cmF5a3ly:1	Nihar the Great	0.07	0.00	0	0
25	David Paulk:1	Bar Shabtai	0.07	0.00	0	0
26	BMJ:0	Elphaba	0.07	0.00	0	0
27	Blam:0	Elphaba	0.09	0.00	0	0
28	Tree Prophet:0	haoyu	0.09	0.00	0	0
29	David Paulk:0	cat	0.09	0.00	0	0
30	bchouGenerator:0	haoyu	0.11	0.00	0	0
31	Daffy Duck:0	Andrew Werner	0.11	0.00	0	0
32	Happy:0	haoyu	0.14	0.00	0	0
33	Gewang:0	Jonathan Kwok	0.20	0.00	0	0
34	R. A. B.:0	Nihar the Great	0.20	0.00	0	0
35	Daffy Duck:1	haoyu	0.21	0.00	0	0
36	haoyu:1	Anon5	0.25	0.01	0	0
37	haoyu:0	KingBach	0.31	0.01	0	0
38	The Kraken:1	haoyu	0.31	0.00	0	0
39	The Kraken:0	haoyu	0.36	0.00	0	0
40	Gewang:1	Jonathan Kwok	0.39	0.00	0	0
41	Tree Prophet:1	haoyu	0.43	0.00	0	0
42	bchouGenerator:1	Jonathan Kwok	0.45	0.01	0	0
43	Jordan Ash:1	Bar Shabtai	0.51	0.01	0	0
44	Mickey Mouse:1	haoyu	0.82	0.01	0	0
45	Jameh:0	haoyu	1.02	0.01	0	0
46	Mickey Mouse:0	Bar Shabtai	1.54	0.01	0	0
47	weezy:0	Bar Shabtai	1.66	0.01	0	0
48	weezy:1	Bar Shabtai	1.90	0.01	0	0
49	Sunny:1	jabreezy	1.94	0.01	0	0
50	Scheduling Generator 203:0	jgs	3.28	0.01	0	0
51	Quite Satisfied:0	haoyu	3.73	0.00	0	0
52	Qinlan Shen:0	Bar Shabtai	3.74	0.01	0	0
53	Jameh:1	haoyu	4.45	0.01	0	0
54	vluu:1	Nihar the Great	4.47	0.02	0	0
55	Ytterbium:0	Andrew Grasso	6.14	0.02	0	0
56	vluu:0	Nihar the Great	10.52	0.01	0	0
57	totallyOnFallBreak:1	Nikhilesh Sigatapu	10.58	0.01	0	0
58	The Whitman Whale:1	Andrew Grasso	12.70	0.03	0	0
59	Boomshanka:0	haoyu	12.78	0.01	0	0
60	Tom T:1	Andrew Werner	15.00	0.02	1	0
61	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	1	0
62	Scheduling Generator 203:1	Jameh	15.00	0.02	2	0
63	Tiny Wings:1	haoyu	15.00	0.01	2	0
64	Tom T:0	EC	15.00	0.02	2	0
65	T. Capote:0	haoyu	15.00	0.00	2	2
66	T. Capote:1	haoyu	15.00	0.00	2	2
67	Boomshanka:1	Bar Shabtai	15.00	0.01	2	0
68	Keji Xu:1	Nihar the Great	15.00	0.04	3	0
69	Quite Satisfied:1	Joel Faron	15.00	2.11	4	1
70	Tao:1	Aristotle	15.00	0.07	5	0
71	Sunny:0	Green "The Bean" Choi	15.00	0.02	5	0
72	DeeEmEm:1	haoyu	15.00	0.02	5	0
73	cat:0	haoyu	15.00	0.03	5	0
74	Tiny Wings:0	haoyu	15.00	0.02	5	0
75	0108:1	haoyu	15.00	0.01	5	0
76	cat:1	haoyu	15.00	0.03	6	0
77	Jessie Chen:1	Joel Faron	15.00	0.12	6	1
78	Ytterbium:1	Nihar the Great	15.00	0.02	6	0
79	DeeEmEm:0	CAPS LOCK	15.00	13.00	6	1
80	The Whitman Whale:0	bigwig	15.00	0.04	7	0
81	Jordan Ash:0	EC	15.00	0.03	7	0
82	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	8	0
83	George Okeowo:1	Andrew Grasso	15.00	0.01	8	0
84	Jessie Chen:0	Joel Faron	15.00	0.13	8	1
85	Qinlan Shen:1	R. A. B.	15.00	9.00	8	1
86	Keji Xu:0	Nihar the Great	15.00	0.03	8	0
87	Tao:0	Bar Shabtai	15.00	0.02	8	0
88	Dr Roberto:1	Andrew Grasso	15.00	0.02	9	0
89	George Okeowo:0	Andrew Grasso	15.00	0.01	9	0
90	David H.:1	DeeEmEm	15.00	0.33	10	0
91	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	10	0
92	Anon5:1	Green "The Bean" Choi	15.00	0.07	11	0
93	Alex Fish:0	haoyu	15.00	0.01	11	0
94	Alex Fish:1	haoyu	15.00	0.02	11	0
95	Anon_K_P:1	Aristotle	15.00	0.03	12	0
96	Janie Gu:0	Glenn Fisher	15.00	0.07	13	0
97	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	13	0
98	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	13	0
99	David H.:0	AFC	15.00	0.28	14	0
100	Lisa Kim:1	Bar Shabtai	15.00	0.06	15	0
101	0108:0	jgs	15.00	14.98	15	1
102	EC:0	haoyu	15.00	0.03	16	0
103	Anon_K_P:0	haoyu	15.00	0.02	17	0
104	Valya Barboy:1	Shaheed Chagani	15.00	0.18	17	0
105	SuperFan:1	jgs	15.00	14.98	17	4
106	Janie Gu:1	Jonathan Kwok	15.00	0.07	17	0
107	Valya Barboy:0	Aristotle	15.00	0.06	18	0
108	kt4124:0	haoyu	15.00	0.03	19	0
109	Lisa Kim:0	Aristotle	15.00	0.07	20	0
110	Mercury:0	haoyu	15.00	0.05	21	0
111	CookieMonster:0	CookieMonster	15.00	0.82	21	0
112	Samuel Jerome:0	haoyu	15.00	0.03	21	0
113	Anon5:0	haoyu	15.00	0.05	23	0
114	Mercury:1	haoyu	15.00	0.05	24	0
115	AFC:1	Aristotle	15.00	0.16	24	0
116	CookieMonster:1	CookieMonster	15.00	1.10	24	0
117	AFC:0	CookieMonster	15.00	0.34	24	0
118	EC:1	haoyu	15.00	0.03	30	0
119	Samuel Jerome:1	haoyu	15.00	0.03	33	0
120	soccer:0	haoyu	15.00	0.04	34	0
121	SuperFan:0	jgs	15.00	14.98	36	4
122	kt4124:1	haoyu	15.00	0.04	39	0
123	Fanny:1	Aristotle	15.00	0.12	40	0
124	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	42	0
125	soccer:1	haoyu	15.00	0.04	43	0
126	bfang:1	haoyu	15.00	0.04	44	0
127	Andrew Grasso:0	Aaron Doll	15.00	0.18	44	0
128	Dusty:1	Shaheed Chagani	15.00	0.22	45	0
129	Mr. Blobby:1	dusty	15.00	0.12	47	0
130	David Lackey:1	Bar Shabtai	15.00	0.03	48	0
131	Dusty:0	CookieMonster	15.00	1.39	49	0
132	Supahaka:1	Joel Faron	15.00	15.00	49	35
133	jabreezy:0	Mercury	15.00	0.09	50	0
134	Batman:0	haoyu	15.00	0.04	50	0
135	Fanny:0	Aristotle	15.00	0.10	51	0
136	Supahaka:0	Andrew Werner	15.00	15.00	51	35
137	Yan Wu:1	haoyu	15.00	0.04	51	0
138	bfang:0	haoyu	15.00	0.04	53	0
139	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	54	0
140	jabreezy:1	Mercury	15.00	0.10	55	0
141	Brendan Wright:1	Deric Cheng	15.00	0.10	56	0
142	Ben Chen:0	Elphaba	15.00	0.07	57	0
143	Glenn Fisher:0	Elphaba	15.00	0.02	58	0
144	Glenn Fisher:1	jabreezy	15.00	0.09	62	0
145	Yacob Y.:0	haoyu	15.00	0.06	66	0
146	Batman:1	haoyu	15.00	0.04	68	0
147	Linda:0	Andrew Grasso	15.00	0.01	68	0
148	Dr Roberto:0	Andrew Grasso	15.00	0.03	68	0
149	Sally Smith:0	haoyu	15.00	0.04	75	0
150	Walter Little:0	haoyu	15.00	0.04	78	0
151	Mark S. Fillmore:1	Supahaka	15.00	0.04	80	79
152	David Lackey:0	Anon5	15.00	0.03	84	0
153	Yan Wu:0	haoyu	15.00	0.05	84	0
154	Walter Little:1	haoyu	15.00	0.03	85	0
155	Ben Chen:1	spl	15.00	0.20	87	0
156	Matt Haake:0	haoyu	15.00	0.05	100	0
157	NA:1	Elphaba	15.00	0.04	102	0
158	Matt Haake:1	haoyu	15.00	0.05	102	0
159	Charliezsc:0	jgs	15.00	14.98	111	1
160	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
161	NA:0	haoyu	15.00	0.03	116	0
162	Yacob Y.:1	Aristotle	15.00	15.00	116	1
163	KingBach:1	haoyu	15.00	0.04	128	0
164	KingBach:0	haoyu	15.00	0.06	133	0
165	snowflakes:1	haoyu	15.00	0.03	134	0
166	snowflakes:0	haoyu	15.00	0.03	136	0
167	spl:1	haoyu	15.00	0.06	136	0
168	spl:0	Elphaba	15.00	0.09	182	0
169	Absurdity:0	Aristotle	15.00	0.23	187	0
170	Khoa:0	haoyu	15.00	0.09	194	0
171	Khoa:1	Aristotle	15.00	0.09	198	0
172	Absurdity:1	Aristotle	15.00	0.18	206	0
173	Charliezsc:1	haoyu	15.00	0.07	282	0
174	Sprt:1	haoyu	15.00	0.05	300	0
175	ebp:1	haoyu	15.00	0.04	348	0
176	ebp:0	haoyu	15.00	0.04	367	0
177	Sabar Dasgupta:0	spl	15.00	0.23	423	0
178	Linda:1	Andrew Grasso	15.00	0.02	508	0
179	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	526	0
180	burrito:0	haoyu	15.00	0.09	1308	0
181	Andys:1	Aristotle	15.00	0.13	2254	0
182	DinnerPartyPlannerBM:1	Nihar the Great	15.00	0.06	2674	0
183	Andys:0	Aristotle	15.00	0.12	2870	0
184	John Whelchel:1	haoyu	15.00	0.11	3195	0
185	dfshasdsf12:0	haoyu	15.00	0.09	3661	0
186	nupog:1	Aristotle	15.00	0.12	4180	0
187	nupog:0	Aristotle	15.00	0.13	4209	0
188	Mike Hunt:1	Aristotle	15.00	0.29	4307	0
189	Mike Hunt:0	Aristotle	15.00	0.27	4827	0
190	Aaron H:0	Aristotle	15.00	0.11	4834	0
191	Andrew Werner:1	haoyu	15.00	0.11	5943	0
192	Aaron H:1	Aristotle	15.00	0.11	6369	0
193	Sprt:0	Aristotle	15.00	0.11	6469	0
194	BH:0	haoyu	15.00	0.07	6523	0
195	BH:1	haoyu	15.00	0.05	6650	0
196	Lil Thug:0	Andrew Grasso	15.00	0.03	7472	0
197	Lil Thug:1	Andrew Grasso	15.00	0.03	7712	0
198	Shaheed Chagani:0	Aristotle	15.00	0.17	20739	0
199	Deric Cheng:0	jgs	15.00	14.99	24522	1
200	jgs:0	Aristotle	15.00	0.12	33057	0
201	Bar Shabtai:1	haoyu	15.00	0.12	33672	0
202	Bob Dondero:1	Mickey Mouse	15.00	0.03	7	0
203	Sally Smith:1	haoyu	15.00	0.04	43	0
204	Brendan Wright:0	haoyu	15.00	0.10	112	0
205	Andrew Werner:0	Aaron Doll	15.00	0.33	6282	0
206	dfshasdsf12:1	Nihar the Great	15.00	0.11	11837	0
207	burrito:1	haoyu	15.00	0.10	14836	0
208	Shaheed Chagani:1	Aristotle	15.00	0.11	19882	0
209	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	21897	0
210	jgs:1	haoyu	15.00	0.18	36916	0
211	John Whelchel:0	haoyu	15.00	0.06	4578	0
212	Deric Cheng:1	jgs	15.00	14.98	27030	1
213	CAPS LOCK:0	Aristotle	15.00	0.20	30569	0
214	Bob Dondero:0	Andrew Grasso	15.00	0.02	7	0
215	Nihar the Great:1	Aristotle	15.00	0.25	25501	0
216	13a:0	Aaron Doll	15.01	15.00	112901	21
217	Nihar the Great:0	Aristotle	15.01	0.23	25806	0
218	Aaron Doll:1	Aristotle	15.01	1.27	353329	0
219	Elphaba:1	Aristotle	15.01	0.22	88411	0
220	CAPS LOCK:1	Aristotle	15.01	0.25	52132	0
221	Aristotle:0	Aristotle	15.01	15.00	747848	1
222	Matt Goldsmith:1	Happy	15.01	0.03	515765	0
223	13a:1	Aaron Doll	15.02	15.00	106010	29
224	Bar Shabtai:0	Aaron Doll	15.02	15.01	344538	1
225	Aristotle:1	Aristotle	15.03	9.69	743788	0
226	Aaron Doll:0	Aristotle	15.03	0.56	276339	0
227	Elphaba:0	Aristotle	15.03	0.24	80771	0
228	Matt Goldsmith:0	Nihar the Great	15.04	0.03	505909	0

SatSolvers Ranklist

Generators Ranklist