Stats for satsolver: Deric Cheng

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 Deric Cheng 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 Deric Cheng 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:	Deric Cheng
Rank:	16 / 118
Average Score:	5.03
Median Score:	0.64
Description:	This sat-solver implements an enhanced version of the WalkSAT algorithm by choosing to either randomly flip a symbol in the model or flip the symbol that maximizes the number of satisfied clauses.

	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	Bebe Shi:0	KingBach	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	Happy: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	Miranda:0	cat	0.00	0.00	0	0
11	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
12	Solving For Clauses:1	haoyu	0.01	0.00	0	0
13	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
14	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
15	Daffy Duck:1	haoyu	0.01	0.00	0	0
16	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
17	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
18	BMJ:0	Elphaba	0.01	0.00	0	0
19	Blam:0	Elphaba	0.01	0.00	0	0
20	Tree Prophet:0	haoyu	0.01	0.00	0	0
21	Blam:1	Elphaba	0.01	0.00	0	0
22	BMJ:1	burrito	0.01	0.00	0	0
23	K.L.:0	haoyu	0.01	0.00	0	0
24	haoyu:1	Anon5	0.01	0.01	0	0
25	R. A. B.:1	cat	0.01	0.00	0	0
26	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
27	K.L.:1	KingBach	0.01	0.00	0	0
28	haoyu:0	KingBach	0.01	0.01	0	0
29	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
30	Quite Satisfied:0	haoyu	0.01	0.00	0	0
31	bchouGenerator:0	haoyu	0.01	0.00	0	0
32	The Kraken:1	haoyu	0.01	0.00	0	0
33	David Paulk:0	cat	0.01	0.00	0	0
34	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
35	The Kraken:0	haoyu	0.01	0.00	0	0
36	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
37	Sunny:1	jabreezy	0.02	0.01	0	0
38	Mike Honcho:0	Miranda	0.02	0.01	0	0
39	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
40	Happy:0	haoyu	0.02	0.00	0	0
41	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
42	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
43	Mickey Mouse:1	haoyu	0.02	0.01	0	0
44	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
45	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
46	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
47	Tree Prophet:1	haoyu	0.02	0.00	0	0
48	Tom T:1	Andrew Werner	0.02	0.02	0	0
49	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
50	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.03	0.01	0	0
51	Tom T:0	EC	0.03	0.02	0	0
52	weezy:1	Bar Shabtai	0.03	0.01	0	0
53	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
54	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
55	Alex Fish:0	haoyu	0.03	0.01	0	0
56	weezy:0	Bar Shabtai	0.04	0.01	0	0
57	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
58	Jameh:0	haoyu	0.04	0.01	0	0
59	David Lackey:0	Anon5	0.05	0.03	0	0
60	Alex Fish:1	haoyu	0.05	0.02	0	0
61	vluu:0	Nihar the Great	0.06	0.01	0	0
62	Tiny Wings:1	haoyu	0.06	0.01	0	0
63	Boomshanka:0	haoyu	0.06	0.01	0	0
64	Tiny Wings:0	haoyu	0.06	0.02	0	0
65	Jordan Ash:0	EC	0.06	0.03	0	0
66	Dr Roberto:0	Andrew Grasso	0.07	0.03	0	0
67	David Lackey:1	Bar Shabtai	0.07	0.03	0	0
68	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.07	0.01	0	0
69	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.07	0.01	0	0
70	vluu:1	Nihar the Great	0.07	0.02	0	0
71	Ytterbium:0	Andrew Grasso	0.07	0.02	0	0
72	Jameh:1	haoyu	0.09	0.01	0	0
73	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
74	Janie Gu:1	Jonathan Kwok	0.10	0.07	0	0
75	cat:1	haoyu	0.10	0.03	0	0
76	Brendan Wright:1	Deric Cheng	0.10	0.10	0	0
77	Keji Xu:1	Nihar the Great	0.11	0.04	0	0
78	0108:1	haoyu	0.11	0.01	0	0
79	cat:0	haoyu	0.12	0.03	0	0
80	Dr Roberto:1	Andrew Grasso	0.12	0.02	0	0
81	Anon_K_P:0	haoyu	0.12	0.02	0	0
82	The Whitman Whale:0	bigwig	0.12	0.04	0	0
83	Janie Gu:0	Glenn Fisher	0.13	0.07	0	0
84	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.14	0.00	0	0
85	DeeEmEm:1	haoyu	0.14	0.02	0	0
86	Ytterbium:1	Nihar the Great	0.14	0.02	0	0
87	Tao:0	Bar Shabtai	0.16	0.02	0	0
88	Bob Dondero:1	Mickey Mouse	0.17	0.03	0	0
89	Keji Xu:0	Nihar the Great	0.18	0.03	0	0
90	Nikhilesh Sigatapu:0	haoyu	0.19	0.03	0	0
91	George Okeowo:0	Andrew Grasso	0.20	0.01	0	0
92	George Okeowo:1	Andrew Grasso	0.21	0.01	0	0
93	Bob Dondero:0	Andrew Grasso	0.22	0.02	0	0
94	Nikhilesh Sigatapu:1	haoyu	0.23	0.04	0	0
95	Anon_K_P:1	Aristotle	0.23	0.03	0	0
96	Sunny:0	Green "The Bean" Choi	0.24	0.02	0	0
97	Linda:0	Andrew Grasso	0.25	0.01	0	0
98	Lisa Kim:0	Aristotle	0.29	0.07	0	0
99	Lisa Kim:1	Bar Shabtai	0.30	0.06	0	0
100	kt4124:0	haoyu	0.32	0.03	0	0
101	Sally Smith:1	haoyu	0.35	0.04	0	0
102	Samuel Jerome:1	haoyu	0.39	0.03	0	0
103	Sally Smith:0	haoyu	0.40	0.04	0	0
104	kt4124:1	haoyu	0.41	0.04	0	0
105	Samuel Jerome:0	haoyu	0.42	0.03	0	0
106	Glenn Fisher:0	Elphaba	0.49	0.02	0	0
107	Mercury:0	haoyu	0.52	0.05	0	0
108	Fanny:1	Aristotle	0.53	0.12	0	0
109	bfang:0	haoyu	0.58	0.04	0	0
110	Mercury:1	haoyu	0.59	0.05	0	0
111	bfang:1	haoyu	0.61	0.04	0	0
112	KingBach:1	haoyu	0.62	0.04	0	0
113	Batman:1	haoyu	0.64	0.04	0	0
114	Batman:0	haoyu	0.64	0.04	0	0
115	Yan Wu:0	haoyu	0.76	0.05	0	0
116	KingBach:0	haoyu	0.79	0.06	0	0
117	Yan Wu:1	haoyu	0.79	0.04	0	0
118	Linda:1	Andrew Grasso	0.80	0.02	0	0
119	Matt Haake:1	haoyu	0.81	0.05	0	0
120	soccer:1	haoyu	0.86	0.04	0	0
121	Fanny:0	Aristotle	0.88	0.10	0	0
122	Tao:1	Aristotle	0.96	0.07	0	0
123	Khoa:1	Aristotle	0.98	0.09	0	0
124	Sprt:1	haoyu	1.01	0.05	0	0
125	Mr. Blobby:1	dusty	1.04	0.12	0	0
126	Khoa:0	haoyu	1.07	0.09	0	0
127	Yacob Y.:0	haoyu	1.21	0.06	0	0
128	Matt Haake:0	haoyu	1.30	0.05	0	0
129	Mr. Blobby:0	Green "The Bean" Choi	1.39	0.14	0	0
130	soccer:0	haoyu	1.49	0.04	0	0
131	Valya Barboy:0	Aristotle	1.59	0.06	0	0
132	Ben Chen:0	Elphaba	2.02	0.07	0	0
133	DinnerPartyPlannerBM:1	Nihar the Great	2.13	0.06	0	0
134	burrito:0	haoyu	2.26	0.09	0	0
135	Sabar Dasgupta:0	spl	2.46	0.23	0	0
136	Sabar Dasgupta:1	Aaron Doll	2.74	0.17	0	0
137	dfshasdsf12:0	haoyu	2.84	0.09	0	0
138	Charliezsc:1	haoyu	3.21	0.07	0	0
139	Lil Thug:0	Andrew Grasso	3.46	0.03	0	0
140	Lil Thug:1	Andrew Grasso	3.58	0.03	0	0
141	Anon5:1	Green "The Bean" Choi	3.64	0.07	0	0
142	Andrew Grasso:0	Aaron Doll	3.94	0.18	0	0
143	Aaron H:0	Aristotle	3.95	0.11	0	0
144	Brendan Wright:0	haoyu	4.15	0.10	0	0
145	Sprt:0	Aristotle	4.47	0.11	0	0
146	Aaron H:1	Aristotle	4.49	0.11	0	0
147	John Whelchel:0	haoyu	4.85	0.06	0	0
148	Andys:0	Aristotle	4.95	0.12	0	0
149	EC:0	haoyu	5.04	0.03	0	0
150	Mike Hunt:0	Aristotle	5.92	0.27	0	0
151	ebp:0	haoyu	5.97	0.04	0	0
152	Glenn Fisher:1	jabreezy	6.16	0.09	0	0
153	dfshasdsf12:1	Nihar the Great	6.24	0.11	0	0
154	jabreezy:0	Mercury	6.53	0.09	0	0
155	snowflakes:0	haoyu	7.08	0.03	0	0
156	jabreezy:1	Mercury	7.21	0.10	0	0
157	burrito:1	haoyu	7.50	0.10	0	0
158	DinnerPartyPlannerBM:0	Aristotle	7.76	0.11	0	0
159	Andys:1	Aristotle	7.95	0.13	0	0
160	NA:1	Elphaba	8.23	0.04	0	0
161	David H.:1	DeeEmEm	8.29	0.33	0	0
162	Walter Little:1	haoyu	8.65	0.03	0	0
163	Andrew Werner:0	Aaron Doll	8.86	0.33	0	0
164	Valya Barboy:1	Shaheed Chagani	8.91	0.18	0	0
165	ebp:1	haoyu	9.50	0.04	0	0
166	Ben Chen:1	spl	10.63	0.20	0	0
167	Anon5:0	haoyu	11.12	0.05	0	0
168	Andrew Werner:1	haoyu	11.54	0.11	0	0
169	CAPS LOCK:0	Aristotle	12.21	0.20	0	0
170	BH:1	haoyu	13.59	0.05	0	0
171	BH:0	haoyu	14.32	0.07	0	0
172	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
173	Dusty:1	Shaheed Chagani	15.00	0.22	1	0
174	Walter Little:0	haoyu	15.00	0.04	1	0
175	EC:1	haoyu	15.00	0.03	1	0
176	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
177	Mike Hunt:1	Aristotle	15.00	0.29	1	0
178	Charliezsc:0	jgs	15.00	14.98	1	1
179	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
180	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
181	David H.:0	AFC	15.00	0.28	1	0
182	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1	0
183	AFC:1	Aristotle	15.00	0.16	1	0
184	CookieMonster:0	CookieMonster	15.00	0.82	1	0
185	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
186	0108:0	jgs	15.00	14.98	1	1
187	CookieMonster:1	CookieMonster	15.00	1.10	1	0
188	spl:0	Elphaba	15.00	0.09	2	0
189	T. Capote:0	haoyu	15.00	0.00	2	2
190	T. Capote:1	haoyu	15.00	0.00	2	2
191	snowflakes:1	haoyu	15.00	0.03	2	0
192	Dusty:0	CookieMonster	15.00	1.39	3	0
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	6	0
197	Supahaka:0	Andrew Werner	15.00	15.00	37	35
198	Supahaka:1	Joel Faron	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	nupog:0	Aristotle	15.00	0.13	129	0
202	AFC:0	CookieMonster	15.00	0.34	2	0
203	nupog:1	Aristotle	15.00	0.12	55	0
204	Deric Cheng:1	jgs	15.01	14.98	1	1
205	Absurdity:1	Aristotle	15.01	0.18	1	0
206	Yacob Y.:1	Aristotle	15.01	15.00	10	1
207	Matt Goldsmith:1	Happy	15.01	0.03	510489	0
208	Absurdity:0	Aristotle	15.01	0.23	1	0
209	13a:0	Aaron Doll	15.01	15.00	51791	21
210	Shaheed Chagani:1	Aristotle	15.01	0.11	6	0
211	Elphaba:0	Aristotle	15.01	0.24	18188	0
212	13a:1	Aaron Doll	15.01	15.00	65309	29
213	Nihar the Great:0	Aristotle	15.01	0.23	21816	0
214	CAPS LOCK:1	Aristotle	15.01	0.25	1048	0
215	Elphaba:1	Aristotle	15.01	0.22	20549	0
216	Aristotle:1	Aristotle	15.01	9.69	734433	0
217	Shaheed Chagani:0	Aristotle	15.02	0.17	4	0
218	Aaron Doll:1	Aristotle	15.02	1.27	294674	0
219	Aaron Doll:0	Aristotle	15.03	0.56	231307	0
220	Bar Shabtai:0	Aaron Doll	15.03	15.01	305714	1
221	Nihar the Great:1	Aristotle	15.03	0.25	20774	0
222	John Whelchel:1	haoyu	15.04	0.11	1	0
223	Matt Goldsmith:0	Nihar the Great	15.05	0.03	514901	0
224	Deric Cheng:0	jgs	15.09	14.99	1	1
225	Aristotle:0	Aristotle	15.11	15.00	717389	1
226	jgs:1	haoyu	15.11	0.18	10	0
227	jgs:0	Aristotle	15.21	0.12	8	0
228	Bar Shabtai:1	haoyu	15.23	0.12	83	0

SatSolvers Ranklist

Generators Ranklist