Stats for satsolver: Andys

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 Andys 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 Andys 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:	Andys
Rank:	18 / 118
Average Score:	5.11
Median Score:	0.58
Description:	Variant of WalkSAT, with varying probability of flipping

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:1	KingBach	0.00	0.00	0	0
2	Bebe Shi:1	KingBach	0.00	0.00	0	0
3	bigwig:0	Andrew Werner	0.00	0.00	0	0
4	bigwig:1	KingBach	0.00	0.00	0	0
5	Bebe Shi:0	KingBach	0.00	0.00	0	0
6	Ravi Tandon:0	KingBach	0.00	0.00	0	0
7	BMJ:1	burrito	0.00	0.00	0	0
8	K.L.:1	KingBach	0.00	0.00	0	0
9	Miranda:0	cat	0.00	0.00	0	0
10	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
11	Miranda:1	cat	0.01	0.00	0	0
12	Solving For Clauses:1	haoyu	0.01	0.00	0	0
13	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
14	haoyu:0	KingBach	0.01	0.01	0	0
15	Blam:0	Elphaba	0.01	0.00	0	0
16	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
17	bchouGenerator:0	haoyu	0.01	0.00	0	0
18	BMJ:0	Elphaba	0.01	0.00	0	0
19	haoyu:1	Anon5	0.01	0.01	0	0
20	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
21	R. A. B.:1	cat	0.01	0.00	0	0
22	Daffy Duck:1	haoyu	0.01	0.00	0	0
23	Blam:1	Elphaba	0.01	0.00	0	0
24	Tree Prophet:0	haoyu	0.01	0.00	0	0
25	Happy:1	KingBach	0.01	0.00	0	0
26	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
27	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
28	K.L.:0	haoyu	0.01	0.00	0	0
29	Quite Satisfied:0	haoyu	0.01	0.00	0	0
30	Happy:0	haoyu	0.01	0.00	0	0
31	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
32	The Kraken:0	haoyu	0.02	0.00	0	0
33	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
34	David Paulk:0	cat	0.02	0.00	0	0
35	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
36	Tree Prophet:1	haoyu	0.02	0.00	0	0
37	The Kraken:1	haoyu	0.03	0.00	0	0
38	David Paulk:1	Bar Shabtai	0.03	0.00	0	0
39	Mike Honcho:0	Miranda	0.03	0.01	0	0
40	cmF5a3ly:0	Nihar the Great	0.03	0.00	0	0
41	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
42	Daffy Duck:0	Andrew Werner	0.03	0.00	0	0
43	Tom T:0	EC	0.03	0.02	0	0
44	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
45	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
46	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
47	cmF5a3ly:1	Nihar the Great	0.04	0.00	0	0
48	Mickey Mouse:1	haoyu	0.04	0.01	0	0
49	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
50	weezy:0	Bar Shabtai	0.04	0.01	0	0
51	Mickey Mouse:0	Bar Shabtai	0.04	0.01	0	0
52	weezy:1	Bar Shabtai	0.04	0.01	0	0
53	Boomshanka:1	Bar Shabtai	0.05	0.01	0	0
54	Tom T:1	Andrew Werner	0.05	0.02	0	0
55	Jordan Ash:0	EC	0.05	0.03	0	0
56	Tiny Wings:1	haoyu	0.05	0.01	0	0
57	Jameh:0	haoyu	0.05	0.01	0	0
58	Alex Fish:1	haoyu	0.06	0.02	0	0
59	0108:1	haoyu	0.06	0.01	0	0
60	David Lackey:1	Bar Shabtai	0.07	0.03	0	0
61	Dr Roberto:0	Andrew Grasso	0.07	0.03	0	0
62	Sunny:0	Green "The Bean" Choi	0.07	0.02	0	0
63	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.08	0.01	0	0
64	Boomshanka:0	haoyu	0.08	0.01	0	0
65	vluu:1	Nihar the Great	0.08	0.02	0	0
66	vluu:0	Nihar the Great	0.09	0.01	0	0
67	David Lackey:0	Anon5	0.09	0.03	0	0
68	Tiny Wings:0	haoyu	0.09	0.02	0	0
69	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.09	0.01	0	0
70	Ytterbium:0	Andrew Grasso	0.10	0.02	0	0
71	Keji Xu:1	Nihar the Great	0.10	0.04	0	0
72	Dr Roberto:1	Andrew Grasso	0.10	0.02	0	0
73	Keji Xu:0	Nihar the Great	0.11	0.03	0	0
74	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.11	0.01	0	0
75	The Whitman Whale:0	bigwig	0.11	0.04	0	0
76	Jameh:1	haoyu	0.11	0.01	0	0
77	Janie Gu:1	Jonathan Kwok	0.12	0.07	0	0
78	cat:1	haoyu	0.12	0.03	0	0
79	Janie Gu:0	Glenn Fisher	0.12	0.07	0	0
80	Sunny:1	jabreezy	0.12	0.01	0	0
81	DeeEmEm:1	haoyu	0.13	0.02	0	0
82	Anon_K_P:1	Aristotle	0.13	0.03	0	0
83	cat:0	haoyu	0.15	0.03	0	0
84	Alex Fish:0	haoyu	0.16	0.01	0	0
85	Nikhilesh Sigatapu:1	haoyu	0.16	0.04	0	0
86	Tao:0	Bar Shabtai	0.17	0.02	0	0
87	Nikhilesh Sigatapu:0	haoyu	0.18	0.03	0	0
88	Bob Dondero:1	Mickey Mouse	0.18	0.03	0	0
89	Linda:0	Andrew Grasso	0.18	0.01	0	0
90	The Whitman Whale:1	Andrew Grasso	0.19	0.03	0	0
91	George Okeowo:0	Andrew Grasso	0.21	0.01	0	0
92	Lisa Kim:1	Bar Shabtai	0.22	0.06	0	0
93	Ytterbium:1	Nihar the Great	0.22	0.02	0	0
94	Samuel Jerome:0	haoyu	0.23	0.03	0	0
95	Samuel Jerome:1	haoyu	0.24	0.03	0	0
96	George Okeowo:1	Andrew Grasso	0.27	0.01	0	0
97	kt4124:0	haoyu	0.29	0.03	0	0
98	Lisa Kim:0	Aristotle	0.32	0.07	0	0
99	Glenn Fisher:0	Elphaba	0.33	0.02	0	0
100	Anon_K_P:0	haoyu	0.33	0.02	0	0
101	Mercury:0	haoyu	0.36	0.05	0	0
102	Bob Dondero:0	Andrew Grasso	0.40	0.02	0	0
103	Yan Wu:0	haoyu	0.41	0.05	0	0
104	Brendan Wright:1	Deric Cheng	0.41	0.10	0	0
105	bfang:1	haoyu	0.42	0.04	0	0
106	Matt Haake:1	haoyu	0.46	0.05	0	0
107	Sally Smith:1	haoyu	0.46	0.04	0	0
108	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.46	0.00	0	0
109	bfang:0	haoyu	0.47	0.04	0	0
110	Tao:1	Aristotle	0.49	0.07	0	0
111	kt4124:1	haoyu	0.50	0.04	0	0
112	Sally Smith:0	haoyu	0.51	0.04	0	0
113	Mercury:1	haoyu	0.54	0.05	0	0
114	Matt Haake:0	haoyu	0.58	0.05	0	0
115	Fanny:1	Aristotle	0.63	0.12	0	0
116	Linda:1	Andrew Grasso	0.65	0.02	0	0
117	Batman:0	haoyu	0.66	0.04	0	0
118	KingBach:1	haoyu	0.74	0.04	0	0
119	soccer:0	haoyu	0.74	0.04	0	0
120	KingBach:0	haoyu	0.75	0.06	0	0
121	Yan Wu:1	haoyu	0.75	0.04	0	0
122	Batman:1	haoyu	0.77	0.04	0	0
123	Khoa:0	haoyu	1.03	0.09	0	0
124	Sprt:1	haoyu	1.06	0.05	0	0
125	Khoa:1	Aristotle	1.20	0.09	0	0
126	EC:1	haoyu	1.34	0.03	0	0
127	soccer:1	haoyu	1.39	0.04	0	0
128	Yacob Y.:0	haoyu	1.40	0.06	0	0
129	Glenn Fisher:1	jabreezy	1.42	0.09	0	0
130	Fanny:0	Aristotle	1.66	0.10	0	0
131	Ben Chen:0	Elphaba	1.77	0.07	0	0
132	burrito:0	haoyu	2.00	0.09	0	0
133	Sabar Dasgupta:0	spl	2.18	0.23	0	0
134	snowflakes:1	haoyu	2.20	0.03	0	0
135	Charliezsc:1	haoyu	2.50	0.07	0	0
136	DinnerPartyPlannerBM:1	Nihar the Great	2.65	0.06	0	0
137	Brendan Wright:0	haoyu	3.17	0.10	0	0
138	Aaron H:1	Aristotle	3.29	0.11	0	0
139	dfshasdsf12:0	haoyu	3.57	0.09	0	0
140	Sabar Dasgupta:1	Aaron Doll	3.57	0.17	0	0
141	Lil Thug:1	Andrew Grasso	3.88	0.03	0	0
142	Aaron H:0	Aristotle	3.92	0.11	0	0
143	Lil Thug:0	Andrew Grasso	4.09	0.03	0	0
144	Anon5:1	Green "The Bean" Choi	4.40	0.07	0	0
145	Mr. Blobby:0	Green "The Bean" Choi	4.41	0.14	0	0
146	Mr. Blobby:1	dusty	4.75	0.12	0	0
147	Ben Chen:1	spl	5.07	0.20	0	0
148	Andys:0	Aristotle	5.33	0.12	0	0
149	ebp:1	haoyu	5.42	0.04	0	0
150	Andrew Werner:1	haoyu	5.77	0.11	0	0
151	Sprt:0	Aristotle	5.78	0.11	0	0
152	Mike Hunt:0	Aristotle	6.40	0.27	0	0
153	Valya Barboy:1	Shaheed Chagani	6.81	0.18	0	0
154	ebp:0	haoyu	7.40	0.04	0	0
155	jabreezy:0	Mercury	7.72	0.09	0	0
156	NA:1	Elphaba	8.13	0.04	0	0
157	John Whelchel:0	haoyu	8.35	0.06	0	0
158	CAPS LOCK:0	Aristotle	8.38	0.20	0	0
159	BH:1	haoyu	9.26	0.05	0	0
160	Mike Hunt:1	Aristotle	9.47	0.29	0	0
161	Andys:1	Aristotle	9.57	0.13	0	0
162	Walter Little:1	haoyu	9.68	0.03	0	0
163	John Whelchel:1	haoyu	9.71	0.11	0	0
164	Andrew Werner:0	Aaron Doll	9.91	0.33	0	0
165	jabreezy:1	Mercury	10.13	0.10	0	0
166	DinnerPartyPlannerBM:0	Aristotle	10.25	0.11	0	0
167	BH:0	haoyu	11.03	0.07	0	0
168	dfshasdsf12:1	Nihar the Great	12.16	0.11	0	0
169	snowflakes:0	haoyu	13.99	0.03	0	0
170	David H.:1	DeeEmEm	15.00	0.33	1	0
171	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
172	Walter Little:0	haoyu	15.00	0.04	1	0
173	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
174	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
175	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
176	David H.:0	AFC	15.00	0.28	1	0
177	CookieMonster:0	CookieMonster	15.00	0.82	1	0
178	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
179	0108:0	jgs	15.00	14.98	1	1
180	Andrew Grasso:0	Aaron Doll	15.00	0.18	1	0
181	Valya Barboy:0	Aristotle	15.00	0.06	1	0
182	T. Capote:0	haoyu	15.00	0.00	2	2
183	spl:1	haoyu	15.00	0.06	2	0
184	T. Capote:1	haoyu	15.00	0.00	2	2
185	spl:0	Elphaba	15.00	0.09	3	0
186	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	3	0
187	NA:0	haoyu	15.00	0.03	3	0
188	Dusty:0	CookieMonster	15.00	1.39	4	0
189	SuperFan:0	jgs	15.00	14.98	4	4
190	SuperFan:1	jgs	15.00	14.98	4	4
191	Dusty:1	Shaheed Chagani	15.00	0.22	5	0
192	Supahaka:1	Joel Faron	15.00	15.00	36	35
193	Supahaka:0	Andrew Werner	15.00	15.00	37	35
194	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
195	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
196	Shaheed Chagani:1	Aristotle	15.00	0.11	3319	0
197	Shaheed Chagani:0	Aristotle	15.00	0.17	7937	0
198	Anon5:0	haoyu	15.00	0.05	1	0
199	Charliezsc:0	jgs	15.00	14.98	1	1
200	AFC:1	Aristotle	15.00	0.16	1	0
201	EC:0	haoyu	15.00	0.03	1	0
202	nupog:1	Aristotle	15.00	0.12	21	0
203	CookieMonster:1	CookieMonster	15.00	1.10	1	0
204	Absurdity:0	Aristotle	15.00	0.23	1	0
205	AFC:0	CookieMonster	15.00	0.34	2	0
206	nupog:0	Aristotle	15.00	0.13	82	0
207	Absurdity:1	Aristotle	15.00	0.18	1	0
208	jgs:0	Aristotle	15.00	0.12	86	0
209	Nihar the Great:0	Aristotle	15.00	0.23	20401	0
210	Elphaba:0	Aristotle	15.00	0.24	25739	0
211	jgs:1	haoyu	15.01	0.18	378	0
212	13a:0	Aaron Doll	15.01	15.00	76170	21
213	Nihar the Great:1	Aristotle	15.01	0.25	22020	0
214	Yacob Y.:1	Aristotle	15.01	15.00	7	1
215	13a:1	Aaron Doll	15.02	15.00	79355	29
216	Elphaba:1	Aristotle	15.04	0.22	36606	0
217	CAPS LOCK:1	Aristotle	15.04	0.25	614	0
218	Aaron Doll:1	Aristotle	15.04	1.27	319855	0
219	Bar Shabtai:1	haoyu	15.04	0.12	48	0
220	Bar Shabtai:0	Aaron Doll	15.06	15.01	317558	1
221	Deric Cheng:0	jgs	15.10	14.99	1	1
222	burrito:1	haoyu	15.11	0.10	4	0
223	Matt Goldsmith:1	Happy	15.11	0.03	510544	0
224	Aaron Doll:0	Aristotle	15.11	0.56	252142	0
225	Aristotle:1	Aristotle	15.12	9.69	718153	0
226	Deric Cheng:1	jgs	15.12	14.98	1	1
227	Aristotle:0	Aristotle	15.15	15.00	751896	1
228	Matt Goldsmith:0	Nihar the Great	15.21	0.03	510713	0

SatSolvers Ranklist

Generators Ranklist