Stats for satsolver: AFC

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 AFC 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 AFC 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:	AFC
Rank:	33 / 118
Average Score:	5.66
Median Score:	0.88
Description:	This sat-solver implements DLL with indexing optimizations, random restarts, and intelligent ordering

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.01	0.00	0	0
2	bigwig:1	KingBach	0.01	0.00	0	0
3	Bebe Shi:0	KingBach	0.01	0.00	0	0
4	Bebe Shi:1	KingBach	0.01	0.00	0	0
5	BMJ:1	burrito	0.01	0.00	0	0
6	Ravi Tandon:0	KingBach	0.01	0.00	0	0
7	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
8	K.L.:1	KingBach	0.01	0.00	0	0
9	Happy:1	KingBach	0.01	0.00	0	0
10	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
11	BMJ:0	Elphaba	0.01	0.00	0	0
12	Miranda:1	cat	0.01	0.00	0	0
13	Ravi Tandon:1	KingBach	0.01	0.00	0	0
14	K.L.:0	haoyu	0.02	0.00	0	0
15	Blam:0	Elphaba	0.02	0.00	0	0
16	Happy:0	haoyu	0.02	0.00	0	0
17	R. A. B.:1	cat	0.02	0.00	0	0
18	David Paulk:0	cat	0.02	0.00	0	0
19	Daffy Duck:1	haoyu	0.02	0.00	0	0
20	Blam:1	Elphaba	0.02	0.00	0	0
21	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
22	haoyu:0	KingBach	0.03	0.01	0	0
23	Miranda:0	cat	0.03	0.00	0	0
24	T. Capote:0	haoyu	0.03	0.00	2	2
25	T. Capote:1	haoyu	0.03	0.00	2	2
26	Tree Prophet:1	haoyu	0.03	0.00	0	0
27	bchouGenerator:0	haoyu	0.03	0.00	0	0
28	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
29	Tree Prophet:0	haoyu	0.03	0.00	0	0
30	Joshua Zimmer:1	haoyu	0.03	0.00	0	0
31	Sunny:1	jabreezy	0.03	0.01	0	0
32	David Paulk:1	Bar Shabtai	0.04	0.00	0	0
33	Solving For Clauses:0	Glenn Fisher	0.04	0.00	0	0
34	bchouGenerator:1	Jonathan Kwok	0.04	0.01	0	0
35	Solving For Clauses:1	haoyu	0.04	0.00	0	0
36	Quite Satisfied:0	haoyu	0.04	0.00	0	0
37	Gewang:0	Jonathan Kwok	0.04	0.00	0	0
38	Gewang:1	Jonathan Kwok	0.04	0.00	0	0
39	Daffy Duck:0	Andrew Werner	0.05	0.00	0	0
40	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.05	0.01	0	0
41	Qinlan Shen:0	Bar Shabtai	0.07	0.01	0	0
42	0108:1	haoyu	0.07	0.01	0	0
43	Jameh:0	haoyu	0.07	0.01	0	0
44	Sunny:0	Green "The Bean" Choi	0.08	0.02	0	0
45	George Okeowo:0	Andrew Grasso	0.09	0.01	0	0
46	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.09	0.00	0	0
47	George Okeowo:1	Andrew Grasso	0.09	0.01	0	0
48	DeeEmEm:1	haoyu	0.10	0.02	0	0
49	Alex Fish:0	haoyu	0.10	0.01	0	0
50	Mickey Mouse:1	haoyu	0.10	0.01	0	0
51	weezy:1	Bar Shabtai	0.10	0.01	0	0
52	Mickey Mouse:0	Bar Shabtai	0.11	0.01	0	0
53	Alex Fish:1	haoyu	0.11	0.02	0	0
54	Scheduling Generator 203:0	jgs	0.12	0.01	0	0
55	Boomshanka:0	haoyu	0.12	0.01	0	0
56	Tiny Wings:0	haoyu	0.12	0.02	0	0
57	Anon5:1	Green "The Bean" Choi	0.12	0.07	0	0
58	Boomshanka:1	Bar Shabtai	0.12	0.01	0	0
59	Anon_K_P:1	Aristotle	0.13	0.03	0	0
60	Tiny Wings:1	haoyu	0.13	0.01	0	0
61	weezy:0	Bar Shabtai	0.14	0.01	0	0
62	David Lackey:0	Anon5	0.16	0.03	0	0
63	Jameh:1	haoyu	0.16	0.01	0	0
64	Ytterbium:0	Andrew Grasso	0.16	0.02	0	0
65	Anon_K_P:0	haoyu	0.16	0.02	0	0
66	Tom T:1	Andrew Werner	0.16	0.02	0	0
67	Scheduling Generator 203:1	Jameh	0.17	0.02	0	0
68	Tom T:0	EC	0.18	0.02	0	0
69	Matt Haake:0	haoyu	0.20	0.05	0	0
70	cat:1	haoyu	0.20	0.03	0	0
71	vluu:1	Nihar the Great	0.20	0.02	0	0
72	vluu:0	Nihar the Great	0.20	0.01	0	0
73	Nikhilesh Sigatapu:0	haoyu	0.20	0.03	0	0
74	David Lackey:1	Bar Shabtai	0.21	0.03	0	0
75	cat:0	haoyu	0.21	0.03	0	0
76	Matt Haake:1	haoyu	0.21	0.05	0	0
77	Samuel Jerome:0	haoyu	0.22	0.03	0	0
78	Anon5:0	haoyu	0.22	0.05	0	0
79	kt4124:0	haoyu	0.22	0.03	0	0
80	EC:0	haoyu	0.23	0.03	0	0
81	Nikhilesh Sigatapu:1	haoyu	0.23	0.04	0	0
82	kt4124:1	haoyu	0.24	0.04	0	0
83	Ytterbium:1	Nihar the Great	0.24	0.02	0	0
84	Dr Roberto:0	Andrew Grasso	0.27	0.03	0	0
85	David H.:0	AFC	0.28	0.28	0	0
86	snowflakes:0	haoyu	0.29	0.03	0	0
87	snowflakes:1	haoyu	0.31	0.03	0	0
88	EC:1	haoyu	0.32	0.03	0	0
89	Glenn Fisher:0	Elphaba	0.34	0.02	0	0
90	Yan Wu:1	haoyu	0.36	0.04	0	0
91	Lisa Kim:1	Bar Shabtai	0.36	0.06	0	0
92	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.37	0.01	0	0
93	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.39	0.01	0	0
94	Lisa Kim:0	Aristotle	0.42	0.07	0	0
95	Linda:0	Andrew Grasso	0.44	0.01	0	0
96	cmF5a3ly:1	Nihar the Great	0.49	0.00	0	0
97	Tao:1	Aristotle	0.51	0.07	0	0
98	cmF5a3ly:0	Nihar the Great	0.52	0.00	0	0
99	Brendan Wright:1	Deric Cheng	0.52	0.10	0	0
100	Walter Little:1	haoyu	0.52	0.03	0	0
101	Fanny:1	Aristotle	0.54	0.12	0	0
102	Mercury:0	haoyu	0.55	0.05	0	0
103	NA:1	Elphaba	0.56	0.04	0	0
104	Mercury:1	haoyu	0.58	0.05	0	0
105	bfang:1	haoyu	0.67	0.04	0	0
106	Sally Smith:1	haoyu	0.68	0.04	0	0
107	bfang:0	haoyu	0.68	0.04	0	0
108	Linda:1	Andrew Grasso	0.72	0.02	0	0
109	Sally Smith:0	haoyu	0.78	0.04	0	0
110	spl:1	haoyu	0.79	0.06	0	0
111	Bob Dondero:1	Mickey Mouse	0.82	0.03	0	0
112	haoyu:1	Anon5	0.83	0.01	0	0
113	David H.:1	DeeEmEm	0.88	0.33	0	0
114	spl:0	Elphaba	0.88	0.09	0	0
115	Samuel Jerome:1	haoyu	0.89	0.03	0	0
116	Bob Dondero:0	Andrew Grasso	0.91	0.02	0	0
117	Batman:1	haoyu	0.92	0.04	0	0
118	Batman:0	haoyu	0.92	0.04	0	0
119	Yacob Y.:0	haoyu	0.96	0.06	0	0
120	AFC:0	CookieMonster	1.05	0.34	0	0
121	KingBach:0	haoyu	1.07	0.06	0	0
122	KingBach:1	haoyu	1.08	0.04	0	0
123	Fanny:0	Aristotle	1.15	0.10	0	0
124	Charliezsc:1	haoyu	1.58	0.07	0	0
125	Khoa:0	haoyu	1.60	0.09	0	0
126	Khoa:1	Aristotle	1.61	0.09	0	0
127	Sprt:1	haoyu	1.73	0.05	0	0
128	Brendan Wright:0	haoyu	1.78	0.10	0	0
129	Tao:0	Bar Shabtai	1.84	0.02	0	0
130	Jordan Ash:1	Bar Shabtai	2.24	0.01	0	0
131	Jordan Ash:0	EC	2.42	0.03	0	0
132	burrito:0	haoyu	3.28	0.09	0	0
133	The Kraken:1	haoyu	3.78	0.00	0	0
134	Mike Honcho:0	Miranda	3.83	0.01	0	0
135	Absurdity:0	Aristotle	3.92	0.23	0	0
136	Dr Roberto:1	Andrew Grasso	4.11	0.02	0	0
137	Mike Hunt:0	Aristotle	4.36	0.27	0	0
138	jabreezy:1	Mercury	4.41	0.10	0	0
139	jabreezy:0	Mercury	4.50	0.09	0	0
140	DinnerPartyPlannerBM:1	Nihar the Great	4.86	0.06	0	0
141	Mike Honcho:1	Jessie Chen	5.01	0.01	0	0
142	Aaron H:1	Aristotle	5.09	0.11	0	0
143	AFC:1	Aristotle	5.14	0.16	0	0
144	BH:1	haoyu	5.20	0.05	0	0
145	Aaron H:0	Aristotle	5.31	0.11	0	0
146	dfshasdsf12:0	haoyu	6.15	0.09	0	0
147	Sprt:0	Aristotle	6.71	0.11	0	0
148	Janie Gu:0	Glenn Fisher	6.72	0.07	0	0
149	Janie Gu:1	Jonathan Kwok	7.05	0.07	0	0
150	Lil Thug:1	Andrew Grasso	8.55	0.03	0	0
151	Lil Thug:0	Andrew Grasso	9.18	0.03	0	0
152	Yan Wu:0	haoyu	9.56	0.05	0	0
153	Absurdity:1	Aristotle	11.61	0.18	0	0
154	Ben Chen:1	spl	11.76	0.20	0	0
155	burrito:1	haoyu	11.80	0.10	0	0
156	NA:0	haoyu	12.76	0.03	0	0
157	Ben Chen:0	Elphaba	13.15	0.07	0	0
158	Jessie Chen:0	Joel Faron	0.06	0.13	2	1
159	Jessie Chen:1	Joel Faron	0.08	0.12	2	1
160	Quite Satisfied:1	Joel Faron	0.01	2.11	11	1
161	0108:0	jgs	0.30	14.98	14	1
162	SuperFan:1	jgs	0.21	14.98	31	4
163	Mark S. Fillmore:1	Supahaka	0.11	0.04	109	79
164	Mark S. Fillmore:0	Supahaka	0.10	0.01	157	116
165	Supahaka:0	Andrew Werner	0.03	15.00	315	35
166	Supahaka:1	Joel Faron	0.03	15.00	315	35
167	Mike Hunt:1	Aristotle	15.00	0.29	2	0
168	John Whelchel:0	haoyu	15.00	0.06	2	0
169	Yacob Y.:1	Aristotle	15.00	15.00	2	1
170	John Whelchel:1	haoyu	15.00	0.11	4	0
171	Qinlan Shen:1	R. A. B.	15.00	9.00	4	1
172	CookieMonster:1	CookieMonster	15.00	1.10	5	0
173	DeeEmEm:0	CAPS LOCK	15.00	13.00	6	1
174	The Kraken:0	haoyu	15.00	0.00	6	0
175	The Whitman Whale:0	bigwig	15.00	0.04	7	0
176	The Whitman Whale:1	Andrew Grasso	15.00	0.03	7	0
177	Keji Xu:1	Nihar the Great	15.00	0.04	9	0
178	CookieMonster:0	CookieMonster	15.00	0.82	10	0
179	Valya Barboy:1	Shaheed Chagani	15.00	0.18	14	0
180	Andys:0	Aristotle	15.00	0.12	17	0
181	Charliezsc:0	jgs	15.00	14.98	17	1
182	soccer:0	haoyu	15.00	0.04	19	0
183	ebp:1	haoyu	15.00	0.04	19	0
184	soccer:1	haoyu	15.00	0.04	20	0
185	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	20	0
186	Valya Barboy:0	Aristotle	15.00	0.06	20	0
187	Keji Xu:0	Nihar the Great	15.00	0.03	21	0
188	ebp:0	haoyu	15.00	0.04	23	0
189	Walter Little:0	haoyu	15.00	0.04	25	0
190	SuperFan:0	jgs	15.00	14.98	28	4
191	Mr. Blobby:1	dusty	15.00	0.12	28	0
192	Glenn Fisher:1	jabreezy	15.00	0.09	37	0
193	Andrew Werner:1	haoyu	15.00	0.11	40	0
194	Sabar Dasgupta:0	spl	15.00	0.23	41	0
195	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	43	0
196	Andrew Werner:0	Aaron Doll	15.00	0.33	43	0
197	BH:0	haoyu	15.00	0.07	86	0
198	Andrew Grasso:0	Aaron Doll	15.00	0.18	115	0
199	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	132	0
200	13a:0	Aaron Doll	15.00	15.00	146	21
201	13a:1	Aaron Doll	15.00	15.00	147	29
202	Dusty:0	CookieMonster	15.00	1.39	160	0
203	Dusty:1	Shaheed Chagani	15.00	0.22	166	0
204	nupog:0	Aristotle	15.00	0.13	2980	0
205	nupog:1	Aristotle	15.00	0.12	3139	0
206	Bar Shabtai:1	haoyu	15.00	0.12	31	0
207	Shaheed Chagani:1	Aristotle	15.00	0.11	480	0
208	Deric Cheng:0	jgs	15.00	14.99	4	1
209	jgs:0	Aristotle	15.00	0.12	72	0
210	Shaheed Chagani:0	Aristotle	15.00	0.17	366	0
211	CAPS LOCK:0	Aristotle	15.00	0.20	1134	0
212	dfshasdsf12:1	Nihar the Great	15.00	0.11	0	0
213	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	1	0
214	Andys:1	Aristotle	15.00	0.13	10	0
215	Deric Cheng:1	jgs	15.01	14.98	4	1
216	Elphaba:1	Aristotle	15.01	0.22	49	0
217	jgs:1	haoyu	15.01	0.18	56	0
218	Nihar the Great:1	Aristotle	15.01	0.25	932	0
219	Elphaba:0	Aristotle	15.01	0.24	52	0
220	Nihar the Great:0	Aristotle	15.01	0.23	934	0
221	CAPS LOCK:1	Aristotle	15.04	0.25	1830	0
222	Aaron Doll:1	Aristotle	15.04	1.27	158	0
223	Aaron Doll:0	Aristotle	15.04	0.56	156	0
224	Bar Shabtai:0	Aaron Doll	15.05	15.01	86	1
225	Aristotle:1	Aristotle	15.06	9.69	119	0
226	Matt Goldsmith:0	Nihar the Great	15.09	0.03	0	0
227	Matt Goldsmith:1	Happy	15.09	0.03	0	0
228	Aristotle:0	Aristotle	15.09	15.00	119	1

SatSolvers Ranklist

Generators Ranklist