Stats for satsolver: haoyu

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 haoyu 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 haoyu 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:	haoyu
Rank:	24 / 118
Average Score:	5.26
Median Score:	0.09
Description:	DPLL algorithm, with early termination, pure symbol heuristic and unit clause heuristic.

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

SatSolvers Ranklist

Generators Ranklist