Stats for satsolver: Fanny

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 Fanny 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 Fanny 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:	Fanny
Rank:	100 / 118
Average Score:	18.66
Median Score:	1.70
Description:	My SAT solver based on walkSAT.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	K.L.:1	KingBach	0.01	0.00	0	0
4	Bebe Shi:1	KingBach	0.01	0.00	0	0
5	Bebe Shi:0	KingBach	0.01	0.00	0	0
6	Happy:1	KingBach	0.01	0.00	0	0
7	BMJ:1	burrito	0.01	0.00	0	0
8	K.L.:0	haoyu	0.02	0.00	0	0
9	Miranda:1	cat	0.02	0.00	0	0
10	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
11	Ravi Tandon:1	KingBach	0.02	0.00	0	0
12	Miranda:0	cat	0.02	0.00	0	0
13	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
14	Joshua Zimmer:1	haoyu	0.02	0.00	0	0
15	Ravi Tandon:0	KingBach	0.02	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.03	0.00	0	0
17	Blam:0	Elphaba	0.03	0.00	0	0
18	Blam:1	Elphaba	0.03	0.00	0	0
19	David Paulk:0	cat	0.04	0.00	0	0
20	Tree Prophet:0	haoyu	0.04	0.00	0	0
21	David Paulk:1	Bar Shabtai	0.05	0.00	0	0
22	R. A. B.:1	cat	0.05	0.00	0	0
23	Daffy Duck:0	Andrew Werner	0.06	0.00	0	0
24	Tree Prophet:1	haoyu	0.06	0.00	0	0
25	The Kraken:1	haoyu	0.06	0.00	0	0
26	The Kraken:0	haoyu	0.06	0.00	0	0
27	Happy:0	haoyu	0.06	0.00	0	0
28	Daffy Duck:1	haoyu	0.07	0.00	0	0
29	bchouGenerator:0	haoyu	0.07	0.00	0	0
30	Jordan Ash:1	Bar Shabtai	0.07	0.01	0	0
31	Gewang:0	Jonathan Kwok	0.07	0.00	0	0
32	Gewang:1	Jonathan Kwok	0.07	0.00	0	0
33	Quite Satisfied:0	haoyu	0.08	0.00	0	0
34	Qinlan Shen:0	Bar Shabtai	0.08	0.01	0	0
35	R. A. B.:0	Nihar the Great	0.09	0.00	0	0
36	haoyu:1	Anon5	0.09	0.01	0	0
37	Solving For Clauses:1	haoyu	0.10	0.00	0	0
38	Solving For Clauses:0	Glenn Fisher	0.11	0.00	0	0
39	haoyu:0	KingBach	0.11	0.01	0	0
40	Sunny:1	jabreezy	0.11	0.01	0	0
41	Mickey Mouse:0	Bar Shabtai	0.12	0.01	0	0
42	Jameh:0	haoyu	0.13	0.01	0	0
43	Mickey Mouse:1	haoyu	0.13	0.01	0	0
44	vluu:1	Nihar the Great	0.13	0.02	0	0
45	0108:1	haoyu	0.13	0.01	0	0
46	George Okeowo:1	Andrew Grasso	0.14	0.01	0	0
47	Jordan Ash:0	EC	0.14	0.03	0	0
48	Alex Fish:1	haoyu	0.15	0.02	0	0
49	George Okeowo:0	Andrew Grasso	0.15	0.01	0	0
50	Keji Xu:0	Nihar the Great	0.15	0.03	0	0
51	Sunny:0	Green "The Bean" Choi	0.16	0.02	0	0
52	vluu:0	Nihar the Great	0.17	0.01	0	0
53	Alex Fish:0	haoyu	0.17	0.01	0	0
54	Boomshanka:0	haoyu	0.18	0.01	0	0
55	Tiny Wings:1	haoyu	0.19	0.01	0	0
56	cat:0	haoyu	0.19	0.03	0	0
57	weezy:0	Bar Shabtai	0.19	0.01	0	0
58	cat:1	haoyu	0.20	0.03	0	0
59	The Whitman Whale:1	Andrew Grasso	0.21	0.03	0	0
60	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.22	0.00	0	0
61	The Whitman Whale:0	bigwig	0.22	0.04	0	0
62	Jameh:1	haoyu	0.22	0.01	0	0
63	Boomshanka:1	Bar Shabtai	0.23	0.01	0	0
64	weezy:1	Bar Shabtai	0.23	0.01	0	0
65	Tiny Wings:0	haoyu	0.24	0.02	0	0
66	DeeEmEm:1	haoyu	0.25	0.02	0	0
67	Ytterbium:0	Andrew Grasso	0.26	0.02	0	0
68	Keji Xu:1	Nihar the Great	0.29	0.04	0	0
69	Tao:0	Bar Shabtai	0.29	0.02	0	0
70	Glenn Fisher:0	Elphaba	0.34	0.02	0	0
71	Anon_K_P:0	haoyu	0.35	0.02	0	0
72	Janie Gu:0	Glenn Fisher	0.36	0.07	0	0
73	Janie Gu:1	Jonathan Kwok	0.37	0.07	0	0
74	Scheduling Generator 203:0	jgs	0.38	0.01	0	0
75	Ytterbium:1	Nihar the Great	0.39	0.02	0	0
76	Samuel Jerome:1	haoyu	0.40	0.03	0	0
77	Samuel Jerome:0	haoyu	0.42	0.03	0	0
78	Nikhilesh Sigatapu:0	haoyu	0.47	0.03	0	0
79	Lisa Kim:0	Aristotle	0.47	0.07	0	0
80	Lisa Kim:1	Bar Shabtai	0.49	0.06	0	0
81	Tao:1	Aristotle	0.56	0.07	0	0
82	EC:1	haoyu	0.56	0.03	0	0
83	bfang:1	haoyu	0.56	0.04	0	0
84	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.59	0.01	0	0
85	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.64	0.01	0	0
86	bfang:0	haoyu	0.68	0.04	0	0
87	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.69	0.01	0	0
88	Mr. Blobby:0	Green "The Bean" Choi	0.73	0.14	0	0
89	Nikhilesh Sigatapu:1	haoyu	0.82	0.04	0	0
90	David Lackey:0	Anon5	0.83	0.03	0	0
91	Mercury:1	haoyu	0.83	0.05	0	0
92	Anon5:1	Green "The Bean" Choi	0.85	0.07	0	0
93	David Lackey:1	Bar Shabtai	0.85	0.03	0	0
94	Glenn Fisher:1	jabreezy	1.12	0.09	0	0
95	Mercury:0	haoyu	1.12	0.05	0	0
96	cmF5a3ly:0	Nihar the Great	1.18	0.00	0	0
97	cmF5a3ly:1	Nihar the Great	1.25	0.00	0	0
98	Batman:1	haoyu	1.33	0.04	0	0
99	Ben Chen:1	spl	1.39	0.20	0	0
100	Yacob Y.:0	haoyu	1.40	0.06	0	0
101	David H.:1	DeeEmEm	1.44	0.33	0	0
102	Batman:0	haoyu	1.45	0.04	0	0
103	Scheduling Generator 203:1	Jameh	1.50	0.02	0	0
104	KingBach:1	haoyu	1.58	0.04	0	0
105	KingBach:0	haoyu	1.69	0.06	0	0
106	soccer:0	haoyu	1.70	0.04	0	0
107	Bar Shabtai:1	haoyu	1.76	0.12	0	0
108	Walter Little:1	haoyu	1.80	0.03	0	0
109	Sabar Dasgupta:0	spl	1.81	0.23	0	0
110	Ben Chen:0	Elphaba	1.90	0.07	0	0
111	Anon_K_P:1	Aristotle	1.99	0.03	0	0
112	Khoa:0	haoyu	2.15	0.09	0	0
113	Sabar Dasgupta:1	Aaron Doll	2.31	0.17	0	0
114	Yan Wu:1	haoyu	2.35	0.04	0	0
115	Khoa:1	Aristotle	2.35	0.09	0	0
116	EC:0	haoyu	2.42	0.03	0	0
117	soccer:1	haoyu	2.65	0.04	0	0
118	snowflakes:1	haoyu	2.88	0.03	0	0
119	snowflakes:0	haoyu	2.98	0.03	0	0
120	Sprt:1	haoyu	3.05	0.05	0	0
121	Walter Little:0	haoyu	3.07	0.04	0	0
122	Yan Wu:0	haoyu	3.15	0.05	0	0
123	burrito:0	haoyu	3.72	0.09	0	0
124	Tom T:1	Andrew Werner	3.81	0.02	0	0
125	Mike Hunt:0	Aristotle	3.81	0.27	0	0
126	Matt Haake:0	haoyu	3.89	0.05	0	0
127	Tom T:0	EC	3.93	0.02	0	0
128	John Whelchel:1	haoyu	4.27	0.11	0	0
129	jabreezy:1	Mercury	4.38	0.10	0	0
130	Matt Haake:1	haoyu	4.48	0.05	0	0
131	John Whelchel:0	haoyu	4.82	0.06	0	0
132	jabreezy:0	Mercury	4.99	0.09	0	0
133	dfshasdsf12:0	haoyu	5.67	0.09	0	0
134	DinnerPartyPlannerBM:1	Nihar the Great	5.84	0.06	0	0
135	ebp:0	haoyu	7.15	0.04	0	0
136	ebp:1	haoyu	7.65	0.04	0	0
137	Andrew Werner:1	haoyu	7.97	0.11	0	0
138	Lil Thug:0	Andrew Grasso	8.27	0.03	0	0
139	Charliezsc:1	haoyu	9.41	0.07	0	0
140	Mike Hunt:1	Aristotle	9.78	0.29	0	0
141	Lil Thug:1	Andrew Grasso	9.88	0.03	0	0
142	Aaron H:1	Aristotle	10.85	0.11	0	0
143	NA:1	Elphaba	11.00	0.04	0	0
144	dfshasdsf12:1	Nihar the Great	11.15	0.11	0	0
145	Andrew Werner:0	Aaron Doll	11.23	0.33	0	0
146	jgs:0	Aristotle	11.34	0.12	0	0
147	Fanny:1	Aristotle	11.48	0.12	0	0
148	Fanny:0	Aristotle	11.58	0.10	0	0
149	jgs:1	haoyu	11.71	0.18	0	0
150	Andys:0	Aristotle	13.55	0.12	0	0
151	kt4124:1	haoyu	0.45	0.04	1	0
152	kt4124:0	haoyu	0.43	0.03	1	0
153	Valya Barboy:1	Shaheed Chagani	4.38	0.18	2	0
154	Mr. Blobby:1	dusty	1.02	0.12	2	0
155	Valya Barboy:0	Aristotle	3.94	0.06	2	0
156	BMJ:0	Elphaba	0.02	0.00	6	0
157	bchouGenerator:1	Jonathan Kwok	0.18	0.01	12	0
158	Sally Smith:0	haoyu	2.33	0.04	14137	0
159	Sally Smith:1	haoyu	2.50	0.04	14137	0
160	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
161	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
162	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
163	David H.:0	AFC	15.00	0.28	1	0
164	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1	0
165	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
166	0108:0	jgs	15.00	14.98	1	1
167	CookieMonster:1	CookieMonster	15.00	1.10	1	0
168	Dusty:1	Shaheed Chagani	15.00	0.22	2	0
169	Anon5:0	haoyu	15.00	0.05	2	0
170	T. Capote:0	haoyu	15.00	0.00	2	2
171	AFC:1	Aristotle	15.00	0.16	2	0
172	NA:0	haoyu	15.00	0.03	2	0
173	T. Capote:1	haoyu	15.00	0.00	2	2
174	Andrew Grasso:0	Aaron Doll	15.00	0.18	2	0
175	spl:0	Elphaba	15.00	0.09	3	0
176	Absurdity:1	Aristotle	15.00	0.18	3	0
177	CookieMonster:0	CookieMonster	15.00	0.82	3	0
178	AFC:0	CookieMonster	15.00	0.34	3	0
179	Dusty:0	CookieMonster	15.00	1.39	4	0
180	spl:1	haoyu	15.00	0.06	4	0
181	SuperFan:0	jgs	15.00	14.98	5	4
182	SuperFan:1	jgs	15.00	14.98	6	4
183	Absurdity:0	Aristotle	15.00	0.23	2	0
184	Charliezsc:0	jgs	15.00	14.98	1	1
185	Andys:1	Aristotle	15.00	0.13	1	0
186	Sprt:0	Aristotle	15.00	0.11	88	0
187	Aaron H:0	Aristotle	15.01	0.11	1	0
188	burrito:1	haoyu	15.01	0.10	94	0
189	Deric Cheng:0	jgs	15.01	14.99	4	1
190	Deric Cheng:1	jgs	15.01	14.98	1	1
191	Yacob Y.:1	Aristotle	15.01	15.00	8	1
192	BH:1	haoyu	15.07	0.05	200	0
193	Bar Shabtai:0	Aaron Doll	15.08	15.01	57	1
194	BH:0	haoyu	15.10	0.07	200	0
195	DinnerPartyPlannerBM:0	Aristotle	16.31	0.11	57	0
196	Linda:0	Andrew Grasso	18.27	0.01	0	0
197	Shaheed Chagani:1	Aristotle	22.33	0.11	500	0
198	Shaheed Chagani:0	Aristotle	27.19	0.17	500	0
199	Aristotle:1	Aristotle	34.71	9.69	120	0
200	Aristotle:0	Aristotle	34.71	15.00	120	1
201	CAPS LOCK:0	Aristotle	37.09	0.20	1984	0
202	Elphaba:1	Aristotle	40.92	0.22	56	0
203	nupog:1	Aristotle	44.77	0.12	1257	0
204	Elphaba:0	Aristotle	45.81	0.24	56	0
205	Mark S. Fillmore:1	Supahaka	48.08	0.04	109	79
206	nupog:0	Aristotle	50.40	0.13	1309	0
207	Linda:1	Andrew Grasso	53.75	0.02	0	0
208	13a:1	Aaron Doll	62.62	15.00	153	29
209	CAPS LOCK:1	Aristotle	72.97	0.25	2406	0
210	13a:0	Aaron Doll	74.73	15.00	156	21
211	Dr Roberto:1	Andrew Grasso	82.37	0.02	6	0
212	Dr Roberto:0	Andrew Grasso	131.92	0.03	6	0
213	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
214	Mike Honcho:0	Miranda	-	0.01	-	0
215	Aaron Doll:0	Aristotle	-	0.56	-	0
216	Quite Satisfied:1	Joel Faron	-	2.11	-	1
217	Brendan Wright:0	haoyu	-	0.10	-	0
218	Bob Dondero:1	Mickey Mouse	-	0.03	-	0
219	Mark S. Fillmore:0	Supahaka	-	0.01	-	116
220	Aaron Doll:1	Aristotle	-	1.27	-	0
221	Supahaka:0	Andrew Werner	-	15.00	-	35
222	Nihar the Great:0	Aristotle	-	0.23	-	0
223	Bob Dondero:0	Andrew Grasso	-	0.02	-	0
224	Brendan Wright:1	Deric Cheng	-	0.10	-	0
225	Supahaka:1	Joel Faron	-	15.00	-	35
226	Nihar the Great:1	Aristotle	-	0.25	-	0
227	Mike Honcho:1	Jessie Chen	-	0.01	-	0
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist