Stats for satsolver: vhsiao

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 vhsiao 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 vhsiao 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:	vhsiao
Rank:	32 / 118
Average Score:	5.62
Median Score:	0.77
Description:	This is a variant of WalkSAT that performs pure symbol heuristics before entering the main while loop. Also, it attempts to use some "early termination" techniques to make it easier to find the literal which maximizes the number of satisfied clauses

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Bebe Shi:1	KingBach	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.01	0.00	0	0
3	K.L.:1	KingBach	0.01	0.00	0	0
4	bigwig:1	KingBach	0.01	0.00	0	0
5	Ravi Tandon:1	KingBach	0.01	0.00	0	0
6	bigwig:0	Andrew Werner	0.01	0.00	0	0
7	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
8	Bebe Shi:0	KingBach	0.01	0.00	0	0
9	BMJ:1	burrito	0.01	0.00	0	0
10	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
11	Happy:1	KingBach	0.02	0.00	0	0
12	Blam:1	Elphaba	0.02	0.00	0	0
13	Blam:0	Elphaba	0.03	0.00	0	0
14	Solving For Clauses:0	Glenn Fisher	0.03	0.00	0	0
15	Joshua Zimmer:1	haoyu	0.03	0.00	0	0
16	bchouGenerator:0	haoyu	0.04	0.00	0	0
17	Quite Satisfied:0	haoyu	0.04	0.00	0	0
18	Jonathan Kwok:1	KingBach	0.04	0.00	0	0
19	haoyu:0	KingBach	0.04	0.01	0	0
20	BMJ:0	Elphaba	0.05	0.00	0	0
21	Jordan Ash:1	Bar Shabtai	0.05	0.01	0	0
22	haoyu:1	Anon5	0.05	0.01	0	0
23	Solving For Clauses:1	haoyu	0.05	0.00	0	0
24	R. A. B.:1	cat	0.05	0.00	0	0
25	The Kraken:1	haoyu	0.06	0.00	0	0
26	bchouGenerator:1	Jonathan Kwok	0.06	0.01	0	0
27	Miranda:0	cat	0.06	0.00	0	0
28	Qinlan Shen:0	Bar Shabtai	0.06	0.01	0	0
29	Daffy Duck:1	haoyu	0.06	0.00	0	0
30	The Kraken:0	haoyu	0.06	0.00	0	0
31	Miranda:1	cat	0.06	0.00	0	0
32	K.L.:0	haoyu	0.06	0.00	0	0
33	Mickey Mouse:0	Bar Shabtai	0.07	0.01	0	0
34	Gewang:0	Jonathan Kwok	0.07	0.00	0	0
35	Daffy Duck:0	Andrew Werner	0.07	0.00	0	0
36	Mickey Mouse:1	haoyu	0.08	0.01	0	0
37	Gewang:1	Jonathan Kwok	0.08	0.00	0	0
38	cmF5a3ly:1	Nihar the Great	0.08	0.00	0	0
39	cmF5a3ly:0	Nihar the Great	0.09	0.00	0	0
40	vluu:0	Nihar the Great	0.09	0.01	0	0
41	R. A. B.:0	Nihar the Great	0.09	0.00	0	0
42	Alex Fish:1	haoyu	0.10	0.02	0	0
43	vluu:1	Nihar the Great	0.10	0.02	0	0
44	Jordan Ash:0	EC	0.11	0.03	0	0
45	Tree Prophet:1	haoyu	0.11	0.00	0	0
46	weezy:0	Bar Shabtai	0.11	0.01	0	0
47	Tree Prophet:0	haoyu	0.12	0.00	0	0
48	cat:1	haoyu	0.14	0.03	0	0
49	David Paulk:0	cat	0.14	0.00	0	0
50	weezy:1	Bar Shabtai	0.14	0.01	0	0
51	0108:1	haoyu	0.16	0.01	0	0
52	The Whitman Whale:0	bigwig	0.17	0.04	0	0
53	Matt Haake:1	haoyu	0.17	0.05	0	0
54	David Paulk:1	Bar Shabtai	0.20	0.00	0	0
55	Keji Xu:0	Nihar the Great	0.20	0.03	0	0
56	Tom T:0	EC	0.20	0.02	0	0
57	Happy:0	haoyu	0.21	0.00	0	0
58	Scheduling Generator 203:0	jgs	0.22	0.01	0	0
59	The Whitman Whale:1	Andrew Grasso	0.23	0.03	0	0
60	Tom T:1	Andrew Werner	0.23	0.02	0	0
61	bfang:1	haoyu	0.23	0.04	0	0
62	David Lackey:0	Anon5	0.24	0.03	0	0
63	David Lackey:1	Bar Shabtai	0.24	0.03	0	0
64	Anon_K_P:0	haoyu	0.24	0.02	0	0
65	cat:0	haoyu	0.25	0.03	0	0
66	Anon_K_P:1	Aristotle	0.25	0.03	0	0
67	Dr Roberto:1	Andrew Grasso	0.26	0.02	0	0
68	Jameh:0	haoyu	0.26	0.01	0	0
69	Lisa Kim:0	Aristotle	0.28	0.07	0	0
70	Keji Xu:1	Nihar the Great	0.29	0.04	0	0
71	Lisa Kim:1	Bar Shabtai	0.31	0.06	0	0
72	Samuel Jerome:0	haoyu	0.31	0.03	0	0
73	Batman:0	haoyu	0.31	0.04	0	0
74	Dr Roberto:0	Andrew Grasso	0.32	0.03	0	0
75	Batman:1	haoyu	0.34	0.04	0	0
76	KingBach:1	haoyu	0.34	0.04	0	0
77	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.35	0.00	0	0
78	Jameh:1	haoyu	0.36	0.01	0	0
79	Linda:0	Andrew Grasso	0.36	0.01	0	0
80	Sprt:1	haoyu	0.38	0.05	0	0
81	Janie Gu:0	Glenn Fisher	0.38	0.07	0	0
82	bfang:0	haoyu	0.39	0.04	0	0
83	Scheduling Generator 203:1	Jameh	0.40	0.02	0	0
84	Yan Wu:0	haoyu	0.41	0.05	0	0
85	Glenn Fisher:0	Elphaba	0.41	0.02	0	0
86	Khoa:1	Aristotle	0.42	0.09	0	0
87	Tao:1	Aristotle	0.44	0.07	0	0
88	Khoa:0	haoyu	0.44	0.09	0	0
89	Tiny Wings:0	haoyu	0.45	0.02	0	0
90	Sally Smith:0	haoyu	0.47	0.04	0	0
91	Mercury:1	haoyu	0.47	0.05	0	0
92	Janie Gu:1	Jonathan Kwok	0.47	0.07	0	0
93	Nikhilesh Sigatapu:1	haoyu	0.48	0.04	0	0
94	Tao:0	Bar Shabtai	0.49	0.02	0	0
95	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.50	0.01	0	0
96	BH:1	haoyu	0.52	0.05	0	0
97	Nikhilesh Sigatapu:0	haoyu	0.53	0.03	0	0
98	Yacob Y.:0	haoyu	0.55	0.06	0	0
99	Bob Dondero:0	Andrew Grasso	0.55	0.02	0	0
100	DeeEmEm:1	haoyu	0.55	0.02	0	0
101	kt4124:0	haoyu	0.56	0.03	0	0
102	DinnerPartyPlannerBM:1	Nihar the Great	0.57	0.06	0	0
103	dfshasdsf12:0	haoyu	0.57	0.09	0	0
104	Linda:1	Andrew Grasso	0.58	0.02	0	0
105	Sally Smith:1	haoyu	0.60	0.04	0	0
106	Boomshanka:0	haoyu	0.62	0.01	0	0
107	Matt Haake:0	haoyu	0.70	0.05	0	0
108	Samuel Jerome:1	haoyu	0.70	0.03	0	0
109	Mr. Blobby:1	dusty	0.71	0.12	0	0
110	BH:0	haoyu	0.72	0.07	0	0
111	Ytterbium:0	Andrew Grasso	0.73	0.02	0	0
112	Tiny Wings:1	haoyu	0.75	0.01	0	0
113	dfshasdsf12:1	Nihar the Great	0.77	0.11	0	0
114	Lil Thug:1	Andrew Grasso	0.79	0.03	0	0
115	Aaron H:1	Aristotle	0.80	0.11	0	0
116	DinnerPartyPlannerBM:0	Aristotle	0.80	0.11	0	0
117	Lil Thug:0	Andrew Grasso	0.81	0.03	0	0
118	Yan Wu:1	haoyu	0.84	0.04	0	0
119	Boomshanka:1	Bar Shabtai	0.85	0.01	0	0
120	Mercury:0	haoyu	0.90	0.05	0	0
121	Valya Barboy:1	Shaheed Chagani	0.96	0.18	0	0
122	Sunny:0	Green "The Bean" Choi	0.97	0.02	0	0
123	Sprt:0	Aristotle	1.07	0.11	0	0
124	Alex Fish:0	haoyu	1.10	0.01	0	0
125	Bob Dondero:1	Mickey Mouse	1.11	0.03	0	0
126	Valya Barboy:0	Aristotle	1.13	0.06	0	0
127	Mr. Blobby:0	Green "The Bean" Choi	1.25	0.14	0	0
128	Ytterbium:1	Nihar the Great	1.38	0.02	0	0
129	soccer:1	haoyu	1.44	0.04	0	0
130	burrito:0	haoyu	1.45	0.09	0	0
131	soccer:0	haoyu	1.46	0.04	0	0
132	kt4124:1	haoyu	1.47	0.04	0	0
133	KingBach:0	haoyu	1.52	0.06	0	0
134	Brendan Wright:1	Deric Cheng	1.66	0.10	0	0
135	Elphaba:0	Aristotle	1.91	0.24	0	0
136	Anon5:1	Green "The Bean" Choi	2.03	0.07	0	0
137	Nihar the Great:1	Aristotle	2.09	0.25	0	0
138	snowflakes:1	haoyu	2.11	0.03	0	0
139	Elphaba:1	Aristotle	2.13	0.22	0	0
140	Walter Little:0	haoyu	2.20	0.04	0	0
141	Aaron H:0	Aristotle	2.21	0.11	0	0
142	CAPS LOCK:0	Aristotle	2.22	0.20	0	0
143	Ben Chen:0	Elphaba	2.25	0.07	0	0
144	Sunny:1	jabreezy	2.27	0.01	0	0
145	Andys:1	Aristotle	2.28	0.13	0	0
146	Sabar Dasgupta:1	Aaron Doll	2.29	0.17	0	0
147	George Okeowo:1	Andrew Grasso	2.34	0.01	0	0
148	Nihar the Great:0	Aristotle	2.35	0.23	0	0
149	Bar Shabtai:1	haoyu	2.38	0.12	0	0
150	jabreezy:0	Mercury	2.41	0.09	0	0
151	Mike Hunt:0	Aristotle	3.00	0.27	0	0
152	burrito:1	haoyu	3.14	0.10	0	0
153	Mike Hunt:1	Aristotle	3.50	0.29	0	0
154	Andrew Grasso:0	Aaron Doll	3.71	0.18	0	0
155	jabreezy:1	Mercury	3.80	0.10	0	0
156	ebp:0	haoyu	4.23	0.04	0	0
157	CAPS LOCK:1	Aristotle	4.26	0.25	0	0
158	ebp:1	haoyu	4.37	0.04	0	0
159	EC:1	haoyu	4.39	0.03	0	0
160	Anon5:0	haoyu	4.59	0.05	0	0
161	AFC:1	Aristotle	4.65	0.16	0	0
162	Brendan Wright:0	haoyu	4.75	0.10	0	0
163	Fanny:0	Aristotle	5.63	0.10	0	0
164	jgs:0	Aristotle	5.76	0.12	0	0
165	Dusty:1	Shaheed Chagani	5.87	0.22	0	0
166	George Okeowo:0	Andrew Grasso	6.24	0.01	0	0
167	Ben Chen:1	spl	6.33	0.20	0	0
168	NA:1	Elphaba	6.39	0.04	0	0
169	Fanny:1	Aristotle	6.77	0.12	0	0
170	Aaron Doll:0	Aristotle	7.13	0.56	0	0
171	jgs:1	haoyu	7.19	0.18	0	0
172	Mike Honcho:0	Miranda	7.37	0.01	0	0
173	Andrew Grasso:1	Shaheed Chagani	7.49	0.15	0	0
174	David H.:0	AFC	7.56	0.28	0	0
175	totallyOnFallBreak:0	Nikhilesh Sigatapu	7.88	0.01	0	0
176	John Whelchel:0	haoyu	8.10	0.06	0	0
177	totallyOnFallBreak:1	Nikhilesh Sigatapu	8.83	0.01	0	0
178	Sabar Dasgupta:0	spl	9.86	0.23	0	0
179	EC:0	haoyu	9.96	0.03	0	0
180	snowflakes:0	haoyu	12.71	0.03	0	0
181	Andys:0	Aristotle	12.74	0.12	0	0
182	Mike Honcho:1	Jessie Chen	13.55	0.01	0	0
183	Qinlan Shen:1	R. A. B.	14.98	9.00	1	1
184	Quite Satisfied:1	Joel Faron	14.98	2.11	1	1
185	Jessie Chen:1	Joel Faron	14.98	0.12	1	1
186	T. Capote:0	haoyu	14.98	0.00	2	2
187	T. Capote:1	haoyu	14.98	0.00	2	2
188	Mark S. Fillmore:1	Supahaka	14.98	0.04	79	79
189	Mark S. Fillmore:0	Supahaka	14.98	0.01	116	116
190	CookieMonster:1	CookieMonster	14.98	1.10	1	0
191	Jessie Chen:0	Joel Faron	14.98	0.13	2	1
192	CookieMonster:0	CookieMonster	14.99	0.82	2	0
193	0108:0	jgs	14.98	14.98	2	1
194	John Whelchel:1	haoyu	14.99	0.11	4	0
195	Walter Little:1	haoyu	14.98	0.03	4	0
196	Shaheed Chagani:0	Aristotle	15.00	0.17	5	0
197	Shaheed Chagani:1	Aristotle	14.98	0.11	5	0
198	spl:1	haoyu	14.98	0.06	5	0
199	Charliezsc:0	jgs	14.99	14.98	6	1
200	Absurdity:0	Aristotle	14.98	0.23	6	0
201	DeeEmEm:0	CAPS LOCK	14.98	13.00	7	1
202	AFC:0	CookieMonster	14.98	0.34	7	0
203	Glenn Fisher:1	jabreezy	14.98	0.09	8	0
204	spl:0	Elphaba	14.98	0.09	9	0
205	David H.:1	DeeEmEm	14.98	0.33	11	0
206	Absurdity:1	Aristotle	14.98	0.18	11	0
207	SuperFan:1	jgs	14.98	14.98	11	4
208	Dusty:0	CookieMonster	14.98	1.39	12	0
209	Aaron Doll:1	Aristotle	14.99	1.27	12	0
210	SuperFan:0	jgs	14.98	14.98	16	4
211	Bar Shabtai:0	Aaron Doll	14.99	15.01	21	1
212	Yacob Y.:1	Aristotle	14.98	15.00	24	1
213	NA:0	haoyu	14.98	0.03	26	0
214	Aristotle:1	Aristotle	14.99	9.69	43	0
215	Supahaka:1	Joel Faron	14.98	15.00	47	35
216	Aristotle:0	Aristotle	14.98	15.00	51	1
217	Supahaka:0	Andrew Werner	14.98	15.00	52	35
218	13a:1	Aaron Doll	14.99	15.00	69	29
219	13a:0	Aaron Doll	14.98	15.00	70	21
220	Andrew Werner:0	Aaron Doll	15.01	0.33	2	0
221	Charliezsc:1	haoyu	15.01	0.07	4	0
222	Deric Cheng:0	jgs	15.09	14.99	4	1
223	Deric Cheng:1	jgs	15.10	14.98	2	1
224	Andrew Werner:1	haoyu	15.17	0.11	2	0
225	nupog:0	Aristotle	25.60	0.13	3942	0
226	nupog:1	Aristotle	26.30	0.12	3930	0
227	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist