Stats for satsolver: Joshua Zimmer

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 Joshua Zimmer 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 Joshua Zimmer 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:	Joshua Zimmer
Rank:	13 / 118
Average Score:	4.76
Median Score:	0.59
Description:	This sat-solver generates models via WalkSAT and returns the best one when time runs out.

	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	Bebe Shi:0	KingBach	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	Bebe Shi:1	KingBach	0.00	0.00	0	0
7	K.L.:1	KingBach	0.00	0.00	0	0
8	Miranda:1	cat	0.00	0.00	0	0
9	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
10	Solving For Clauses:1	haoyu	0.01	0.00	0	0
11	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
12	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
13	Miranda:0	cat	0.01	0.00	0	0
14	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
15	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
16	Blam:0	Elphaba	0.01	0.00	0	0
17	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
18	K.L.:0	haoyu	0.01	0.00	0	0
19	BMJ:1	burrito	0.01	0.00	0	0
20	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
21	David Paulk:0	cat	0.01	0.00	0	0
22	Happy:1	KingBach	0.01	0.00	0	0
23	Quite Satisfied:0	haoyu	0.01	0.00	0	0
24	R. A. B.:1	cat	0.01	0.00	0	0
25	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
26	BMJ:0	Elphaba	0.01	0.00	0	0
27	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
28	Blam:1	Elphaba	0.02	0.00	0	0
29	Mike Honcho:0	Miranda	0.02	0.01	0	0
30	haoyu:0	KingBach	0.02	0.01	0	0
31	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
32	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
33	haoyu:1	Anon5	0.02	0.01	0	0
34	bchouGenerator:0	haoyu	0.02	0.00	0	0
35	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
36	The Kraken:1	haoyu	0.02	0.00	0	0
37	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
38	Daffy Duck:1	haoyu	0.02	0.00	0	0
39	Happy:0	haoyu	0.02	0.00	0	0
40	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
41	Tree Prophet:0	haoyu	0.03	0.00	0	0
42	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
43	Tom T:1	Andrew Werner	0.03	0.02	0	0
44	weezy:1	Bar Shabtai	0.03	0.01	0	0
45	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
46	Tom T:0	EC	0.03	0.02	0	0
47	R. A. B.:0	Nihar the Great	0.04	0.00	0	0
48	Jameh:0	haoyu	0.04	0.01	0	0
49	Mickey Mouse:1	haoyu	0.04	0.01	0	0
50	weezy:0	Bar Shabtai	0.04	0.01	0	0
51	The Kraken:0	haoyu	0.04	0.00	0	0
52	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
53	Boomshanka:1	Bar Shabtai	0.05	0.01	0	0
54	David Lackey:0	Anon5	0.05	0.03	0	0
55	Jordan Ash:1	Bar Shabtai	0.05	0.01	0	0
56	Tree Prophet:1	haoyu	0.06	0.00	0	0
57	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.06	0.01	0	0
58	vluu:1	Nihar the Great	0.06	0.02	0	0
59	vluu:0	Nihar the Great	0.06	0.01	0	0
60	Dr Roberto:1	Andrew Grasso	0.06	0.02	0	0
61	Anon_K_P:1	Aristotle	0.06	0.03	0	0
62	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.06	0.01	0	0
63	Ytterbium:0	Andrew Grasso	0.06	0.02	0	0
64	Jameh:1	haoyu	0.07	0.01	0	0
65	cat:1	haoyu	0.07	0.03	0	0
66	David Lackey:1	Bar Shabtai	0.08	0.03	0	0
67	cat:0	haoyu	0.08	0.03	0	0
68	Boomshanka:0	haoyu	0.08	0.01	0	0
69	Tiny Wings:0	haoyu	0.09	0.02	0	0
70	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.09	0.01	0	0
71	Tiny Wings:1	haoyu	0.09	0.01	0	0
72	0108:1	haoyu	0.10	0.01	0	0
73	Nikhilesh Sigatapu:0	haoyu	0.10	0.03	0	0
74	Janie Gu:1	Jonathan Kwok	0.11	0.07	0	0
75	Sunny:0	Green "The Bean" Choi	0.11	0.02	0	0
76	Dr Roberto:0	Andrew Grasso	0.11	0.03	0	0
77	Keji Xu:1	Nihar the Great	0.11	0.04	0	0
78	The Whitman Whale:1	Andrew Grasso	0.11	0.03	0	0
79	Janie Gu:0	Glenn Fisher	0.11	0.07	0	0
80	Sunny:1	jabreezy	0.12	0.01	0	0
81	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
82	Alex Fish:1	haoyu	0.14	0.02	0	0
83	George Okeowo:0	Andrew Grasso	0.15	0.01	0	0
84	The Whitman Whale:0	bigwig	0.15	0.04	0	0
85	Nikhilesh Sigatapu:1	haoyu	0.16	0.04	0	0
86	Keji Xu:0	Nihar the Great	0.16	0.03	0	0
87	Lisa Kim:1	Bar Shabtai	0.17	0.06	0	0
88	George Okeowo:1	Andrew Grasso	0.17	0.01	0	0
89	Linda:0	Andrew Grasso	0.17	0.01	0	0
90	Jordan Ash:0	EC	0.19	0.03	0	0
91	DeeEmEm:1	haoyu	0.20	0.02	0	0
92	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.23	0.00	0	0
93	kt4124:1	haoyu	0.26	0.04	0	0
94	kt4124:0	haoyu	0.26	0.03	0	0
95	Linda:1	Andrew Grasso	0.27	0.02	0	0
96	Matt Haake:1	haoyu	0.28	0.05	0	0
97	Samuel Jerome:0	haoyu	0.28	0.03	0	0
98	Bob Dondero:0	Andrew Grasso	0.28	0.02	0	0
99	Glenn Fisher:0	Elphaba	0.28	0.02	0	0
100	Matt Haake:0	haoyu	0.31	0.05	0	0
101	Alex Fish:0	haoyu	0.33	0.01	0	0
102	Lisa Kim:0	Aristotle	0.33	0.07	0	0
103	bfang:0	haoyu	0.34	0.04	0	0
104	Yan Wu:0	haoyu	0.38	0.05	0	0
105	Anon5:1	Green "The Bean" Choi	0.39	0.07	0	0
106	Sally Smith:1	haoyu	0.40	0.04	0	0
107	Anon_K_P:0	haoyu	0.41	0.02	0	0
108	bfang:1	haoyu	0.42	0.04	0	0
109	KingBach:1	haoyu	0.46	0.04	0	0
110	Sally Smith:0	haoyu	0.46	0.04	0	0
111	Batman:0	haoyu	0.47	0.04	0	0
112	Tao:1	Aristotle	0.48	0.07	0	0
113	Bob Dondero:1	Mickey Mouse	0.51	0.03	0	0
114	Samuel Jerome:1	haoyu	0.59	0.03	0	0
115	Batman:1	haoyu	0.63	0.04	0	0
116	Tao:0	Bar Shabtai	0.70	0.02	0	0
117	KingBach:0	haoyu	0.72	0.06	0	0
118	Khoa:0	haoyu	0.74	0.09	0	0
119	Sprt:1	haoyu	0.78	0.05	0	0
120	Andrew Grasso:0	Aaron Doll	0.79	0.18	0	0
121	Mercury:1	haoyu	0.79	0.05	0	0
122	Khoa:1	Aristotle	0.81	0.09	0	0
123	Mercury:0	haoyu	0.83	0.05	0	0
124	Valya Barboy:0	Aristotle	0.85	0.06	0	0
125	soccer:0	haoyu	0.97	0.04	0	0
126	soccer:1	haoyu	1.00	0.04	0	0
127	Yan Wu:1	haoyu	1.14	0.04	0	0
128	Brendan Wright:0	haoyu	1.18	0.10	0	0
129	Brendan Wright:1	Deric Cheng	1.20	0.10	0	0
130	Sabar Dasgupta:1	Aaron Doll	1.20	0.17	0	0
131	DinnerPartyPlannerBM:1	Nihar the Great	1.66	0.06	0	0
132	Sabar Dasgupta:0	spl	1.77	0.23	0	0
133	Fanny:0	Aristotle	1.98	0.10	0	0
134	snowflakes:1	haoyu	2.02	0.03	0	0
135	Walter Little:1	haoyu	2.05	0.03	0	0
136	Mr. Blobby:0	Green "The Bean" Choi	2.09	0.14	0	0
137	Mr. Blobby:1	dusty	2.12	0.12	0	0
138	snowflakes:0	haoyu	2.23	0.03	0	0
139	burrito:0	haoyu	2.25	0.09	0	0
140	Yacob Y.:0	haoyu	2.29	0.06	0	0
141	Glenn Fisher:1	jabreezy	2.43	0.09	0	0
142	dfshasdsf12:0	haoyu	2.63	0.09	0	0
143	Lil Thug:0	Andrew Grasso	2.63	0.03	0	0
144	Ben Chen:1	spl	2.66	0.20	0	0
145	Lil Thug:1	Andrew Grasso	2.69	0.03	0	0
146	Charliezsc:1	haoyu	2.80	0.07	0	0
147	Aaron H:0	Aristotle	2.88	0.11	0	0
148	Valya Barboy:1	Shaheed Chagani	2.89	0.18	0	0
149	Aaron H:1	Aristotle	3.29	0.11	0	0
150	NA:1	Elphaba	3.43	0.04	0	0
151	Sprt:0	Aristotle	3.84	0.11	0	0
152	Ben Chen:0	Elphaba	4.14	0.07	0	0
153	Fanny:1	Aristotle	4.17	0.12	0	0
154	Andys:0	Aristotle	5.06	0.12	0	0
155	DinnerPartyPlannerBM:0	Aristotle	5.44	0.11	0	0
156	EC:1	haoyu	5.87	0.03	0	0
157	Mike Hunt:1	Aristotle	5.93	0.29	0	0
158	Andrew Werner:0	Aaron Doll	6.12	0.33	0	0
159	dfshasdsf12:1	Nihar the Great	6.75	0.11	0	0
160	burrito:1	haoyu	7.16	0.10	0	0
161	ebp:1	haoyu	7.39	0.04	0	0
162	John Whelchel:0	haoyu	7.41	0.06	0	0
163	ebp:0	haoyu	7.81	0.04	0	0
164	Andrew Werner:1	haoyu	8.94	0.11	0	0
165	Andys:1	Aristotle	9.14	0.13	0	0
166	jabreezy:1	Mercury	9.58	0.10	0	0
167	BH:0	haoyu	9.61	0.07	0	0
168	Bar Shabtai:1	haoyu	10.40	0.12	0	0
169	jgs:1	haoyu	11.51	0.18	0	0
170	CAPS LOCK:0	Aristotle	11.89	0.20	0	0
171	nupog:1	Aristotle	12.16	0.12	0	0
172	jabreezy:0	Mercury	12.35	0.09	0	0
173	nupog:0	Aristotle	12.66	0.13	0	0
174	BH:1	haoyu	12.79	0.05	0	0
175	David H.:1	DeeEmEm	15.00	0.33	1	0
176	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
177	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
178	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
179	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
180	Absurdity:1	Aristotle	15.00	0.18	1	0
181	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1	0
182	AFC:1	Aristotle	15.00	0.16	1	0
183	CookieMonster:0	CookieMonster	15.00	0.82	1	0
184	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
185	0108:0	jgs	15.00	14.98	1	1
186	CookieMonster:1	CookieMonster	15.00	1.10	1	0
187	EC:0	haoyu	15.00	0.03	1	0
188	Dusty:1	Shaheed Chagani	15.00	0.22	2	0
189	Dusty:0	CookieMonster	15.00	1.39	2	0
190	David H.:0	AFC	15.00	0.28	2	0
191	T. Capote:0	haoyu	15.00	0.00	2	2
192	T. Capote:1	haoyu	15.00	0.00	2	2
193	spl:1	haoyu	15.00	0.06	3	0
194	SuperFan:0	jgs	15.00	14.98	4	4
195	SuperFan:1	jgs	15.00	14.98	4	4
196	NA:0	haoyu	15.00	0.03	7	0
197	Supahaka:1	Joel Faron	15.00	15.00	36	35
198	Supahaka:0	Andrew Werner	15.00	15.00	37	35
199	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
200	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
201	Aaron Doll:1	Aristotle	15.00	1.27	286120	0
202	Walter Little:0	haoyu	15.00	0.04	1	0
203	John Whelchel:1	haoyu	15.00	0.11	1	0
204	Anon5:0	haoyu	15.00	0.05	1	0
205	Charliezsc:0	jgs	15.00	14.98	1	1
206	AFC:0	CookieMonster	15.00	0.34	1	0
207	Elphaba:0	Aristotle	15.00	0.24	17923	0
208	Nihar the Great:0	Aristotle	15.00	0.23	19747	0
209	Mike Hunt:0	Aristotle	15.01	0.27	1	0
210	spl:0	Elphaba	15.01	0.09	2	0
211	Absurdity:0	Aristotle	15.01	0.23	2	0
212	13a:0	Aaron Doll	15.01	15.00	29594	21
213	Bar Shabtai:0	Aaron Doll	15.01	15.01	283453	1
214	Elphaba:1	Aristotle	15.01	0.22	3966	0
215	Shaheed Chagani:0	Aristotle	15.01	0.17	4	0
216	Shaheed Chagani:1	Aristotle	15.01	0.11	5	0
217	Matt Goldsmith:0	Nihar the Great	15.01	0.03	513501	0
218	13a:1	Aaron Doll	15.02	15.00	29887	29
219	CAPS LOCK:1	Aristotle	15.02	0.25	247	0
220	Nihar the Great:1	Aristotle	15.02	0.25	20746	0
221	Deric Cheng:1	jgs	15.02	14.98	1	1
222	Yacob Y.:1	Aristotle	15.02	15.00	8	1
223	Aaron Doll:0	Aristotle	15.02	0.56	229263	0
224	Matt Goldsmith:1	Happy	15.04	0.03	506113	0
225	Aristotle:1	Aristotle	15.05	9.69	720229	0
226	Aristotle:0	Aristotle	15.07	15.00	722321	1
227	Deric Cheng:0	jgs	15.07	14.99	1	1
228	jgs:0	Aristotle	15.18	0.12	10	0

SatSolvers Ranklist

Generators Ranklist