Stats for satsolver: Aaron Doll

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 Aaron Doll 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 Aaron Doll 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:	Aaron Doll
Rank:	1 / 118
Average Score:	2.32
Median Score:	0.16
Description:	This is an efficient implementation of Walksat, with a p valueof .25. This probabilistically sets the starting values basedon the number of times a variable's sign is true.

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

SatSolvers Ranklist

Generators Ranklist