Stats for satsolver: Walter Little

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 Walter Little 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 Walter Little 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:	Walter Little
Rank:	19 / 118
Average Score:	5.12
Median Score:	0.71
Description:	Modification of WalkSAT that presets unit clauses to the appropriatevalue

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	bigwig:1	KingBach	0.00	0.00	0	0
4	Bebe Shi:0	KingBach	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	K.L.:1	KingBach	0.00	0.00	0	0
7	Happy:1	KingBach	0.00	0.00	0	0
8	Bebe Shi:1	KingBach	0.00	0.00	0	0
9	K.L.:0	haoyu	0.00	0.00	0	0
10	Solving For Clauses:1	haoyu	0.01	0.00	0	0
11	Miranda:0	cat	0.01	0.00	0	0
12	Miranda:1	cat	0.01	0.00	0	0
13	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
14	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
15	haoyu:0	KingBach	0.01	0.01	0	0
16	Daffy Duck:1	haoyu	0.01	0.00	0	0
17	Blam:0	Elphaba	0.01	0.00	0	0
18	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
19	R. A. B.:1	cat	0.01	0.00	0	0
20	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
21	Tree Prophet:0	haoyu	0.01	0.00	0	0
22	Quite Satisfied:0	haoyu	0.01	0.00	0	0
23	bchouGenerator:0	haoyu	0.01	0.00	0	0
24	haoyu:1	Anon5	0.01	0.01	0	0
25	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
26	BMJ:0	Elphaba	0.01	0.00	0	0
27	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
28	The Kraken:1	haoyu	0.01	0.00	0	0
29	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
30	David Paulk:0	cat	0.01	0.00	0	0
31	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
32	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
33	Blam:1	Elphaba	0.02	0.00	0	0
34	BMJ:1	burrito	0.02	0.00	0	0
35	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
36	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
37	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
38	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
39	Happy:0	haoyu	0.02	0.00	0	0
40	Tom T:1	Andrew Werner	0.02	0.02	0	0
41	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
42	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
43	Mickey Mouse:1	haoyu	0.02	0.01	0	0
44	Tom T:0	EC	0.02	0.02	0	0
45	The Kraken:0	haoyu	0.02	0.00	0	0
46	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
47	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
48	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
49	0108:1	haoyu	0.03	0.01	0	0
50	Boomshanka:1	Bar Shabtai	0.03	0.01	0	0
51	Jameh:0	haoyu	0.04	0.01	0	0
52	weezy:1	Bar Shabtai	0.04	0.01	0	0
53	Jordan Ash:0	EC	0.04	0.03	0	0
54	Tree Prophet:1	haoyu	0.04	0.00	0	0
55	weezy:0	Bar Shabtai	0.04	0.01	0	0
56	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
57	Mike Honcho:0	Miranda	0.05	0.01	0	0
58	Tiny Wings:0	haoyu	0.05	0.02	0	0
59	Mike Honcho:1	Jessie Chen	0.05	0.01	0	0
60	Alex Fish:1	haoyu	0.06	0.02	0	0
61	Tiny Wings:1	haoyu	0.06	0.01	0	0
62	Boomshanka:0	haoyu	0.06	0.01	0	0
63	David Lackey:0	Anon5	0.07	0.03	0	0
64	Jameh:1	haoyu	0.07	0.01	0	0
65	Dr Roberto:1	Andrew Grasso	0.07	0.02	0	0
66	vluu:0	Nihar the Great	0.07	0.01	0	0
67	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.07	0.00	0	0
68	Ytterbium:0	Andrew Grasso	0.08	0.02	0	0
69	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.08	0.01	0	0
70	David Lackey:1	Bar Shabtai	0.08	0.03	0	0
71	vluu:1	Nihar the Great	0.09	0.02	0	0
72	Keji Xu:1	Nihar the Great	0.10	0.04	0	0
73	cat:1	haoyu	0.10	0.03	0	0
74	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.11	0.01	0	0
75	Sunny:1	jabreezy	0.11	0.01	0	0
76	The Whitman Whale:0	bigwig	0.12	0.04	0	0
77	Keji Xu:0	Nihar the Great	0.12	0.03	0	0
78	cat:0	haoyu	0.12	0.03	0	0
79	Nikhilesh Sigatapu:1	haoyu	0.12	0.04	0	0
80	Nikhilesh Sigatapu:0	haoyu	0.13	0.03	0	0
81	Linda:0	Andrew Grasso	0.14	0.01	0	0
82	Bob Dondero:0	Andrew Grasso	0.14	0.02	0	0
83	Janie Gu:1	Jonathan Kwok	0.15	0.07	0	0
84	Dr Roberto:0	Andrew Grasso	0.15	0.03	0	0
85	Samuel Jerome:0	haoyu	0.15	0.03	0	0
86	Ytterbium:1	Nihar the Great	0.17	0.02	0	0
87	Bob Dondero:1	Mickey Mouse	0.18	0.03	0	0
88	Alex Fish:0	haoyu	0.22	0.01	0	0
89	George Okeowo:0	Andrew Grasso	0.23	0.01	0	0
90	Tao:1	Aristotle	0.26	0.07	0	0
91	The Whitman Whale:1	Andrew Grasso	0.26	0.03	0	0
92	Lisa Kim:1	Bar Shabtai	0.28	0.06	0	0
93	George Okeowo:1	Andrew Grasso	0.29	0.01	0	0
94	Yan Wu:0	haoyu	0.34	0.05	0	0
95	DeeEmEm:1	haoyu	0.34	0.02	0	0
96	Janie Gu:0	Glenn Fisher	0.36	0.07	0	0
97	kt4124:0	haoyu	0.36	0.03	0	0
98	Matt Haake:1	haoyu	0.40	0.05	0	0
99	kt4124:1	haoyu	0.41	0.04	0	0
100	Sunny:0	Green "The Bean" Choi	0.41	0.02	0	0
101	Lisa Kim:0	Aristotle	0.43	0.07	0	0
102	bfang:0	haoyu	0.43	0.04	0	0
103	Mercury:1	haoyu	0.45	0.05	0	0
104	Valya Barboy:0	Aristotle	0.49	0.06	0	0
105	Sally Smith:1	haoyu	0.50	0.04	0	0
106	Sally Smith:0	haoyu	0.55	0.04	0	0
107	Anon_K_P:0	haoyu	0.56	0.02	0	0
108	bfang:1	haoyu	0.56	0.04	0	0
109	Linda:1	Andrew Grasso	0.58	0.02	0	0
110	Mercury:0	haoyu	0.58	0.05	0	0
111	Batman:0	haoyu	0.66	0.04	0	0
112	Yan Wu:1	haoyu	0.66	0.04	0	0
113	Samuel Jerome:1	haoyu	0.69	0.03	0	0
114	Anon_K_P:1	Aristotle	0.71	0.03	0	0
115	KingBach:1	haoyu	0.73	0.04	0	0
116	EC:1	haoyu	0.74	0.03	0	0
117	Andrew Grasso:0	Aaron Doll	0.75	0.18	0	0
118	Tao:0	Bar Shabtai	0.76	0.02	0	0
119	Glenn Fisher:0	Elphaba	0.81	0.02	0	0
120	Fanny:1	Aristotle	0.86	0.12	0	0
121	Batman:1	haoyu	0.86	0.04	0	0
122	Valya Barboy:1	Shaheed Chagani	0.98	0.18	0	0
123	Fanny:0	Aristotle	0.99	0.10	0	0
124	Mr. Blobby:0	Green "The Bean" Choi	1.12	0.14	0	0
125	Khoa:1	Aristotle	1.14	0.09	0	0
126	Khoa:0	haoyu	1.22	0.09	0	0
127	Anon5:0	haoyu	1.24	0.05	0	0
128	KingBach:0	haoyu	1.26	0.06	0	0
129	Brendan Wright:0	haoyu	1.29	0.10	0	0
130	Sprt:1	haoyu	1.34	0.05	0	0
131	Matt Haake:0	haoyu	1.35	0.05	0	0
132	soccer:0	haoyu	1.48	0.04	0	0
133	Dusty:1	Shaheed Chagani	1.67	0.22	0	0
134	Ben Chen:0	Elphaba	1.72	0.07	0	0
135	Anon5:1	Green "The Bean" Choi	1.90	0.07	0	0
136	Mr. Blobby:1	dusty	2.02	0.12	0	0
137	burrito:0	haoyu	2.05	0.09	0	0
138	soccer:1	haoyu	2.19	0.04	0	0
139	Brendan Wright:1	Deric Cheng	2.24	0.10	0	0
140	Sabar Dasgupta:0	spl	2.51	0.23	0	0
141	Yacob Y.:0	haoyu	2.74	0.06	0	0
142	Andrew Grasso:1	Shaheed Chagani	2.78	0.15	0	0
143	NA:1	Elphaba	2.83	0.04	0	0
144	DinnerPartyPlannerBM:1	Nihar the Great	2.84	0.06	0	0
145	Sabar Dasgupta:1	Aaron Doll	2.96	0.17	0	0
146	EC:0	haoyu	3.55	0.03	0	0
147	dfshasdsf12:0	haoyu	4.01	0.09	0	0
148	Lil Thug:0	Andrew Grasso	4.48	0.03	0	0
149	Ben Chen:1	spl	4.57	0.20	0	0
150	Aaron H:0	Aristotle	5.58	0.11	0	0
151	Lil Thug:1	Andrew Grasso	5.83	0.03	0	0
152	ebp:1	haoyu	5.93	0.04	0	0
153	Sprt:0	Aristotle	6.25	0.11	0	0
154	Mike Hunt:1	Aristotle	6.75	0.29	0	0
155	John Whelchel:0	haoyu	6.94	0.06	0	0
156	Charliezsc:1	haoyu	7.76	0.07	0	0
157	Walter Little:0	haoyu	7.85	0.04	0	0
158	Andys:0	Aristotle	8.56	0.12	0	0
159	BH:0	haoyu	10.90	0.07	0	0
160	ebp:0	haoyu	11.02	0.04	0	0
161	dfshasdsf12:1	Nihar the Great	11.04	0.11	0	0
162	jabreezy:0	Mercury	12.07	0.09	0	0
163	CAPS LOCK:0	Aristotle	12.15	0.20	0	0
164	BH:1	haoyu	12.67	0.05	0	0
165	snowflakes:1	haoyu	13.08	0.03	0	0
166	snowflakes:0	haoyu	13.21	0.03	0	0
167	jabreezy:1	Mercury	13.48	0.10	0	0
168	John Whelchel:1	haoyu	13.64	0.11	0	0
169	burrito:1	haoyu	14.25	0.10	0	0
170	Aaron H:1	Aristotle	14.47	0.11	0	0
171	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
172	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
173	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
174	CookieMonster:0	CookieMonster	15.00	0.82	1	0
175	T. Capote:0	haoyu	15.00	0.00	2	2
176	T. Capote:1	haoyu	15.00	0.00	2	2
177	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
178	DeeEmEm:0	CAPS LOCK	15.00	13.00	3	1
179	spl:1	haoyu	15.00	0.06	3	0
180	0108:0	jgs	15.00	14.98	3	1
181	Glenn Fisher:1	jabreezy	15.00	0.09	4	0
182	Absurdity:0	Aristotle	15.00	0.23	5	0
183	Walter Little:1	haoyu	15.00	0.03	6	0
184	AFC:1	Aristotle	15.00	0.16	7	0
185	SuperFan:1	jgs	15.00	14.98	7	4
186	David H.:1	DeeEmEm	15.00	0.33	8	0
187	SuperFan:0	jgs	15.00	14.98	11	4
188	AFC:0	CookieMonster	15.00	0.34	11	0
189	David H.:0	AFC	15.00	0.28	14	0
190	Dusty:0	CookieMonster	15.00	1.39	18	0
191	NA:0	haoyu	15.00	0.03	27	0
192	Supahaka:0	Andrew Werner	15.00	15.00	47	35
193	Supahaka:1	Joel Faron	15.00	15.00	52	35
194	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
195	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
196	jgs:0	Aristotle	15.00	0.12	398	0
197	nupog:1	Aristotle	15.00	0.12	468	0
198	CookieMonster:1	CookieMonster	15.00	1.10	1	0
199	nupog:0	Aristotle	15.00	0.13	398	0
200	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	1403	0
201	Mike Hunt:0	Aristotle	15.00	0.27	2	0
202	Andrew Werner:1	haoyu	15.00	0.11	8	0
203	Yacob Y.:1	Aristotle	15.00	15.00	17	1
204	Shaheed Chagani:1	Aristotle	15.00	0.11	2176	0
205	Shaheed Chagani:0	Aristotle	15.00	0.17	3832	0
206	13a:1	Aaron Doll	15.00	15.00	86515	29
207	Charliezsc:0	jgs	15.00	14.98	3	1
208	spl:0	Elphaba	15.00	0.09	7	0
209	Bar Shabtai:1	haoyu	15.00	0.12	3213	0
210	Andys:1	Aristotle	15.01	0.13	9	0
211	Nihar the Great:1	Aristotle	15.01	0.25	21948	0
212	Elphaba:0	Aristotle	15.01	0.24	41903	0
213	Absurdity:1	Aristotle	15.01	0.18	22	0
214	Nihar the Great:0	Aristotle	15.01	0.23	20562	0
215	jgs:1	haoyu	15.01	0.18	2438	0
216	Matt Goldsmith:0	Nihar the Great	15.01	0.03	506225	0
217	Elphaba:1	Aristotle	15.03	0.22	46068	0
218	13a:0	Aaron Doll	15.04	15.00	89033	21
219	Aaron Doll:1	Aristotle	15.05	1.27	334280	0
220	Aaron Doll:0	Aristotle	15.05	0.56	253430	0
221	Deric Cheng:0	jgs	15.07	14.99	2	1
222	Bar Shabtai:0	Aaron Doll	15.07	15.01	306390	1
223	Deric Cheng:1	jgs	15.08	14.98	2	1
224	Andrew Werner:0	Aaron Doll	15.08	0.33	4	0
225	Aristotle:1	Aristotle	15.19	9.69	755033	0
226	CAPS LOCK:1	Aristotle	15.20	0.25	158	0
227	Matt Goldsmith:1	Happy	15.24	0.03	511203	0
228	Aristotle:0	Aristotle	15.31	15.00	743999	1

SatSolvers Ranklist

Generators Ranklist