Stats for satsolver: Qinlan Shen

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 Qinlan Shen 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 Qinlan Shen 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:	Qinlan Shen
Rank:	102 / 118
Average Score:	19.97
Median Score:	15.04
Description:	DPLL algorithm with degree heuristic and top level component analysis. Runs DPLL, choosing the symbol in the largest number of unsatisfied clauses when examining non-pure, non-unit-clauses symbols. This sat solver will perform component analysis before assigning the first symbol.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.01	0.00	0	0
2	bigwig:1	KingBach	0.01	0.00	0	0
3	BMJ:0	Elphaba	0.02	0.00	0	0
4	BMJ:1	burrito	0.03	0.00	0	0
5	Bebe Shi:0	KingBach	0.04	0.00	0	0
6	Bebe Shi:1	KingBach	0.04	0.00	0	0
7	Happy:1	KingBach	0.04	0.00	0	0
8	T. Capote:1	haoyu	0.04	0.00	2	2
9	K.L.:1	KingBach	0.04	0.00	0	0
10	Jonathan Kwok:0	Elphaba	0.04	0.00	0	0
11	T. Capote:0	haoyu	0.05	0.00	2	2
12	Jonathan Kwok:1	KingBach	0.05	0.00	0	0
13	R. A. B.:1	cat	0.07	0.00	0	0
14	K.L.:0	haoyu	0.07	0.00	0	0
15	Blam:1	Elphaba	0.08	0.00	0	0
16	Ravi Tandon:1	KingBach	0.09	0.00	0	0
17	Daffy Duck:0	Andrew Werner	0.09	0.00	0	0
18	Happy:0	haoyu	0.09	0.00	0	0
19	Blam:0	Elphaba	0.10	0.00	0	0
20	Daffy Duck:1	haoyu	0.11	0.00	0	0
21	Ravi Tandon:0	KingBach	0.12	0.00	0	0
22	Tree Prophet:0	haoyu	0.13	0.00	0	0
23	Tree Prophet:1	haoyu	0.15	0.00	0	0
24	Miranda:0	cat	0.19	0.00	0	0
25	Gewang:1	Jonathan Kwok	0.22	0.00	0	0
26	Gewang:0	Jonathan Kwok	0.22	0.00	0	0
27	Quite Satisfied:0	haoyu	0.22	0.00	0	0
28	Solving For Clauses:0	Glenn Fisher	0.24	0.00	0	0
29	bchouGenerator:0	haoyu	0.26	0.00	0	0
30	Joshua Zimmer:1	haoyu	0.27	0.00	0	0
31	Mike Honcho:0	Miranda	0.27	0.01	0	0
32	Joshua Zimmer:0	haoyu	0.27	0.00	0	0
33	Solving For Clauses:1	haoyu	0.29	0.00	0	0
34	David Paulk:0	cat	0.29	0.00	0	0
35	David Paulk:1	Bar Shabtai	0.29	0.00	0	0
36	Mike Honcho:1	Jessie Chen	0.29	0.01	0	0
37	Miranda:1	cat	0.30	0.00	0	0
38	Jordan Ash:1	Bar Shabtai	0.39	0.01	0	0
39	haoyu:0	KingBach	0.56	0.01	0	0
40	Boomshanka:0	haoyu	0.65	0.01	0	0
41	R. A. B.:0	Nihar the Great	0.66	0.00	0	0
42	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.79	0.01	0	0
43	The Kraken:1	haoyu	0.79	0.00	0	0
44	The Kraken:0	haoyu	0.80	0.00	0	0
45	David Lackey:0	Anon5	0.92	0.03	0	0
46	0108:1	haoyu	1.11	0.01	0	0
47	bchouGenerator:1	Jonathan Kwok	1.21	0.01	0	0
48	David Lackey:1	Bar Shabtai	1.21	0.03	0	0
49	Qinlan Shen:0	Bar Shabtai	1.36	0.01	0	0
50	Scheduling Generator 203:0	jgs	1.38	0.01	0	0
51	haoyu:1	Anon5	1.76	0.01	0	0
52	Boomshanka:1	Bar Shabtai	1.81	0.01	0	0
53	Brendan Wright:1	Deric Cheng	1.90	0.10	0	0
54	Jordan Ash:0	EC	2.02	0.03	0	0
55	Scheduling Generator 203:1	Jameh	3.59	0.02	0	0
56	Sunny:0	Green "The Bean" Choi	3.90	0.02	0	0
57	Sunny:1	jabreezy	3.92	0.01	0	0
58	Linda:0	Andrew Grasso	4.34	0.01	0	0
59	Jameh:0	haoyu	5.28	0.01	0	0
60	Brendan Wright:0	haoyu	5.59	0.10	0	0
61	Bob Dondero:0	Andrew Grasso	5.67	0.02	0	0
62	Dr Roberto:1	Andrew Grasso	6.28	0.02	0	0
63	Tom T:1	Andrew Werner	6.60	0.02	0	0
64	Tom T:0	EC	6.69	0.02	0	0
65	Alex Fish:1	haoyu	7.11	0.02	0	0
66	weezy:0	Bar Shabtai	7.20	0.01	0	0
67	weezy:1	Bar Shabtai	7.34	0.01	0	0
68	Mickey Mouse:0	Bar Shabtai	7.43	0.01	0	0
69	Bob Dondero:1	Mickey Mouse	7.63	0.03	0	0
70	Mickey Mouse:1	haoyu	7.96	0.01	0	0
71	Linda:1	Andrew Grasso	9.24	0.02	0	0
72	Tiny Wings:1	haoyu	9.53	0.01	0	0
73	Tiny Wings:0	haoyu	9.82	0.02	0	0
74	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	11.91	0.00	0	0
75	Anon5:1	Green "The Bean" Choi	13.58	0.07	0	0
76	Glenn Fisher:0	Elphaba	14.49	0.02	0	0
77	Jessie Chen:0	Joel Faron	0.14	0.13	2	1
78	Jessie Chen:1	Joel Faron	0.17	0.12	2	1
79	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
80	SuperFan:0	jgs	15.00	14.98	4	4
81	DeeEmEm:1	haoyu	15.00	0.02	4	0
82	SuperFan:1	jgs	15.00	14.98	4	4
83	DeeEmEm:0	CAPS LOCK	15.00	13.00	7	1
84	snowflakes:0	haoyu	15.00	0.03	930	0
85	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
86	nupog:0	Aristotle	15.00	0.13	5027	0
87	Jameh:1	haoyu	15.01	0.01	331	0
88	Valya Barboy:1	Shaheed Chagani	15.01	0.18	4	0
89	0108:0	jgs	15.01	14.98	1	1
90	snowflakes:1	haoyu	15.01	0.03	982	0
91	NA:1	Elphaba	15.01	0.04	949	0
92	Ben Chen:0	Elphaba	15.01	0.07	4838	0
93	Valya Barboy:0	Aristotle	15.01	0.06	10	0
94	Dusty:0	CookieMonster	15.01	1.39	512	0
95	NA:0	haoyu	15.02	0.03	898	0
96	Alex Fish:0	haoyu	15.02	0.01	1	0
97	Supahaka:1	Joel Faron	15.02	15.00	191	35
98	Mark S. Fillmore:0	Supahaka	15.02	0.01	962	116
99	Sally Smith:0	haoyu	15.02	0.04	3106	0
100	AFC:0	CookieMonster	15.03	0.34	3581	0
101	David H.:1	DeeEmEm	15.03	0.33	1	0
102	David H.:0	AFC	15.03	0.28	2	0
103	Andrew Grasso:1	Shaheed Chagani	15.03	0.15	522	0
104	Keji Xu:0	Nihar the Great	15.03	0.03	440	0
105	Matt Goldsmith:0	Nihar the Great	15.03	0.03	516849	0
106	Andrew Grasso:0	Aaron Doll	15.04	0.18	553	0
107	Walter Little:1	haoyu	15.04	0.03	2870	0
108	Walter Little:0	haoyu	15.04	0.04	3184	0
109	Dr Roberto:0	Andrew Grasso	15.04	0.03	1	0
110	Anon_K_P:1	Aristotle	15.04	0.03	2	0
111	Mr. Blobby:1	dusty	15.05	0.12	1194	0
112	Ytterbium:1	Nihar the Great	15.06	0.02	1342	0
113	Mark S. Fillmore:1	Supahaka	15.06	0.04	355	79
114	EC:1	haoyu	15.06	0.03	3076	0
115	Keji Xu:1	Nihar the Great	15.06	0.04	420	0
116	Anon5:0	haoyu	15.06	0.05	1151	0
117	Janie Gu:1	Jonathan Kwok	15.07	0.07	50	0
118	The Whitman Whale:0	bigwig	15.07	0.04	1380	0
119	Yan Wu:1	haoyu	15.08	0.04	429	0
120	Mercury:1	haoyu	15.08	0.05	6567	0
121	Tao:0	Bar Shabtai	15.08	0.02	1147	0
122	Tao:1	Aristotle	15.08	0.07	1205	0
123	kt4124:1	haoyu	15.08	0.04	1359	0
124	CookieMonster:1	CookieMonster	15.08	1.10	2876	0
125	Nikhilesh Sigatapu:0	haoyu	15.09	0.03	1669	0
126	Absurdity:1	Aristotle	15.09	0.18	9391	0
127	cat:0	haoyu	15.10	0.03	2255	0
128	kt4124:0	haoyu	15.10	0.03	1502	0
129	CookieMonster:0	CookieMonster	15.11	0.82	3098	0
130	Supahaka:0	Andrew Werner	15.11	15.00	194	35
131	jabreezy:0	Mercury	15.11	0.09	5544	0
132	Glenn Fisher:1	jabreezy	15.11	0.09	374	0
133	Samuel Jerome:0	haoyu	15.11	0.03	2240	0
134	Samuel Jerome:1	haoyu	15.12	0.03	2880	0
135	Anon_K_P:0	haoyu	15.12	0.02	895	0
136	John Whelchel:0	haoyu	15.12	0.06	33442	0
137	George Okeowo:0	Andrew Grasso	15.13	0.01	4348	0
138	Matt Goldsmith:1	Happy	15.13	0.03	513439	0
139	ebp:1	haoyu	15.14	0.04	7683	0
140	Ytterbium:0	Andrew Grasso	15.15	0.02	810	0
141	Dusty:1	Shaheed Chagani	15.16	0.22	453	0
142	The Whitman Whale:1	Andrew Grasso	15.16	0.03	1129	0
143	ebp:0	haoyu	15.17	0.04	7603	0
144	Lisa Kim:0	Aristotle	15.17	0.07	4822	0
145	bfang:1	haoyu	15.18	0.04	7506	0
146	Ben Chen:1	spl	15.18	0.20	5715	0
147	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.18	0.01	2641	0
148	vluu:1	Nihar the Great	15.19	0.02	1682	0
149	BH:0	haoyu	15.20	0.07	20670	0
150	Nikhilesh Sigatapu:1	haoyu	15.20	0.04	1904	0
151	cat:1	haoyu	15.20	0.03	1562	0
152	KingBach:0	haoyu	15.22	0.06	12866	0
153	bfang:0	haoyu	15.22	0.04	7605	0
154	EC:0	haoyu	15.22	0.03	3624	0
155	Matt Haake:1	haoyu	15.22	0.05	1273	0
156	vluu:0	Nihar the Great	15.23	0.01	1622	0
157	Matt Haake:0	haoyu	15.23	0.05	1451	0
158	Sally Smith:1	haoyu	15.23	0.04	3433	0
159	jabreezy:1	Mercury	15.24	0.10	5123	0
160	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.25	0.01	1842	0
161	George Okeowo:1	Andrew Grasso	15.25	0.01	4339	0
162	Absurdity:0	Aristotle	15.27	0.23	10628	0
163	nupog:1	Aristotle	15.28	0.12	4909	0
164	AFC:1	Aristotle	15.29	0.16	3867	0
165	Fanny:0	Aristotle	15.31	0.10	2006	0
166	Mercury:0	haoyu	15.32	0.05	8202	0
167	Mr. Blobby:0	Green "The Bean" Choi	15.32	0.14	1184	0
168	Lisa Kim:1	Bar Shabtai	15.34	0.06	4311	0
169	Yan Wu:0	haoyu	15.38	0.05	4535	0
170	spl:0	Elphaba	15.39	0.09	4022	0
171	spl:1	haoyu	15.39	0.06	5030	0
172	Janie Gu:0	Glenn Fisher	15.41	0.07	58	0
173	KingBach:1	haoyu	15.46	0.04	11179	0
174	BH:1	haoyu	15.49	0.05	22087	0
175	John Whelchel:1	haoyu	15.70	0.11	32410	0
176	Andys:0	Aristotle	16.06	0.12	32513	0
177	Fanny:1	Aristotle	16.24	0.12	2262	0
178	Sprt:1	haoyu	16.33	0.05	10711	0
179	soccer:0	haoyu	16.65	0.04	7163	0
180	burrito:0	haoyu	16.73	0.09	24589	0
181	DinnerPartyPlannerBM:1	Nihar the Great	17.01	0.06	24065	0
182	Yacob Y.:0	haoyu	17.03	0.06	9677	0
183	Yacob Y.:1	Aristotle	17.14	15.00	11331	1
184	soccer:1	haoyu	17.52	0.04	7264	0
185	cmF5a3ly:1	Nihar the Great	17.61	0.00	131	0
186	Batman:1	haoyu	17.61	0.04	9767	0
187	Batman:0	haoyu	17.70	0.04	12009	0
188	Sabar Dasgupta:0	spl	17.77	0.23	14022	0
189	cmF5a3ly:0	Nihar the Great	17.87	0.00	141	0
190	Sprt:0	Aristotle	17.92	0.11	29791	0
191	Sabar Dasgupta:1	Aaron Doll	18.03	0.17	13457	0
192	Charliezsc:0	jgs	18.47	14.98	13277	1
193	Aaron H:1	Aristotle	18.96	0.11	29804	0
194	Charliezsc:1	haoyu	19.34	0.07	14967	0
195	Elphaba:1	Aristotle	19.73	0.22	109980	0
196	Lil Thug:0	Andrew Grasso	19.74	0.03	31536	0
197	Elphaba:0	Aristotle	20.47	0.24	103346	0
198	Mike Hunt:1	Aristotle	20.50	0.29	23424	0
199	Khoa:1	Aristotle	20.93	0.09	8149	0
200	Khoa:0	haoyu	21.18	0.09	8251	0
201	dfshasdsf12:0	haoyu	21.46	0.09	23020	0
202	burrito:1	haoyu	23.64	0.10	43725	0
203	Mike Hunt:0	Aristotle	23.72	0.27	25420	0
204	Aaron H:0	Aristotle	24.04	0.11	27345	0
205	Andys:1	Aristotle	25.30	0.13	29453	0
206	Lil Thug:1	Andrew Grasso	27.85	0.03	31969	0
207	Andrew Werner:1	haoyu	28.15	0.11	29499	0
208	dfshasdsf12:1	Nihar the Great	34.38	0.11	32588	0
209	Deric Cheng:0	jgs	35.42	14.99	55724	1
210	Andrew Werner:0	Aaron Doll	36.34	0.33	31329	0
211	Deric Cheng:1	jgs	49.85	14.98	61682	1
212	jgs:0	Aristotle	66.08	0.12	55817	0
213	DinnerPartyPlannerBM:0	Aristotle	66.96	0.11	45162	0
214	CAPS LOCK:0	Aristotle	69.21	0.20	47516	0
215	jgs:1	haoyu	90.03	0.18	58709	0
216	Bar Shabtai:1	haoyu	95.39	0.12	52048	0
217	Shaheed Chagani:1	Aristotle	104.15	0.11	37010	0
218	CAPS LOCK:1	Aristotle	116.81	0.25	87078	0
219	Shaheed Chagani:0	Aristotle	122.36	0.17	37164	0
220	Aristotle:1	Aristotle	-	9.69	-	0
221	Aaron Doll:0	Aristotle	-	0.56	-	0
222	13a:0	Aaron Doll	-	15.00	-	21
223	Aaron Doll:1	Aristotle	-	1.27	-	0
224	Nihar the Great:0	Aristotle	-	0.23	-	0
225	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
226	Aristotle:0	Aristotle	-	15.00	-	1
227	13a:1	Aaron Doll	-	15.00	-	29
228	Nihar the Great:1	Aristotle	-	0.25	-	0

SatSolvers Ranklist

Generators Ranklist