Stats for satsolver: Yacob Y.

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 Yacob Y. 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 Yacob Y. 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:	Yacob Y.
Rank:	21 / 118
Average Score:	5.18
Median Score:	0.65
Description:	A variant on Walk-SAT where we generate the probability for flipping a random symbol in the clause every time through the loop instead of a constant 0.5.

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

SatSolvers Ranklist

Generators Ranklist