Stats for satsolver: LilThug

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 LilThug 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 LilThug 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:	LilThug
Rank:	71 / 118
Average Score:	11.35
Median Score:	15.00
Description:	WalkSAT, with some initial allowances for the pure symbol heuristic and the unit clause heuristic.

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

SatSolvers Ranklist

Generators Ranklist