Stats for satsolver: John Whelchel

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 John Whelchel 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 John Whelchel 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:	John Whelchel
Rank:	28 / 118
Average Score:	5.44
Median Score:	0.68
Description:	This is an implementation of the WalkSAT satisfiability algorithm. It flips a random symbol approximately 20% of the time based on my own personal experiments.It also initalizes the intial model to false/true valuesbased on the number of occurences of each symbol as atrue or false value in the CNF.

	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	R. A. B.:1	cat	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	Miranda:0	cat	0.00	0.00	0	0
7	Bebe Shi:1	KingBach	0.00	0.00	0	0
8	Miranda:1	cat	0.00	0.00	0	0
9	Bebe Shi:0	KingBach	0.00	0.00	0	0
10	Happy:1	KingBach	0.01	0.00	0	0
11	BMJ:0	Elphaba	0.01	0.00	0	0
12	David Paulk:0	cat	0.01	0.00	0	0
13	BMJ:1	burrito	0.01	0.00	0	0
14	K.L.:1	KingBach	0.01	0.00	0	0
15	Blam:0	Elphaba	0.01	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
17	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
18	Tree Prophet:0	haoyu	0.02	0.00	0	0
19	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
20	Joshua Zimmer:1	haoyu	0.02	0.00	0	0
21	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
22	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
23	bchouGenerator:0	haoyu	0.02	0.00	0	0
24	K.L.:0	haoyu	0.02	0.00	0	0
25	Daffy Duck:1	haoyu	0.02	0.00	0	0
26	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
27	The Kraken:1	haoyu	0.02	0.00	0	0
28	haoyu:1	Anon5	0.02	0.01	0	0
29	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
30	haoyu:0	KingBach	0.02	0.01	0	0
31	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
32	Quite Satisfied:0	haoyu	0.02	0.00	0	0
33	The Kraken:0	haoyu	0.02	0.00	0	0
34	David Paulk:1	Bar Shabtai	0.03	0.00	0	0
35	Tree Prophet:1	haoyu	0.03	0.00	0	0
36	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
37	Solving For Clauses:1	haoyu	0.03	0.00	0	0
38	Happy:0	haoyu	0.03	0.00	0	0
39	Mickey Mouse:1	haoyu	0.03	0.01	0	0
40	weezy:1	Bar Shabtai	0.03	0.01	0	0
41	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
42	George Okeowo:0	Andrew Grasso	0.04	0.01	0	0
43	Blam:1	Elphaba	0.04	0.00	0	0
44	weezy:0	Bar Shabtai	0.04	0.01	0	0
45	bchouGenerator:1	Jonathan Kwok	0.04	0.01	0	0
46	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.04	0.01	0	0
47	George Okeowo:1	Andrew Grasso	0.04	0.01	0	0
48	R. A. B.:0	Nihar the Great	0.04	0.00	0	0
49	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.04	0.01	0	0
50	Alex Fish:1	haoyu	0.05	0.02	0	0
51	cmF5a3ly:0	Nihar the Great	0.05	0.00	0	0
52	Keji Xu:0	Nihar the Great	0.05	0.03	0	0
53	Keji Xu:1	Nihar the Great	0.05	0.04	0	0
54	Scheduling Generator 203:0	jgs	0.05	0.01	0	0
55	0108:1	haoyu	0.06	0.01	0	0
56	Boomshanka:1	Bar Shabtai	0.06	0.01	0	0
57	DeeEmEm:1	haoyu	0.06	0.02	0	0
58	Jordan Ash:0	EC	0.06	0.03	0	0
59	cmF5a3ly:1	Nihar the Great	0.07	0.00	0	0
60	vluu:0	Nihar the Great	0.07	0.01	0	0
61	vluu:1	Nihar the Great	0.07	0.02	0	0
62	Boomshanka:0	haoyu	0.07	0.01	0	0
63	Tiny Wings:1	haoyu	0.07	0.01	0	0
64	Linda:0	Andrew Grasso	0.07	0.01	0	0
65	Scheduling Generator 203:1	Jameh	0.08	0.02	0	0
66	Tiny Wings:0	haoyu	0.08	0.02	0	0
67	Tom T:1	Andrew Werner	0.08	0.02	0	0
68	Ytterbium:0	Andrew Grasso	0.08	0.02	0	0
69	Sunny:1	jabreezy	0.08	0.01	0	0
70	Linda:1	Andrew Grasso	0.09	0.02	0	0
71	Tom T:0	EC	0.09	0.02	0	0
72	cat:1	haoyu	0.09	0.03	0	0
73	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
74	The Whitman Whale:0	bigwig	0.10	0.04	0	0
75	cat:0	haoyu	0.10	0.03	0	0
76	Janie Gu:0	Glenn Fisher	0.11	0.07	0	0
77	Ytterbium:1	Nihar the Great	0.11	0.02	0	0
78	Jameh:0	haoyu	0.12	0.01	0	0
79	Alex Fish:0	haoyu	0.14	0.01	0	0
80	Dr Roberto:1	Andrew Grasso	0.15	0.02	0	0
81	Lisa Kim:1	Bar Shabtai	0.15	0.06	0	0
82	David Lackey:0	Anon5	0.15	0.03	0	0
83	Janie Gu:1	Jonathan Kwok	0.17	0.07	0	0
84	Dr Roberto:0	Andrew Grasso	0.17	0.03	0	0
85	David Lackey:1	Bar Shabtai	0.18	0.03	0	0
86	Sunny:0	Green "The Bean" Choi	0.20	0.02	0	0
87	Mercury:1	haoyu	0.20	0.05	0	0
88	Nikhilesh Sigatapu:0	haoyu	0.21	0.03	0	0
89	Lisa Kim:0	Aristotle	0.22	0.07	0	0
90	Bob Dondero:0	Andrew Grasso	0.22	0.02	0	0
91	Mercury:0	haoyu	0.23	0.05	0	0
92	Anon_K_P:1	Aristotle	0.27	0.03	0	0
93	Bob Dondero:1	Mickey Mouse	0.27	0.03	0	0
94	Sally Smith:0	haoyu	0.29	0.04	0	0
95	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.30	0.01	0	0
96	Mike Honcho:0	Miranda	0.32	0.01	0	0
97	Mike Honcho:1	Jessie Chen	0.33	0.01	0	0
98	Tao:1	Aristotle	0.33	0.07	0	0
99	KingBach:1	haoyu	0.34	0.04	0	0
100	Samuel Jerome:0	haoyu	0.34	0.03	0	0
101	bfang:0	haoyu	0.35	0.04	0	0
102	Valya Barboy:1	Shaheed Chagani	0.35	0.18	0	0
103	soccer:0	haoyu	0.37	0.04	0	0
104	Nikhilesh Sigatapu:1	haoyu	0.39	0.04	0	0
105	Tao:0	Bar Shabtai	0.43	0.02	0	0
106	Samuel Jerome:1	haoyu	0.44	0.03	0	0
107	Batman:1	haoyu	0.45	0.04	0	0
108	bfang:1	haoyu	0.45	0.04	0	0
109	Jameh:1	haoyu	0.55	0.01	0	0
110	Batman:0	haoyu	0.62	0.04	0	0
111	Andrew Grasso:0	Aaron Doll	0.62	0.18	0	0
112	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.63	0.00	0	0
113	Sprt:1	haoyu	0.67	0.05	0	0
114	Matt Haake:1	haoyu	0.68	0.05	0	0
115	Sally Smith:1	haoyu	0.69	0.04	0	0
116	Valya Barboy:0	Aristotle	0.71	0.06	0	0
117	Yacob Y.:0	haoyu	0.82	0.06	0	0
118	Matt Haake:0	haoyu	0.87	0.05	0	0
119	Anon_K_P:0	haoyu	0.96	0.02	0	0
120	David H.:0	AFC	1.00	0.28	0	0
121	Yan Wu:0	haoyu	1.12	0.05	0	0
122	Khoa:1	Aristotle	1.27	0.09	0	0
123	Charliezsc:1	haoyu	1.32	0.07	0	0
124	DinnerPartyPlannerBM:1	Nihar the Great	1.33	0.06	0	0
125	Yan Wu:1	haoyu	1.36	0.04	0	0
126	Khoa:0	haoyu	1.36	0.09	0	0
127	Glenn Fisher:0	Elphaba	1.38	0.02	0	0
128	kt4124:1	haoyu	1.41	0.04	0	0
129	KingBach:0	haoyu	1.42	0.06	0	0
130	dfshasdsf12:0	haoyu	1.60	0.09	0	0
131	kt4124:0	haoyu	1.64	0.03	0	0
132	soccer:1	haoyu	1.79	0.04	0	0
133	Lil Thug:0	Andrew Grasso	1.88	0.03	0	0
134	Aaron H:0	Aristotle	1.96	0.11	0	0
135	Lil Thug:1	Andrew Grasso	2.12	0.03	0	0
136	Anon5:1	Green "The Bean" Choi	2.21	0.07	0	0
137	Aaron H:1	Aristotle	2.48	0.11	0	0
138	David H.:1	DeeEmEm	2.90	0.33	0	0
139	John Whelchel:1	haoyu	2.99	0.11	0	0
140	John Whelchel:0	haoyu	3.13	0.06	0	0
141	Sprt:0	Aristotle	3.18	0.11	0	0
142	Mr. Blobby:1	dusty	3.19	0.12	0	0
143	Sabar Dasgupta:1	Aaron Doll	3.29	0.17	0	0
144	DinnerPartyPlannerBM:0	Aristotle	3.90	0.11	0	0
145	Andrew Grasso:1	Shaheed Chagani	3.90	0.15	0	0
146	burrito:0	haoyu	3.99	0.09	0	0
147	dfshasdsf12:1	Nihar the Great	4.09	0.11	0	0
148	jabreezy:1	Mercury	4.33	0.10	0	0
149	Mr. Blobby:0	Green "The Bean" Choi	4.38	0.14	0	0
150	jabreezy:0	Mercury	5.63	0.09	0	0
151	Ben Chen:0	Elphaba	6.02	0.07	0	0
152	Ben Chen:1	spl	7.13	0.20	0	0
153	Andrew Werner:1	haoyu	7.79	0.11	0	0
154	EC:1	haoyu	9.01	0.03	0	0
155	Bar Shabtai:1	haoyu	9.31	0.12	0	0
156	AFC:0	CookieMonster	9.75	0.34	0	0
157	Andrew Werner:0	Aaron Doll	10.36	0.33	0	0
158	Anon5:0	haoyu	10.37	0.05	0	0
159	Mike Hunt:1	Aristotle	10.56	0.29	0	0
160	Mike Hunt:0	Aristotle	11.03	0.27	0	0
161	Sabar Dasgupta:0	spl	11.52	0.23	0	0
162	Brendan Wright:0	haoyu	12.30	0.10	0	0
163	jgs:1	haoyu	12.99	0.18	0	0
164	snowflakes:0	haoyu	13.17	0.03	0	0
165	burrito:1	haoyu	13.48	0.10	0	0
166	jgs:0	Aristotle	14.32	0.12	0	0
167	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
168	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
169	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
170	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
171	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
172	CookieMonster:0	CookieMonster	15.00	0.82	2	0
173	DeeEmEm:0	CAPS LOCK	15.00	13.00	2	1
174	0108:0	jgs	15.00	14.98	2	1
175	CookieMonster:1	CookieMonster	15.00	1.10	2	0
176	Qinlan Shen:1	R. A. B.	15.00	9.00	3	1
177	T. Capote:0	haoyu	15.00	0.00	3	2
178	T. Capote:1	haoyu	15.00	0.00	3	2
179	NA:1	Elphaba	15.00	0.04	4	0
180	AFC:1	Aristotle	15.00	0.16	4	0
181	Glenn Fisher:1	jabreezy	15.00	0.09	6	0
182	Walter Little:0	haoyu	15.00	0.04	7	0
183	SuperFan:1	jgs	15.00	14.98	7	4
184	EC:0	haoyu	15.00	0.03	8	0
185	Absurdity:1	Aristotle	15.00	0.18	9	0
186	Walter Little:1	haoyu	15.00	0.03	10	0
187	SuperFan:0	jgs	15.00	14.98	11	4
188	spl:0	Elphaba	15.00	0.09	14	0
189	snowflakes:1	haoyu	15.00	0.03	18	0
190	Dusty:1	Shaheed Chagani	15.00	0.22	19	0
191	Dusty:0	CookieMonster	15.00	1.39	20	0
192	NA:0	haoyu	15.00	0.03	32	0
193	Supahaka:1	Joel Faron	15.00	15.00	45	35
194	Supahaka:0	Andrew Werner	15.00	15.00	53	35
195	BH:1	haoyu	15.00	0.05	334	0
196	spl:1	haoyu	15.00	0.06	8	0
197	Absurdity:0	Aristotle	15.00	0.23	11	0
198	ebp:0	haoyu	15.00	0.04	16	0
199	ebp:1	haoyu	15.00	0.04	23	0
200	Brendan Wright:1	Deric Cheng	15.00	0.10	1	0
201	Charliezsc:0	jgs	15.00	14.98	5	1
202	Andys:1	Aristotle	15.00	0.13	6	0
203	Yacob Y.:1	Aristotle	15.01	15.00	14	1
204	Fanny:1	Aristotle	15.01	0.12	3321	0
205	Andys:0	Aristotle	15.02	0.12	1	0
206	BH:0	haoyu	15.03	0.07	385	0
207	Shaheed Chagani:0	Aristotle	15.04	0.17	350	0
208	Fanny:0	Aristotle	15.05	0.10	3212	0
209	nupog:1	Aristotle	15.05	0.12	1290	0
210	Shaheed Chagani:1	Aristotle	15.07	0.11	361	0
211	Deric Cheng:1	jgs	15.09	14.98	4	1
212	nupog:0	Aristotle	15.09	0.13	1369	0
213	13a:1	Aaron Doll	15.15	15.00	139	29
214	Deric Cheng:0	jgs	15.15	14.99	2	1
215	CAPS LOCK:0	Aristotle	15.24	0.20	1121	0
216	Elphaba:0	Aristotle	15.27	0.24	0	0
217	Bar Shabtai:0	Aaron Doll	15.30	15.01	79	1
218	Elphaba:1	Aristotle	15.40	0.22	5	0
219	Nihar the Great:0	Aristotle	15.45	0.23	982	0
220	13a:0	Aaron Doll	15.50	15.00	131	21
221	Nihar the Great:1	Aristotle	15.54	0.25	982	0
222	Aaron Doll:0	Aristotle	15.73	0.56	132	0
223	CAPS LOCK:1	Aristotle	16.77	0.25	1904	0
224	Aaron Doll:1	Aristotle	17.50	1.27	140	0
225	Aristotle:1	Aristotle	19.45	9.69	117	0
226	Aristotle:0	Aristotle	22.31	15.00	113	1
227	Matt Goldsmith:0	Nihar the Great	24.93	0.03	3521	0
228	Matt Goldsmith:1	Happy	28.28	0.03	3942	0

SatSolvers Ranklist

Generators Ranklist