Stats for satsolver: CookieMonster

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 CookieMonster 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 CookieMonster 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:	CookieMonster
Rank:	4 / 118
Average Score:	2.48
Median Score:	0.24
Description:	InitSat is a WalkSat variant which attempts to begin WalkSat's stochastic process from a highly favorable starting model. It uses random sampling methodsto first randomly generate models and starts with the truthassignment which satisfied the most clauses. Thus, the rest of WalkSat (selecting a random unsatisfied clause, picking the literal within that clause which causes the fewest number of previously satisfied clauses to become unsatisfied) proceeds from a starting model in which variables which "favor" one truth assignment are already thusly assigned. Also includes randomized restarts.

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

SatSolvers Ranklist

Generators Ranklist