Stats for satsolver: Aaron H

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 H 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 H 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 H
Rank:	43 / 118
Average Score:	6.69
Median Score:	1.11
Description:	Uses a modified WalkSAT algorithm with infinite number of flips and random restarts. The timer value indicates when the algorithm should 'give up'.

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

SatSolvers Ranklist

Generators Ranklist