Stats for satsolver: BMJ

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 BMJ 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 BMJ 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:	BMJ
Rank:	86 / 118
Average Score:	13.87
Median Score:	15.00
Description:	This solver implements WalkSAT with the unit clause heuristic.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.01	0.00	0	0
2	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
3	Ravi Tandon:1	KingBach	0.01	0.00	0	0
4	Bebe Shi:1	KingBach	0.02	0.00	0	0
5	Bebe Shi:0	KingBach	0.03	0.00	0	0
6	Mike Honcho:0	Miranda	0.03	0.01	0	0
7	Happy:1	KingBach	0.03	0.00	0	0
8	Mike Honcho:1	Jessie Chen	0.04	0.01	0	0
9	Daffy Duck:1	haoyu	0.10	0.00	0	0
10	BMJ:1	burrito	0.15	0.00	0	0
11	Jonathan Kwok:0	Elphaba	0.24	0.00	0	0
12	Scheduling Generator 203:0	jgs	0.29	0.01	0	0
13	Bob Dondero:0	Andrew Grasso	0.44	0.02	0	0
14	BMJ:0	Elphaba	1.64	0.00	0	0
15	Bob Dondero:1	Mickey Mouse	1.92	0.03	0	0
16	Jonathan Kwok:1	KingBach	2.07	0.00	0	0
17	haoyu:1	Anon5	3.12	0.01	0	0
18	cmF5a3ly:0	Nihar the Great	3.13	0.00	0	0
19	Scheduling Generator 203:1	Jameh	13.98	0.02	0	0
20	bigwig:0	Andrew Werner	15.00	0.00	2	0
21	bigwig:1	KingBach	15.00	0.00	3	0
22	T. Capote:1	haoyu	15.00	0.00	6	2
23	T. Capote:0	haoyu	15.00	0.00	8	2
24	haoyu:0	KingBach	15.00	0.01	13	0
25	Dr Roberto:0	Andrew Grasso	15.00	0.03	15	0
26	Jessie Chen:1	Joel Faron	15.00	0.12	17	1
27	Solving For Clauses:1	haoyu	15.00	0.00	20	0
28	Jessie Chen:0	Joel Faron	15.00	0.13	23	1
29	K.L.:1	KingBach	15.00	0.00	23	0
30	Joshua Zimmer:0	haoyu	15.00	0.00	25	0
31	cmF5a3ly:1	Nihar the Great	15.00	0.00	27	0
32	Joshua Zimmer:1	haoyu	15.00	0.00	27	0
33	K.L.:0	haoyu	15.00	0.00	32	0
34	Happy:0	haoyu	15.00	0.00	35	0
35	Dr Roberto:1	Andrew Grasso	15.00	0.02	36	0
36	The Kraken:1	haoyu	15.00	0.00	38	0
37	R. A. B.:1	cat	15.00	0.00	40	0
38	Qinlan Shen:0	Bar Shabtai	15.00	0.01	42	0
39	Solving For Clauses:0	Glenn Fisher	15.00	0.00	45	0
40	Blam:1	Elphaba	15.00	0.00	47	0
41	Miranda:0	cat	15.00	0.00	49	0
42	David Lackey:1	Bar Shabtai	15.00	0.03	55	0
43	The Kraken:0	haoyu	15.00	0.00	56	0
44	The Whitman Whale:0	bigwig	15.00	0.04	61	0
45	Janie Gu:0	Glenn Fisher	15.00	0.07	64	0
46	Blam:0	Elphaba	15.00	0.00	64	0
47	Janie Gu:1	Jonathan Kwok	15.00	0.07	64	0
48	Tree Prophet:1	haoyu	15.00	0.00	65	0
49	bchouGenerator:1	Jonathan Kwok	15.00	0.01	66	0
50	bchouGenerator:0	haoyu	15.00	0.00	70	0
51	Tree Prophet:0	haoyu	15.00	0.00	71	0
52	Miranda:1	cat	15.00	0.00	71	0
53	Sunny:1	jabreezy	15.00	0.01	71	0
54	Brendan Wright:1	Deric Cheng	15.00	0.10	74	0
55	Sunny:0	Green "The Bean" Choi	15.00	0.02	83	0
56	David Lackey:0	Anon5	15.00	0.03	91	0
57	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	94	0
58	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	95	0
59	Anon_K_P:0	haoyu	15.00	0.02	99	0
60	Keji Xu:1	Nihar the Great	15.00	0.04	104	0
61	Qinlan Shen:1	R. A. B.	15.00	9.00	113	1
62	Boomshanka:0	haoyu	15.00	0.01	116	0
63	R. A. B.:0	Nihar the Great	15.00	0.00	120	0
64	Mark S. Fillmore:1	Supahaka	15.00	0.04	123	79
65	Tom T:1	Andrew Werner	15.00	0.02	124	0
66	Jordan Ash:1	Bar Shabtai	15.00	0.01	126	0
67	David H.:1	DeeEmEm	15.00	0.33	132	0
68	Tiny Wings:1	haoyu	15.00	0.01	137	0
69	Tao:0	Bar Shabtai	15.00	0.02	154	0
70	SuperFan:0	jgs	15.00	14.98	159	4
71	vluu:0	Nihar the Great	15.00	0.01	161	0
72	Anon_K_P:1	Aristotle	15.00	0.03	167	0
73	Tao:1	Aristotle	15.00	0.07	172	0
74	vluu:1	Nihar the Great	15.00	0.02	172	0
75	David Paulk:0	cat	15.00	0.00	172	0
76	David Paulk:1	Bar Shabtai	15.00	0.00	175	0
77	Mickey Mouse:1	haoyu	15.00	0.01	177	0
78	Mark S. Fillmore:0	Supahaka	15.00	0.01	181	116
79	SuperFan:1	jgs	15.00	14.98	181	4
80	Samuel Jerome:0	haoyu	15.00	0.03	184	0
81	Boomshanka:1	Bar Shabtai	15.00	0.01	186	0
82	Mickey Mouse:0	Bar Shabtai	15.00	0.01	191	0
83	0108:1	haoyu	15.00	0.01	200	0
84	Supahaka:0	Andrew Werner	15.00	15.00	205	35
85	DeeEmEm:1	haoyu	15.00	0.02	210	0
86	Supahaka:1	Joel Faron	15.00	15.00	213	35
87	Keji Xu:0	Nihar the Great	15.00	0.03	216	0
88	Quite Satisfied:0	haoyu	15.00	0.00	217	0
89	Jameh:0	haoyu	15.00	0.01	226	0
90	David H.:0	AFC	15.00	0.28	226	0
91	The Whitman Whale:1	Andrew Grasso	15.00	0.03	237	0
92	DeeEmEm:0	CAPS LOCK	15.00	13.00	252	1
93	0108:0	jgs	15.00	14.98	252	1
94	Matt Haake:0	haoyu	15.00	0.05	253	0
95	Matt Haake:1	haoyu	15.00	0.05	270	0
96	Gewang:1	Jonathan Kwok	15.00	0.00	273	0
97	NA:0	haoyu	15.00	0.03	279	0
98	Tom T:0	EC	15.00	0.02	301	0
99	weezy:0	Bar Shabtai	15.00	0.01	314	0
100	Quite Satisfied:1	Joel Faron	15.00	2.11	324	1
101	NA:1	Elphaba	15.00	0.04	367	0
102	Gewang:0	Jonathan Kwok	15.00	0.00	367	0
103	Glenn Fisher:1	jabreezy	15.00	0.09	391	0
104	Tiny Wings:0	haoyu	15.00	0.02	392	0
105	Valya Barboy:0	Aristotle	15.00	0.06	393	0
106	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	436	0
107	Valya Barboy:1	Shaheed Chagani	15.00	0.18	452	0
108	Jameh:1	haoyu	15.00	0.01	472	0
109	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	485	0
110	Samuel Jerome:1	haoyu	15.00	0.03	488	0
111	Andrew Grasso:0	Aaron Doll	15.00	0.18	505	0
112	Linda:0	Andrew Grasso	15.00	0.01	524	0
113	Glenn Fisher:0	Elphaba	15.00	0.02	594	0
114	Dusty:1	Shaheed Chagani	15.00	0.22	615	0
115	snowflakes:0	haoyu	15.00	0.03	615	0
116	Jordan Ash:0	EC	15.00	0.03	615	0
117	snowflakes:1	haoyu	15.00	0.03	735	0
118	Dusty:0	CookieMonster	15.00	1.39	763	0
119	EC:0	haoyu	15.00	0.03	786	0
120	Alex Fish:0	haoyu	15.00	0.01	815	0
121	weezy:1	Bar Shabtai	15.00	0.01	817	0
122	Anon5:1	Green "The Bean" Choi	15.00	0.07	872	0
123	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	875	0
124	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	994	0
125	Alex Fish:1	haoyu	15.00	0.02	1011	0
126	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.00	0.01	1020	0
127	Yan Wu:1	haoyu	15.00	0.04	1031	0
128	Fanny:0	Aristotle	15.00	0.10	1093	0
129	Fanny:1	Aristotle	15.00	0.12	1117	0
130	Yan Wu:0	haoyu	15.00	0.05	1163	0
131	EC:1	haoyu	15.00	0.03	1186	0
132	Mr. Blobby:1	dusty	15.00	0.12	1391	0
133	kt4124:0	haoyu	15.00	0.03	1407	0
134	CookieMonster:0	CookieMonster	15.00	0.82	1465	0
135	kt4124:1	haoyu	15.00	0.04	1543	0
136	Anon5:0	haoyu	15.00	0.05	1556	0
137	Ytterbium:0	Andrew Grasso	15.00	0.02	1576	0
138	cat:1	haoyu	15.00	0.03	1646	0
139	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	1657	0
140	Walter Little:1	haoyu	15.00	0.03	1700	0
141	CookieMonster:1	CookieMonster	15.00	1.10	1749	0
142	Walter Little:0	haoyu	15.00	0.04	1919	0
143	cat:0	haoyu	15.00	0.03	2076	0
144	spl:1	haoyu	15.00	0.06	2377	0
145	Lisa Kim:1	Bar Shabtai	15.00	0.06	2510	0
146	spl:0	Elphaba	15.00	0.09	2579	0
147	AFC:1	Aristotle	15.00	0.16	2762	0
148	George Okeowo:0	Andrew Grasso	15.00	0.01	2878	0
149	George Okeowo:1	Andrew Grasso	15.00	0.01	2908	0
150	Lisa Kim:0	Aristotle	15.00	0.07	2932	0
151	jabreezy:1	Mercury	15.00	0.10	2965	0
152	Sally Smith:1	haoyu	15.00	0.04	3279	0
153	Sally Smith:0	haoyu	15.00	0.04	3286	0
154	nupog:1	Aristotle	15.00	0.12	3814	0
155	jabreezy:0	Mercury	15.00	0.09	3979	0
156	Mercury:0	haoyu	15.00	0.05	4039	0
157	Ytterbium:1	Nihar the Great	15.00	0.02	4049	0
158	AFC:0	CookieMonster	15.00	0.34	4147	0
159	Ben Chen:0	Elphaba	15.00	0.07	4569	0
160	soccer:0	haoyu	15.00	0.04	4879	0
161	bfang:1	haoyu	15.00	0.04	5160	0
162	Ben Chen:1	spl	15.00	0.20	5165	0
163	soccer:1	haoyu	15.00	0.04	5198	0
164	ebp:0	haoyu	15.00	0.04	5269	0
165	ebp:1	haoyu	15.00	0.04	5476	0
166	Mercury:1	haoyu	15.00	0.05	5855	0
167	bfang:0	haoyu	15.00	0.04	5859	0
168	Khoa:0	haoyu	15.00	0.09	6025	0
169	Khoa:1	Aristotle	15.00	0.09	6474	0
170	Yacob Y.:0	haoyu	15.00	0.06	7035	0
171	Absurdity:1	Aristotle	15.00	0.18	7430	0
172	KingBach:1	haoyu	15.00	0.04	7790	0
173	Yacob Y.:1	Aristotle	15.00	15.00	7882	1
174	Absurdity:0	Aristotle	15.00	0.23	7964	0
175	Batman:0	haoyu	15.00	0.04	8135	0
176	Batman:1	haoyu	15.00	0.04	8202	0
177	KingBach:0	haoyu	15.00	0.06	8940	0
178	Sprt:1	haoyu	15.00	0.05	9600	0
179	Charliezsc:0	jgs	15.00	14.98	11357	1
180	Charliezsc:1	haoyu	15.00	0.07	12090	0
181	John Whelchel:1	haoyu	15.00	0.11	15553	0
182	Mike Hunt:0	Aristotle	15.00	0.27	17903	0
183	dfshasdsf12:0	haoyu	15.00	0.09	18814	0
184	Lil Thug:0	Andrew Grasso	15.00	0.03	19130	0
185	Andys:1	Aristotle	15.00	0.13	19751	0
186	Aaron H:0	Aristotle	15.00	0.11	21427	0
187	Aaron H:1	Aristotle	15.00	0.11	22794	0
188	Sprt:0	Aristotle	15.00	0.11	25384	0
189	dfshasdsf12:1	Nihar the Great	15.00	0.11	28094	0
190	Deric Cheng:1	jgs	15.00	14.98	42134	1
191	BH:1	haoyu	15.00	0.05	12780	0
192	Andys:0	Aristotle	15.00	0.12	17655	0
193	John Whelchel:0	haoyu	15.00	0.06	18190	0
194	Lil Thug:1	Andrew Grasso	15.00	0.03	19293	0
195	Andrew Werner:1	haoyu	15.00	0.11	27597	0
196	Shaheed Chagani:1	Aristotle	15.00	0.11	28867	0
197	Bar Shabtai:0	Aaron Doll	15.00	15.01	331791	1
198	Brendan Wright:0	haoyu	15.00	0.10	38	0
199	nupog:0	Aristotle	15.00	0.13	3890	0
200	BH:0	haoyu	15.00	0.07	13501	0
201	burrito:0	haoyu	15.00	0.09	18393	0
202	Mike Hunt:1	Aristotle	15.00	0.29	18888	0
203	Shaheed Chagani:0	Aristotle	15.00	0.17	29587	0
204	Bar Shabtai:1	haoyu	15.00	0.12	37128	0
205	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	43833	0
206	Linda:1	Andrew Grasso	15.00	0.02	1913	0
207	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	11175	0
208	Andrew Werner:0	Aaron Doll	15.00	0.33	26334	0
209	Sabar Dasgupta:0	spl	15.00	0.23	10644	0
210	Deric Cheng:0	jgs	15.00	14.99	41364	1
211	jgs:0	Aristotle	15.01	0.12	46018	0
212	CAPS LOCK:0	Aristotle	15.01	0.20	41799	0
213	Elphaba:0	Aristotle	15.01	0.24	93364	0
214	13a:1	Aaron Doll	15.01	15.00	112786	29
215	DinnerPartyPlannerBM:1	Nihar the Great	15.01	0.06	20043	0
216	13a:0	Aaron Doll	15.01	15.00	107732	21
217	jgs:1	haoyu	15.01	0.18	44887	0
218	CAPS LOCK:1	Aristotle	15.01	0.25	75223	0
219	burrito:1	haoyu	15.01	0.10	36356	0
220	Nihar the Great:0	Aristotle	15.01	0.23	89319	0
221	Aaron Doll:1	Aristotle	15.02	1.27	346083	0
222	Nihar the Great:1	Aristotle	15.02	0.25	104810	0
223	Matt Goldsmith:1	Happy	15.03	0.03	509425	0
224	Elphaba:1	Aristotle	15.04	0.22	91046	0
225	Aaron Doll:0	Aristotle	15.06	0.56	260748	0
226	Matt Goldsmith:0	Nihar the Great	15.08	0.03	518243	0
227	Aristotle:0	Aristotle	15.16	15.00	753981	1
228	Aristotle:1	Aristotle	15.16	9.69	754316	0

SatSolvers Ranklist

Generators Ranklist