Stats for satsolver: Jordan Ash

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 Jordan Ash 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 Jordan Ash 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:	Jordan Ash
Rank:	114 / 118
Average Score:	54.77
Median Score:	15.63
Description:	This is a fairly straight-forward implementation of thewalkSAT algorithm. Values for MAXFLIPS and p were determined by experimentand are outlined in the assignment writeup. The documentation used as aid with this assignment could be found at http://www.cs.duke.edu/courses/spring01/cps271/LECTURES/sat.pdf.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	Ravi Tandon:1	KingBach	0.01	0.00	0	0
4	Ravi Tandon:0	KingBach	0.01	0.00	0	0
5	Bebe Shi:0	KingBach	0.01	0.00	0	0
6	Bebe Shi:1	KingBach	0.01	0.00	0	0
7	Happy:1	KingBach	0.01	0.00	0	0
8	Miranda:1	cat	0.01	0.00	0	0
9	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
10	Solving For Clauses:1	haoyu	0.01	0.00	0	0
11	K.L.:1	KingBach	0.01	0.00	0	0
12	Daffy Duck:1	haoyu	0.01	0.00	0	0
13	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
14	K.L.:0	haoyu	0.01	0.00	0	0
15	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
16	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
17	R. A. B.:1	cat	0.02	0.00	0	0
18	Miranda:0	cat	0.02	0.00	0	0
19	bchouGenerator:0	haoyu	0.02	0.00	0	0
20	haoyu:1	Anon5	0.03	0.01	0	0
21	Bob Dondero:0	Andrew Grasso	0.03	0.02	0	0
22	Jonathan Kwok:1	KingBach	0.05	0.00	0	0
23	Blam:1	Elphaba	0.05	0.00	0	0
24	Mike Honcho:0	Miranda	0.05	0.01	0	0
25	bchouGenerator:1	Jonathan Kwok	0.05	0.01	0	0
26	Blam:0	Elphaba	0.06	0.00	0	0
27	BMJ:1	burrito	0.06	0.00	0	0
28	BMJ:0	Elphaba	0.07	0.00	0	0
29	Mike Honcho:1	Jessie Chen	0.08	0.01	0	0
30	Gewang:0	Jonathan Kwok	0.10	0.00	0	0
31	Gewang:1	Jonathan Kwok	0.11	0.00	0	0
32	Tree Prophet:0	haoyu	0.12	0.00	0	0
33	Daffy Duck:0	Andrew Werner	0.13	0.00	0	0
34	Jordan Ash:1	Bar Shabtai	0.14	0.01	0	0
35	David Paulk:0	cat	0.18	0.00	0	0
36	The Kraken:0	haoyu	0.19	0.00	0	0
37	Tree Prophet:1	haoyu	0.19	0.00	0	0
38	Quite Satisfied:0	haoyu	0.19	0.00	0	0
39	Scheduling Generator 203:0	jgs	0.20	0.01	0	0
40	David Paulk:1	Bar Shabtai	0.20	0.00	0	0
41	The Kraken:1	haoyu	0.23	0.00	0	0
42	Scheduling Generator 203:1	Jameh	0.25	0.02	0	0
43	Dr Roberto:0	Andrew Grasso	0.42	0.03	0	0
44	Mickey Mouse:1	haoyu	0.43	0.01	0	0
45	Tom T:1	Andrew Werner	0.46	0.02	0	0
46	haoyu:0	KingBach	0.55	0.01	0	0
47	weezy:1	Bar Shabtai	0.55	0.01	0	0
48	Dr Roberto:1	Andrew Grasso	0.57	0.02	0	0
49	Tom T:0	EC	0.68	0.02	0	0
50	weezy:0	Bar Shabtai	0.83	0.01	0	0
51	Mickey Mouse:0	Bar Shabtai	0.85	0.01	0	0
52	cmF5a3ly:0	Nihar the Great	0.93	0.00	0	0
53	cmF5a3ly:1	Nihar the Great	1.02	0.00	0	0
54	Happy:0	haoyu	1.04	0.00	0	0
55	Bob Dondero:1	Mickey Mouse	1.61	0.03	0	0
56	Qinlan Shen:0	Bar Shabtai	2.62	0.01	0	0
57	Linda:0	Andrew Grasso	4.64	0.01	0	0
58	Boomshanka:0	haoyu	6.95	0.01	0	0
59	vluu:0	Nihar the Great	8.03	0.01	0	0
60	The Whitman Whale:1	Andrew Grasso	8.59	0.03	0	0
61	vluu:1	Nihar the Great	8.73	0.02	0	0
62	Ytterbium:0	Andrew Grasso	8.76	0.02	0	0
63	Linda:1	Andrew Grasso	9.50	0.02	0	0
64	The Whitman Whale:0	bigwig	14.28	0.04	0	0
65	T. Capote:0	haoyu	15.00	0.00	2	2
66	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
67	T. Capote:1	haoyu	15.01	0.00	2	2
68	Jessie Chen:0	Joel Faron	15.03	0.13	1	1
69	Sunny:1	jabreezy	15.05	0.01	66	0
70	Sunny:0	Green "The Bean" Choi	15.10	0.02	66	0
71	Quite Satisfied:1	Joel Faron	15.14	2.11	12	1
72	Jameh:0	haoyu	15.16	0.01	211	0
73	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.26	0.01	29	0
74	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.26	0.00	29	0
75	Matt Haake:0	haoyu	15.29	0.05	304	0
76	David Lackey:0	Anon5	15.31	0.03	33	0
77	Andrew Grasso:0	Aaron Doll	15.31	0.18	190	0
78	SuperFan:1	jgs	15.38	14.98	75	4
79	David Lackey:1	Bar Shabtai	15.39	0.03	28	0
80	R. A. B.:0	Nihar the Great	15.42	0.00	0	0
81	David H.:0	AFC	15.42	0.28	11	0
82	SuperFan:0	jgs	15.44	14.98	75	4
83	DeeEmEm:1	haoyu	15.48	0.02	2	0
84	Qinlan Shen:1	R. A. B.	15.48	9.00	1	1
85	0108:0	jgs	15.52	14.98	29	1
86	Andrew Grasso:1	Shaheed Chagani	15.57	0.15	178	0
87	DeeEmEm:0	CAPS LOCK	15.69	13.00	4	1
88	0108:1	haoyu	15.69	0.01	24	0
89	Supahaka:0	Andrew Werner	15.75	15.00	211	35
90	Jordan Ash:0	EC	15.85	0.03	3	0
91	Anon_K_P:0	haoyu	15.90	0.02	6	0
92	Anon5:0	haoyu	15.96	0.05	18	0
93	Fanny:1	Aristotle	15.99	0.12	42	0
94	Fanny:0	Aristotle	16.05	0.10	42	0
95	Anon5:1	Green "The Bean" Choi	16.12	0.07	12	0
96	Jameh:1	haoyu	16.16	0.01	496	0
97	Supahaka:1	Joel Faron	16.17	15.00	204	35
98	Matt Haake:1	haoyu	16.25	0.05	304	0
99	Tiny Wings:1	haoyu	16.33	0.01	14	0
100	Tao:1	Aristotle	16.43	0.07	6	0
101	Valya Barboy:0	Aristotle	16.95	0.06	22	0
102	Samuel Jerome:0	haoyu	17.00	0.03	33	0
103	Tao:0	Bar Shabtai	17.04	0.02	7	0
104	Tiny Wings:0	haoyu	17.21	0.02	16	0
105	Samuel Jerome:1	haoyu	17.25	0.03	38	0
106	David H.:1	DeeEmEm	17.36	0.33	10	0
107	Valya Barboy:1	Shaheed Chagani	17.39	0.18	22	0
108	Anon_K_P:1	Aristotle	17.83	0.03	7	0
109	EC:1	haoyu	17.92	0.03	19	0
110	Alex Fish:0	haoyu	18.09	0.01	3	0
111	Alex Fish:1	haoyu	18.52	0.02	3	0
112	Keji Xu:0	Nihar the Great	18.53	0.03	41	0
113	Dusty:0	CookieMonster	18.76	1.39	69	0
114	EC:0	haoyu	19.28	0.03	20	0
115	Keji Xu:1	Nihar the Great	19.52	0.04	21	0
116	Janie Gu:1	Jonathan Kwok	19.81	0.07	29	0
117	Janie Gu:0	Glenn Fisher	19.92	0.07	26	0
118	Dusty:1	Shaheed Chagani	20.07	0.22	65	0
119	Nikhilesh Sigatapu:0	haoyu	23.70	0.03	6	0
120	cat:1	haoyu	24.53	0.03	1	0
121	NA:1	Elphaba	24.95	0.04	354	0
122	AFC:1	Aristotle	25.74	0.16	44	0
123	AFC:0	CookieMonster	25.77	0.34	24	0
124	NA:0	haoyu	26.14	0.03	352	0
125	snowflakes:0	haoyu	26.32	0.03	170	0
126	Nikhilesh Sigatapu:1	haoyu	26.37	0.04	9	0
127	kt4124:1	haoyu	26.47	0.04	242	0
128	Boomshanka:1	Bar Shabtai	27.00	0.01	31	0
129	cat:0	haoyu	27.66	0.03	3	0
130	snowflakes:1	haoyu	27.88	0.03	159	0
131	kt4124:0	haoyu	28.25	0.03	242	0
132	Mark S. Fillmore:1	Supahaka	28.94	0.04	114	79
133	Yan Wu:1	haoyu	30.62	0.04	65	0
134	Brendan Wright:1	Deric Cheng	30.86	0.10	1	0
135	Glenn Fisher:1	jabreezy	31.13	0.09	113	0
136	Glenn Fisher:0	Elphaba	32.58	0.02	153	0
137	Ytterbium:1	Nihar the Great	32.63	0.02	0	0
138	Yan Wu:0	haoyu	32.74	0.05	65	0
139	CookieMonster:0	CookieMonster	35.20	0.82	32	0
140	Lisa Kim:1	Bar Shabtai	35.49	0.06	16	0
141	CookieMonster:1	CookieMonster	36.75	1.10	32	0
142	Lisa Kim:0	Aristotle	37.65	0.07	13	0
143	Mr. Blobby:0	Green "The Bean" Choi	37.82	0.14	91	0
144	Mr. Blobby:1	dusty	40.22	0.12	91	0
145	totallyOnFallBreak:1	Nikhilesh Sigatapu	42.41	0.01	0	0
146	Ben Chen:0	Elphaba	42.42	0.07	65	0
147	Walter Little:1	haoyu	46.22	0.03	101	0
148	Ben Chen:1	spl	47.16	0.20	67	0
149	Walter Little:0	haoyu	49.24	0.04	101	0
150	Mark S. Fillmore:0	Supahaka	49.55	0.01	161	116
151	Mercury:1	haoyu	54.36	0.05	6	0
152	Mercury:0	haoyu	56.95	0.05	9	0
153	Sally Smith:1	haoyu	66.33	0.04	10	0
154	Sally Smith:0	haoyu	66.35	0.04	5	0
155	bfang:1	haoyu	66.86	0.04	21	0
156	bfang:0	haoyu	68.52	0.04	35	0
157	totallyOnFallBreak:0	Nikhilesh Sigatapu	76.99	0.01	0	0
158	soccer:1	haoyu	88.28	0.04	32	0
159	jabreezy:0	Mercury	90.91	0.09	80	0
160	jabreezy:1	Mercury	93.72	0.10	80	0
161	soccer:0	haoyu	98.36	0.04	32	0
162	Brendan Wright:0	haoyu	100.17	0.10	0	0
163	spl:1	haoyu	103.91	0.06	48	0
164	Batman:1	haoyu	103.98	0.04	25	0
165	Batman:0	haoyu	106.51	0.04	7	0
166	KingBach:1	haoyu	107.94	0.04	34	0
167	spl:0	Elphaba	112.06	0.09	51	0
168	Yacob Y.:0	haoyu	112.73	0.06	60	0
169	KingBach:0	haoyu	118.17	0.06	40	0
170	George Okeowo:1	Andrew Grasso	121.37	0.01	0	0
171	Charliezsc:0	jgs	125.74	14.98	30	1
172	Yacob Y.:1	Aristotle	131.17	15.00	60	1
173	George Okeowo:0	Andrew Grasso	131.81	0.01	0	0
174	Andys:0	Aristotle	-	0.12	-	0
175	DinnerPartyPlannerBM:1	Nihar the Great	-	0.06	-	0
176	Elphaba:1	Aristotle	-	0.22	-	0
177	Bar Shabtai:1	haoyu	-	0.12	-	0
178	nupog:1	Aristotle	-	0.12	-	0
179	Aaron H:0	Aristotle	-	0.11	-	0
180	Charliezsc:1	haoyu	-	0.07	-	0
181	Shaheed Chagani:0	Aristotle	-	0.17	-	0
182	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
183	Aristotle:1	Aristotle	-	9.69	-	0
184	Lil Thug:0	Andrew Grasso	-	0.03	-	0
185	Khoa:0	haoyu	-	0.09	-	0
186	Andys:1	Aristotle	-	0.13	-	0
187	Sabar Dasgupta:0	spl	-	0.23	-	0
188	Aaron H:1	Aristotle	-	0.11	-	0
189	jgs:1	haoyu	-	0.18	-	0
190	John Whelchel:1	haoyu	-	0.11	-	0
191	Andrew Werner:0	Aaron Doll	-	0.33	-	0
192	dfshasdsf12:1	Nihar the Great	-	0.11	-	0
193	Sprt:1	haoyu	-	0.05	-	0
194	DinnerPartyPlannerBM:0	Aristotle	-	0.11	-	0
195	Mike Hunt:0	Aristotle	-	0.27	-	0
196	ebp:0	haoyu	-	0.04	-	0
197	Mike Hunt:1	Aristotle	-	0.29	-	0
198	Aaron Doll:0	Aristotle	-	0.56	-	0
199	burrito:1	haoyu	-	0.10	-	0
200	Shaheed Chagani:1	Aristotle	-	0.11	-	0
201	Deric Cheng:1	jgs	-	14.98	-	1
202	Lil Thug:1	Andrew Grasso	-	0.03	-	0
203	13a:0	Aaron Doll	-	15.00	-	21
204	Absurdity:1	Aristotle	-	0.18	-	0
205	Elphaba:0	Aristotle	-	0.24	-	0
206	John Whelchel:0	haoyu	-	0.06	-	0
207	Andrew Werner:1	haoyu	-	0.11	-	0
208	dfshasdsf12:0	haoyu	-	0.09	-	0
209	BH:0	haoyu	-	0.07	-	0
210	Aaron Doll:1	Aristotle	-	1.27	-	0
211	Deric Cheng:0	jgs	-	14.99	-	1
212	jgs:0	Aristotle	-	0.12	-	0
213	ebp:1	haoyu	-	0.04	-	0
214	Nihar the Great:0	Aristotle	-	0.23	-	0
215	CAPS LOCK:1	Aristotle	-	0.25	-	0
216	burrito:0	haoyu	-	0.09	-	0
217	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
218	nupog:0	Aristotle	-	0.13	-	0
219	Absurdity:0	Aristotle	-	0.23	-	0
220	Aristotle:0	Aristotle	-	15.00	-	1
221	13a:1	Aaron Doll	-	15.00	-	29
222	BH:1	haoyu	-	0.05	-	0
223	Khoa:1	Aristotle	-	0.09	-	0
224	Sabar Dasgupta:1	Aaron Doll	-	0.17	-	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