Stats for satsolver: Mr. Blobby

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 Mr. Blobby 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 Mr. Blobby 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:	Mr. Blobby
Rank:	27 / 118
Average Score:	5.34
Median Score:	0.62
Description:	Mr. Blobby's SAT solver is an implementation of WalkSat that random walks with probability 0.5 and random restarts if no solution is found within 6 seconds of last search.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	Bebe Shi:0	KingBach	0.00	0.00	0	0
4	K.L.:1	KingBach	0.00	0.00	0	0
5	bigwig:0	Andrew Werner	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	Solving For Clauses:1	haoyu	0.00	0.00	0	0
8	Miranda:0	cat	0.00	0.00	0	0
9	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
10	Miranda:1	cat	0.01	0.00	0	0
11	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
12	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
13	Bebe Shi:1	KingBach	0.01	0.00	0	0
14	haoyu:0	KingBach	0.01	0.01	0	0
15	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
16	Blam:0	Elphaba	0.01	0.00	0	0
17	BMJ:1	burrito	0.01	0.00	0	0
18	haoyu:1	Anon5	0.01	0.01	0	0
19	R. A. B.:1	cat	0.01	0.00	0	0
20	Happy:1	KingBach	0.01	0.00	0	0
21	bchouGenerator:0	haoyu	0.01	0.00	0	0
22	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
23	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
24	Daffy Duck:1	haoyu	0.01	0.00	0	0
25	The Kraken:1	haoyu	0.01	0.00	0	0
26	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
27	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
28	David Paulk:0	cat	0.01	0.00	0	0
29	Quite Satisfied:0	haoyu	0.01	0.00	0	0
30	The Kraken:0	haoyu	0.01	0.00	0	0
31	Tree Prophet:0	haoyu	0.01	0.00	0	0
32	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
33	BMJ:0	Elphaba	0.01	0.00	0	0
34	K.L.:0	haoyu	0.01	0.00	0	0
35	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
36	Mike Honcho:0	Miranda	0.02	0.01	0	0
37	Happy:0	haoyu	0.02	0.00	0	0
38	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
39	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
40	Blam:1	Elphaba	0.02	0.00	0	0
41	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
42	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
43	Tree Prophet:1	haoyu	0.02	0.00	0	0
44	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
45	Mickey Mouse:1	haoyu	0.03	0.01	0	0
46	weezy:1	Bar Shabtai	0.03	0.01	0	0
47	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
48	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
49	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
50	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
51	0108:1	haoyu	0.03	0.01	0	0
52	Jameh:0	haoyu	0.04	0.01	0	0
53	weezy:0	Bar Shabtai	0.04	0.01	0	0
54	Tom T:1	Andrew Werner	0.04	0.02	0	0
55	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
56	Dr Roberto:1	Andrew Grasso	0.04	0.02	0	0
57	Tom T:0	EC	0.05	0.02	0	0
58	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.05	0.01	0	0
59	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.06	0.01	0	0
60	The Whitman Whale:0	bigwig	0.06	0.04	0	0
61	Boomshanka:0	haoyu	0.06	0.01	0	0
62	Alex Fish:0	haoyu	0.06	0.01	0	0
63	Ytterbium:0	Andrew Grasso	0.06	0.02	0	0
64	Tiny Wings:0	haoyu	0.07	0.02	0	0
65	David Lackey:1	Bar Shabtai	0.07	0.03	0	0
66	DeeEmEm:1	haoyu	0.07	0.02	0	0
67	Jordan Ash:0	EC	0.07	0.03	0	0
68	cat:1	haoyu	0.08	0.03	0	0
69	vluu:1	Nihar the Great	0.09	0.02	0	0
70	David Lackey:0	Anon5	0.09	0.03	0	0
71	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
72	Anon_K_P:0	haoyu	0.09	0.02	0	0
73	vluu:0	Nihar the Great	0.09	0.01	0	0
74	Dr Roberto:0	Andrew Grasso	0.09	0.03	0	0
75	cat:0	haoyu	0.10	0.03	0	0
76	Alex Fish:1	haoyu	0.10	0.02	0	0
77	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.10	0.01	0	0
78	Jameh:1	haoyu	0.10	0.01	0	0
79	Tiny Wings:1	haoyu	0.11	0.01	0	0
80	Tao:0	Bar Shabtai	0.11	0.02	0	0
81	Sunny:1	jabreezy	0.13	0.01	0	0
82	Janie Gu:0	Glenn Fisher	0.14	0.07	0	0
83	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.14	0.00	0	0
84	Fanny:0	Aristotle	0.16	0.10	0	0
85	Nikhilesh Sigatapu:0	haoyu	0.16	0.03	0	0
86	Keji Xu:0	Nihar the Great	0.18	0.03	0	0
87	Keji Xu:1	Nihar the Great	0.18	0.04	0	0
88	Nikhilesh Sigatapu:1	haoyu	0.19	0.04	0	0
89	Ytterbium:1	Nihar the Great	0.20	0.02	0	0
90	Sunny:0	Green "The Bean" Choi	0.22	0.02	0	0
91	Samuel Jerome:1	haoyu	0.23	0.03	0	0
92	Bob Dondero:0	Andrew Grasso	0.24	0.02	0	0
93	George Okeowo:1	Andrew Grasso	0.25	0.01	0	0
94	Linda:0	Andrew Grasso	0.25	0.01	0	0
95	George Okeowo:0	Andrew Grasso	0.26	0.01	0	0
96	Lisa Kim:1	Bar Shabtai	0.26	0.06	0	0
97	Lisa Kim:0	Aristotle	0.28	0.07	0	0
98	Matt Haake:0	haoyu	0.30	0.05	0	0
99	Glenn Fisher:0	Elphaba	0.31	0.02	0	0
100	Yan Wu:0	haoyu	0.35	0.05	0	0
101	Bob Dondero:1	Mickey Mouse	0.36	0.03	0	0
102	Anon_K_P:1	Aristotle	0.36	0.03	0	0
103	kt4124:0	haoyu	0.40	0.03	0	0
104	Sally Smith:0	haoyu	0.40	0.04	0	0
105	kt4124:1	haoyu	0.40	0.04	0	0
106	Samuel Jerome:0	haoyu	0.41	0.03	0	0
107	Janie Gu:1	Jonathan Kwok	0.42	0.07	0	0
108	Mercury:1	haoyu	0.48	0.05	0	0
109	Sally Smith:1	haoyu	0.48	0.04	0	0
110	Tao:1	Aristotle	0.49	0.07	0	0
111	bfang:0	haoyu	0.50	0.04	0	0
112	bfang:1	haoyu	0.53	0.04	0	0
113	Mercury:0	haoyu	0.60	0.05	0	0
114	Valya Barboy:0	Aristotle	0.62	0.06	0	0
115	KingBach:1	haoyu	0.71	0.04	0	0
116	Batman:0	haoyu	0.72	0.04	0	0
117	Linda:1	Andrew Grasso	0.74	0.02	0	0
118	Batman:1	haoyu	0.80	0.04	0	0
119	KingBach:0	haoyu	0.81	0.06	0	0
120	Yan Wu:1	haoyu	0.84	0.04	0	0
121	Anon5:1	Green "The Bean" Choi	1.05	0.07	0	0
122	Khoa:0	haoyu	1.16	0.09	0	0
123	NA:1	Elphaba	1.18	0.04	0	0
124	Mr. Blobby:1	dusty	1.18	0.12	0	0
125	Ben Chen:0	Elphaba	1.26	0.07	0	0
126	Matt Haake:1	haoyu	1.28	0.05	0	0
127	Sprt:1	haoyu	1.33	0.05	0	0
128	Khoa:1	Aristotle	1.34	0.09	0	0
129	soccer:1	haoyu	1.40	0.04	0	0
130	soccer:0	haoyu	1.65	0.04	0	0
131	Mr. Blobby:0	Green "The Bean" Choi	1.72	0.14	0	0
132	Valya Barboy:1	Shaheed Chagani	1.79	0.18	0	0
133	Fanny:1	Aristotle	1.87	0.12	0	0
134	Andrew Grasso:0	Aaron Doll	2.13	0.18	0	0
135	Brendan Wright:0	haoyu	2.14	0.10	0	0
136	Ben Chen:1	spl	2.29	0.20	0	0
137	Yacob Y.:0	haoyu	2.44	0.06	0	0
138	DinnerPartyPlannerBM:1	Nihar the Great	2.45	0.06	0	0
139	burrito:0	haoyu	2.94	0.09	0	0
140	Dusty:1	Shaheed Chagani	3.07	0.22	0	0
141	dfshasdsf12:0	haoyu	3.37	0.09	0	0
142	EC:1	haoyu	3.41	0.03	0	0
143	Brendan Wright:1	Deric Cheng	3.45	0.10	0	0
144	Aaron H:1	Aristotle	3.63	0.11	0	0
145	Aaron H:0	Aristotle	3.72	0.11	0	0
146	Charliezsc:1	haoyu	3.82	0.07	0	0
147	Sabar Dasgupta:1	Aaron Doll	4.19	0.17	0	0
148	John Whelchel:0	haoyu	4.46	0.06	0	0
149	Walter Little:0	haoyu	4.48	0.04	0	0
150	Sabar Dasgupta:0	spl	4.92	0.23	0	0
151	Lil Thug:1	Andrew Grasso	5.09	0.03	0	0
152	Lil Thug:0	Andrew Grasso	5.37	0.03	0	0
153	Sprt:0	Aristotle	5.54	0.11	0	0
154	Glenn Fisher:1	jabreezy	7.34	0.09	0	0
155	snowflakes:1	haoyu	9.78	0.03	0	0
156	Andys:0	Aristotle	11.74	0.12	0	0
157	David H.:0	AFC	12.77	0.28	0	0
158	Andrew Grasso:1	Shaheed Chagani	14.88	0.15	0	0
159	David H.:1	DeeEmEm	15.00	0.33	1	0
160	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
161	snowflakes:0	haoyu	15.00	0.03	1	0
162	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
163	Dusty:0	CookieMonster	15.00	1.39	1	0
164	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
165	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
166	Walter Little:1	haoyu	15.00	0.03	1	0
167	CookieMonster:0	CookieMonster	15.00	0.82	1	0
168	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
169	0108:0	jgs	15.00	14.98	1	1
170	EC:0	haoyu	15.00	0.03	1	0
171	Anon5:0	haoyu	15.00	0.05	2	0
172	T. Capote:0	haoyu	15.00	0.00	2	2
173	Absurdity:1	Aristotle	15.00	0.18	2	0
174	NA:0	haoyu	15.00	0.03	2	0
175	spl:1	haoyu	15.00	0.06	2	0
176	T. Capote:1	haoyu	15.00	0.00	2	2
177	SuperFan:0	jgs	15.00	14.98	4	4
178	SuperFan:1	jgs	15.00	14.98	4	4
179	ebp:1	haoyu	15.00	0.04	5	0
180	ebp:0	haoyu	15.00	0.04	13	0
181	Supahaka:0	Andrew Werner	15.00	15.00	37	35
182	Supahaka:1	Joel Faron	15.00	15.00	38	35
183	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
184	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
185	nupog:0	Aristotle	15.00	0.13	2837	0
186	dfshasdsf12:1	Nihar the Great	15.00	0.11	4216	0
187	jgs:1	haoyu	15.00	0.18	26149	0
188	13a:1	Aaron Doll	15.00	15.00	107839	29
189	Mike Hunt:1	Aristotle	15.00	0.29	1	0
190	CookieMonster:1	CookieMonster	15.00	1.10	1	0
191	Andys:1	Aristotle	15.00	0.13	2	0
192	AFC:0	CookieMonster	15.00	0.34	2	0
193	Andrew Werner:0	Aaron Doll	15.00	0.33	3	0
194	spl:0	Elphaba	15.00	0.09	3	0
195	BH:1	haoyu	15.00	0.05	390	0
196	Shaheed Chagani:0	Aristotle	15.00	0.17	11589	0
197	AFC:1	Aristotle	15.00	0.16	1	0
198	Absurdity:0	Aristotle	15.00	0.23	1	0
199	jabreezy:0	Mercury	15.00	0.09	8	0
200	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	4473	0
201	Nihar the Great:1	Aristotle	15.00	0.25	24502	0
202	Elphaba:0	Aristotle	15.00	0.24	81773	0
203	jabreezy:1	Mercury	15.00	0.10	8	0
204	Charliezsc:0	jgs	15.01	14.98	1	1
205	nupog:1	Aristotle	15.01	0.12	3106	0
206	13a:0	Aaron Doll	15.01	15.00	96867	21
207	Bar Shabtai:1	haoyu	15.01	0.12	28109	0
208	BH:0	haoyu	15.01	0.07	373	0
209	burrito:1	haoyu	15.01	0.10	1195	0
210	John Whelchel:1	haoyu	15.01	0.11	6	0
211	Yacob Y.:1	Aristotle	15.01	15.00	7	1
212	Deric Cheng:0	jgs	15.01	14.99	19448	1
213	jgs:0	Aristotle	15.01	0.12	31332	0
214	Shaheed Chagani:1	Aristotle	15.01	0.11	13670	0
215	Deric Cheng:1	jgs	15.01	14.98	14778	1
216	Andrew Werner:1	haoyu	15.02	0.11	9	0
217	Mike Hunt:0	Aristotle	15.02	0.27	15	0
218	Elphaba:1	Aristotle	15.02	0.22	80774	0
219	Aaron Doll:1	Aristotle	15.02	1.27	320036	0
220	Nihar the Great:0	Aristotle	15.03	0.23	24400	0
221	CAPS LOCK:1	Aristotle	15.04	0.25	31431	0
222	CAPS LOCK:0	Aristotle	15.04	0.20	4476	0
223	Aaron Doll:0	Aristotle	15.08	0.56	267640	0
224	Bar Shabtai:0	Aaron Doll	15.08	15.01	322164	1
225	Matt Goldsmith:1	Happy	15.11	0.03	514653	0
226	Aristotle:1	Aristotle	15.12	9.69	754025	0
227	Aristotle:0	Aristotle	15.13	15.00	742822	1
228	Matt Goldsmith:0	Nihar the Great	15.22	0.03	511516	0

SatSolvers Ranklist

Generators Ranklist