Stats for satsolver: Charlie Shucheng Zhu

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 Charlie Shucheng Zhu 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 Charlie Shucheng Zhu 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:	Charlie Shucheng Zhu
Rank:	44 / 118
Average Score:	6.85
Median Score:	0.52
Description:	My SAT solver's description: A variant of WalkSAT solver with restart feature.

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

SatSolvers Ranklist

Generators Ranklist