Stats for satsolver: Matt Haake

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 Matt Haake 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 Matt Haake 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:	Matt Haake
Rank:	6 / 118
Average Score:	2.79
Median Score:	0.29
Description:	Modified version of walkSAT, which randonly generates p for choosing if the algorithm should choose greedily or randomly. Also, allows for random resets and does some pruning for clauses of length 1. Only checks clauses which will have been changed by flipping a symbol to imporove performance

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

SatSolvers Ranklist

Generators Ranklist