Stats for satsolver: David Paulk

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 David Paulk 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 David Paulk 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:	David Paulk
Rank:	116 / 118
Average Score:	71.80
Median Score:	0.19
Description:	MySatSolver is designed to be an improvement of the vanilla WalkSAT algorithm. The features that enhance MySatSolver are that probability of flipping a random symbol is given as function of the clause-to-variable ratio in the satisfiability problem, and that the number of symbol sign flips to maximize the number of satisfied clauses depends on the change in the number of satisfied clauses resulting from the previous rounds of symbol-flipping.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.01	0.00	0	0
3	Ravi Tandon:1	KingBach	0.01	0.00	0	0
4	bigwig:0	Andrew Werner	0.01	0.00	0	0
5	Miranda:1	cat	0.01	0.00	0	0
6	Bebe Shi:0	KingBach	0.01	0.00	0	0
7	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
8	Bebe Shi:1	KingBach	0.01	0.00	0	0
9	Solving For Clauses:1	haoyu	0.01	0.00	0	0
10	K.L.:1	KingBach	0.01	0.00	0	0
11	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
12	Miranda:0	cat	0.01	0.00	0	0
13	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
14	Happy:1	KingBach	0.01	0.00	0	0
15	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
16	bchouGenerator:0	haoyu	0.01	0.00	0	0
17	Mike Honcho:1	Jessie Chen	0.01	0.01	0	0
18	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
19	Mike Honcho:0	Miranda	0.02	0.01	0	0
20	Daffy Duck:1	haoyu	0.02	0.00	0	0
21	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
22	R. A. B.:1	cat	0.02	0.00	0	0
23	haoyu:0	KingBach	0.02	0.01	0	0
24	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
25	K.L.:0	haoyu	0.03	0.00	0	0
26	Quite Satisfied:0	haoyu	0.03	0.00	0	0
27	BMJ:1	burrito	0.03	0.00	0	0
28	haoyu:1	Anon5	0.03	0.01	0	0
29	weezy:1	Bar Shabtai	0.03	0.01	0	0
30	Mickey Mouse:1	haoyu	0.03	0.01	0	0
31	weezy:0	Bar Shabtai	0.03	0.01	0	0
32	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
33	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
34	BMJ:0	Elphaba	0.04	0.00	0	0
35	Jordan Ash:1	Bar Shabtai	0.04	0.01	0	0
36	Daffy Duck:0	Andrew Werner	0.06	0.00	0	0
37	Blam:1	Elphaba	0.06	0.00	0	0
38	bchouGenerator:1	Jonathan Kwok	0.06	0.01	0	0
39	Ytterbium:0	Andrew Grasso	0.06	0.02	0	0
40	Tom T:1	Andrew Werner	0.06	0.02	0	0
41	vluu:1	Nihar the Great	0.06	0.02	0	0
42	vluu:0	Nihar the Great	0.06	0.01	0	0
43	Scheduling Generator 203:1	Jameh	0.06	0.02	0	0
44	The Kraken:0	haoyu	0.06	0.00	0	0
45	Tom T:0	EC	0.06	0.02	0	0
46	Tiny Wings:1	haoyu	0.06	0.01	0	0
47	The Kraken:1	haoyu	0.07	0.00	0	0
48	Bob Dondero:1	Mickey Mouse	0.08	0.03	0	0
49	Tiny Wings:0	haoyu	0.08	0.02	0	0
50	DeeEmEm:1	haoyu	0.08	0.02	0	0
51	Dr Roberto:1	Andrew Grasso	0.09	0.02	0	0
52	The Whitman Whale:0	bigwig	0.10	0.04	0	0
53	Qinlan Shen:0	Bar Shabtai	0.10	0.01	0	0
54	Boomshanka:0	haoyu	0.10	0.01	0	0
55	Happy:0	haoyu	0.13	0.00	0	0
56	The Whitman Whale:1	Andrew Grasso	0.14	0.03	0	0
57	cat:1	haoyu	0.15	0.03	0	0
58	Keji Xu:0	Nihar the Great	0.16	0.03	0	0
59	David Paulk:0	cat	0.17	0.00	0	0
60	Janie Gu:1	Jonathan Kwok	0.17	0.07	0	0
61	Ytterbium:1	Nihar the Great	0.18	0.02	0	0
62	David Paulk:1	Bar Shabtai	0.19	0.00	0	0
63	Linda:0	Andrew Grasso	0.19	0.01	0	0
64	Linda:1	Andrew Grasso	0.19	0.02	0	0
65	Dr Roberto:0	Andrew Grasso	0.23	0.03	0	0
66	Bob Dondero:0	Andrew Grasso	0.26	0.02	0	0
67	Tree Prophet:0	haoyu	0.31	0.00	0	0
68	Janie Gu:0	Glenn Fisher	0.31	0.07	0	0
69	cat:0	haoyu	0.42	0.03	0	0
70	Blam:0	Elphaba	0.44	0.00	0	0
71	Keji Xu:1	Nihar the Great	0.52	0.04	0	0
72	Lisa Kim:1	Bar Shabtai	0.66	0.06	0	0
73	R. A. B.:0	Nihar the Great	0.66	0.00	0	0
74	Sally Smith:0	haoyu	0.79	0.04	0	0
75	Jordan Ash:0	EC	0.83	0.03	0	0
76	Sprt:1	haoyu	0.84	0.05	0	0
77	Alex Fish:1	haoyu	1.01	0.02	0	0
78	Batman:1	haoyu	1.08	0.04	0	0
79	Khoa:1	Aristotle	1.20	0.09	0	0
80	Sally Smith:1	haoyu	1.29	0.04	0	0
81	Brendan Wright:1	Deric Cheng	1.34	0.10	0	0
82	KingBach:0	haoyu	1.36	0.06	0	0
83	soccer:0	haoyu	1.44	0.04	0	0
84	Lisa Kim:0	Aristotle	1.48	0.07	0	0
85	KingBach:1	haoyu	1.66	0.04	0	0
86	DinnerPartyPlannerBM:1	Nihar the Great	1.81	0.06	0	0
87	cmF5a3ly:1	Nihar the Great	1.84	0.00	0	0
88	dfshasdsf12:0	haoyu	2.13	0.09	0	0
89	Jameh:0	haoyu	2.18	0.01	0	0
90	cmF5a3ly:0	Nihar the Great	2.35	0.00	0	0
91	soccer:1	haoyu	2.44	0.04	0	0
92	0108:1	haoyu	2.58	0.01	0	0
93	Khoa:0	haoyu	3.02	0.09	0	0
94	Boomshanka:1	Bar Shabtai	3.14	0.01	0	0
95	Lil Thug:1	Andrew Grasso	3.31	0.03	0	0
96	Lil Thug:0	Andrew Grasso	3.43	0.03	0	0
97	burrito:0	haoyu	3.57	0.09	0	0
98	Sprt:0	Aristotle	3.96	0.11	0	0
99	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	4.33	0.00	0	0
100	DinnerPartyPlannerBM:0	Aristotle	5.73	0.11	0	0
101	dfshasdsf12:1	Nihar the Great	6.38	0.11	0	0
102	Alex Fish:0	haoyu	8.78	0.01	0	0
103	Batman:0	haoyu	9.42	0.04	0	0
104	jabreezy:0	Mercury	10.55	0.09	0	0
105	CAPS LOCK:0	Aristotle	11.76	0.20	0	0
106	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	12.97	0.01	0	0
107	Jameh:1	haoyu	14.03	0.01	0	0
108	Bar Shabtai:1	haoyu	16.36	0.12	0	0
109	Andrew Werner:1	haoyu	17.93	0.11	0	0
110	Andrew Werner:0	Aaron Doll	18.01	0.33	0	0
111	George Okeowo:0	Andrew Grasso	20.26	0.01	0	0
112	burrito:1	haoyu	21.82	0.10	0	0
113	Tao:0	Bar Shabtai	26.48	0.02	0	0
114	Brendan Wright:0	haoyu	27.24	0.10	0	0
115	George Okeowo:1	Andrew Grasso	28.66	0.01	0	0
116	jabreezy:1	Mercury	29.22	0.10	0	0
117	Tao:1	Aristotle	32.45	0.07	0	0
118	CAPS LOCK:1	Aristotle	37.62	0.25	0	0
119	bfang:0	haoyu	55.96	0.04	0	0
120	bfang:1	haoyu	56.42	0.04	0	0
121	Samuel Jerome:0	haoyu	61.62	0.03	0	0
122	Nikhilesh Sigatapu:0	haoyu	62.01	0.03	0	0
123	Nihar the Great:0	Aristotle	85.66	0.23	0	0
124	Mercury:1	haoyu	90.53	0.05	0	0
125	Nihar the Great:1	Aristotle	107.61	0.25	0	0
126	David Lackey:1	Bar Shabtai	133.94	0.03	0	0
127	David Lackey:0	Anon5	-	0.03	-	0
128	Andys:0	Aristotle	-	0.12	-	0
129	Anon_K_P:0	haoyu	-	0.02	-	0
130	Fanny:0	Aristotle	-	0.10	-	0
131	Elphaba:1	Aristotle	-	0.22	-	0
132	Anon5:1	Green "The Bean" Choi	-	0.07	-	0
133	David H.:1	DeeEmEm	-	0.33	-	0
134	nupog:1	Aristotle	-	0.12	-	0
135	Aaron H:0	Aristotle	-	0.11	-	0
136	Charliezsc:1	haoyu	-	0.07	-	0
137	Yan Wu:0	haoyu	-	0.05	-	0
138	Shaheed Chagani:0	Aristotle	-	0.17	-	0
139	Mr. Blobby:0	Green "The Bean" Choi	-	0.14	-	0
140	Jessie Chen:0	Joel Faron	-	0.13	-	1
141	Glenn Fisher:0	Elphaba	-	0.02	-	0
142	Dusty:1	Shaheed Chagani	-	0.22	-	0
143	Walter Little:0	haoyu	-	0.04	-	0
144	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
145	Mercury:0	haoyu	-	0.05	-	0
146	Aristotle:1	Aristotle	-	9.69	-	0
147	EC:1	haoyu	-	0.03	-	0
148	Samuel Jerome:1	haoyu	-	0.03	-	0
149	snowflakes:0	haoyu	-	0.03	-	0
150	Andys:1	Aristotle	-	0.13	-	0
151	Sabar Dasgupta:0	spl	-	0.23	-	0
152	Aaron H:1	Aristotle	-	0.11	-	0
153	Valya Barboy:1	Shaheed Chagani	-	0.18	-	0
154	jgs:1	haoyu	-	0.18	-	0
155	John Whelchel:1	haoyu	-	0.11	-	0
156	kt4124:1	haoyu	-	0.04	-	0
157	Ben Chen:0	Elphaba	-	0.07	-	0
158	Mark S. Fillmore:1	Supahaka	-	0.04	-	79
159	Qinlan Shen:1	R. A. B.	-	9.00	-	1
160	Sunny:0	Green "The Bean" Choi	-	0.02	-	0
161	Mike Hunt:0	Aristotle	-	0.27	-	0
162	ebp:0	haoyu	-	0.04	-	0
163	Mike Hunt:1	Aristotle	-	0.29	-	0
164	NA:1	Elphaba	-	0.04	-	0
165	Anon5:0	haoyu	-	0.05	-	0
166	Aaron Doll:0	Aristotle	-	0.56	-	0
167	Dusty:0	CookieMonster	-	1.39	-	0
168	Charliezsc:0	jgs	-	14.98	-	1
169	Shaheed Chagani:1	Aristotle	-	0.11	-	0
170	Quite Satisfied:1	Joel Faron	-	2.11	-	1
171	Jessie Chen:1	Joel Faron	-	0.12	-	1
172	spl:0	Elphaba	-	0.09	-	0
173	Walter Little:1	haoyu	-	0.03	-	0
174	Deric Cheng:1	jgs	-	14.98	-	1
175	Yacob Y.:0	haoyu	-	0.06	-	0
176	SuperFan:0	jgs	-	14.98	-	4
177	David H.:0	AFC	-	0.28	-	0
178	T. Capote:0	haoyu	-	0.00	-	2
179	13a:0	Aaron Doll	-	15.00	-	21
180	Absurdity:1	Aristotle	-	0.18	-	0
181	Elphaba:0	Aristotle	-	0.24	-	0
182	Andrew Grasso:1	Shaheed Chagani	-	0.15	-	0
183	AFC:1	Aristotle	-	0.16	-	0
184	Matt Haake:1	haoyu	-	0.05	-	0
185	John Whelchel:0	haoyu	-	0.06	-	0
186	kt4124:0	haoyu	-	0.03	-	0
187	Mark S. Fillmore:0	Supahaka	-	0.01	-	116
188	BH:0	haoyu	-	0.07	-	0
189	Aaron Doll:1	Aristotle	-	1.27	-	0
190	totallyOnFallBreak:1	Nikhilesh Sigatapu	-	0.01	-	0
191	Deric Cheng:0	jgs	-	14.99	-	1
192	Anon_K_P:1	Aristotle	-	0.03	-	0
193	Nikhilesh Sigatapu:1	haoyu	-	0.04	-	0
194	jgs:0	Aristotle	-	0.12	-	0
195	Supahaka:0	Andrew Werner	-	15.00	-	35
196	CookieMonster:0	CookieMonster	-	0.82	-	0
197	DeeEmEm:0	CAPS LOCK	-	13.00	-	1
198	ebp:1	haoyu	-	0.04	-	0
199	NA:0	haoyu	-	0.03	-	0
200	Fanny:1	Aristotle	-	0.12	-	0
201	spl:1	haoyu	-	0.06	-	0
202	0108:0	jgs	-	14.98	-	1
203	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
204	nupog:0	Aristotle	-	0.13	-	0
205	SuperFan:1	jgs	-	14.98	-	4
206	CookieMonster:1	CookieMonster	-	1.10	-	0
207	T. Capote:1	haoyu	-	0.00	-	2
208	Yan Wu:1	haoyu	-	0.04	-	0
209	Mr. Blobby:1	dusty	-	0.12	-	0
210	Absurdity:0	Aristotle	-	0.23	-	0
211	Glenn Fisher:1	jabreezy	-	0.09	-	0
212	snowflakes:1	haoyu	-	0.03	-	0
213	Andrew Grasso:0	Aaron Doll	-	0.18	-	0
214	AFC:0	CookieMonster	-	0.34	-	0
215	Aristotle:0	Aristotle	-	15.00	-	1
216	Tree Prophet:1	haoyu	-	0.00	-	0
217	EC:0	haoyu	-	0.03	-	0
218	13a:1	Aaron Doll	-	15.00	-	29
219	BH:1	haoyu	-	0.05	-	0
220	Matt Haake:0	haoyu	-	0.05	-	0
221	totallyOnFallBreak:0	Nikhilesh Sigatapu	-	0.01	-	0
222	Sabar Dasgupta:1	Aaron Doll	-	0.17	-	0
223	Valya Barboy:0	Aristotle	-	0.06	-	0
224	Yacob Y.:1	Aristotle	-	15.00	-	1
225	Supahaka:1	Joel Faron	-	15.00	-	35
226	Ben Chen:1	spl	-	0.20	-	0
227	Matt Goldsmith:1	Happy	-	0.03	-	0
228	Sunny:1	jabreezy	-	0.01	-	0

SatSolvers Ranklist

Generators Ranklist