Stats for satsolver: Matt Goldsmith

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 Matt Goldsmith 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 Matt Goldsmith 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:	Matt Goldsmith
Rank:	40 / 118
Average Score:	6.56
Median Score:	0.29
Description:	I used WalkSAT with a couple optimizations. I kept a list of unsatisfied clauses to speed up getting a random one and getting the number of unsatisfied clauses. In the algorithm, there is also a key-map object of symbols to clauses to reduce the time it takes to update the unsatisfied clause list after changing a symbol.

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

SatSolvers Ranklist

Generators Ranklist