Stats for satsolver: Jessie 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 Jessie 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 Jessie 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:	Jessie Chen
Rank:	94 / 118
Average Score:	16.28
Median Score:	15.01
Description:	WalkSAT implementation. Min-conflicts is implemented by flipping each symbol and finding the flip that results in the smallest number of unsatisfied clauses.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.01	0.00	0	0
3	Bebe Shi:0	KingBach	0.01	0.00	0	0
4	Daffy Duck:1	haoyu	0.01	0.00	0	0
5	Ravi Tandon:1	KingBach	0.01	0.00	0	0
6	Bebe Shi:1	KingBach	0.01	0.00	0	0
7	Solving For Clauses:1	haoyu	0.01	0.00	0	0
8	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
9	Ravi Tandon:0	KingBach	0.01	0.00	0	0
10	K.L.:1	KingBach	0.01	0.00	0	0
11	Mike Honcho:1	Jessie Chen	0.01	0.01	0	0
12	Happy:1	KingBach	0.02	0.00	0	0
13	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
14	Mike Honcho:0	Miranda	0.02	0.01	0	0
15	R. A. B.:1	cat	0.02	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
17	Miranda:1	cat	0.03	0.00	0	0
18	K.L.:0	haoyu	0.03	0.00	0	0
19	Miranda:0	cat	0.03	0.00	0	0
20	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
21	Joshua Zimmer:1	haoyu	0.03	0.00	0	0
22	Daffy Duck:0	Andrew Werner	0.03	0.00	0	0
23	Joshua Zimmer:0	haoyu	0.04	0.00	0	0
24	BMJ:1	burrito	0.05	0.00	0	0
25	Blam:1	Elphaba	0.05	0.00	0	0
26	haoyu:1	Anon5	0.05	0.01	0	0
27	Scheduling Generator 203:0	jgs	0.05	0.01	0	0
28	Gewang:1	Jonathan Kwok	0.05	0.00	0	0
29	BMJ:0	Elphaba	0.05	0.00	0	0
30	Gewang:0	Jonathan Kwok	0.07	0.00	0	0
31	Blam:0	Elphaba	0.08	0.00	0	0
32	Happy:0	haoyu	0.09	0.00	0	0
33	bchouGenerator:0	haoyu	0.10	0.00	0	0
34	Tree Prophet:0	haoyu	0.14	0.00	0	0
35	The Kraken:1	haoyu	0.23	0.00	0	0
36	The Kraken:0	haoyu	0.23	0.00	0	0
37	Tom T:1	Andrew Werner	0.28	0.02	0	0
38	Tree Prophet:1	haoyu	0.30	0.00	0	0
39	haoyu:0	KingBach	0.30	0.01	0	0
40	David Paulk:0	cat	0.31	0.00	0	0
41	Quite Satisfied:0	haoyu	0.34	0.00	0	0
42	Scheduling Generator 203:1	Jameh	0.36	0.02	0	0
43	Tom T:0	EC	0.43	0.02	0	0
44	Sunny:1	jabreezy	0.52	0.01	0	0
45	David Paulk:1	Bar Shabtai	0.54	0.00	0	0
46	Bob Dondero:0	Andrew Grasso	0.94	0.02	0	0
47	R. A. B.:0	Nihar the Great	0.95	0.00	0	0
48	Dr Roberto:1	Andrew Grasso	1.00	0.02	0	0
49	weezy:1	Bar Shabtai	1.08	0.01	0	0
50	Qinlan Shen:0	Bar Shabtai	1.08	0.01	0	0
51	weezy:0	Bar Shabtai	1.13	0.01	0	0
52	cmF5a3ly:0	Nihar the Great	1.21	0.00	0	0
53	Mickey Mouse:1	haoyu	1.25	0.01	0	0
54	Mickey Mouse:0	Bar Shabtai	1.25	0.01	0	0
55	Jordan Ash:1	Bar Shabtai	1.45	0.01	0	0
56	DeeEmEm:1	haoyu	1.69	0.02	0	0
57	Bob Dondero:1	Mickey Mouse	1.76	0.03	0	0
58	cmF5a3ly:1	Nihar the Great	2.02	0.00	0	0
59	Tiny Wings:0	haoyu	2.73	0.02	0	0
60	Dr Roberto:0	Andrew Grasso	2.93	0.03	0	0
61	Boomshanka:0	haoyu	3.09	0.01	0	0
62	Jameh:0	haoyu	4.19	0.01	0	0
63	Tiny Wings:1	haoyu	5.00	0.01	0	0
64	Linda:0	Andrew Grasso	5.86	0.01	0	0
65	Sunny:0	Green "The Bean" Choi	6.62	0.02	0	0
66	The Whitman Whale:0	bigwig	8.27	0.04	0	0
67	Ytterbium:0	Andrew Grasso	9.34	0.02	0	0
68	Keji Xu:1	Nihar the Great	9.72	0.04	0	0
69	vluu:0	Nihar the Great	10.03	0.01	0	0
70	Linda:1	Andrew Grasso	10.31	0.02	0	0
71	The Whitman Whale:1	Andrew Grasso	11.01	0.03	0	0
72	vluu:1	Nihar the Great	13.01	0.02	0	0
73	Qinlan Shen:1	R. A. B.	15.00	9.00	2	1
74	T. Capote:0	haoyu	15.00	0.00	2	2
75	T. Capote:1	haoyu	15.00	0.00	2	2
76	Quite Satisfied:1	Joel Faron	15.00	2.11	5	1
77	Jessie Chen:0	Joel Faron	15.00	0.13	7	1
78	Jessie Chen:1	Joel Faron	15.00	0.12	8	1
79	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	16	0
80	0108:0	jgs	15.00	14.98	20	1
81	SuperFan:1	jgs	15.00	14.98	22	4
82	SuperFan:0	jgs	15.00	14.98	31	4
83	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	7	0
84	DeeEmEm:0	CAPS LOCK	15.00	13.00	8	1
85	0108:1	haoyu	15.00	0.01	8	0
86	David H.:1	DeeEmEm	15.00	0.33	19	0
87	David Lackey:1	Bar Shabtai	15.00	0.03	63	0
88	David Lackey:0	Anon5	15.00	0.03	73	0
89	Alex Fish:1	haoyu	15.00	0.02	10	0
90	cat:1	haoyu	15.01	0.03	2	0
91	Jordan Ash:0	EC	15.01	0.03	5	0
92	Keji Xu:0	Nihar the Great	15.01	0.03	10	0
93	Yan Wu:1	haoyu	15.01	0.04	83	0
94	Anon5:1	Green "The Bean" Choi	15.01	0.07	16	0
95	Anon_K_P:1	Aristotle	15.01	0.03	17	0
96	Valya Barboy:0	Aristotle	15.01	0.06	20	0
97	Supahaka:0	Andrew Werner	15.01	15.00	55	35
98	Matt Haake:1	haoyu	15.01	0.05	122	0
99	NA:0	haoyu	15.01	0.03	294	0
100	Alex Fish:0	haoyu	15.01	0.01	13	0
101	Andrew Grasso:0	Aaron Doll	15.01	0.18	47	0
102	Dusty:0	CookieMonster	15.01	1.39	52	0
103	Jameh:1	haoyu	15.01	0.01	73	0
104	Anon_K_P:0	haoyu	15.01	0.02	12	0
105	Valya Barboy:1	Shaheed Chagani	15.01	0.18	19	0
106	David H.:0	AFC	15.01	0.28	21	0
107	Andrew Grasso:1	Shaheed Chagani	15.01	0.15	46	0
108	Supahaka:1	Joel Faron	15.01	15.00	54	35
109	Tao:0	Bar Shabtai	15.01	0.02	7	0
110	Janie Gu:0	Glenn Fisher	15.01	0.07	17	0
111	Boomshanka:1	Bar Shabtai	15.01	0.01	33	0
112	Sally Smith:1	haoyu	15.01	0.04	986	0
113	Ben Chen:0	Elphaba	15.01	0.07	2500	0
114	Tao:1	Aristotle	15.01	0.07	7	0
115	Anon5:0	haoyu	15.01	0.05	15	0
116	Walter Little:1	haoyu	15.02	0.03	3438	0
117	Fanny:0	Aristotle	15.02	0.10	52	0
118	Dusty:1	Shaheed Chagani	15.02	0.22	55	0
119	snowflakes:0	haoyu	15.02	0.03	1101	0
120	Mercury:1	haoyu	15.02	0.05	4699	0
121	cat:0	haoyu	15.02	0.03	5	0
122	Matt Haake:0	haoyu	15.02	0.05	122	0
123	Mark S. Fillmore:1	Supahaka	15.02	0.04	484	79
124	EC:1	haoyu	15.02	0.03	22	0
125	NA:1	Elphaba	15.02	0.04	234	0
126	Nikhilesh Sigatapu:0	haoyu	15.02	0.03	9	0
127	EC:0	haoyu	15.02	0.03	28	0
128	Janie Gu:1	Jonathan Kwok	15.03	0.07	6	0
129	Nikhilesh Sigatapu:1	haoyu	15.03	0.04	14	0
130	Glenn Fisher:1	jabreezy	15.03	0.09	799	0
131	Fanny:1	Aristotle	15.03	0.12	35	0
132	Mr. Blobby:0	Green "The Bean" Choi	15.03	0.14	1001	0
133	soccer:1	haoyu	15.03	0.04	6490	0
134	Sally Smith:0	haoyu	15.04	0.04	1575	0
135	Samuel Jerome:0	haoyu	15.04	0.03	20	0
136	Mr. Blobby:1	dusty	15.04	0.12	1006	0
137	AFC:1	Aristotle	15.04	0.16	97	0
138	CookieMonster:0	CookieMonster	15.05	0.82	445	0
139	kt4124:0	haoyu	15.05	0.03	638	0
140	Samuel Jerome:1	haoyu	15.05	0.03	31	0
141	kt4124:1	haoyu	15.05	0.04	774	0
142	Glenn Fisher:0	Elphaba	15.05	0.02	659	0
143	bfang:0	haoyu	15.06	0.04	6029	0
144	AFC:0	CookieMonster	15.06	0.34	333	0
145	CookieMonster:1	CookieMonster	15.06	1.10	1281	0
146	snowflakes:1	haoyu	15.07	0.03	603	0
147	Yan Wu:0	haoyu	15.07	0.05	82	0
148	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.07	0.01	2101	0
149	Lisa Kim:1	Bar Shabtai	15.09	0.06	2283	0
150	Ben Chen:1	spl	15.09	0.20	3275	0
151	Walter Little:0	haoyu	15.10	0.04	3654	0
152	Absurdity:1	Aristotle	15.11	0.18	9915	0
153	Brendan Wright:1	Deric Cheng	15.11	0.10	4	0
154	jabreezy:0	Mercury	15.11	0.09	4550	0
155	Ytterbium:1	Nihar the Great	15.12	0.02	2380	0
156	Lisa Kim:0	Aristotle	15.12	0.07	1856	0
157	Charliezsc:0	jgs	15.13	14.98	12648	1
158	Andrew Werner:1	haoyu	15.14	0.11	29232	0
159	Mark S. Fillmore:0	Supahaka	15.14	0.01	1316	116
160	Brendan Wright:0	haoyu	15.15	0.10	14	0
161	Absurdity:0	Aristotle	15.16	0.23	11089	0
162	Khoa:0	haoyu	15.16	0.09	7629	0
163	Sprt:1	haoyu	15.17	0.05	11694	0
164	Mercury:0	haoyu	15.18	0.05	6760	0
165	spl:1	haoyu	15.23	0.06	3185	0
166	Batman:1	haoyu	15.24	0.04	8568	0
167	soccer:0	haoyu	15.27	0.04	5573	0
168	jabreezy:1	Mercury	15.27	0.10	5645	0
169	George Okeowo:0	Andrew Grasso	15.28	0.01	3445	0
170	bfang:1	haoyu	15.28	0.04	6147	0
171	spl:0	Elphaba	15.29	0.09	3785	0
172	Khoa:1	Aristotle	15.29	0.09	7079	0
173	KingBach:1	haoyu	15.31	0.04	11875	0
174	Yacob Y.:1	Aristotle	15.32	15.00	10372	1
175	Charliezsc:1	haoyu	15.32	0.07	14466	0
176	Yacob Y.:0	haoyu	15.33	0.06	8605	0
177	ebp:0	haoyu	15.34	0.04	8688	0
178	George Okeowo:1	Andrew Grasso	15.40	0.01	3333	0
179	Batman:0	haoyu	15.41	0.04	8551	0
180	burrito:0	haoyu	15.43	0.09	24493	0
181	KingBach:0	haoyu	15.46	0.06	12307	0
182	CAPS LOCK:0	Aristotle	15.50	0.20	53768	0
183	Sabar Dasgupta:0	spl	15.54	0.23	14126	0
184	John Whelchel:1	haoyu	15.61	0.11	29763	0
185	ebp:1	haoyu	15.67	0.04	8588	0
186	Sprt:0	Aristotle	15.68	0.11	28063	0
187	dfshasdsf12:0	haoyu	15.69	0.09	20170	0
188	Mike Hunt:0	Aristotle	15.70	0.27	22302	0
189	burrito:1	haoyu	15.70	0.10	47053	0
190	Sabar Dasgupta:1	Aaron Doll	15.70	0.17	13861	0
191	DinnerPartyPlannerBM:1	Nihar the Great	15.82	0.06	24725	0
192	Andys:1	Aristotle	16.02	0.13	30519	0
193	totallyOnFallBreak:0	Nikhilesh Sigatapu	16.31	0.01	541	0
194	Aaron H:1	Aristotle	16.36	0.11	26189	0
195	dfshasdsf12:1	Nihar the Great	16.40	0.11	35894	0
196	jgs:0	Aristotle	16.57	0.12	57934	0
197	Mike Hunt:1	Aristotle	16.67	0.29	23071	0
198	Andys:0	Aristotle	16.70	0.12	31348	0
199	DinnerPartyPlannerBM:0	Aristotle	16.73	0.11	48549	0
200	John Whelchel:0	haoyu	16.76	0.06	31792	0
201	nupog:0	Aristotle	16.93	0.13	5097	0
202	BH:0	haoyu	17.20	0.07	21160	0
203	Aaron H:0	Aristotle	17.25	0.11	29011	0
204	nupog:1	Aristotle	17.28	0.12	5073	0
205	jgs:1	haoyu	17.48	0.18	54671	0
206	BH:1	haoyu	17.52	0.05	21015	0
207	Lil Thug:1	Andrew Grasso	17.63	0.03	31852	0
208	Lil Thug:0	Andrew Grasso	17.71	0.03	31244	0
209	Andrew Werner:0	Aaron Doll	17.76	0.33	28006	0
210	Deric Cheng:0	jgs	18.13	14.99	56680	1
211	Bar Shabtai:1	haoyu	20.02	0.12	49770	0
212	Deric Cheng:1	jgs	20.15	14.98	55204	1
213	Elphaba:0	Aristotle	23.71	0.24	114741	0
214	Elphaba:1	Aristotle	24.36	0.22	104215	0
215	Shaheed Chagani:0	Aristotle	28.19	0.17	34782	0
216	Shaheed Chagani:1	Aristotle	28.34	0.11	35272	0
217	CAPS LOCK:1	Aristotle	30.32	0.25	73355	0
218	13a:0	Aaron Doll	34.14	15.00	124382	21
219	13a:1	Aaron Doll	36.53	15.00	119333	29
220	Nihar the Great:1	Aristotle	92.81	0.25	161054	0
221	Nihar the Great:0	Aristotle	98.56	0.23	141037	0
222	Aaron Doll:0	Aristotle	127.69	0.56	272824	0
223	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
224	Aristotle:1	Aristotle	-	9.69	-	0
225	Aaron Doll:1	Aristotle	-	1.27	-	0
226	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
227	Aristotle:0	Aristotle	-	15.00	-	1
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist