Stats for satsolver: Glenn Fisher

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 Glenn Fisher 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 Glenn Fisher 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:	Glenn Fisher
Rank:	11 / 118
Average Score:	4.58
Median Score:	0.34
Description:	This SAT solver implements WalkSAT but improves upon the initial assignment of symbols using the pure symbol and unit clause heuristics described in Russell/Norvig p. 260.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Bebe Shi:1	KingBach	0.00	0.00	0	0
2	K.L.:1	KingBach	0.00	0.00	0	0
3	bigwig:0	Andrew Werner	0.00	0.00	0	0
4	David Paulk:0	cat	0.00	0.00	0	0
5	Miranda:1	cat	0.00	0.00	0	0
6	bigwig:1	KingBach	0.00	0.00	0	0
7	Ravi Tandon:1	KingBach	0.00	0.00	0	0
8	Miranda:0	cat	0.00	0.00	0	0
9	Ravi Tandon:0	KingBach	0.00	0.00	0	0
10	BMJ:1	burrito	0.00	0.00	0	0
11	Happy:1	KingBach	0.00	0.00	0	0
12	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
13	BMJ:0	Elphaba	0.00	0.00	0	0
14	Bebe Shi:0	KingBach	0.00	0.00	0	0
15	R. A. B.:1	cat	0.00	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
17	K.L.:0	haoyu	0.00	0.00	0	0
18	Solving For Clauses:0	Glenn Fisher	0.00	0.00	0	0
19	Tree Prophet:0	haoyu	0.00	0.00	0	0
20	Joshua Zimmer:0	haoyu	0.00	0.00	0	0
21	David Paulk:1	Bar Shabtai	0.00	0.00	0	0
22	Blam:1	Elphaba	0.00	0.00	0	0
23	Solving For Clauses:1	haoyu	0.00	0.00	0	0
24	Joshua Zimmer:1	haoyu	0.00	0.00	0	0
25	Blam:0	Elphaba	0.01	0.00	0	0
26	Quite Satisfied:0	haoyu	0.01	0.00	0	0
27	Tree Prophet:1	haoyu	0.01	0.00	0	0
28	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
29	bchouGenerator:0	haoyu	0.01	0.00	0	0
30	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
31	The Kraken:1	haoyu	0.01	0.00	0	0
32	George Okeowo:1	Andrew Grasso	0.01	0.01	0	0
33	Jordan Ash:1	Bar Shabtai	0.01	0.01	0	0
34	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
35	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
36	George Okeowo:0	Andrew Grasso	0.01	0.01	0	0
37	haoyu:1	Anon5	0.01	0.01	0	0
38	Qinlan Shen:0	Bar Shabtai	0.01	0.01	0	0
39	Daffy Duck:1	haoyu	0.01	0.00	0	0
40	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
41	Mickey Mouse:1	haoyu	0.01	0.01	0	0
42	The Kraken:0	haoyu	0.01	0.00	0	0
43	haoyu:0	KingBach	0.01	0.01	0	0
44	cmF5a3ly:1	Nihar the Great	0.01	0.00	0	0
45	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.01	0.01	0	0
46	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
47	Boomshanka:1	Bar Shabtai	0.02	0.01	0	0
48	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
49	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.02	0.01	0	0
50	Happy:0	haoyu	0.02	0.00	0	0
51	weezy:1	Bar Shabtai	0.02	0.01	0	0
52	weezy:0	Bar Shabtai	0.02	0.01	0	0
53	Tiny Wings:1	haoyu	0.03	0.01	0	0
54	Jameh:0	haoyu	0.03	0.01	0	0
55	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
56	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
57	Tom T:1	Andrew Werner	0.03	0.02	0	0
58	Tom T:0	EC	0.04	0.02	0	0
59	Tiny Wings:0	haoyu	0.04	0.02	0	0
60	vluu:0	Nihar the Great	0.04	0.01	0	0
61	Ytterbium:0	Andrew Grasso	0.04	0.02	0	0
62	David Lackey:0	Anon5	0.04	0.03	0	0
63	Alex Fish:0	haoyu	0.04	0.01	0	0
64	Jameh:1	haoyu	0.04	0.01	0	0
65	Alex Fish:1	haoyu	0.04	0.02	0	0
66	Jordan Ash:0	EC	0.04	0.03	0	0
67	vluu:1	Nihar the Great	0.04	0.02	0	0
68	DeeEmEm:1	haoyu	0.04	0.02	0	0
69	Anon_K_P:0	haoyu	0.05	0.02	0	0
70	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.06	0.01	0	0
71	Nikhilesh Sigatapu:0	haoyu	0.06	0.03	0	0
72	The Whitman Whale:0	bigwig	0.06	0.04	0	0
73	The Whitman Whale:1	Andrew Grasso	0.06	0.03	0	0
74	Tao:0	Bar Shabtai	0.06	0.02	0	0
75	Janie Gu:0	Glenn Fisher	0.07	0.07	0	0
76	cat:1	haoyu	0.07	0.03	0	0
77	Mike Honcho:0	Miranda	0.07	0.01	0	0
78	Ytterbium:1	Nihar the Great	0.07	0.02	0	0
79	Boomshanka:0	haoyu	0.07	0.01	0	0
80	Dr Roberto:1	Andrew Grasso	0.07	0.02	0	0
81	Mike Honcho:1	Jessie Chen	0.07	0.01	0	0
82	0108:1	haoyu	0.07	0.01	0	0
83	Bob Dondero:1	Mickey Mouse	0.08	0.03	0	0
84	cat:0	haoyu	0.08	0.03	0	0
85	Tao:1	Aristotle	0.09	0.07	0	0
86	Nikhilesh Sigatapu:1	haoyu	0.11	0.04	0	0
87	Samuel Jerome:1	haoyu	0.11	0.03	0	0
88	Keji Xu:1	Nihar the Great	0.11	0.04	0	0
89	Dr Roberto:0	Andrew Grasso	0.11	0.03	0	0
90	Lisa Kim:1	Bar Shabtai	0.12	0.06	0	0
91	Lisa Kim:0	Aristotle	0.12	0.07	0	0
92	David Lackey:1	Bar Shabtai	0.12	0.03	0	0
93	Fanny:1	Aristotle	0.12	0.12	0	0
94	kt4124:0	haoyu	0.14	0.03	0	0
95	Brendan Wright:1	Deric Cheng	0.14	0.10	0	0
96	Keji Xu:0	Nihar the Great	0.14	0.03	0	0
97	Samuel Jerome:0	haoyu	0.15	0.03	0	0
98	EC:1	haoyu	0.15	0.03	0	0
99	Linda:0	Andrew Grasso	0.17	0.01	0	0
100	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.17	0.00	0	0
101	Bob Dondero:0	Andrew Grasso	0.17	0.02	0	0
102	kt4124:1	haoyu	0.19	0.04	0	0
103	bfang:0	haoyu	0.21	0.04	0	0
104	Janie Gu:1	Jonathan Kwok	0.22	0.07	0	0
105	Mercury:1	haoyu	0.23	0.05	0	0
106	KingBach:1	haoyu	0.27	0.04	0	0
107	Yan Wu:0	haoyu	0.28	0.05	0	0
108	Linda:1	Andrew Grasso	0.28	0.02	0	0
109	Sally Smith:1	haoyu	0.31	0.04	0	0
110	Anon5:1	Green "The Bean" Choi	0.31	0.07	0	0
111	Batman:0	haoyu	0.32	0.04	0	0
112	Anon_K_P:1	Aristotle	0.33	0.03	0	0
113	Matt Haake:0	haoyu	0.34	0.05	0	0
114	Mercury:0	haoyu	0.34	0.05	0	0
115	Batman:1	haoyu	0.35	0.04	0	0
116	KingBach:0	haoyu	0.36	0.06	0	0
117	Sally Smith:0	haoyu	0.40	0.04	0	0
118	Khoa:1	Aristotle	0.41	0.09	0	0
119	Yan Wu:1	haoyu	0.42	0.04	0	0
120	Sprt:1	haoyu	0.42	0.05	0	0
121	Khoa:0	haoyu	0.43	0.09	0	0
122	Fanny:0	Aristotle	0.52	0.10	0	0
123	Valya Barboy:0	Aristotle	0.55	0.06	0	0
124	bfang:1	haoyu	0.57	0.04	0	0
125	Yacob Y.:0	haoyu	0.64	0.06	0	0
126	snowflakes:0	haoyu	0.65	0.03	0	0
127	Matt Haake:1	haoyu	0.66	0.05	0	0
128	Glenn Fisher:0	Elphaba	0.73	0.02	0	0
129	Sabar Dasgupta:0	spl	0.80	0.23	0	0
130	soccer:0	haoyu	0.90	0.04	0	0
131	Sabar Dasgupta:1	Aaron Doll	0.93	0.17	0	0
132	Sunny:1	jabreezy	0.95	0.01	0	0
133	burrito:0	haoyu	0.96	0.09	0	0
134	DinnerPartyPlannerBM:1	Nihar the Great	0.96	0.06	0	0
135	dfshasdsf12:0	haoyu	1.10	0.09	0	0
136	Anon5:0	haoyu	1.30	0.05	0	0
137	EC:0	haoyu	1.32	0.03	0	0
138	soccer:1	haoyu	1.59	0.04	0	0
139	Sprt:0	Aristotle	1.85	0.11	0	0
140	Aaron H:1	Aristotle	1.89	0.11	0	0
141	Lil Thug:1	Andrew Grasso	2.06	0.03	0	0
142	Lil Thug:0	Andrew Grasso	2.09	0.03	0	0
143	Mr. Blobby:1	dusty	2.22	0.12	0	0
144	Charliezsc:1	haoyu	2.22	0.07	0	0
145	Sunny:0	Green "The Bean" Choi	2.37	0.02	0	0
146	snowflakes:1	haoyu	2.44	0.03	0	0
147	dfshasdsf12:1	Nihar the Great	2.45	0.11	0	0
148	burrito:1	haoyu	2.90	0.10	0	0
149	Andrew Grasso:0	Aaron Doll	3.10	0.18	0	0
150	Aaron H:0	Aristotle	3.18	0.11	0	0
151	Brendan Wright:0	haoyu	3.27	0.10	0	0
152	DinnerPartyPlannerBM:0	Aristotle	3.49	0.11	0	0
153	Ben Chen:1	spl	4.14	0.20	0	0
154	Mr. Blobby:0	Green "The Bean" Choi	4.25	0.14	0	0
155	John Whelchel:0	haoyu	4.62	0.06	0	0
156	Mike Hunt:0	Aristotle	4.94	0.27	0	0
157	Andrew Werner:0	Aaron Doll	5.53	0.33	0	0
158	jgs:1	haoyu	6.01	0.18	0	0
159	David H.:0	AFC	6.63	0.28	0	0
160	Glenn Fisher:1	jabreezy	7.25	0.09	0	0
161	jabreezy:1	Mercury	7.45	0.10	0	0
162	CAPS LOCK:0	Aristotle	7.81	0.20	0	0
163	Ben Chen:0	Elphaba	8.07	0.07	0	0
164	BH:1	haoyu	8.07	0.05	0	0
165	Andys:1	Aristotle	8.17	0.13	0	0
166	Mike Hunt:1	Aristotle	8.42	0.29	0	0
167	jabreezy:0	Mercury	8.47	0.09	0	0
168	nupog:1	Aristotle	9.45	0.12	0	0
169	nupog:0	Aristotle	9.59	0.13	0	0
170	BH:0	haoyu	9.69	0.07	0	0
171	Andys:0	Aristotle	10.11	0.12	0	0
172	Walter Little:1	haoyu	10.85	0.03	0	0
173	jgs:0	Aristotle	11.26	0.12	0	0
174	Bar Shabtai:1	haoyu	13.31	0.12	0	0
175	Elphaba:1	Aristotle	13.57	0.22	0	0
176	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
177	T. Capote:0	haoyu	15.00	0.00	2	2
178	T. Capote:1	haoyu	15.00	0.00	2	2
179	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
180	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
181	CookieMonster:1	CookieMonster	15.00	1.10	1	0
182	Quite Satisfied:1	Joel Faron	15.00	2.11	2	1
183	CookieMonster:0	CookieMonster	15.00	0.82	2	0
184	DeeEmEm:0	CAPS LOCK	15.00	13.00	2	1
185	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
186	ebp:0	haoyu	15.00	0.04	3	0
187	Jessie Chen:1	Joel Faron	15.00	0.12	3	1
188	0108:0	jgs	15.00	14.98	3	1
189	Walter Little:0	haoyu	15.00	0.04	6	0
190	Valya Barboy:1	Shaheed Chagani	15.00	0.18	6	0
191	David H.:1	DeeEmEm	15.00	0.33	10	0
192	Dusty:0	CookieMonster	15.00	1.39	10	0
193	Dusty:1	Shaheed Chagani	15.00	0.22	11	0
194	SuperFan:0	jgs	15.00	14.98	12	4
195	AFC:0	CookieMonster	15.00	0.34	12	0
196	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	14	0
197	SuperFan:1	jgs	15.00	14.98	21	4
198	spl:0	Elphaba	15.00	0.09	26	0
199	spl:1	haoyu	15.00	0.06	26	0
200	NA:1	Elphaba	15.00	0.04	33	0
201	NA:0	haoyu	15.00	0.03	40	0
202	Supahaka:1	Joel Faron	15.00	15.00	55	35
203	Supahaka:0	Andrew Werner	15.00	15.00	64	35
204	Shaheed Chagani:1	Aristotle	15.00	0.11	65	0
205	Nihar the Great:1	Aristotle	15.00	0.25	20240	0
206	Aaron Doll:0	Aristotle	15.00	0.56	187022	0
207	AFC:1	Aristotle	15.00	0.16	8	0
208	Absurdity:1	Aristotle	15.00	0.18	9	0
209	John Whelchel:1	haoyu	15.00	0.11	3	0
210	Charliezsc:0	jgs	15.00	14.98	9	1
211	Absurdity:0	Aristotle	15.00	0.23	10	0
212	ebp:1	haoyu	15.00	0.04	15	0
213	Yacob Y.:1	Aristotle	15.00	15.00	12	1
214	Shaheed Chagani:0	Aristotle	15.00	0.17	86	0
215	13a:0	Aaron Doll	15.00	15.00	13171	21
216	13a:1	Aaron Doll	15.01	15.00	13239	29
217	Nihar the Great:0	Aristotle	15.01	0.23	21034	0
218	Bar Shabtai:0	Aaron Doll	15.03	15.01	240257	1
219	Andrew Werner:1	haoyu	15.03	0.11	8	0
220	Aaron Doll:1	Aristotle	15.05	1.27	239335	0
221	Matt Goldsmith:0	Nihar the Great	15.06	0.03	504173	0
222	Aristotle:1	Aristotle	15.06	9.69	678153	0
223	Deric Cheng:0	jgs	15.07	14.99	2	1
224	Aristotle:0	Aristotle	15.09	15.00	698238	1
225	Deric Cheng:1	jgs	15.13	14.98	2	1
226	Matt Goldsmith:1	Happy	15.14	0.03	507884	0
227	CAPS LOCK:1	Aristotle	15.15	0.25	0	0
228	Elphaba:0	Aristotle	15.24	0.24	6	0

SatSolvers Ranklist

Generators Ranklist