Stats for satsolver: Sally Smith

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 Sally Smith 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 Sally Smith 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:	Sally Smith
Rank:	111 / 118
Average Score:	37.95
Median Score:	15.00
Description:	I implemented walksat as it is stated in the pseudocode in the textbook. I created a random model and then with probability p, flipped a randomly selected symbol in a randomly selected false clause. With probability (1-p), I flipped the symbol in the randomly selected false clause that maximizes the number of satisfied clauses. When time runs out, I return the best model I have.

	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:1	KingBach	0.00	0.00	0	0
4	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
5	Bebe Shi:1	KingBach	0.01	0.00	0	0
6	Solving For Clauses:1	haoyu	0.01	0.00	0	0
7	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
8	K.L.:1	KingBach	0.01	0.00	0	0
9	Ravi Tandon:0	KingBach	0.01	0.00	0	0
10	Happy:1	KingBach	0.01	0.00	0	0
11	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
12	Bebe Shi:0	KingBach	0.01	0.00	0	0
13	Miranda:1	cat	0.01	0.00	0	0
14	K.L.:0	haoyu	0.01	0.00	0	0
15	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
16	Daffy Duck:1	haoyu	0.02	0.00	0	0
17	R. A. B.:1	cat	0.02	0.00	0	0
18	Miranda:0	cat	0.03	0.00	0	0
19	Jonathan Kwok:0	Elphaba	0.03	0.00	0	0
20	haoyu:1	Anon5	0.03	0.01	0	0
21	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
22	Gewang:0	Jonathan Kwok	0.04	0.00	0	0
23	Blam:0	Elphaba	0.04	0.00	0	0
24	Daffy Duck:0	Andrew Werner	0.05	0.00	0	0
25	BMJ:1	burrito	0.05	0.00	0	0
26	Blam:1	Elphaba	0.06	0.00	0	0
27	haoyu:0	KingBach	0.06	0.01	0	0
28	BMJ:0	Elphaba	0.06	0.00	0	0
29	bchouGenerator:0	haoyu	0.07	0.00	0	0
30	Gewang:1	Jonathan Kwok	0.07	0.00	0	0
31	The Kraken:0	haoyu	0.09	0.00	0	0
32	The Kraken:1	haoyu	0.12	0.00	0	0
33	bchouGenerator:1	Jonathan Kwok	0.12	0.01	0	0
34	David Paulk:0	cat	0.12	0.00	0	0
35	Tree Prophet:0	haoyu	0.12	0.00	0	0
36	Happy:0	haoyu	0.15	0.00	0	0
37	Quite Satisfied:0	haoyu	0.15	0.00	0	0
38	Scheduling Generator 203:0	jgs	0.15	0.01	0	0
39	David Paulk:1	Bar Shabtai	0.18	0.00	0	0
40	Tree Prophet:1	haoyu	0.22	0.00	0	0
41	Tom T:0	EC	0.25	0.02	0	0
42	Tom T:1	Andrew Werner	0.26	0.02	0	0
43	Scheduling Generator 203:1	Jameh	0.26	0.02	0	0
44	Mickey Mouse:0	Bar Shabtai	0.32	0.01	0	0
45	Mickey Mouse:1	haoyu	0.37	0.01	0	0
46	weezy:0	Bar Shabtai	0.44	0.01	0	0
47	cmF5a3ly:0	Nihar the Great	0.46	0.00	0	0
48	Jordan Ash:1	Bar Shabtai	0.49	0.01	0	0
49	Mike Honcho:0	Miranda	0.51	0.01	0	0
50	cmF5a3ly:1	Nihar the Great	0.51	0.00	0	0
51	Qinlan Shen:0	Bar Shabtai	0.55	0.01	0	0
52	weezy:1	Bar Shabtai	0.55	0.01	0	0
53	Dr Roberto:0	Andrew Grasso	0.59	0.03	0	0
54	Dr Roberto:1	Andrew Grasso	0.71	0.02	0	0
55	R. A. B.:0	Nihar the Great	0.73	0.00	0	0
56	Bob Dondero:0	Andrew Grasso	0.78	0.02	0	0
57	Sunny:0	Green "The Bean" Choi	0.82	0.02	0	0
58	Bob Dondero:1	Mickey Mouse	0.93	0.03	0	0
59	Boomshanka:0	haoyu	1.28	0.01	0	0
60	Tiny Wings:0	haoyu	1.42	0.02	0	0
61	Tiny Wings:1	haoyu	1.61	0.01	0	0
62	Jameh:0	haoyu	1.88	0.01	0	0
63	Sunny:1	jabreezy	1.88	0.01	0	0
64	Ytterbium:0	Andrew Grasso	2.39	0.02	0	0
65	Keji Xu:1	Nihar the Great	2.45	0.04	0	0
66	The Whitman Whale:0	bigwig	2.49	0.04	0	0
67	The Whitman Whale:1	Andrew Grasso	2.53	0.03	0	0
68	Linda:0	Andrew Grasso	2.75	0.01	0	0
69	DeeEmEm:1	haoyu	2.85	0.02	0	0
70	Keji Xu:0	Nihar the Great	3.09	0.03	0	0
71	Janie Gu:1	Jonathan Kwok	3.21	0.07	0	0
72	vluu:0	Nihar the Great	3.37	0.01	0	0
73	vluu:1	Nihar the Great	3.42	0.02	0	0
74	Janie Gu:0	Glenn Fisher	3.58	0.07	0	0
75	cat:0	haoyu	3.91	0.03	0	0
76	cat:1	haoyu	4.41	0.03	0	0
77	Linda:1	Andrew Grasso	4.54	0.02	0	0
78	Brendan Wright:0	haoyu	4.80	0.10	0	0
79	Jameh:1	haoyu	9.95	0.01	0	0
80	Boomshanka:1	Bar Shabtai	11.01	0.01	0	0
81	Ytterbium:1	Nihar the Great	12.02	0.02	0	0
82	Lisa Kim:1	Bar Shabtai	14.28	0.06	0	0
83	T. Capote:0	haoyu	15.00	0.00	2	2
84	Qinlan Shen:1	R. A. B.	15.00	9.00	3	1
85	DeeEmEm:0	CAPS LOCK	15.00	13.00	4	1
86	T. Capote:1	haoyu	15.00	0.00	4	2
87	Jessie Chen:1	Joel Faron	15.00	0.12	5	1
88	Quite Satisfied:1	Joel Faron	15.00	2.11	6	1
89	0108:0	jgs	15.00	14.98	6	1
90	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	7	0
91	Alex Fish:1	haoyu	15.00	0.02	7	0
92	Jordan Ash:0	EC	15.00	0.03	7	0
93	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	8	0
94	Jessie Chen:0	Joel Faron	15.00	0.13	10	1
95	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	10	0
96	David H.:0	AFC	15.00	0.28	15	0
97	Anon_K_P:1	Aristotle	15.00	0.03	15	0
98	Anon5:1	Green "The Bean" Choi	15.00	0.07	16	0
99	Valya Barboy:1	Shaheed Chagani	15.00	0.18	16	0
100	CookieMonster:1	CookieMonster	15.00	1.10	19	0
101	Samuel Jerome:0	haoyu	15.00	0.03	19	0
102	David H.:1	DeeEmEm	15.00	0.33	20	0
103	AFC:1	Aristotle	15.00	0.16	21	0
104	SuperFan:1	jgs	15.00	14.98	27	4
105	SuperFan:0	jgs	15.00	14.98	28	4
106	David Lackey:0	Anon5	15.00	0.03	46	0
107	Dusty:0	CookieMonster	15.00	1.39	49	0
108	Supahaka:1	Joel Faron	15.00	15.00	49	35
109	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	50	0
110	Mr. Blobby:1	dusty	15.00	0.12	71	0
111	George Okeowo:0	Andrew Grasso	15.00	0.01	1049	0
112	soccer:0	haoyu	15.00	0.04	1098	0
113	jabreezy:0	Mercury	15.00	0.09	1848	0
114	Alex Fish:0	haoyu	15.00	0.01	7	0
115	0108:1	haoyu	15.00	0.01	8	0
116	Anon_K_P:0	haoyu	15.00	0.02	16	0
117	Valya Barboy:0	Aristotle	15.00	0.06	19	0
118	Anon5:0	haoyu	15.00	0.05	23	0
119	Supahaka:0	Andrew Werner	15.00	15.00	52	35
120	Dusty:1	Shaheed Chagani	15.00	0.22	54	0
121	Andrew Grasso:0	Aaron Doll	15.00	0.18	54	0
122	David Lackey:1	Bar Shabtai	15.00	0.03	63	0
123	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	73	0
124	Walter Little:0	haoyu	15.00	0.04	100	0
125	Matt Haake:1	haoyu	15.00	0.05	116	0
126	kt4124:1	haoyu	15.00	0.04	122	0
127	spl:1	haoyu	15.00	0.06	990	0
128	Lisa Kim:0	Aristotle	15.00	0.07	4	0
129	EC:1	haoyu	15.00	0.03	15	0
130	CookieMonster:0	CookieMonster	15.00	0.82	21	0
131	Glenn Fisher:1	jabreezy	15.00	0.09	52	0
132	kt4124:0	haoyu	15.00	0.03	150	0
133	snowflakes:1	haoyu	15.00	0.03	151	0
134	snowflakes:0	haoyu	15.00	0.03	160	0
135	Tao:1	Aristotle	15.00	0.07	7	0
136	AFC:0	CookieMonster	15.00	0.34	24	0
137	Fanny:1	Aristotle	15.00	0.12	38	0
138	Glenn Fisher:0	Elphaba	15.00	0.02	57	0
139	Matt Haake:0	haoyu	15.00	0.05	108	0
140	NA:0	haoyu	15.00	0.03	111	0
141	NA:1	Elphaba	15.00	0.04	112	0
142	Nikhilesh Sigatapu:1	haoyu	15.01	0.04	15	0
143	bfang:1	haoyu	15.01	0.04	54	0
144	Ben Chen:1	spl	15.01	0.20	77	0
145	Mark S. Fillmore:1	Supahaka	15.01	0.04	79	79
146	Yan Wu:0	haoyu	15.01	0.05	80	0
147	EC:0	haoyu	15.01	0.03	19	0
148	Samuel Jerome:1	haoyu	15.01	0.03	19	0
149	Ben Chen:0	Elphaba	15.01	0.07	77	0
150	Khoa:1	Aristotle	15.01	0.09	5943	0
151	Mercury:0	haoyu	15.01	0.05	13	0
152	George Okeowo:1	Andrew Grasso	15.01	0.01	264	0
153	Walter Little:1	haoyu	15.01	0.03	65	0
154	Batman:1	haoyu	15.01	0.04	4185	0
155	Sabar Dasgupta:0	spl	15.01	0.23	11155	0
156	Tao:0	Bar Shabtai	15.01	0.02	4	0
157	Mercury:1	haoyu	15.01	0.05	21	0
158	Mark S. Fillmore:0	Supahaka	15.01	0.01	828	116
159	Charliezsc:0	jgs	15.01	14.98	6089	1
160	ebp:1	haoyu	15.01	0.04	6126	0
161	Khoa:0	haoyu	15.01	0.09	6612	0
162	soccer:1	haoyu	15.02	0.04	1126	0
163	Yacob Y.:1	Aristotle	15.02	15.00	4810	1
164	Sally Smith:1	haoyu	15.02	0.04	2	0
165	Absurdity:1	Aristotle	15.02	0.18	5891	0
166	Fanny:0	Aristotle	15.02	0.10	35	0
167	Sprt:1	haoyu	15.02	0.05	9334	0
168	jabreezy:1	Mercury	15.02	0.10	1758	0
169	Charliezsc:1	haoyu	15.02	0.07	9866	0
170	Sally Smith:0	haoyu	15.02	0.04	4	0
171	Absurdity:0	Aristotle	15.02	0.23	5936	0
172	Yacob Y.:0	haoyu	15.03	0.06	2429	0
173	Brendan Wright:1	Deric Cheng	15.03	0.10	5	0
174	spl:0	Elphaba	15.03	0.09	1641	0
175	Yan Wu:1	haoyu	15.03	0.04	57	0
176	Sabar Dasgupta:1	Aaron Doll	15.03	0.17	12102	0
177	KingBach:1	haoyu	15.03	0.04	4024	0
178	bfang:0	haoyu	15.04	0.04	1685	0
179	Batman:0	haoyu	15.04	0.04	4449	0
180	KingBach:0	haoyu	15.06	0.06	4264	0
181	ebp:0	haoyu	15.06	0.04	6788	0
182	Andys:0	Aristotle	-	0.12	-	0
183	DinnerPartyPlannerBM:1	Nihar the Great	-	0.06	-	0
184	Elphaba:1	Aristotle	-	0.22	-	0
185	Bar Shabtai:1	haoyu	-	0.12	-	0
186	nupog:1	Aristotle	-	0.12	-	0
187	Aaron H:0	Aristotle	-	0.11	-	0
188	Shaheed Chagani:0	Aristotle	-	0.17	-	0
189	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
190	Aristotle:1	Aristotle	-	9.69	-	0
191	Lil Thug:0	Andrew Grasso	-	0.03	-	0
192	Andys:1	Aristotle	-	0.13	-	0
193	Aaron H:1	Aristotle	-	0.11	-	0
194	jgs:1	haoyu	-	0.18	-	0
195	John Whelchel:1	haoyu	-	0.11	-	0
196	Andrew Werner:0	Aaron Doll	-	0.33	-	0
197	dfshasdsf12:1	Nihar the Great	-	0.11	-	0
198	DinnerPartyPlannerBM:0	Aristotle	-	0.11	-	0
199	Mike Hunt:0	Aristotle	-	0.27	-	0
200	Mike Hunt:1	Aristotle	-	0.29	-	0
201	Aaron Doll:0	Aristotle	-	0.56	-	0
202	burrito:1	haoyu	-	0.10	-	0
203	Shaheed Chagani:1	Aristotle	-	0.11	-	0
204	Deric Cheng:1	jgs	-	14.98	-	1
205	Lil Thug:1	Andrew Grasso	-	0.03	-	0
206	13a:0	Aaron Doll	-	15.00	-	21
207	Elphaba:0	Aristotle	-	0.24	-	0
208	John Whelchel:0	haoyu	-	0.06	-	0
209	Andrew Werner:1	haoyu	-	0.11	-	0
210	dfshasdsf12:0	haoyu	-	0.09	-	0
211	BH:0	haoyu	-	0.07	-	0
212	Aaron Doll:1	Aristotle	-	1.27	-	0
213	totallyOnFallBreak:1	Nikhilesh Sigatapu	-	0.01	-	0
214	Deric Cheng:0	jgs	-	14.99	-	1
215	jgs:0	Aristotle	-	0.12	-	0
216	Nihar the Great:0	Aristotle	-	0.23	-	0
217	CAPS LOCK:1	Aristotle	-	0.25	-	0
218	burrito:0	haoyu	-	0.09	-	0
219	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
220	nupog:0	Aristotle	-	0.13	-	0
221	Aristotle:0	Aristotle	-	15.00	-	1
222	13a:1	Aaron Doll	-	15.00	-	29
223	BH:1	haoyu	-	0.05	-	0
224	totallyOnFallBreak:0	Nikhilesh Sigatapu	-	0.01	-	0
225	Nihar the Great:1	Aristotle	-	0.25	-	0
226	CAPS LOCK:0	Aristotle	-	0.20	-	0
227	Matt Goldsmith:1	Happy	-	0.03	-	0
228	Sprt:0	Aristotle	-	0.11	-	0

SatSolvers Ranklist

Generators Ranklist