Stats for satsolver: Alex Fish

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 Alex Fish 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 Alex Fish 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:	Alex Fish
Rank:	89 / 118
Average Score:	14.90
Median Score:	15.00
Description:	My algorithm is a vanilla version of WalkSat. In implementing the algorithm, I've made some slight improvements.Particularly, I avoid reevaluating each clause more than once when computing the set of false clauses and determining whether or not a false clause still exists.

	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	Bebe Shi:0	KingBach	0.00	0.00	0	0
5	Ravi Tandon:0	KingBach	0.01	0.00	0	0
6	Bebe Shi:1	KingBach	0.01	0.00	0	0
7	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
8	BMJ:1	burrito	0.01	0.00	0	0
9	Happy:1	KingBach	0.01	0.00	0	0
10	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
11	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
12	Solving For Clauses:1	haoyu	0.01	0.00	0	0
13	Daffy Duck:1	haoyu	0.01	0.00	0	0
14	K.L.:1	KingBach	0.01	0.00	0	0
15	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
16	K.L.:0	haoyu	0.01	0.00	0	0
17	Miranda:0	cat	0.01	0.00	0	0
18	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
19	BMJ:0	Elphaba	0.01	0.00	0	0
20	Miranda:1	cat	0.01	0.00	0	0
21	R. A. B.:1	cat	0.01	0.00	0	0
22	bchouGenerator:0	haoyu	0.02	0.00	0	0
23	Blam:1	Elphaba	0.02	0.00	0	0
24	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
25	Mike Honcho:0	Miranda	0.03	0.01	0	0
26	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
27	Gewang:1	Jonathan Kwok	0.03	0.00	0	0
28	Blam:0	Elphaba	0.03	0.00	0	0
29	haoyu:1	Anon5	0.03	0.01	0	0
30	Jordan Ash:1	Bar Shabtai	0.03	0.01	0	0
31	haoyu:0	KingBach	0.04	0.01	0	0
32	bchouGenerator:1	Jonathan Kwok	0.05	0.01	0	0
33	Gewang:0	Jonathan Kwok	0.06	0.00	0	0
34	Happy:0	haoyu	0.06	0.00	0	0
35	The Kraken:0	haoyu	0.06	0.00	0	0
36	Scheduling Generator 203:0	jgs	0.07	0.01	0	0
37	Tree Prophet:0	haoyu	0.07	0.00	0	0
38	Quite Satisfied:0	haoyu	0.07	0.00	0	0
39	The Kraken:1	haoyu	0.08	0.00	0	0
40	Qinlan Shen:0	Bar Shabtai	0.10	0.01	0	0
41	David Paulk:0	cat	0.13	0.00	0	0
42	Bob Dondero:0	Andrew Grasso	0.13	0.02	0	0
43	Tom T:1	Andrew Werner	0.15	0.02	0	0
44	Tom T:0	EC	0.16	0.02	0	0
45	Dr Roberto:1	Andrew Grasso	0.17	0.02	0	0
46	David Paulk:1	Bar Shabtai	0.18	0.00	0	0
47	Scheduling Generator 203:1	Jameh	0.21	0.02	0	0
48	0108:1	haoyu	0.26	0.01	0	0
49	David Lackey:0	Anon5	0.28	0.03	0	0
50	R. A. B.:0	Nihar the Great	0.29	0.00	0	0
51	Tree Prophet:1	haoyu	0.33	0.00	0	0
52	Boomshanka:0	haoyu	0.37	0.01	0	0
53	Dr Roberto:0	Andrew Grasso	0.41	0.03	0	0
54	Mickey Mouse:0	Bar Shabtai	0.46	0.01	0	0
55	Mickey Mouse:1	haoyu	0.48	0.01	0	0
56	weezy:1	Bar Shabtai	0.53	0.01	0	0
57	weezy:0	Bar Shabtai	0.63	0.01	0	0
58	David Lackey:1	Bar Shabtai	0.64	0.03	0	0
59	Jordan Ash:0	EC	0.69	0.03	0	0
60	cmF5a3ly:1	Nihar the Great	0.70	0.00	0	0
61	cmF5a3ly:0	Nihar the Great	0.82	0.00	0	0
62	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.95	0.01	0	0
63	Tiny Wings:0	haoyu	1.04	0.02	0	0
64	Jameh:0	haoyu	1.42	0.01	0	0
65	Bob Dondero:1	Mickey Mouse	1.65	0.03	0	0
66	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	1.66	0.00	0	0
67	Tiny Wings:1	haoyu	1.92	0.01	0	0
68	DeeEmEm:1	haoyu	1.92	0.02	0	0
69	Linda:0	Andrew Grasso	2.33	0.01	0	0
70	Alex Fish:1	haoyu	2.67	0.02	0	0
71	The Whitman Whale:1	Andrew Grasso	2.72	0.03	0	0
72	Tao:1	Aristotle	2.74	0.07	0	0
73	Janie Gu:0	Glenn Fisher	2.77	0.07	0	0
74	Alex Fish:0	haoyu	2.78	0.01	0	0
75	Janie Gu:1	Jonathan Kwok	2.95	0.07	0	0
76	The Whitman Whale:0	bigwig	3.20	0.04	0	0
77	Boomshanka:1	Bar Shabtai	3.61	0.01	0	0
78	Keji Xu:1	Nihar the Great	3.62	0.04	0	0
79	Nikhilesh Sigatapu:1	haoyu	4.04	0.04	0	0
80	Ytterbium:0	Andrew Grasso	4.16	0.02	0	0
81	cat:1	haoyu	4.45	0.03	0	0
82	Keji Xu:0	Nihar the Great	4.58	0.03	0	0
83	vluu:0	Nihar the Great	5.03	0.01	0	0
84	cat:0	haoyu	5.12	0.03	0	0
85	Nikhilesh Sigatapu:0	haoyu	5.54	0.03	0	0
86	vluu:1	Nihar the Great	5.62	0.02	0	0
87	Tao:0	Bar Shabtai	6.71	0.02	0	0
88	Samuel Jerome:0	haoyu	7.11	0.03	0	0
89	Samuel Jerome:1	haoyu	7.20	0.03	0	0
90	Linda:1	Andrew Grasso	7.22	0.02	0	0
91	Jameh:1	haoyu	7.68	0.01	0	0
92	Anon_K_P:0	haoyu	13.08	0.02	0	0
93	Anon5:1	Green "The Bean" Choi	14.18	0.07	0	0
94	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
95	Sunny:0	Green "The Bean" Choi	15.00	0.02	1	0
96	Sunny:1	jabreezy	15.00	0.01	1	0
97	Quite Satisfied:1	Joel Faron	15.00	2.11	2	1
98	T. Capote:0	haoyu	15.00	0.00	2	2
99	T. Capote:1	haoyu	15.00	0.00	2	2
100	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
101	Jessie Chen:1	Joel Faron	15.00	0.12	3	1
102	AFC:1	Aristotle	15.00	0.16	5	0
103	David H.:1	DeeEmEm	15.00	0.33	7	0
104	SuperFan:1	jgs	15.00	14.98	7	4
105	SuperFan:0	jgs	15.00	14.98	12	4
106	DeeEmEm:0	CAPS LOCK	15.00	13.00	3	1
107	Supahaka:1	Joel Faron	15.00	15.00	37	35
108	David H.:0	AFC	15.00	0.28	8	0
109	0108:0	jgs	15.00	14.98	8	1
110	Supahaka:0	Andrew Werner	15.00	15.00	35	35
111	Dusty:1	Shaheed Chagani	15.00	0.22	17	0
112	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	47	0
113	Matt Haake:0	haoyu	15.01	0.05	6	0
114	Valya Barboy:0	Aristotle	15.01	0.06	7	0
115	Fanny:0	Aristotle	15.01	0.10	2	0
116	Dusty:0	CookieMonster	15.01	1.39	12	0
117	NA:0	haoyu	15.01	0.03	37	0
118	Brendan Wright:1	Deric Cheng	15.01	0.10	1	0
119	Anon_K_P:1	Aristotle	15.01	0.03	3	0
120	Valya Barboy:1	Shaheed Chagani	15.01	0.18	2	0
121	EC:0	haoyu	15.01	0.03	4	0
122	Andrew Grasso:1	Shaheed Chagani	15.01	0.15	11	0
123	Ytterbium:1	Nihar the Great	15.02	0.02	468	0
124	AFC:0	CookieMonster	15.02	0.34	5	0
125	snowflakes:0	haoyu	15.02	0.03	68	0
126	NA:1	Elphaba	15.02	0.04	39	0
127	Mr. Blobby:1	dusty	15.02	0.12	311	0
128	Khoa:1	Aristotle	15.02	0.09	7375	0
129	Andrew Grasso:0	Aaron Doll	15.02	0.18	14	0
130	Anon5:0	haoyu	15.02	0.05	6	0
131	Fanny:1	Aristotle	15.02	0.12	2	0
132	kt4124:0	haoyu	15.02	0.03	158	0
133	Matt Haake:1	haoyu	15.03	0.05	11	0
134	CookieMonster:1	CookieMonster	15.03	1.10	10	0
135	EC:1	haoyu	15.03	0.03	6	0
136	spl:1	haoyu	15.03	0.06	2647	0
137	Glenn Fisher:0	Elphaba	15.04	0.02	40	0
138	Mark S. Fillmore:1	Supahaka	15.04	0.04	124	79
139	Glenn Fisher:1	jabreezy	15.04	0.09	40	0
140	Lisa Kim:0	Aristotle	15.04	0.07	722	0
141	soccer:1	haoyu	15.04	0.04	4615	0
142	kt4124:1	haoyu	15.04	0.04	115	0
143	Walter Little:0	haoyu	15.05	0.04	1015	0
144	Mercury:1	haoyu	15.05	0.05	2136	0
145	Batman:1	haoyu	15.05	0.04	6699	0
146	Walter Little:1	haoyu	15.05	0.03	1478	0
147	Yan Wu:1	haoyu	15.06	0.04	14	0
148	snowflakes:1	haoyu	15.06	0.03	53	0
149	Sally Smith:1	haoyu	15.06	0.04	11	0
150	George Okeowo:0	Andrew Grasso	15.06	0.01	1651	0
151	Mercury:0	haoyu	15.06	0.05	1855	0
152	Lisa Kim:1	Bar Shabtai	15.07	0.06	295	0
153	Absurdity:1	Aristotle	15.07	0.18	8743	0
154	CookieMonster:0	CookieMonster	15.08	0.82	7	0
155	Yan Wu:0	haoyu	15.08	0.05	14	0
156	Mark S. Fillmore:0	Supahaka	15.11	0.01	1186	116
157	Ben Chen:0	Elphaba	15.11	0.07	864	0
158	Yacob Y.:0	haoyu	15.12	0.06	6810	0
159	Absurdity:0	Aristotle	15.12	0.23	9530	0
160	Sally Smith:0	haoyu	15.12	0.04	119	0
161	Brendan Wright:0	haoyu	15.13	0.10	3	0
162	Ben Chen:1	spl	15.13	0.20	1709	0
163	bfang:1	haoyu	15.14	0.04	4126	0
164	Sabar Dasgupta:1	Aaron Doll	15.15	0.17	12961	0
165	KingBach:1	haoyu	15.15	0.04	9960	0
166	Yacob Y.:1	Aristotle	15.15	15.00	8648	1
167	bfang:0	haoyu	15.15	0.04	3242	0
168	burrito:0	haoyu	15.17	0.09	21610	0
169	jabreezy:1	Mercury	15.19	0.10	3738	0
170	dfshasdsf12:0	haoyu	15.19	0.09	19698	0
171	ebp:0	haoyu	15.20	0.04	7390	0
172	George Okeowo:1	Andrew Grasso	15.22	0.01	2284	0
173	spl:0	Elphaba	15.23	0.09	2840	0
174	John Whelchel:1	haoyu	15.24	0.11	32169	0
175	jabreezy:0	Mercury	15.24	0.09	3987	0
176	ebp:1	haoyu	15.25	0.04	8277	0
177	soccer:0	haoyu	15.31	0.04	5122	0
178	Batman:0	haoyu	15.32	0.04	7675	0
179	Charliezsc:0	jgs	15.33	14.98	9371	1
180	KingBach:0	haoyu	15.37	0.06	8332	0
181	Sprt:1	haoyu	15.43	0.05	11622	0
182	Sprt:0	Aristotle	15.48	0.11	28838	0
183	Lil Thug:0	Andrew Grasso	15.53	0.03	28990	0
184	Khoa:0	haoyu	15.54	0.09	7053	0
185	Sabar Dasgupta:0	spl	15.60	0.23	13022	0
186	Deric Cheng:1	jgs	15.62	14.98	57190	1
187	Charliezsc:1	haoyu	15.64	0.07	13370	0
188	CAPS LOCK:0	Aristotle	15.89	0.20	42977	0
189	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.99	0.01	632	0
190	Andys:1	Aristotle	16.07	0.13	28061	0
191	Aaron H:1	Aristotle	16.13	0.11	26950	0
192	BH:0	haoyu	16.16	0.07	19498	0
193	totallyOnFallBreak:1	Nikhilesh Sigatapu	16.26	0.01	1300	0
194	BH:1	haoyu	16.35	0.05	20748	0
195	Aaron H:0	Aristotle	16.44	0.11	27686	0
196	DinnerPartyPlannerBM:1	Nihar the Great	16.61	0.06	23119	0
197	Mike Hunt:0	Aristotle	16.68	0.27	22802	0
198	John Whelchel:0	haoyu	16.69	0.06	30329	0
199	Andys:0	Aristotle	16.83	0.12	30535	0
200	jgs:0	Aristotle	16.84	0.12	55287	0
201	Mike Hunt:1	Aristotle	16.87	0.29	23129	0
202	Andrew Werner:0	Aaron Doll	17.30	0.33	28901	0
203	Andrew Werner:1	haoyu	17.30	0.11	29428	0
204	Shaheed Chagani:1	Aristotle	17.34	0.11	35949	0
205	nupog:1	Aristotle	17.73	0.12	5022	0
206	Lil Thug:1	Andrew Grasso	18.24	0.03	28399	0
207	jgs:1	haoyu	18.66	0.18	54906	0
208	nupog:0	Aristotle	18.92	0.13	5123	0
209	Shaheed Chagani:0	Aristotle	19.06	0.17	34664	0
210	DinnerPartyPlannerBM:0	Aristotle	19.49	0.11	48747	0
211	dfshasdsf12:1	Nihar the Great	19.62	0.11	31344	0
212	Deric Cheng:0	jgs	19.78	14.99	56060	1
213	Bar Shabtai:1	haoyu	19.93	0.12	54133	0
214	burrito:1	haoyu	21.99	0.10	48259	0
215	Elphaba:1	Aristotle	22.31	0.22	110252	0
216	CAPS LOCK:1	Aristotle	23.34	0.25	69282	0
217	Elphaba:0	Aristotle	26.12	0.24	116715	0
218	13a:0	Aaron Doll	37.67	15.00	121574	21
219	13a:1	Aaron Doll	44.12	15.00	125222	29
220	Nihar the Great:1	Aristotle	86.58	0.25	96007	0
221	Nihar the Great:0	Aristotle	108.20	0.23	111943	0
222	Aaron Doll:0	Aristotle	116.90	0.56	278718	0
223	Aaron Doll:1	Aristotle	136.32	1.27	339809	0
224	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
225	Aristotle:1	Aristotle	-	9.69	-	0
226	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
227	Aristotle:0	Aristotle	-	15.00	-	1
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist