Stats for satsolver: Blam

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 Blam 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 Blam 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:	Blam
Rank:	61 / 118
Average Score:	8.95
Median Score:	15.00
Description:	This is an implementation on a variant of WalkSAT. The difference is it does a random restart if the time remaining is 1/3 the time that is allowed by the parameter

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.00	0.00	0	0
3	Bebe Shi:1	KingBach	0.00	0.00	0	0
4	bigwig:0	Andrew Werner	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	Miranda:0	cat	0.01	0.00	0	0
7	Solving For Clauses:1	haoyu	0.01	0.00	0	0
8	Miranda:1	cat	0.01	0.00	0	0
9	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
10	K.L.:1	KingBach	0.01	0.00	0	0
11	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
12	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
13	Daffy Duck:1	haoyu	0.01	0.00	0	0
14	R. A. B.:1	cat	0.01	0.00	0	0
15	Bebe Shi:0	KingBach	0.02	0.00	0	0
16	Blam:0	Elphaba	0.02	0.00	0	0
17	haoyu:1	Anon5	0.02	0.01	0	0
18	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
19	Happy:0	haoyu	0.02	0.00	0	0
20	Mike Honcho:0	Miranda	0.02	0.01	0	0
21	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
22	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
23	Happy:1	KingBach	0.02	0.00	0	0
24	BMJ:0	Elphaba	0.02	0.00	0	0
25	Quite Satisfied:0	haoyu	0.03	0.00	0	0
26	Tree Prophet:0	haoyu	0.03	0.00	0	0
27	David Paulk:0	cat	0.03	0.00	0	0
28	cmF5a3ly:0	Nihar the Great	0.03	0.00	0	0
29	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
30	The Kraken:1	haoyu	0.04	0.00	0	0
31	K.L.:0	haoyu	0.04	0.00	0	0
32	The Kraken:0	haoyu	0.04	0.00	0	0
33	David Paulk:1	Bar Shabtai	0.04	0.00	0	0
34	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
35	Jonathan Kwok:1	KingBach	0.05	0.00	0	0
36	bchouGenerator:0	haoyu	0.05	0.00	0	0
37	Mickey Mouse:1	haoyu	0.05	0.01	0	0
38	Scheduling Generator 203:0	jgs	0.05	0.01	0	0
39	Daffy Duck:0	Andrew Werner	0.05	0.00	0	0
40	R. A. B.:0	Nihar the Great	0.05	0.00	0	0
41	Mickey Mouse:0	Bar Shabtai	0.05	0.01	0	0
42	weezy:1	Bar Shabtai	0.06	0.01	0	0
43	BMJ:1	burrito	0.06	0.00	0	0
44	Tree Prophet:1	haoyu	0.06	0.00	0	0
45	haoyu:0	KingBach	0.06	0.01	0	0
46	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.06	0.01	0	0
47	Tom T:0	EC	0.07	0.02	0	0
48	weezy:0	Bar Shabtai	0.07	0.01	0	0
49	Tom T:1	Andrew Werner	0.07	0.02	0	0
50	Dr Roberto:1	Andrew Grasso	0.08	0.02	0	0
51	Qinlan Shen:0	Bar Shabtai	0.08	0.01	0	0
52	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.09	0.01	0	0
53	Jonathan Kwok:0	Elphaba	0.09	0.00	0	0
54	Bob Dondero:0	Andrew Grasso	0.10	0.02	0	0
55	Dr Roberto:0	Andrew Grasso	0.11	0.03	0	0
56	vluu:1	Nihar the Great	0.11	0.02	0	0
57	Jameh:0	haoyu	0.11	0.01	0	0
58	Jordan Ash:1	Bar Shabtai	0.12	0.01	0	0
59	Linda:0	Andrew Grasso	0.12	0.01	0	0
60	vluu:0	Nihar the Great	0.14	0.01	0	0
61	bchouGenerator:1	Jonathan Kwok	0.15	0.01	0	0
62	Ytterbium:0	Andrew Grasso	0.15	0.02	0	0
63	Blam:1	Elphaba	0.19	0.00	0	0
64	Linda:1	Andrew Grasso	0.23	0.02	0	0
65	The Whitman Whale:1	Andrew Grasso	0.27	0.03	0	0
66	The Whitman Whale:0	bigwig	0.28	0.04	0	0
67	Boomshanka:0	haoyu	0.31	0.01	0	0
68	Jameh:1	haoyu	0.34	0.01	0	0
69	Ytterbium:1	Nihar the Great	0.37	0.02	0	0
70	George Okeowo:0	Andrew Grasso	0.41	0.01	0	0
71	Bob Dondero:1	Mickey Mouse	0.42	0.03	0	0
72	George Okeowo:1	Andrew Grasso	0.42	0.01	0	0
73	Tiny Wings:1	haoyu	0.46	0.01	0	0
74	Sunny:0	Green "The Bean" Choi	0.53	0.02	0	0
75	Janie Gu:1	Jonathan Kwok	0.74	0.07	0	0
76	Boomshanka:1	Bar Shabtai	0.85	0.01	0	0
77	DeeEmEm:1	haoyu	0.92	0.02	0	0
78	kt4124:0	haoyu	1.17	0.03	0	0
79	Sunny:1	jabreezy	1.27	0.01	0	0
80	Janie Gu:0	Glenn Fisher	1.31	0.07	0	0
81	Tiny Wings:0	haoyu	1.33	0.02	0	0
82	Keji Xu:0	Nihar the Great	1.36	0.03	0	0
83	cat:0	haoyu	1.77	0.03	0	0
84	cat:1	haoyu	1.88	0.03	0	0
85	kt4124:1	haoyu	2.09	0.04	0	0
86	Lisa Kim:1	Bar Shabtai	2.29	0.06	0	0
87	Sprt:1	haoyu	2.48	0.05	0	0
88	Khoa:1	Aristotle	2.84	0.09	0	0
89	Khoa:0	haoyu	3.17	0.09	0	0
90	DinnerPartyPlannerBM:1	Nihar the Great	4.08	0.06	0	0
91	soccer:0	haoyu	4.72	0.04	0	0
92	Lisa Kim:0	Aristotle	5.62	0.07	0	0
93	dfshasdsf12:0	haoyu	5.91	0.09	0	0
94	Sally Smith:0	haoyu	6.57	0.04	0	0
95	Lil Thug:1	Andrew Grasso	7.19	0.03	0	0
96	Lil Thug:0	Andrew Grasso	8.54	0.03	0	0
97	Brendan Wright:1	Deric Cheng	9.95	0.10	0	0
98	Keji Xu:1	Nihar the Great	11.66	0.04	0	0
99	Sprt:0	Aristotle	12.07	0.11	0	0
100	Sally Smith:1	haoyu	12.47	0.04	0	0
101	KingBach:1	haoyu	13.82	0.04	0	0
102	Alex Fish:1	haoyu	14.14	0.02	0	0
103	dfshasdsf12:1	Nihar the Great	14.60	0.11	0	0
104	T. Capote:0	haoyu	15.00	0.00	2	2
105	T. Capote:1	haoyu	15.00	0.00	3	2
106	Qinlan Shen:1	R. A. B.	15.00	9.00	4	1
107	Quite Satisfied:1	Joel Faron	15.00	2.11	5	1
108	CookieMonster:0	CookieMonster	15.00	0.82	6	0
109	CookieMonster:1	CookieMonster	15.00	1.10	6	0
110	bfang:0	haoyu	15.00	0.04	7	0
111	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	9	0
112	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	10	0
113	Jessie Chen:1	Joel Faron	15.00	0.12	11	1
114	DeeEmEm:0	CAPS LOCK	15.00	13.00	11	1
115	Tao:1	Aristotle	15.00	0.07	12	0
116	soccer:1	haoyu	15.00	0.04	12	0
117	0108:1	haoyu	15.00	0.01	12	0
118	0108:0	jgs	15.00	14.98	13	1
119	Tao:0	Bar Shabtai	15.00	0.02	13	0
120	Jessie Chen:0	Joel Faron	15.00	0.13	14	1
121	Alex Fish:0	haoyu	15.00	0.01	15	0
122	Valya Barboy:1	Shaheed Chagani	15.00	0.18	17	0
123	Anon5:1	Green "The Bean" Choi	15.00	0.07	19	0
124	Anon_K_P:1	Aristotle	15.00	0.03	19	0
125	Jordan Ash:0	EC	15.00	0.03	20	0
126	Anon_K_P:0	haoyu	15.00	0.02	21	0
127	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	22	0
128	David H.:1	DeeEmEm	15.00	0.33	23	0
129	Valya Barboy:0	Aristotle	15.00	0.06	24	0
130	David H.:0	AFC	15.00	0.28	27	0
131	AFC:1	Aristotle	15.00	0.16	29	0
132	Andys:1	Aristotle	15.00	0.13	30	0
133	Sabar Dasgupta:0	spl	15.00	0.23	30	0
134	Samuel Jerome:1	haoyu	15.00	0.03	31	0
135	SuperFan:1	jgs	15.00	14.98	32	4
136	ebp:1	haoyu	15.00	0.04	35	0
137	Fanny:1	Aristotle	15.00	0.12	35	0
138	SuperFan:0	jgs	15.00	14.98	41	4
139	ebp:0	haoyu	15.00	0.04	42	0
140	Absurdity:1	Aristotle	15.00	0.18	48	0
141	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	48	0
142	Supahaka:0	Andrew Werner	15.00	15.00	50	35
143	Supahaka:1	Joel Faron	15.00	15.00	50	35
144	Dusty:0	CookieMonster	15.00	1.39	52	0
145	Andrew Grasso:0	Aaron Doll	15.00	0.18	54	0
146	Fanny:0	Aristotle	15.00	0.10	56	0
147	Mr. Blobby:1	dusty	15.00	0.12	60	0
148	Ben Chen:1	spl	15.00	0.20	62	0
149	spl:0	Elphaba	15.00	0.09	65	0
150	Walter Little:0	haoyu	15.00	0.04	67	0
151	Glenn Fisher:1	jabreezy	15.00	0.09	67	0
152	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	70	0
153	Dusty:1	Shaheed Chagani	15.00	0.22	70	0
154	Ben Chen:0	Elphaba	15.00	0.07	73	0
155	David Lackey:0	Anon5	15.00	0.03	78	0
156	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
157	Yan Wu:0	haoyu	15.00	0.05	81	0
158	Glenn Fisher:0	Elphaba	15.00	0.02	89	0
159	Walter Little:1	haoyu	15.00	0.03	96	0
160	Matt Haake:0	haoyu	15.00	0.05	109	0
161	NA:1	Elphaba	15.00	0.04	111	0
162	Mark S. Fillmore:0	Supahaka	15.00	0.01	117	116
163	NA:0	haoyu	15.00	0.03	126	0
164	Matt Haake:1	haoyu	15.00	0.05	157	0
165	snowflakes:1	haoyu	15.00	0.03	158	0
166	snowflakes:0	haoyu	15.00	0.03	172	0
167	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	645	0
168	BH:0	haoyu	15.00	0.07	940	0
169	Shaheed Chagani:1	Aristotle	15.00	0.11	4515	0
170	Bar Shabtai:1	haoyu	15.00	0.12	14242	0
171	Bar Shabtai:0	Aaron Doll	15.00	15.01	334302	1
172	bfang:1	haoyu	15.00	0.04	14	0
173	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	15	0
174	jabreezy:0	Mercury	15.00	0.09	21	0
175	jabreezy:1	Mercury	15.00	0.10	22	0
176	Samuel Jerome:0	haoyu	15.00	0.03	23	0
177	EC:0	haoyu	15.00	0.03	24	0
178	John Whelchel:1	haoyu	15.00	0.11	25	0
179	EC:1	haoyu	15.00	0.03	26	0
180	Anon5:0	haoyu	15.00	0.05	26	0
181	AFC:0	CookieMonster	15.00	0.34	27	0
182	Yan Wu:1	haoyu	15.00	0.04	80	0
183	BH:1	haoyu	15.00	0.05	823	0
184	nupog:0	Aristotle	15.00	0.13	2830	0
185	nupog:1	Aristotle	15.00	0.12	2992	0
186	Shaheed Chagani:0	Aristotle	15.00	0.17	5390	0
187	Aaron Doll:0	Aristotle	15.00	0.56	258101	0
188	Brendan Wright:0	haoyu	15.00	0.10	7	0
189	Mercury:0	haoyu	15.00	0.05	30	0
190	spl:1	haoyu	15.00	0.06	54	0
191	Yacob Y.:0	haoyu	15.00	0.06	37	0
192	Deric Cheng:0	jgs	15.00	14.99	880	1
193	jgs:1	haoyu	15.00	0.18	12174	0
194	Nihar the Great:1	Aristotle	15.00	0.25	23723	0
195	Charliezsc:0	jgs	15.01	14.98	12	1
196	Yacob Y.:1	Aristotle	15.01	15.00	42	1
197	jgs:0	Aristotle	15.01	0.12	11085	0
198	KingBach:0	haoyu	15.01	0.06	17	0
199	Mercury:1	haoyu	15.01	0.05	36	0
200	Batman:1	haoyu	15.01	0.04	5	0
201	Charliezsc:1	haoyu	15.01	0.07	17	0
202	Absurdity:0	Aristotle	15.01	0.23	80	0
203	Batman:0	haoyu	15.01	0.04	8	0
204	Sabar Dasgupta:1	Aaron Doll	15.01	0.17	35	0
205	David Lackey:1	Bar Shabtai	15.01	0.03	89	0
206	Nihar the Great:0	Aristotle	15.02	0.23	23312	0
207	13a:0	Aaron Doll	15.02	15.00	91942	21
208	Andys:0	Aristotle	15.02	0.12	33	0
209	burrito:0	haoyu	15.02	0.09	24	0
210	Elphaba:1	Aristotle	15.02	0.22	57810	0
211	Deric Cheng:1	jgs	15.02	14.98	2277	1
212	Mike Hunt:0	Aristotle	15.02	0.27	30	0
213	Mike Hunt:1	Aristotle	15.02	0.29	53	0
214	Aaron H:1	Aristotle	15.03	0.11	27	0
215	Aaron H:0	Aristotle	15.03	0.11	16	0
216	Elphaba:0	Aristotle	15.03	0.24	73264	0
217	Andrew Werner:1	haoyu	15.04	0.11	6	0
218	Matt Goldsmith:0	Nihar the Great	15.04	0.03	509457	0
219	Andrew Werner:0	Aaron Doll	15.05	0.33	35	0
220	burrito:1	haoyu	15.05	0.10	339	0
221	John Whelchel:0	haoyu	15.06	0.06	23	0
222	13a:1	Aaron Doll	15.06	15.00	100119	29
223	Matt Goldsmith:1	Happy	15.06	0.03	510797	0
224	CAPS LOCK:1	Aristotle	15.07	0.25	10400	0
225	Aaron Doll:1	Aristotle	15.12	1.27	335628	0
226	Aristotle:0	Aristotle	15.12	15.00	735055	1
227	Aristotle:1	Aristotle	15.12	9.69	758352	0
228	CAPS LOCK:0	Aristotle	15.21	0.20	12	0

SatSolvers Ranklist

Generators Ranklist