Stats for satsolver: 13a

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 13a 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 13a 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:	13a
Rank:	41 / 118
Average Score:	6.65
Median Score:	1.68
Description:	First, the solver looks for pure symbols and unit clauses. Then it does WalkSAT for a certain time, after which it changes to a different algorithm that is like WalkSAT, but looks at the shortest unsatisfied clauses. The more time the algorithm has run, the more random flips it does at a time.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	David Paulk:1	Bar Shabtai	0.00	0.00	0	0
3	K.L.:1	KingBach	0.00	0.00	0	0
4	Happy:1	KingBach	0.00	0.00	0	0
5	Miranda:1	cat	0.00	0.00	0	0
6	R. A. B.:0	Nihar the Great	0.00	0.00	0	0
7	bigwig:1	KingBach	0.00	0.00	0	0
8	Bebe Shi:0	KingBach	0.00	0.00	0	0
9	Miranda:0	cat	0.00	0.00	0	0
10	R. A. B.:1	cat	0.00	0.00	0	0
11	Bebe Shi:1	KingBach	0.00	0.00	0	0
12	David Paulk:0	cat	0.00	0.00	0	0
13	K.L.:0	haoyu	0.00	0.00	0	0
14	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
15	Gewang:0	Jonathan Kwok	0.00	0.00	0	0
16	Ravi Tandon:0	KingBach	0.01	0.00	0	0
17	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
18	Tree Prophet:0	haoyu	0.01	0.00	0	0
19	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
20	bchouGenerator:0	haoyu	0.01	0.00	0	0
21	Daffy Duck:1	haoyu	0.01	0.00	0	0
22	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
23	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
24	Tree Prophet:1	haoyu	0.01	0.00	0	0
25	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
26	Quite Satisfied:0	haoyu	0.01	0.00	0	0
27	Ravi Tandon:1	KingBach	0.01	0.00	0	0
28	Solving For Clauses:1	haoyu	0.01	0.00	0	0
29	Happy:0	haoyu	0.01	0.00	0	0
30	BMJ:1	burrito	0.01	0.00	0	0
31	George Okeowo:1	Andrew Grasso	0.01	0.01	0	0
32	BMJ:0	Elphaba	0.01	0.00	0	0
33	The Kraken:1	haoyu	0.01	0.00	0	0
34	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
35	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
36	weezy:1	Bar Shabtai	0.02	0.01	0	0
37	George Okeowo:0	Andrew Grasso	0.02	0.01	0	0
38	The Kraken:0	haoyu	0.02	0.00	0	0
39	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.02	0.01	0	0
40	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.02	0.01	0	0
41	Mickey Mouse:1	haoyu	0.03	0.01	0	0
42	Jameh:0	haoyu	0.03	0.01	0	0
43	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
44	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
45	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
46	weezy:0	Bar Shabtai	0.04	0.01	0	0
47	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
48	The Whitman Whale:0	bigwig	0.05	0.04	0	0
49	Boomshanka:0	haoyu	0.06	0.01	0	0
50	Scheduling Generator 203:1	Jameh	0.07	0.02	0	0
51	Jameh:1	haoyu	0.07	0.01	0	0
52	vluu:0	Nihar the Great	0.07	0.01	0	0
53	vluu:1	Nihar the Great	0.07	0.02	0	0
54	David Lackey:1	Bar Shabtai	0.09	0.03	0	0
55	Keji Xu:1	Nihar the Great	0.09	0.04	0	0
56	Ytterbium:0	Andrew Grasso	0.10	0.02	0	0
57	Tom T:0	EC	0.10	0.02	0	0
58	cat:1	haoyu	0.10	0.03	0	0
59	Tom T:1	Andrew Werner	0.11	0.02	0	0
60	David Lackey:0	Anon5	0.11	0.03	0	0
61	Mike Honcho:0	Miranda	0.12	0.01	0	0
62	Matt Goldsmith:0	Nihar the Great	0.12	0.03	0	0
63	Mike Honcho:1	Jessie Chen	0.12	0.01	0	0
64	Matt Goldsmith:1	Happy	0.12	0.03	0	0
65	Dr Roberto:0	Andrew Grasso	0.13	0.03	0	0
66	Ytterbium:1	Nihar the Great	0.13	0.02	0	0
67	Dr Roberto:1	Andrew Grasso	0.13	0.02	0	0
68	Bob Dondero:1	Mickey Mouse	0.14	0.03	0	0
69	Jordan Ash:1	Bar Shabtai	0.14	0.01	0	0
70	Lisa Kim:1	Bar Shabtai	0.15	0.06	0	0
71	Lisa Kim:0	Aristotle	0.15	0.07	0	0
72	Keji Xu:0	Nihar the Great	0.15	0.03	0	0
73	Bob Dondero:0	Andrew Grasso	0.17	0.02	0	0
74	Nikhilesh Sigatapu:0	haoyu	0.20	0.03	0	0
75	Jordan Ash:0	EC	0.22	0.03	0	0
76	Mercury:1	haoyu	0.26	0.05	0	0
77	cat:0	haoyu	0.27	0.03	0	0
78	Alex Fish:0	haoyu	0.31	0.01	0	0
79	Yan Wu:0	haoyu	0.32	0.05	0	0
80	Sally Smith:0	haoyu	0.32	0.04	0	0
81	Anon_K_P:1	Aristotle	0.37	0.03	0	0
82	0108:1	haoyu	0.38	0.01	0	0
83	bfang:0	haoyu	0.49	0.04	0	0
84	KingBach:1	haoyu	0.52	0.04	0	0
85	Alex Fish:1	haoyu	0.59	0.02	0	0
86	Nikhilesh Sigatapu:1	haoyu	0.68	0.04	0	0
87	Mercury:0	haoyu	0.69	0.05	0	0
88	Anon_K_P:0	haoyu	0.74	0.02	0	0
89	Sprt:1	haoyu	0.84	0.05	0	0
90	Linda:0	Andrew Grasso	0.91	0.01	0	0
91	soccer:0	haoyu	0.99	0.04	0	0
92	Blam:0	Elphaba	1.01	0.00	0	0
93	haoyu:1	Anon5	1.01	0.01	0	0
94	Jonathan Kwok:0	Elphaba	1.01	0.00	0	0
95	haoyu:0	KingBach	1.01	0.01	0	0
96	Blam:1	Elphaba	1.01	0.00	0	0
97	Qinlan Shen:0	Bar Shabtai	1.05	0.01	0	0
98	kt4124:0	haoyu	1.05	0.03	0	0
99	soccer:1	haoyu	1.06	0.04	0	0
100	The Whitman Whale:1	Andrew Grasso	1.06	0.03	0	0
101	Tiny Wings:1	haoyu	1.11	0.01	0	0
102	Batman:0	haoyu	1.15	0.04	0	0
103	Batman:1	haoyu	1.17	0.04	0	0
104	Tiny Wings:0	haoyu	1.20	0.02	0	0
105	Khoa:1	Aristotle	1.28	0.09	0	0
106	DeeEmEm:1	haoyu	1.31	0.02	0	0
107	Matt Haake:1	haoyu	1.42	0.05	0	0
108	Sunny:0	Green "The Bean" Choi	1.43	0.02	0	0
109	Janie Gu:1	Jonathan Kwok	1.45	0.07	0	0
110	Linda:1	Andrew Grasso	1.47	0.02	0	0
111	bfang:1	haoyu	1.51	0.04	0	0
112	Janie Gu:0	Glenn Fisher	1.53	0.07	0	0
113	Tao:0	Bar Shabtai	1.53	0.02	0	0
114	Samuel Jerome:1	haoyu	1.68	0.03	0	0
115	Sally Smith:1	haoyu	1.69	0.04	0	0
116	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	1.72	0.01	0	0
117	kt4124:1	haoyu	1.78	0.04	0	0
118	Khoa:0	haoyu	1.91	0.09	0	0
119	Tao:1	Aristotle	1.94	0.07	0	0
120	Sunny:1	jabreezy	2.31	0.01	0	0
121	Yacob Y.:0	haoyu	2.40	0.06	0	0
122	Samuel Jerome:0	haoyu	3.08	0.03	0	0
123	Andrew Grasso:0	Aaron Doll	3.49	0.18	0	0
124	KingBach:0	haoyu	3.94	0.06	0	0
125	Sabar Dasgupta:0	spl	4.76	0.23	0	0
126	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	4.90	0.00	0	0
127	John Whelchel:0	haoyu	4.99	0.06	0	0
128	Mr. Blobby:0	Green "The Bean" Choi	5.54	0.14	0	0
129	Sprt:0	Aristotle	5.62	0.11	0	0
130	Andrew Grasso:1	Shaheed Chagani	5.82	0.15	0	0
131	Lil Thug:1	Andrew Grasso	6.66	0.03	0	0
132	dfshasdsf12:0	haoyu	7.04	0.09	0	0
133	burrito:0	haoyu	7.26	0.09	0	0
134	DinnerPartyPlannerBM:1	Nihar the Great	7.79	0.06	0	0
135	Sabar Dasgupta:1	Aaron Doll	8.77	0.17	0	0
136	Lil Thug:0	Andrew Grasso	9.11	0.03	0	0
137	Anon5:1	Green "The Bean" Choi	11.45	0.07	0	0
138	Aaron H:1	Aristotle	12.91	0.11	0	0
139	Aaron H:0	Aristotle	13.47	0.11	0	0
140	Mike Hunt:1	Aristotle	15.00	0.29	0	0
141	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
142	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
143	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
144	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
145	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
146	0108:0	jgs	15.00	14.98	1	1
147	T. Capote:0	haoyu	15.00	0.00	2	2
148	T. Capote:1	haoyu	15.00	0.00	2	2
149	SuperFan:1	jgs	15.00	14.98	4	4
150	Supahaka:0	Andrew Werner	15.00	15.00	35	35
151	Supahaka:1	Joel Faron	15.00	15.00	35	35
152	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
153	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
154	Fanny:0	Aristotle	15.00	0.10	1	0
155	David H.:1	DeeEmEm	15.00	0.33	1	0
156	Valya Barboy:1	Shaheed Chagani	15.00	0.18	1	0
157	John Whelchel:1	haoyu	15.00	0.11	1	0
158	Brendan Wright:0	haoyu	15.00	0.10	1	0
159	David H.:0	AFC	15.00	0.28	1	0
160	CookieMonster:0	CookieMonster	15.00	0.82	1	0
161	Fanny:1	Aristotle	15.00	0.12	1	0
162	Brendan Wright:1	Deric Cheng	15.00	0.10	1	0
163	CookieMonster:1	CookieMonster	15.00	1.10	1	0
164	Yan Wu:1	haoyu	15.00	0.04	1	0
165	Valya Barboy:0	Aristotle	15.00	0.06	1	0
166	Glenn Fisher:0	Elphaba	15.00	0.02	2	0
167	Dusty:1	Shaheed Chagani	15.00	0.22	2	0
168	EC:1	haoyu	15.00	0.03	2	0
169	Charliezsc:0	jgs	15.00	14.98	2	1
170	AFC:1	Aristotle	15.00	0.16	2	0
171	Mr. Blobby:1	dusty	15.00	0.12	2	0
172	Absurdity:0	Aristotle	15.00	0.23	2	0
173	EC:0	haoyu	15.00	0.03	2	0
174	Charliezsc:1	haoyu	15.00	0.07	3	0
175	Anon5:0	haoyu	15.00	0.05	3	0
176	spl:0	Elphaba	15.00	0.09	3	0
177	Absurdity:1	Aristotle	15.00	0.18	3	0
178	spl:1	haoyu	15.00	0.06	3	0
179	Walter Little:1	haoyu	15.00	0.03	4	0
180	Glenn Fisher:1	jabreezy	15.00	0.09	4	0
181	AFC:0	CookieMonster	15.00	0.34	4	0
182	Ben Chen:1	spl	15.00	0.20	4	0
183	Walter Little:0	haoyu	15.00	0.04	6	0
184	Ben Chen:0	Elphaba	15.00	0.07	6	0
185	Mike Hunt:0	Aristotle	15.00	0.27	6	0
186	Dusty:0	CookieMonster	15.00	1.39	6	0
187	SuperFan:0	jgs	15.00	14.98	6	4
188	Andrew Werner:0	Aaron Doll	15.00	0.33	8	0
189	Matt Haake:0	haoyu	15.00	0.05	8	0
190	NA:0	haoyu	15.00	0.03	9	0
191	NA:1	Elphaba	15.00	0.04	11	0
192	Andrew Werner:1	haoyu	15.00	0.11	11	0
193	Andys:0	Aristotle	15.00	0.12	12	0
194	Andys:1	Aristotle	15.00	0.13	13	0
195	snowflakes:1	haoyu	15.00	0.03	14	0
196	Yacob Y.:1	Aristotle	15.00	15.00	14	1
197	Bar Shabtai:1	haoyu	15.00	0.12	15	0
198	ebp:0	haoyu	15.00	0.04	17	0
199	ebp:1	haoyu	15.00	0.04	17	0
200	snowflakes:0	haoyu	15.00	0.03	20	0
201	jabreezy:0	Mercury	15.00	0.09	20	0
202	jabreezy:1	Mercury	15.00	0.10	22	0
203	Deric Cheng:1	jgs	15.00	14.98	25	1
204	Deric Cheng:0	jgs	15.00	14.99	27	1
205	dfshasdsf12:1	Nihar the Great	15.00	0.11	31	0
206	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	37	0
207	jgs:1	haoyu	15.00	0.18	72	0
208	Aristotle:1	Aristotle	15.00	9.69	112	0
209	Aristotle:0	Aristotle	15.00	15.00	112	1
210	13a:1	Aaron Doll	15.00	15.00	132	29
211	burrito:1	haoyu	15.00	0.10	150	0
212	BH:0	haoyu	15.00	0.07	200	0
213	BH:1	haoyu	15.00	0.05	200	0
214	Shaheed Chagani:1	Aristotle	15.00	0.11	427	0
215	Shaheed Chagani:0	Aristotle	15.00	0.17	437	0
216	nupog:1	Aristotle	15.00	0.12	532	0
217	nupog:0	Aristotle	15.00	0.13	836	0
218	CAPS LOCK:1	Aristotle	15.00	0.25	2110	0
219	Elphaba:1	Aristotle	15.00	0.22	51	0
220	Nihar the Great:0	Aristotle	15.00	0.23	989	0
221	jgs:0	Aristotle	15.00	0.12	62	0
222	13a:0	Aaron Doll	15.00	15.00	127	21
223	Elphaba:0	Aristotle	15.00	0.24	52	0
224	CAPS LOCK:0	Aristotle	15.00	0.20	1214	0
225	Nihar the Great:1	Aristotle	15.00	0.25	993	0
226	Aaron Doll:1	Aristotle	15.01	1.27	158	0
227	Bar Shabtai:0	Aaron Doll	15.01	15.01	84	1
228	Aaron Doll:0	Aristotle	15.01	0.56	156	0

SatSolvers Ranklist

Generators Ranklist