Stats for satsolver: Sat Solver 2013

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 Sat Solver 2013 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 Sat Solver 2013 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:	Sat Solver 2013
Rank:	109 / 118
Average Score:	31.39
Median Score:	15.00
Description:	This sat-solver uses WalkSat with efficient indexing that maintains a list of clauses in which each symbol appears as positive and negative literals.

	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	Ravi Tandon:0	KingBach	0.00	0.00	0	0
4	Bebe Shi:0	KingBach	0.00	0.00	0	0
5	Bebe Shi:1	KingBach	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	Miranda:1	cat	0.01	0.00	0	0
8	Miranda:0	cat	0.01	0.00	0	0
9	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
10	K.L.:1	KingBach	0.02	0.00	0	0
11	Happy:1	KingBach	0.03	0.00	0	0
12	David Paulk:0	cat	0.07	0.00	0	0
13	Mike Honcho:0	Miranda	0.11	0.01	0	0
14	Mike Honcho:1	Jessie Chen	0.11	0.01	0	0
15	Scheduling Generator 203:0	jgs	0.18	0.01	0	0
16	cmF5a3ly:1	Nihar the Great	0.18	0.00	0	0
17	Bob Dondero:0	Andrew Grasso	0.21	0.02	0	0
18	Dr Roberto:0	Andrew Grasso	0.22	0.03	0	0
19	cmF5a3ly:0	Nihar the Great	0.23	0.00	0	0
20	Bob Dondero:1	Mickey Mouse	0.28	0.03	0	0
21	Scheduling Generator 203:1	Jameh	0.32	0.02	0	0
22	Daffy Duck:1	haoyu	0.39	0.00	0	0
23	Jonathan Kwok:1	KingBach	0.42	0.00	0	0
24	R. A. B.:1	cat	0.49	0.00	0	0
25	Linda:0	Andrew Grasso	0.52	0.01	0	0
26	Dr Roberto:1	Andrew Grasso	0.54	0.02	0	0
27	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.81	0.01	0	0
28	totallyOnFallBreak:0	Nikhilesh Sigatapu	1.06	0.01	0	0
29	BMJ:1	burrito	1.15	0.00	0	0
30	BMJ:0	Elphaba	2.00	0.00	0	0
31	Tom T:1	Andrew Werner	6.26	0.02	0	0
32	T. Capote:0	haoyu	15.00	0.00	8	2
33	K.L.:0	haoyu	15.00	0.00	8	0
34	T. Capote:1	haoyu	15.00	0.00	9	2
35	Tom T:0	EC	15.00	0.02	12	0
36	Janie Gu:1	Jonathan Kwok	15.00	0.07	12	0
37	Solving For Clauses:1	haoyu	15.00	0.00	13	0
38	Janie Gu:0	Glenn Fisher	15.00	0.07	14	0
39	Solving For Clauses:0	Glenn Fisher	15.00	0.00	17	0
40	Joshua Zimmer:0	haoyu	15.00	0.00	20	0
41	Daffy Duck:0	Andrew Werner	15.00	0.00	22	0
42	Tree Prophet:0	haoyu	15.00	0.00	22	0
43	Boomshanka:0	haoyu	15.00	0.01	25	0
44	Happy:0	haoyu	15.00	0.00	25	0
45	David Paulk:1	Bar Shabtai	15.00	0.00	28	0
46	Jessie Chen:0	Joel Faron	15.00	0.13	30	1
47	haoyu:0	KingBach	15.00	0.01	31	0
48	Tree Prophet:1	haoyu	15.00	0.00	34	0
49	Joshua Zimmer:1	haoyu	15.00	0.00	35	0
50	bchouGenerator:1	Jonathan Kwok	15.00	0.01	37	0
51	haoyu:1	Anon5	15.00	0.01	41	0
52	Blam:1	Elphaba	15.00	0.00	50	0
53	weezy:1	Bar Shabtai	15.00	0.01	50	0
54	David Lackey:0	Anon5	15.00	0.03	63	0
55	Boomshanka:1	Bar Shabtai	15.00	0.01	63	0
56	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	70	0
57	Jessie Chen:1	Joel Faron	15.00	0.12	73	1
58	Quite Satisfied:1	Joel Faron	15.00	2.11	76	1
59	The Kraken:1	haoyu	15.00	0.00	77	0
60	The Kraken:0	haoyu	15.00	0.00	84	0
61	Qinlan Shen:0	Bar Shabtai	15.00	0.01	84	0
62	SuperFan:1	jgs	15.00	14.98	87	4
63	bchouGenerator:0	haoyu	15.00	0.00	95	0
64	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	96	0
65	Quite Satisfied:0	haoyu	15.00	0.00	97	0
66	weezy:0	Bar Shabtai	15.00	0.01	104	0
67	SuperFan:0	jgs	15.00	14.98	117	4
68	Jordan Ash:1	Bar Shabtai	15.00	0.01	122	0
69	0108:1	haoyu	15.00	0.01	131	0
70	Gewang:1	Jonathan Kwok	15.00	0.00	148	0
71	DeeEmEm:1	haoyu	15.00	0.02	149	0
72	Gewang:0	Jonathan Kwok	15.00	0.00	156	0
73	Keji Xu:0	Nihar the Great	15.00	0.03	158	0
74	Supahaka:0	Andrew Werner	15.00	15.00	163	35
75	vluu:1	Nihar the Great	15.00	0.02	167	0
76	vluu:0	Nihar the Great	15.00	0.01	173	0
77	Qinlan Shen:1	R. A. B.	15.00	9.00	173	1
78	David H.:0	AFC	15.00	0.28	182	0
79	Keji Xu:1	Nihar the Great	15.00	0.04	184	0
80	The Whitman Whale:0	bigwig	15.00	0.04	184	0
81	DeeEmEm:0	CAPS LOCK	15.00	13.00	186	1
82	Jordan Ash:0	EC	15.00	0.03	191	0
83	Alex Fish:1	haoyu	15.00	0.02	194	0
84	George Okeowo:1	Andrew Grasso	15.00	0.01	199	0
85	cat:1	haoyu	15.00	0.03	201	0
86	Andrew Grasso:0	Aaron Doll	15.00	0.18	211	0
87	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	214	0
88	George Okeowo:0	Andrew Grasso	15.00	0.01	217	0
89	Valya Barboy:1	Shaheed Chagani	15.00	0.18	218	0
90	Alex Fish:0	haoyu	15.00	0.01	224	0
91	Dusty:0	CookieMonster	15.00	1.39	228	0
92	Tiny Wings:0	haoyu	15.00	0.02	232	0
93	Anon_K_P:1	Aristotle	15.00	0.03	233	0
94	cat:0	haoyu	15.00	0.03	235	0
95	Tao:1	Aristotle	15.00	0.07	237	0
96	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	239	0
97	Mickey Mouse:1	haoyu	15.00	0.01	244	0
98	The Whitman Whale:1	Andrew Grasso	15.00	0.03	244	0
99	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	244	0
100	David H.:1	DeeEmEm	15.00	0.33	247	0
101	Anon5:1	Green "The Bean" Choi	15.00	0.07	257	0
102	Valya Barboy:0	Aristotle	15.00	0.06	272	0
103	Anon_K_P:0	haoyu	15.00	0.02	273	0
104	Tao:0	Bar Shabtai	15.00	0.02	299	0
105	0108:0	jgs	15.00	14.98	307	1
106	Lisa Kim:0	Aristotle	15.00	0.07	322	0
107	Tiny Wings:1	haoyu	15.00	0.01	324	0
108	Mickey Mouse:0	Bar Shabtai	15.00	0.01	325	0
109	Lisa Kim:1	Bar Shabtai	15.00	0.06	326	0
110	CookieMonster:0	CookieMonster	15.00	0.82	351	0
111	AFC:0	CookieMonster	15.00	0.34	352	0
112	Anon5:0	haoyu	15.00	0.05	387	0
113	bfang:1	haoyu	15.00	0.04	392	0
114	Mark S. Fillmore:1	Supahaka	15.00	0.04	399	79
115	Ytterbium:0	Andrew Grasso	15.00	0.02	403	0
116	Yan Wu:1	haoyu	15.00	0.04	413	0
117	jabreezy:1	Mercury	15.00	0.10	422	0
118	NA:0	haoyu	15.00	0.03	430	0
119	kt4124:0	haoyu	15.00	0.03	437	0
120	Fanny:1	Aristotle	15.00	0.12	447	0
121	CookieMonster:1	CookieMonster	15.00	1.10	452	0
122	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	456	0
123	Khoa:0	haoyu	15.00	0.09	456	0
124	jabreezy:0	Mercury	15.00	0.09	476	0
125	Matt Haake:1	haoyu	15.00	0.05	489	0
126	NA:1	Elphaba	15.00	0.04	499	0
127	Glenn Fisher:0	Elphaba	15.00	0.02	507	0
128	Matt Haake:0	haoyu	15.00	0.05	525	0
129	Mercury:1	haoyu	15.00	0.05	530	0
130	kt4124:1	haoyu	15.00	0.04	543	0
131	Glenn Fisher:1	jabreezy	15.00	0.09	547	0
132	Mr. Blobby:1	dusty	15.00	0.12	554	0
133	Mercury:0	haoyu	15.00	0.05	580	0
134	snowflakes:1	haoyu	15.00	0.03	582	0
135	Yacob Y.:0	haoyu	15.00	0.06	617	0
136	Batman:1	haoyu	15.00	0.04	633	0
137	Mark S. Fillmore:0	Supahaka	15.00	0.01	675	116
138	Ben Chen:1	spl	15.00	0.20	705	0
139	Samuel Jerome:0	haoyu	15.00	0.03	712	0
140	Absurdity:0	Aristotle	15.00	0.23	728	0
141	snowflakes:0	haoyu	15.00	0.03	729	0
142	spl:1	haoyu	15.00	0.06	829	0
143	Ben Chen:0	Elphaba	15.00	0.07	830	0
144	Samuel Jerome:1	haoyu	15.00	0.03	868	0
145	Batman:0	haoyu	15.00	0.04	971	0
146	KingBach:1	haoyu	15.00	0.04	1027	0
147	Walter Little:1	haoyu	15.00	0.03	1034	0
148	spl:0	Elphaba	15.00	0.09	1044	0
149	ebp:1	haoyu	15.00	0.04	1072	0
150	EC:0	haoyu	15.00	0.03	1083	0
151	EC:1	haoyu	15.00	0.03	1337	0
152	Sabar Dasgupta:0	spl	15.00	0.23	1531	0
153	Andrew Werner:1	haoyu	15.00	0.11	1727	0
154	dfshasdsf12:0	haoyu	15.00	0.09	1971	0
155	BH:1	haoyu	15.00	0.05	3627	0
156	Brendan Wright:1	Deric Cheng	15.00	0.10	19998	0
157	David Lackey:1	Bar Shabtai	15.00	0.03	184	0
158	Fanny:0	Aristotle	15.00	0.10	399	0
159	soccer:1	haoyu	15.00	0.04	459	0
160	Yan Wu:0	haoyu	15.00	0.05	590	0
161	soccer:0	haoyu	15.00	0.04	604	0
162	KingBach:0	haoyu	15.00	0.06	763	0
163	Ytterbium:1	Nihar the Great	15.00	0.02	767	0
164	Yacob Y.:1	Aristotle	15.00	15.00	803	1
165	Walter Little:0	haoyu	15.00	0.04	920	0
166	Absurdity:1	Aristotle	15.00	0.18	931	0
167	Charliezsc:0	jgs	15.00	14.98	967	1
168	ebp:0	haoyu	15.00	0.04	1025	0
169	Aaron H:1	Aristotle	15.00	0.11	1406	0
170	John Whelchel:1	haoyu	15.00	0.11	1509	0
171	Aaron H:0	Aristotle	15.00	0.11	1611	0
172	John Whelchel:0	haoyu	15.00	0.06	1686	0
173	Lil Thug:0	Andrew Grasso	15.00	0.03	1795	0
174	AFC:1	Aristotle	15.00	0.16	328	0
175	Charliezsc:1	haoyu	15.00	0.07	880	0
176	Sprt:1	haoyu	15.00	0.05	909	0
177	Mike Hunt:0	Aristotle	15.00	0.27	1514	0
178	Andys:1	Aristotle	15.00	0.13	1971	0
179	Sally Smith:1	haoyu	15.00	0.04	460	0
180	Sally Smith:0	haoyu	15.00	0.04	581	0
181	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	1194	0
182	bfang:0	haoyu	15.01	0.04	557	0
183	Mike Hunt:1	Aristotle	15.01	0.29	1568	0
184	Andys:0	Aristotle	15.01	0.12	1660	0
185	Andrew Werner:0	Aaron Doll	15.01	0.33	1674	0
186	DinnerPartyPlannerBM:1	Nihar the Great	15.01	0.06	1478	0
187	Lil Thug:1	Andrew Grasso	15.01	0.03	1665	0
188	Khoa:1	Aristotle	15.01	0.09	746	0
189	burrito:0	haoyu	15.01	0.09	1381	0
190	Linda:1	Andrew Grasso	15.01	0.02	1028	0
191	Sprt:0	Aristotle	15.01	0.11	3833	0
192	BH:0	haoyu	15.02	0.07	4465	0
193	Supahaka:1	Joel Faron	15.02	15.00	153	35
194	CAPS LOCK:0	Aristotle	15.02	0.20	4562	0
195	Brendan Wright:0	haoyu	15.02	0.10	32602	0
196	Dusty:1	Shaheed Chagani	15.06	0.22	290	0
197	Blam:0	Elphaba	15.11	0.00	60	0
198	Elphaba:1	Aristotle	-	0.22	-	0
199	Bar Shabtai:1	haoyu	-	0.12	-	0
200	nupog:1	Aristotle	-	0.12	-	0
201	Shaheed Chagani:0	Aristotle	-	0.17	-	0
202	Jameh:0	haoyu	-	0.01	-	0
203	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
204	Aristotle:1	Aristotle	-	9.69	-	0
205	jgs:1	haoyu	-	0.18	-	0
206	dfshasdsf12:1	Nihar the Great	-	0.11	-	0
207	Sunny:0	Green "The Bean" Choi	-	0.02	-	0
208	DinnerPartyPlannerBM:0	Aristotle	-	0.11	-	0
209	Aaron Doll:0	Aristotle	-	0.56	-	0
210	burrito:1	haoyu	-	0.10	-	0
211	Shaheed Chagani:1	Aristotle	-	0.11	-	0
212	Jameh:1	haoyu	-	0.01	-	0
213	Deric Cheng:1	jgs	-	14.98	-	1
214	13a:0	Aaron Doll	-	15.00	-	21
215	Elphaba:0	Aristotle	-	0.24	-	0
216	Aaron Doll:1	Aristotle	-	1.27	-	0
217	Deric Cheng:0	jgs	-	14.99	-	1
218	jgs:0	Aristotle	-	0.12	-	0
219	R. A. B.:0	Nihar the Great	-	0.00	-	0
220	Nihar the Great:0	Aristotle	-	0.23	-	0
221	CAPS LOCK:1	Aristotle	-	0.25	-	0
222	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
223	nupog:0	Aristotle	-	0.13	-	0
224	Aristotle:0	Aristotle	-	15.00	-	1
225	13a:1	Aaron Doll	-	15.00	-	29
226	Nihar the Great:1	Aristotle	-	0.25	-	0
227	Matt Goldsmith:1	Happy	-	0.03	-	0
228	Sunny:1	jabreezy	-	0.01	-	0

SatSolvers Ranklist

Generators Ranklist