Stats for satsolver: CAPS LOCK

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 CAPS LOCK 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 CAPS LOCK 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:	CAPS LOCK
Rank:	50 / 118
Average Score:	7.49
Median Score:	6.25
Description:	Version 2.0, an optimized implementation of WalkSAT. There are a couple of small changes: randomly generating multiple initial models, only updating the model after the min conflicts step if the new model is better, etc. The big change is to when the algorithm chooses to random walk vs. searching for min conflicts: if the number of symbols * the average number of symbols per clause is less than or equal to the number of clauses, the algorithm only random walks and never searches for min conflicts.

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

SatSolvers Ranklist

Generators Ranklist