Stats for satsolver: Andrew Grasso

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 Grasso 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 Grasso 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 Grasso
Rank:	26 / 118
Average Score:	5.33
Median Score:	0.34
Description:	Implements WALKSAT

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

SatSolvers Ranklist

Generators Ranklist