Stats for satsolver: Mickey Mouse

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 Mickey Mouse 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 Mickey Mouse 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:	Mickey Mouse
Rank:	76 / 118
Average Score:	11.58
Median Score:	15.00
Description:	This algorithm is an adjusted WalkSAT algorithm. The improvements being used are randomizing the probability at which a random clause is switched and having random restarts with a small probability.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	K.L.:1	KingBach	0.00	0.00	0	0
3	bigwig:0	Andrew Werner	0.00	0.00	0	0
4	Ravi Tandon:1	KingBach	0.00	0.00	0	0
5	Miranda:1	cat	0.00	0.00	0	0
6	Miranda:0	cat	0.00	0.00	0	0
7	Ravi Tandon:0	KingBach	0.01	0.00	0	0
8	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
9	R. A. B.:1	cat	0.01	0.00	0	0
10	Bebe Shi:1	KingBach	0.02	0.00	0	0
11	Solving For Clauses:1	haoyu	0.02	0.00	0	0
12	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
13	Bebe Shi:0	KingBach	0.02	0.00	0	0
14	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
15	Happy:1	KingBach	0.03	0.00	0	0
16	Jonathan Kwok:0	Elphaba	0.03	0.00	0	0
17	Mike Honcho:0	Miranda	0.03	0.01	0	0
18	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
19	Joshua Zimmer:1	haoyu	0.03	0.00	0	0
20	Gewang:0	Jonathan Kwok	0.03	0.00	0	0
21	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.03	0.01	0	0
22	Bob Dondero:1	Mickey Mouse	0.03	0.03	0	0
23	Bob Dondero:0	Andrew Grasso	0.03	0.02	0	0
24	K.L.:0	haoyu	0.03	0.00	0	0
25	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
26	Joshua Zimmer:0	haoyu	0.05	0.00	0	0
27	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
28	Daffy Duck:1	haoyu	0.06	0.00	0	0
29	BMJ:1	burrito	0.06	0.00	0	0
30	David Paulk:0	cat	0.08	0.00	0	0
31	Linda:0	Andrew Grasso	0.09	0.01	0	0
32	BMJ:0	Elphaba	0.09	0.00	0	0
33	Jonathan Kwok:1	KingBach	0.10	0.00	0	0
34	Tree Prophet:0	haoyu	0.14	0.00	0	0
35	weezy:1	Bar Shabtai	0.14	0.01	0	0
36	bchouGenerator:1	Jonathan Kwok	0.14	0.01	0	0
37	Daffy Duck:0	Andrew Werner	0.17	0.00	0	0
38	bchouGenerator:0	haoyu	0.18	0.00	0	0
39	Dr Roberto:1	Andrew Grasso	0.19	0.02	0	0
40	cmF5a3ly:1	Nihar the Great	0.28	0.00	0	0
41	weezy:0	Bar Shabtai	0.31	0.01	0	0
42	Dr Roberto:0	Andrew Grasso	0.37	0.03	0	0
43	Happy:0	haoyu	0.37	0.00	0	0
44	cmF5a3ly:0	Nihar the Great	0.41	0.00	0	0
45	Linda:1	Andrew Grasso	0.66	0.02	0	0
46	David Paulk:1	Bar Shabtai	1.02	0.00	0	0
47	Tom T:0	EC	1.68	0.02	0	0
48	Tom T:1	Andrew Werner	1.81	0.02	0	0
49	Tree Prophet:1	haoyu	2.37	0.00	0	0
50	Blam:1	Elphaba	2.41	0.00	0	0
51	haoyu:0	KingBach	2.44	0.01	0	0
52	haoyu:1	Anon5	3.02	0.01	0	0
53	Blam:0	Elphaba	4.31	0.00	0	0
54	Mickey Mouse:0	Bar Shabtai	6.29	0.01	0	0
55	Mickey Mouse:1	haoyu	14.04	0.01	0	0
56	T. Capote:0	haoyu	15.00	0.00	4	2
57	Jessie Chen:0	Joel Faron	15.00	0.13	12	1
58	Jessie Chen:1	Joel Faron	15.00	0.12	13	1
59	T. Capote:1	haoyu	15.00	0.00	18	2
60	Anon5:1	Green "The Bean" Choi	15.00	0.07	19	0
61	Qinlan Shen:0	Bar Shabtai	15.00	0.01	37	0
62	Janie Gu:0	Glenn Fisher	15.00	0.07	56	0
63	Janie Gu:1	Jonathan Kwok	15.00	0.07	67	0
64	Sunny:0	Green "The Bean" Choi	15.00	0.02	85	0
65	David Lackey:0	Anon5	15.00	0.03	125	0
66	SuperFan:0	jgs	15.00	14.98	130	4
67	Sunny:1	jabreezy	15.00	0.01	134	0
68	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	139	0
69	R. A. B.:0	Nihar the Great	15.00	0.00	149	0
70	The Kraken:1	haoyu	15.00	0.00	152	0
71	Jordan Ash:1	Bar Shabtai	15.00	0.01	154	0
72	David Lackey:1	Bar Shabtai	15.00	0.03	157	0
73	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	184	0
74	SuperFan:1	jgs	15.00	14.98	189	4
75	Boomshanka:0	haoyu	15.00	0.01	202	0
76	Supahaka:0	Andrew Werner	15.00	15.00	209	35
77	Quite Satisfied:0	haoyu	15.00	0.00	213	0
78	Supahaka:1	Joel Faron	15.00	15.00	219	35
79	Yan Wu:1	haoyu	15.00	0.04	229	0
80	The Kraken:0	haoyu	15.00	0.00	236	0
81	Quite Satisfied:1	Joel Faron	15.00	2.11	242	1
82	Yan Wu:0	haoyu	15.00	0.05	253	0
83	Dusty:1	Shaheed Chagani	15.00	0.22	354	0
84	0108:1	haoyu	15.00	0.01	370	0
85	DeeEmEm:0	CAPS LOCK	15.00	13.00	403	1
86	Jameh:0	haoyu	15.00	0.01	443	0
87	Tiny Wings:1	haoyu	15.00	0.01	449	0
88	Alex Fish:0	haoyu	15.00	0.01	474	0
89	Qinlan Shen:1	R. A. B.	15.00	9.00	492	1
90	DeeEmEm:1	haoyu	15.00	0.02	495	0
91	The Whitman Whale:1	Andrew Grasso	15.00	0.03	510	0
92	Keji Xu:1	Nihar the Great	15.00	0.04	551	0
93	Dusty:0	CookieMonster	15.00	1.39	575	0
94	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	660	0
95	Boomshanka:1	Bar Shabtai	15.00	0.01	668	0
96	0108:0	jgs	15.00	14.98	678	1
97	Andrew Grasso:0	Aaron Doll	15.00	0.18	685	0
98	Jordan Ash:0	EC	15.00	0.03	694	0
99	Jameh:1	haoyu	15.00	0.01	726	0
100	Mark S. Fillmore:1	Supahaka	15.00	0.04	796	79
101	Alex Fish:1	haoyu	15.00	0.02	871	0
102	David H.:1	DeeEmEm	15.00	0.33	936	0
103	David H.:0	AFC	15.00	0.28	955	0
104	Valya Barboy:0	Aristotle	15.00	0.06	1022	0
105	Ytterbium:0	Andrew Grasso	15.00	0.02	1047	0
106	NA:0	haoyu	15.00	0.03	1053	0
107	NA:1	Elphaba	15.00	0.04	1117	0
108	Matt Haake:1	haoyu	15.00	0.05	1146	0
109	Valya Barboy:1	Shaheed Chagani	15.00	0.18	1150	0
110	Mercury:1	haoyu	15.00	0.05	1155	0
111	Keji Xu:0	Nihar the Great	15.00	0.03	1229	0
112	kt4124:1	haoyu	15.00	0.04	1300	0
113	Matt Haake:0	haoyu	15.00	0.05	1350	0
114	Tao:1	Aristotle	15.00	0.07	1353	0
115	Mark S. Fillmore:0	Supahaka	15.00	0.01	1376	116
116	Tiny Wings:0	haoyu	15.00	0.02	1383	0
117	Tao:0	Bar Shabtai	15.00	0.02	1490	0
118	kt4124:0	haoyu	15.00	0.03	1496	0
119	Anon_K_P:1	Aristotle	15.00	0.03	1539	0
120	Anon_K_P:0	haoyu	15.00	0.02	1679	0
121	vluu:1	Nihar the Great	15.00	0.02	1704	0
122	vluu:0	Nihar the Great	15.00	0.01	1724	0
123	The Whitman Whale:0	bigwig	15.00	0.04	1959	0
124	cat:1	haoyu	15.00	0.03	1991	0
125	Fanny:1	Aristotle	15.00	0.12	2122	0
126	Samuel Jerome:1	haoyu	15.00	0.03	2177	0
127	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	2205	0
128	Mr. Blobby:1	dusty	15.00	0.12	2268	0
129	Glenn Fisher:0	Elphaba	15.00	0.02	2287	0
130	snowflakes:0	haoyu	15.00	0.03	2300	0
131	Glenn Fisher:1	jabreezy	15.00	0.09	2388	0
132	snowflakes:1	haoyu	15.00	0.03	2390	0
133	Fanny:0	Aristotle	15.00	0.10	2474	0
134	Anon5:0	haoyu	15.00	0.05	2583	0
135	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	2601	0
136	cat:0	haoyu	15.00	0.03	2625	0
137	CookieMonster:1	CookieMonster	15.00	1.10	2701	0
138	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	3139	0
139	EC:0	haoyu	15.00	0.03	3188	0
140	CookieMonster:0	CookieMonster	15.00	0.82	3204	0
141	EC:1	haoyu	15.00	0.03	3283	0
142	AFC:0	CookieMonster	15.00	0.34	3391	0
143	Samuel Jerome:0	haoyu	15.00	0.03	3424	0
144	Sally Smith:0	haoyu	15.00	0.04	3699	0
145	spl:1	haoyu	15.00	0.06	3717	0
146	AFC:1	Aristotle	15.00	0.16	4029	0
147	Walter Little:1	haoyu	15.00	0.03	4036	0
148	George Okeowo:1	Andrew Grasso	15.00	0.01	4130	0
149	George Okeowo:0	Andrew Grasso	15.00	0.01	4169	0
150	spl:0	Elphaba	15.00	0.09	4397	0
151	Ytterbium:1	Nihar the Great	15.00	0.02	4509	0
152	Lisa Kim:1	Bar Shabtai	15.00	0.06	4604	0
153	Walter Little:0	haoyu	15.00	0.04	4610	0
154	jabreezy:0	Mercury	15.00	0.09	4618	0
155	Ben Chen:0	Elphaba	15.00	0.07	4737	0
156	jabreezy:1	Mercury	15.00	0.10	5116	0
157	bfang:1	haoyu	15.00	0.04	5137	0
158	Ben Chen:1	spl	15.00	0.20	5197	0
159	Lisa Kim:0	Aristotle	15.00	0.07	5314	0
160	bfang:0	haoyu	15.00	0.04	5840	0
161	soccer:0	haoyu	15.00	0.04	6638	0
162	Khoa:1	Aristotle	15.00	0.09	6773	0
163	Khoa:0	haoyu	15.00	0.09	7231	0
164	ebp:0	haoyu	15.00	0.04	7695	0
165	soccer:1	haoyu	15.00	0.04	7836	0
166	Absurdity:0	Aristotle	15.00	0.23	8462	0
167	ebp:1	haoyu	15.00	0.04	8989	0
168	Yacob Y.:1	Aristotle	15.00	15.00	9139	1
169	Yacob Y.:0	haoyu	15.00	0.06	9331	0
170	Absurdity:1	Aristotle	15.00	0.18	9341	0
171	Batman:1	haoyu	15.00	0.04	9918	0
172	Sprt:1	haoyu	15.00	0.05	10480	0
173	Batman:0	haoyu	15.00	0.04	10982	0
174	KingBach:0	haoyu	15.00	0.06	11717	0
175	KingBach:1	haoyu	15.00	0.04	11776	0
176	Charliezsc:0	jgs	15.00	14.98	11833	1
177	Charliezsc:1	haoyu	15.00	0.07	14097	0
178	Sabar Dasgupta:0	spl	15.00	0.23	14188	0
179	dfshasdsf12:0	haoyu	15.00	0.09	21040	0
180	BH:1	haoyu	15.00	0.05	21454	0
181	Mike Hunt:1	Aristotle	15.00	0.29	21860	0
182	Andys:1	Aristotle	15.00	0.13	23239	0
183	DinnerPartyPlannerBM:1	Nihar the Great	15.00	0.06	23814	0
184	Aaron H:1	Aristotle	15.00	0.11	27717	0
185	Andrew Werner:1	haoyu	15.00	0.11	28834	0
186	John Whelchel:0	haoyu	15.00	0.06	28914	0
187	Andys:0	Aristotle	15.00	0.12	31097	0
188	John Whelchel:1	haoyu	15.00	0.11	31938	0
189	13a:1	Aaron Doll	15.00	15.00	121834	29
190	Brendan Wright:1	Deric Cheng	15.00	0.10	67	0
191	Sally Smith:1	haoyu	15.00	0.04	1678	0
192	nupog:1	Aristotle	15.00	0.12	4933	0
193	Mercury:0	haoyu	15.00	0.05	6734	0
194	BH:0	haoyu	15.00	0.07	22878	0
195	burrito:0	haoyu	15.00	0.09	24477	0
196	Sprt:0	Aristotle	15.00	0.11	26941	0
197	Lil Thug:1	Andrew Grasso	15.00	0.03	30621	0
198	Shaheed Chagani:1	Aristotle	15.00	0.11	31611	0
199	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	41688	0
200	jgs:0	Aristotle	15.00	0.12	53675	0
201	Deric Cheng:0	jgs	15.00	14.99	61486	1
202	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	13970	0
203	Mike Hunt:0	Aristotle	15.00	0.27	23538	0
204	Aaron H:0	Aristotle	15.00	0.11	28929	0
205	Andrew Werner:0	Aaron Doll	15.00	0.33	29084	0
206	Lil Thug:0	Andrew Grasso	15.00	0.03	31111	0
207	Brendan Wright:0	haoyu	15.00	0.10	32653	0
208	dfshasdsf12:1	Nihar the Great	15.00	0.11	34610	0
209	burrito:1	haoyu	15.00	0.10	39667	0
210	Deric Cheng:1	jgs	15.00	14.98	56714	1
211	nupog:0	Aristotle	15.00	0.13	5024	0
212	Bar Shabtai:1	haoyu	15.01	0.12	49676	0
213	Shaheed Chagani:0	Aristotle	15.01	0.17	36339	0
214	jgs:1	haoyu	15.01	0.18	56754	0
215	Elphaba:0	Aristotle	15.01	0.24	92170	0
216	13a:0	Aaron Doll	15.01	15.00	114666	21
217	Nihar the Great:1	Aristotle	15.01	0.25	140424	0
218	CAPS LOCK:1	Aristotle	15.01	0.25	43625	0
219	Nihar the Great:0	Aristotle	15.01	0.23	36689	0
220	CAPS LOCK:0	Aristotle	15.02	0.20	34918	0
221	Elphaba:1	Aristotle	15.02	0.22	113005	0
222	Aaron Doll:1	Aristotle	15.03	1.27	336656	0
223	Aristotle:0	Aristotle	15.03	15.00	741853	1
224	Aaron Doll:0	Aristotle	15.05	0.56	305228	0
225	Bar Shabtai:0	Aaron Doll	15.05	15.01	338689	1
226	Matt Goldsmith:0	Nihar the Great	15.06	0.03	524272	0
227	Aristotle:1	Aristotle	15.09	9.69	754918	0
228	Matt Goldsmith:1	Happy	15.13	0.03	520819	0

SatSolvers Ranklist

Generators Ranklist