Stats for satsolver: Ben Chen

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 Ben Chen 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 Ben Chen 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:	Ben Chen
Rank:	51 / 118
Average Score:	7.65
Median Score:	0.45
Description:	The SatSolver is based on WalkSat with a slight modification. Clauses that contain only one literal each are initially noted. Because a clause with only have one literal is trivially easy to solve, the values of the symbols corresponding to these single literal clauses are permanently set. During WalkSat, changing the values of these preset symbols is avoided.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.00	0.00	0	0
3	BMJ:1	burrito	0.00	0.00	0	0
4	K.L.: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	Bebe Shi:1	KingBach	0.00	0.00	0	0
8	bigwig:0	Andrew Werner	0.00	0.00	0	0
9	Miranda:1	cat	0.00	0.00	0	0
10	Miranda:0	cat	0.00	0.00	0	0
11	Blam:1	Elphaba	0.01	0.00	0	0
12	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
13	Solving For Clauses:1	haoyu	0.01	0.00	0	0
14	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
15	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
16	haoyu:0	KingBach	0.01	0.01	0	0
17	haoyu:1	Anon5	0.01	0.01	0	0
18	K.L.:0	haoyu	0.01	0.00	0	0
19	Blam:0	Elphaba	0.01	0.00	0	0
20	R. A. B.:1	cat	0.01	0.00	0	0
21	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
22	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
23	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
24	Tree Prophet:0	haoyu	0.01	0.00	0	0
25	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
26	BMJ:0	Elphaba	0.01	0.00	0	0
27	Daffy Duck:1	haoyu	0.01	0.00	0	0
28	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
29	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
30	Happy:1	KingBach	0.01	0.00	0	0
31	David Paulk:0	cat	0.02	0.00	0	0
32	Quite Satisfied:0	haoyu	0.02	0.00	0	0
33	bchouGenerator:0	haoyu	0.02	0.00	0	0
34	The Kraken:1	haoyu	0.02	0.00	0	0
35	Happy:0	haoyu	0.02	0.00	0	0
36	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
37	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
38	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
39	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
40	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
41	Tree Prophet:1	haoyu	0.03	0.00	0	0
42	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
43	Jameh:0	haoyu	0.03	0.01	0	0
44	Jordan Ash:1	Bar Shabtai	0.03	0.01	0	0
45	The Kraken:0	haoyu	0.03	0.00	0	0
46	Mickey Mouse:1	haoyu	0.04	0.01	0	0
47	Tom T:0	EC	0.04	0.02	0	0
48	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
49	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
50	weezy:1	Bar Shabtai	0.04	0.01	0	0
51	Tom T:1	Andrew Werner	0.04	0.02	0	0
52	Mickey Mouse:0	Bar Shabtai	0.04	0.01	0	0
53	Sunny:1	jabreezy	0.05	0.01	0	0
54	Jameh:1	haoyu	0.05	0.01	0	0
55	Sunny:0	Green "The Bean" Choi	0.06	0.02	0	0
56	weezy:0	Bar Shabtai	0.06	0.01	0	0
57	Tiny Wings:0	haoyu	0.06	0.02	0	0
58	David Lackey:1	Bar Shabtai	0.07	0.03	0	0
59	Dr Roberto:1	Andrew Grasso	0.07	0.02	0	0
60	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.07	0.01	0	0
61	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.07	0.00	0	0
62	David Lackey:0	Anon5	0.07	0.03	0	0
63	Ytterbium:0	Andrew Grasso	0.08	0.02	0	0
64	Mike Honcho:1	Jessie Chen	0.08	0.01	0	0
65	Mike Honcho:0	Miranda	0.08	0.01	0	0
66	Keji Xu:0	Nihar the Great	0.08	0.03	0	0
67	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.08	0.01	0	0
68	Alex Fish:1	haoyu	0.08	0.02	0	0
69	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
70	Jordan Ash:0	EC	0.09	0.03	0	0
71	cat:0	haoyu	0.10	0.03	0	0
72	vluu:0	Nihar the Great	0.10	0.01	0	0
73	vluu:1	Nihar the Great	0.10	0.02	0	0
74	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.10	0.01	0	0
75	cat:1	haoyu	0.10	0.03	0	0
76	Boomshanka:0	haoyu	0.10	0.01	0	0
77	Dr Roberto:0	Andrew Grasso	0.10	0.03	0	0
78	Keji Xu:1	Nihar the Great	0.11	0.04	0	0
79	DeeEmEm:1	haoyu	0.12	0.02	0	0
80	0108:1	haoyu	0.13	0.01	0	0
81	Anon_K_P:1	Aristotle	0.14	0.03	0	0
82	Tiny Wings:1	haoyu	0.14	0.01	0	0
83	The Whitman Whale:0	bigwig	0.14	0.04	0	0
84	Alex Fish:0	haoyu	0.15	0.01	0	0
85	Ytterbium:1	Nihar the Great	0.15	0.02	0	0
86	Bob Dondero:0	Andrew Grasso	0.16	0.02	0	0
87	Samuel Jerome:0	haoyu	0.16	0.03	0	0
88	Nikhilesh Sigatapu:1	haoyu	0.17	0.04	0	0
89	Tao:0	Bar Shabtai	0.18	0.02	0	0
90	Linda:0	Andrew Grasso	0.18	0.01	0	0
91	kt4124:1	haoyu	0.18	0.04	0	0
92	George Okeowo:1	Andrew Grasso	0.19	0.01	0	0
93	Janie Gu:1	Jonathan Kwok	0.19	0.07	0	0
94	Janie Gu:0	Glenn Fisher	0.20	0.07	0	0
95	George Okeowo:0	Andrew Grasso	0.20	0.01	0	0
96	Glenn Fisher:0	Elphaba	0.21	0.02	0	0
97	Lisa Kim:1	Bar Shabtai	0.21	0.06	0	0
98	kt4124:0	haoyu	0.22	0.03	0	0
99	Anon_K_P:0	haoyu	0.28	0.02	0	0
100	Sally Smith:1	haoyu	0.29	0.04	0	0
101	Lisa Kim:0	Aristotle	0.29	0.07	0	0
102	Yan Wu:0	haoyu	0.32	0.05	0	0
103	Samuel Jerome:1	haoyu	0.35	0.03	0	0
104	Mercury:0	haoyu	0.36	0.05	0	0
105	Sally Smith:0	haoyu	0.36	0.04	0	0
106	Nikhilesh Sigatapu:0	haoyu	0.38	0.03	0	0
107	Bob Dondero:1	Mickey Mouse	0.39	0.03	0	0
108	bfang:0	haoyu	0.40	0.04	0	0
109	Linda:1	Andrew Grasso	0.41	0.02	0	0
110	Tao:1	Aristotle	0.41	0.07	0	0
111	Mercury:1	haoyu	0.43	0.05	0	0
112	Batman:1	haoyu	0.47	0.04	0	0
113	KingBach:1	haoyu	0.51	0.04	0	0
114	Batman:0	haoyu	0.54	0.04	0	0
115	bfang:1	haoyu	0.60	0.04	0	0
116	Brendan Wright:1	Deric Cheng	0.63	0.10	0	0
117	Mr. Blobby:1	dusty	0.71	0.12	0	0
118	Yan Wu:1	haoyu	0.72	0.04	0	0
119	Mr. Blobby:0	Green "The Bean" Choi	0.77	0.14	0	0
120	Matt Haake:0	haoyu	0.86	0.05	0	0
121	Sprt:1	haoyu	0.87	0.05	0	0
122	soccer:0	haoyu	0.89	0.04	0	0
123	Khoa:0	haoyu	0.94	0.09	0	0
124	Yacob Y.:0	haoyu	0.96	0.06	0	0
125	Khoa:1	Aristotle	0.97	0.09	0	0
126	Matt Haake:1	haoyu	1.00	0.05	0	0
127	KingBach:0	haoyu	1.01	0.06	0	0
128	snowflakes:0	haoyu	1.05	0.03	0	0
129	Fanny:1	Aristotle	1.19	0.12	0	0
130	Dusty:1	Shaheed Chagani	1.29	0.22	0	0
131	Fanny:0	Aristotle	1.30	0.10	0	0
132	Ben Chen:1	spl	1.55	0.20	0	0
133	John Whelchel:1	haoyu	1.60	0.11	0	0
134	Andrew Grasso:0	Aaron Doll	1.66	0.18	0	0
135	burrito:0	haoyu	1.94	0.09	0	0
136	soccer:1	haoyu	2.03	0.04	0	0
137	DinnerPartyPlannerBM:1	Nihar the Great	2.11	0.06	0	0
138	Sabar Dasgupta:1	Aaron Doll	2.23	0.17	0	0
139	John Whelchel:0	haoyu	2.25	0.06	0	0
140	dfshasdsf12:0	haoyu	2.38	0.09	0	0
141	Anon5:1	Green "The Bean" Choi	2.53	0.07	0	0
142	snowflakes:1	haoyu	3.03	0.03	0	0
143	NA:1	Elphaba	3.18	0.04	0	0
144	Ben Chen:0	Elphaba	3.39	0.07	0	0
145	Aaron H:0	Aristotle	3.63	0.11	0	0
146	Anon5:0	haoyu	3.66	0.05	0	0
147	Valya Barboy:1	Shaheed Chagani	3.75	0.18	0	0
148	Brendan Wright:0	haoyu	3.79	0.10	0	0
149	Lil Thug:1	Andrew Grasso	3.87	0.03	0	0
150	Aaron H:1	Aristotle	3.88	0.11	0	0
151	Charliezsc:1	haoyu	3.88	0.07	0	0
152	Sprt:0	Aristotle	3.93	0.11	0	0
153	Lil Thug:0	Andrew Grasso	3.97	0.03	0	0
154	EC:0	haoyu	4.50	0.03	0	0
155	Sabar Dasgupta:0	spl	4.53	0.23	0	0
156	dfshasdsf12:1	Nihar the Great	5.01	0.11	0	0
157	Andys:0	Aristotle	5.51	0.12	0	0
158	Walter Little:1	haoyu	6.01	0.03	0	0
159	Walter Little:0	haoyu	6.01	0.04	0	0
160	BH:0	haoyu	6.91	0.07	0	0
161	jabreezy:0	Mercury	7.38	0.09	0	0
162	Valya Barboy:0	Aristotle	7.41	0.06	0	0
163	jabreezy:1	Mercury	8.38	0.10	0	0
164	Andrew Werner:1	haoyu	8.55	0.11	0	0
165	ebp:1	haoyu	9.03	0.04	0	0
166	ebp:0	haoyu	9.22	0.04	0	0
167	Mike Hunt:0	Aristotle	9.22	0.27	0	0
168	DinnerPartyPlannerBM:0	Aristotle	10.07	0.11	0	0
169	BH:1	haoyu	10.21	0.05	0	0
170	EC:1	haoyu	10.83	0.03	0	0
171	Andrew Grasso:1	Shaheed Chagani	11.07	0.15	0	0
172	Andrew Werner:0	Aaron Doll	11.21	0.33	0	0
173	Glenn Fisher:1	jabreezy	11.54	0.09	0	0
174	NA:0	haoyu	11.87	0.03	0	0
175	CAPS LOCK:0	Aristotle	11.90	0.20	0	0
176	burrito:1	haoyu	12.64	0.10	0	0
177	Andys:1	Aristotle	13.33	0.13	0	0
178	jgs:0	Aristotle	14.07	0.12	0	0
179	nupog:0	Aristotle	14.55	0.13	0	0
180	David H.:1	DeeEmEm	15.00	0.33	1	0
181	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
182	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
183	Dusty:0	CookieMonster	15.00	1.39	1	0
184	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
185	David H.:0	AFC	15.00	0.28	1	0
186	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
187	0108:0	jgs	15.00	14.98	1	1
188	AFC:0	CookieMonster	15.00	0.34	1	0
189	T. Capote:0	haoyu	15.00	0.00	2	2
190	T. Capote:1	haoyu	15.00	0.00	2	2
191	SuperFan:0	jgs	15.00	14.98	4	4
192	SuperFan:1	jgs	15.00	14.98	4	4
193	nupog:1	Aristotle	15.00	0.12	23	0
194	Shaheed Chagani:1	Aristotle	15.00	0.11	38	0
195	AFC:1	Aristotle	15.00	0.16	1	0
196	CookieMonster:0	CookieMonster	15.00	0.82	1	0
197	CookieMonster:1	CookieMonster	15.00	1.10	1	0
198	spl:1	haoyu	15.00	0.06	2	0
199	Yacob Y.:1	Aristotle	15.00	15.00	8	1
200	Mike Hunt:1	Aristotle	15.00	0.29	2	0
201	spl:0	Elphaba	15.00	0.09	3	0
202	Nihar the Great:0	Aristotle	15.00	0.23	20195	0
203	Absurdity:1	Aristotle	15.00	0.18	1	0
204	Elphaba:0	Aristotle	15.00	0.24	11217	0
205	Charliezsc:0	jgs	15.01	14.98	1	1
206	Deric Cheng:1	jgs	15.01	14.98	1	1
207	Absurdity:0	Aristotle	15.01	0.23	1	0
208	Bar Shabtai:1	haoyu	15.01	0.12	73	0
209	Bar Shabtai:0	Aaron Doll	15.02	15.01	297053	1
210	Elphaba:1	Aristotle	15.02	0.22	22588	0
211	13a:0	Aaron Doll	15.02	15.00	54849	21
212	13a:1	Aaron Doll	15.02	15.00	68392	29
213	Shaheed Chagani:0	Aristotle	15.02	0.17	5	0
214	Nihar the Great:1	Aristotle	15.03	0.25	20120	0
215	Matt Goldsmith:0	Nihar the Great	15.03	0.03	510366	0
216	Aaron Doll:1	Aristotle	15.04	1.27	318584	0
217	Aristotle:0	Aristotle	15.05	15.00	731787	1
218	jgs:1	haoyu	15.05	0.18	17	0
219	Aristotle:1	Aristotle	15.07	9.69	741969	0
220	Aaron Doll:0	Aristotle	15.09	0.56	244585	0
221	Matt Goldsmith:1	Happy	15.12	0.03	507797	0
222	CAPS LOCK:1	Aristotle	15.12	0.25	2	0
223	Deric Cheng:0	jgs	15.20	14.99	1	1
224	Mark S. Fillmore:1	Supahaka	-	0.04	-	79
225	Quite Satisfied:1	Joel Faron	-	2.11	-	1
226	Mark S. Fillmore:0	Supahaka	-	0.01	-	116
227	Supahaka:0	Andrew Werner	-	15.00	-	35
228	Supahaka:1	Joel Faron	-	15.00	-	35

SatSolvers Ranklist

Generators Ranklist