Stats for satsolver: Valya Barboy

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 Valya Barboy 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 Valya Barboy 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:	Valya Barboy
Rank:	34 / 118
Average Score:	5.76
Median Score:	1.44
Description:	Implements WalkSAT in order to try to find solutions to CNF sentences. Randomizes p, the probability with which it picks whether to flip a random symbol or the one that satisfies the most clauses.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	Happy:1	KingBach	0.00	0.00	0	0
4	bigwig:1	KingBach	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	K.L.:1	KingBach	0.00	0.00	0	0
7	Miranda:1	cat	0.00	0.00	0	0
8	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
9	Bebe Shi:0	KingBach	0.00	0.00	0	0
10	Miranda:0	cat	0.00	0.00	0	0
11	BMJ:0	Elphaba	0.01	0.00	0	0
12	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
13	Solving For Clauses:1	haoyu	0.01	0.00	0	0
14	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
15	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
17	R. A. B.:1	cat	0.01	0.00	0	0
18	bchouGenerator:0	haoyu	0.01	0.00	0	0
19	Bebe Shi:1	KingBach	0.01	0.00	0	0
20	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
21	K.L.:0	haoyu	0.01	0.00	0	0
22	haoyu:1	Anon5	0.02	0.01	0	0
23	BMJ:1	burrito	0.02	0.00	0	0
24	David Paulk:0	cat	0.02	0.00	0	0
25	Mike Honcho:0	Miranda	0.02	0.01	0	0
26	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
27	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
28	Quite Satisfied:0	haoyu	0.02	0.00	0	0
29	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
30	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
31	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
32	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
33	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
34	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
35	Tree Prophet:0	haoyu	0.04	0.00	0	0
36	bchouGenerator:1	Jonathan Kwok	0.04	0.01	0	0
37	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
38	Daffy Duck:1	haoyu	0.04	0.00	0	0
39	haoyu:0	KingBach	0.05	0.01	0	0
40	weezy:1	Bar Shabtai	0.05	0.01	0	0
41	Mickey Mouse:0	Bar Shabtai	0.05	0.01	0	0
42	Tree Prophet:1	haoyu	0.05	0.00	0	0
43	The Kraken:0	haoyu	0.05	0.00	0	0
44	Mickey Mouse:1	haoyu	0.05	0.01	0	0
45	Tom T:1	Andrew Werner	0.06	0.02	0	0
46	weezy:0	Bar Shabtai	0.06	0.01	0	0
47	Tiny Wings:1	haoyu	0.06	0.01	0	0
48	Boomshanka:1	Bar Shabtai	0.06	0.01	0	0
49	Blam:0	Elphaba	0.07	0.00	0	0
50	Jordan Ash:1	Bar Shabtai	0.07	0.01	0	0
51	vluu:0	Nihar the Great	0.07	0.01	0	0
52	Scheduling Generator 203:1	Jameh	0.07	0.02	0	0
53	Blam:1	Elphaba	0.07	0.00	0	0
54	0108:1	haoyu	0.08	0.01	0	0
55	Boomshanka:0	haoyu	0.09	0.01	0	0
56	Keji Xu:1	Nihar the Great	0.09	0.04	0	0
57	Ytterbium:0	Andrew Grasso	0.10	0.02	0	0
58	The Kraken:1	haoyu	0.10	0.00	0	0
59	vluu:1	Nihar the Great	0.10	0.02	0	0
60	Happy:0	haoyu	0.10	0.00	0	0
61	Jameh:0	haoyu	0.12	0.01	0	0
62	David Lackey:1	Bar Shabtai	0.12	0.03	0	0
63	David Lackey:0	Anon5	0.12	0.03	0	0
64	Tom T:0	EC	0.13	0.02	0	0
65	Jameh:1	haoyu	0.15	0.01	0	0
66	cat:0	haoyu	0.15	0.03	0	0
67	Ytterbium:1	Nihar the Great	0.17	0.02	0	0
68	The Whitman Whale:1	Andrew Grasso	0.18	0.03	0	0
69	Keji Xu:0	Nihar the Great	0.18	0.03	0	0
70	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.20	0.01	0	0
71	cat:1	haoyu	0.20	0.03	0	0
72	Alex Fish:1	haoyu	0.21	0.02	0	0
73	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.25	0.01	0	0
74	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.25	0.01	0	0
75	George Okeowo:0	Andrew Grasso	0.25	0.01	0	0
76	Dr Roberto:1	Andrew Grasso	0.27	0.02	0	0
77	George Okeowo:1	Andrew Grasso	0.28	0.01	0	0
78	Yan Wu:0	haoyu	0.31	0.05	0	0
79	Lisa Kim:1	Bar Shabtai	0.31	0.06	0	0
80	Lisa Kim:0	Aristotle	0.34	0.07	0	0
81	Jordan Ash:0	EC	0.34	0.03	0	0
82	Bob Dondero:1	Mickey Mouse	0.36	0.03	0	0
83	Tiny Wings:0	haoyu	0.36	0.02	0	0
84	The Whitman Whale:0	bigwig	0.37	0.04	0	0
85	Sally Smith:0	haoyu	0.38	0.04	0	0
86	Linda:0	Andrew Grasso	0.39	0.01	0	0
87	Sally Smith:1	haoyu	0.39	0.04	0	0
88	Nikhilesh Sigatapu:1	haoyu	0.41	0.04	0	0
89	Sunny:1	jabreezy	0.43	0.01	0	0
90	Janie Gu:1	Jonathan Kwok	0.44	0.07	0	0
91	kt4124:0	haoyu	0.44	0.03	0	0
92	Anon_K_P:1	Aristotle	0.46	0.03	0	0
93	Linda:1	Andrew Grasso	0.55	0.02	0	0
94	kt4124:1	haoyu	0.58	0.04	0	0
95	bfang:1	haoyu	0.61	0.04	0	0
96	Bob Dondero:0	Andrew Grasso	0.64	0.02	0	0
97	Samuel Jerome:0	haoyu	0.65	0.03	0	0
98	Samuel Jerome:1	haoyu	0.67	0.03	0	0
99	KingBach:1	haoyu	0.67	0.04	0	0
100	Batman:1	haoyu	0.70	0.04	0	0
101	Nikhilesh Sigatapu:0	haoyu	0.77	0.03	0	0
102	Matt Haake:0	haoyu	0.82	0.05	0	0
103	Sprt:1	haoyu	0.83	0.05	0	0
104	Matt Haake:1	haoyu	0.84	0.05	0	0
105	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.89	0.00	0	0
106	Tao:1	Aristotle	0.99	0.07	0	0
107	DeeEmEm:1	haoyu	1.00	0.02	0	0
108	KingBach:0	haoyu	1.01	0.06	0	0
109	Alex Fish:0	haoyu	1.08	0.01	0	0
110	Mercury:0	haoyu	1.12	0.05	0	0
111	Mercury:1	haoyu	1.23	0.05	0	0
112	Sunny:0	Green "The Bean" Choi	1.36	0.02	0	0
113	Yan Wu:1	haoyu	1.38	0.04	0	0
114	Khoa:1	Aristotle	1.44	0.09	0	0
115	soccer:1	haoyu	1.48	0.04	0	0
116	Batman:0	haoyu	1.57	0.04	0	0
117	Andrew Grasso:0	Aaron Doll	1.65	0.18	0	0
118	DinnerPartyPlannerBM:1	Nihar the Great	1.73	0.06	0	0
119	burrito:0	haoyu	1.79	0.09	0	0
120	Ben Chen:0	Elphaba	1.95	0.07	0	0
121	bfang:0	haoyu	2.01	0.04	0	0
122	Glenn Fisher:0	Elphaba	2.06	0.02	0	0
123	Dr Roberto:0	Andrew Grasso	2.14	0.03	0	0
124	Anon_K_P:0	haoyu	2.15	0.02	0	0
125	Khoa:0	haoyu	2.50	0.09	0	0
126	dfshasdsf12:0	haoyu	2.51	0.09	0	0
127	Sabar Dasgupta:1	Aaron Doll	2.55	0.17	0	0
128	Lil Thug:1	Andrew Grasso	2.69	0.03	0	0
129	Lil Thug:0	Andrew Grasso	2.77	0.03	0	0
130	snowflakes:1	haoyu	3.00	0.03	0	0
131	Fanny:0	Aristotle	3.26	0.10	0	0
132	Sprt:0	Aristotle	3.51	0.11	0	0
133	Fanny:1	Aristotle	3.52	0.12	0	0
134	Mr. Blobby:1	dusty	3.97	0.12	0	0
135	Aaron H:0	Aristotle	4.16	0.11	0	0
136	soccer:0	haoyu	4.19	0.04	0	0
137	Tao:0	Bar Shabtai	4.21	0.02	0	0
138	Brendan Wright:0	haoyu	4.53	0.10	0	0
139	Ben Chen:1	spl	4.84	0.20	0	0
140	DinnerPartyPlannerBM:0	Aristotle	5.28	0.11	0	0
141	Mr. Blobby:0	Green "The Bean" Choi	5.93	0.14	0	0
142	ebp:0	haoyu	6.04	0.04	0	0
143	Aaron H:1	Aristotle	6.12	0.11	0	0
144	Andys:1	Aristotle	6.45	0.13	0	0
145	Janie Gu:0	Glenn Fisher	6.63	0.07	0	0
146	Anon5:0	haoyu	7.59	0.05	0	0
147	dfshasdsf12:1	Nihar the Great	7.79	0.11	0	0
148	Yacob Y.:0	haoyu	7.95	0.06	0	0
149	NA:1	Elphaba	8.61	0.04	0	0
150	BH:1	haoyu	8.73	0.05	0	0
151	Walter Little:1	haoyu	9.64	0.03	0	0
152	snowflakes:0	haoyu	10.29	0.03	0	0
153	Mike Hunt:1	Aristotle	10.71	0.29	0	0
154	BH:0	haoyu	10.84	0.07	0	0
155	Sabar Dasgupta:0	spl	11.16	0.23	0	0
156	Andrew Werner:0	Aaron Doll	11.41	0.33	0	0
157	EC:1	haoyu	11.91	0.03	0	0
158	burrito:1	haoyu	11.96	0.10	0	0
159	nupog:1	Aristotle	13.44	0.12	0	0
160	nupog:0	Aristotle	13.45	0.13	0	0
161	CAPS LOCK:0	Aristotle	13.68	0.20	0	0
162	Mike Hunt:0	Aristotle	15.00	0.27	0	0
163	Anon5:1	Green "The Bean" Choi	15.00	0.07	1	0
164	David H.:1	DeeEmEm	15.00	0.33	1	0
165	Charliezsc:1	haoyu	15.00	0.07	1	0
166	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
167	Walter Little:0	haoyu	15.00	0.04	1	0
168	Valya Barboy:1	Shaheed Chagani	15.00	0.18	1	0
169	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
170	Charliezsc:0	jgs	15.00	14.98	1	1
171	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
172	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
173	Deric Cheng:1	jgs	15.00	14.98	1	1
174	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1	0
175	John Whelchel:0	haoyu	15.00	0.06	1	0
176	Andrew Werner:1	haoyu	15.00	0.11	1	0
177	CookieMonster:0	CookieMonster	15.00	0.82	1	0
178	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
179	Brendan Wright:1	Deric Cheng	15.00	0.10	1	0
180	0108:0	jgs	15.00	14.98	1	1
181	CookieMonster:1	CookieMonster	15.00	1.10	1	0
182	Glenn Fisher:1	jabreezy	15.00	0.09	1	0
183	AFC:0	CookieMonster	15.00	0.34	1	0
184	Valya Barboy:0	Aristotle	15.00	0.06	1	0
185	Dusty:1	Shaheed Chagani	15.00	0.22	2	0
186	David H.:0	AFC	15.00	0.28	2	0
187	T. Capote:0	haoyu	15.00	0.00	2	2
188	T. Capote:1	haoyu	15.00	0.00	2	2
189	Dusty:0	CookieMonster	15.00	1.39	3	0
190	spl:0	Elphaba	15.00	0.09	3	0
191	Absurdity:1	Aristotle	15.00	0.18	3	0
192	ebp:1	haoyu	15.00	0.04	3	0
193	spl:1	haoyu	15.00	0.06	3	0
194	Shaheed Chagani:1	Aristotle	15.00	0.11	4	0
195	SuperFan:0	jgs	15.00	14.98	4	4
196	SuperFan:1	jgs	15.00	14.98	4	4
197	Yacob Y.:1	Aristotle	15.00	15.00	4	1
198	jabreezy:1	Mercury	15.00	0.10	5	0
199	jabreezy:0	Mercury	15.00	0.09	5	0
200	jgs:1	haoyu	15.00	0.18	6	0
201	NA:0	haoyu	15.00	0.03	6	0
202	John Whelchel:1	haoyu	15.00	0.11	7	0
203	Bar Shabtai:1	haoyu	15.00	0.12	21	0
204	Supahaka:0	Andrew Werner	15.00	15.00	37	35
205	Supahaka:1	Joel Faron	15.00	15.00	37	35
206	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
207	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
208	Elphaba:1	Aristotle	15.00	0.22	3718	0
209	Nihar the Great:0	Aristotle	15.00	0.23	20282	0
210	13a:0	Aaron Doll	15.00	15.00	51035	21
211	AFC:1	Aristotle	15.00	0.16	1	0
212	EC:0	haoyu	15.00	0.03	1	0
213	Absurdity:0	Aristotle	15.00	0.23	3	0
214	Shaheed Chagani:0	Aristotle	15.00	0.17	6	0
215	Nihar the Great:1	Aristotle	15.01	0.25	18317	0
216	Matt Goldsmith:1	Happy	15.01	0.03	506630	0
217	13a:1	Aaron Doll	15.01	15.00	41591	29
218	Aaron Doll:1	Aristotle	15.01	1.27	268026	0
219	Andys:0	Aristotle	15.01	0.12	1	0
220	Elphaba:0	Aristotle	15.01	0.24	25873	0
221	Bar Shabtai:0	Aaron Doll	15.02	15.01	285027	1
222	Aristotle:1	Aristotle	15.02	9.69	711441	0
223	CAPS LOCK:1	Aristotle	15.03	0.25	165	0
224	Aaron Doll:0	Aristotle	15.05	0.56	198325	0
225	Deric Cheng:0	jgs	15.06	14.99	1	1
226	Aristotle:0	Aristotle	15.09	15.00	738026	1
227	Matt Goldsmith:0	Nihar the Great	15.12	0.03	508036	0
228	jgs:0	Aristotle	15.19	0.12	15	0

SatSolvers Ranklist

Generators Ranklist