Stats for satsolver: K.L.

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 K.L. 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 K.L. 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:	K.L.
Rank:	95 / 118
Average Score:	16.52
Median Score:	15.00
Description:	walkSAT - literal to flip is one that maximizes true clauses

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Mike Honcho:0	Miranda	0.02	0.01	0	0
2	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
3	Ravi Tandon:1	KingBach	0.34	0.00	0	0
4	Ravi Tandon:0	KingBach	0.65	0.00	0	0
5	BMJ:0	Elphaba	15.00	0.00	38	0
6	BMJ:1	burrito	15.00	0.00	47	0
7	Solving For Clauses:1	haoyu	15.00	0.00	48	0
8	bigwig:1	KingBach	15.00	0.00	54	0
9	T. Capote:1	haoyu	15.00	0.00	57	2
10	Bebe Shi:1	KingBach	15.00	0.00	60	0
11	bigwig:0	Andrew Werner	15.00	0.00	64	0
12	Janie Gu:0	Glenn Fisher	15.00	0.07	64	0
13	Happy:1	KingBach	15.00	0.00	67	0
14	Happy:0	haoyu	15.00	0.00	68	0
15	Janie Gu:1	Jonathan Kwok	15.00	0.07	76	0
16	Bebe Shi:0	KingBach	15.00	0.00	77	0
17	T. Capote:0	haoyu	15.00	0.00	91	2
18	R. A. B.:1	cat	15.00	0.00	93	0
19	K.L.:1	KingBach	15.00	0.00	100	0
20	Blam:0	Elphaba	15.00	0.00	100	0
21	haoyu:0	KingBach	15.00	0.01	108	0
22	Blam:1	Elphaba	15.00	0.00	123	0
23	Solving For Clauses:0	Glenn Fisher	15.00	0.00	125	0
24	Jonathan Kwok:1	KingBach	15.00	0.00	130	0
25	Jonathan Kwok:0	Elphaba	15.00	0.00	151	0
26	K.L.:0	haoyu	15.00	0.00	154	0
27	Joshua Zimmer:0	haoyu	15.00	0.00	185	0
28	Joshua Zimmer:1	haoyu	15.00	0.00	195	0
29	haoyu:1	Anon5	15.00	0.01	199	0
30	cmF5a3ly:1	Nihar the Great	15.00	0.00	231	0
31	Tree Prophet:0	haoyu	15.00	0.00	234	0
32	R. A. B.:0	Nihar the Great	15.00	0.00	242	0
33	Tree Prophet:1	haoyu	15.00	0.00	250	0
34	Supahaka:0	Andrew Werner	15.00	15.00	260	35
35	Supahaka:1	Joel Faron	15.00	15.00	261	35
36	Sunny:1	jabreezy	15.00	0.01	292	0
37	Sunny:0	Green "The Bean" Choi	15.00	0.02	295	0
38	Jessie Chen:0	Joel Faron	15.00	0.13	306	1
39	Daffy Duck:1	haoyu	15.00	0.00	319	0
40	bchouGenerator:1	Jonathan Kwok	15.00	0.01	331	0
41	Jessie Chen:1	Joel Faron	15.00	0.12	353	1
42	SuperFan:0	jgs	15.00	14.98	357	4
43	Daffy Duck:0	Andrew Werner	15.00	0.00	384	0
44	SuperFan:1	jgs	15.00	14.98	397	4
45	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	521	0
46	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	571	0
47	David Paulk:1	Bar Shabtai	15.00	0.00	626	0
48	bchouGenerator:0	haoyu	15.00	0.00	712	0
49	The Kraken:1	haoyu	15.00	0.00	751	0
50	Mark S. Fillmore:1	Supahaka	15.00	0.04	793	79
51	David Paulk:0	cat	15.00	0.00	825	0
52	The Kraken:0	haoyu	15.00	0.00	843	0
53	Jameh:0	haoyu	15.00	0.01	971	0
54	Jordan Ash:1	Bar Shabtai	15.00	0.01	1191	0
55	Quite Satisfied:0	haoyu	15.00	0.00	1206	0
56	Gewang:0	Jonathan Kwok	15.00	0.00	1246	0
57	Mark S. Fillmore:0	Supahaka	15.00	0.01	1351	116
58	Boomshanka:0	haoyu	15.00	0.01	1399	0
59	Quite Satisfied:1	Joel Faron	15.00	2.11	1440	1
60	Tom T:1	Andrew Werner	15.00	0.02	1459	0
61	Gewang:1	Jonathan Kwok	15.00	0.00	1480	0
62	Qinlan Shen:1	R. A. B.	15.00	9.00	1537	1
63	Tom T:0	EC	15.00	0.02	1545	0
64	Qinlan Shen:0	Bar Shabtai	15.00	0.01	1616	0
65	DeeEmEm:1	haoyu	15.00	0.02	1644	0
66	Andrew Grasso:0	Aaron Doll	15.00	0.18	1648	0
67	0108:1	haoyu	15.00	0.01	1671	0
68	Jameh:1	haoyu	15.00	0.01	1692	0
69	DeeEmEm:0	CAPS LOCK	15.00	13.00	1732	1
70	Dusty:1	Shaheed Chagani	15.00	0.22	1748	0
71	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1796	0
72	Dusty:0	CookieMonster	15.00	1.39	1818	0
73	Boomshanka:1	Bar Shabtai	15.00	0.01	2256	0
74	0108:0	jgs	15.00	14.98	2688	1
75	Jordan Ash:0	EC	15.00	0.03	2709	0
76	Mickey Mouse:1	haoyu	15.00	0.01	3086	0
77	Valya Barboy:0	Aristotle	15.00	0.06	3169	0
78	Scheduling Generator 203:0	jgs	15.00	0.01	3232	0
79	Valya Barboy:1	Shaheed Chagani	15.00	0.18	3373	0
80	Mickey Mouse:0	Bar Shabtai	15.00	0.01	3563	0
81	weezy:0	Bar Shabtai	15.00	0.01	3610	0
82	Keji Xu:1	Nihar the Great	15.00	0.04	4505	0
83	Matt Haake:1	haoyu	15.00	0.05	4694	0
84	Keji Xu:0	Nihar the Great	15.00	0.03	4889	0
85	NA:0	haoyu	15.00	0.03	5117	0
86	kt4124:1	haoyu	15.00	0.04	5230	0
87	Anon_K_P:1	Aristotle	15.00	0.03	5405	0
88	David Lackey:1	Bar Shabtai	15.00	0.03	5450	0
89	Matt Haake:0	haoyu	15.00	0.05	5531	0
90	kt4124:0	haoyu	15.00	0.03	5542	0
91	David Lackey:0	Anon5	15.00	0.03	5564	0
92	Sally Smith:1	haoyu	15.00	0.04	5689	0
93	NA:1	Elphaba	15.00	0.04	5705	0
94	Anon5:1	Green "The Bean" Choi	15.00	0.07	5759	0
95	Tiny Wings:1	haoyu	15.00	0.01	6078	0
96	Ytterbium:0	Andrew Grasso	15.00	0.02	6104	0
97	Sally Smith:0	haoyu	15.00	0.04	6312	0
98	David H.:1	DeeEmEm	15.00	0.33	6314	0
99	Alex Fish:1	haoyu	15.00	0.02	6362	0
100	Tiny Wings:0	haoyu	15.00	0.02	6403	0
101	Alex Fish:0	haoyu	15.00	0.01	6422	0
102	David H.:0	AFC	15.00	0.28	6588	0
103	nupog:0	Aristotle	15.00	0.13	6598	0
104	vluu:1	Nihar the Great	15.00	0.02	6734	0
105	Tao:0	Bar Shabtai	15.00	0.02	6879	0
106	Anon_K_P:0	haoyu	15.00	0.02	6889	0
107	The Whitman Whale:1	Andrew Grasso	15.00	0.03	6999	0
108	vluu:0	Nihar the Great	15.00	0.01	7280	0
109	The Whitman Whale:0	bigwig	15.00	0.04	7459	0
110	Scheduling Generator 203:1	Jameh	15.00	0.02	8558	0
111	snowflakes:1	haoyu	15.00	0.03	8725	0
112	cat:1	haoyu	15.00	0.03	8991	0
113	snowflakes:0	haoyu	15.00	0.03	9537	0
114	spl:1	haoyu	15.00	0.06	9559	0
115	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	9592	0
116	Anon5:0	haoyu	15.00	0.05	9601	0
117	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	10050	0
118	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.00	0.01	10066	0
119	Mr. Blobby:1	dusty	15.00	0.12	10105	0
120	cat:0	haoyu	15.00	0.03	10164	0
121	spl:0	Elphaba	15.00	0.09	10467	0
122	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	10604	0
123	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	10815	0
124	Glenn Fisher:0	Elphaba	15.00	0.02	10825	0
125	Glenn Fisher:1	jabreezy	15.00	0.09	10977	0
126	Ytterbium:1	Nihar the Great	15.00	0.02	12798	0
127	Samuel Jerome:1	haoyu	15.00	0.03	13481	0
128	Samuel Jerome:0	haoyu	15.00	0.03	13792	0
129	EC:1	haoyu	15.00	0.03	14858	0
130	CookieMonster:0	CookieMonster	15.00	0.82	14991	0
131	EC:0	haoyu	15.00	0.03	15024	0
132	CookieMonster:1	CookieMonster	15.00	1.10	15601	0
133	AFC:0	CookieMonster	15.00	0.34	16403	0
134	AFC:1	Aristotle	15.00	0.16	16711	0
135	soccer:0	haoyu	15.00	0.04	16796	0
136	Lisa Kim:1	Bar Shabtai	15.00	0.06	17461	0
137	George Okeowo:1	Andrew Grasso	15.00	0.01	17506	0
138	George Okeowo:0	Andrew Grasso	15.00	0.01	17507	0
139	Lisa Kim:0	Aristotle	15.00	0.07	19386	0
140	Walter Little:1	haoyu	15.00	0.03	21652	0
141	jabreezy:0	Mercury	15.00	0.09	22371	0
142	Ben Chen:0	Elphaba	15.00	0.07	22520	0
143	Walter Little:0	haoyu	15.00	0.04	22644	0
144	jabreezy:1	Mercury	15.00	0.10	22748	0
145	Ben Chen:1	spl	15.00	0.20	23078	0
146	ebp:0	haoyu	15.00	0.04	27153	0
147	ebp:1	haoyu	15.00	0.04	27189	0
148	Khoa:0	haoyu	15.00	0.09	29044	0
149	Khoa:1	Aristotle	15.00	0.09	29491	0
150	Mercury:0	haoyu	15.00	0.05	30053	0
151	bfang:1	haoyu	15.00	0.04	30593	0
152	Mercury:1	haoyu	15.00	0.05	31901	0
153	Absurdity:0	Aristotle	15.00	0.23	33275	0
154	Absurdity:1	Aristotle	15.00	0.18	35399	0
155	Batman:1	haoyu	15.00	0.04	41621	0
156	Sprt:1	haoyu	15.00	0.05	42158	0
157	Yacob Y.:1	Aristotle	15.00	15.00	42436	1
158	Yan Wu:0	haoyu	15.00	0.05	42443	0
159	KingBach:1	haoyu	15.00	0.04	45783	0
160	KingBach:0	haoyu	15.00	0.06	47426	0
161	Sabar Dasgupta:0	spl	15.00	0.23	52244	0
162	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	52764	0
163	burrito:0	haoyu	15.00	0.09	61881	0
164	Charliezsc:1	haoyu	15.00	0.07	62624	0
165	BH:0	haoyu	15.00	0.07	62974	0
166	dfshasdsf12:0	haoyu	15.00	0.09	75008	0
167	Mike Hunt:0	Aristotle	15.00	0.27	85877	0
168	DinnerPartyPlannerBM:1	Nihar the Great	15.00	0.06	91390	0
169	Shaheed Chagani:0	Aristotle	15.00	0.17	103269	0
170	Aaron H:0	Aristotle	15.00	0.11	103817	0
171	Sprt:0	Aristotle	15.00	0.11	104807	0
172	Aaron H:1	Aristotle	15.00	0.11	105187	0
173	Andrew Werner:1	haoyu	15.00	0.11	119764	0
174	Lil Thug:0	Andrew Grasso	15.00	0.03	121275	0
175	John Whelchel:1	haoyu	15.00	0.11	124517	0
176	Andys:0	Aristotle	15.00	0.12	125450	0
177	Bar Shabtai:1	haoyu	15.00	0.12	208074	0
178	cmF5a3ly:0	Nihar the Great	15.00	0.00	320	0
179	Dr Roberto:0	Andrew Grasso	15.00	0.03	484	0
180	weezy:1	Bar Shabtai	15.00	0.01	4820	0
181	Dr Roberto:1	Andrew Grasso	15.00	0.02	6184	0
182	BH:1	haoyu	15.00	0.05	64012	0
183	dfshasdsf12:1	Nihar the Great	15.00	0.11	117050	0
184	soccer:1	haoyu	15.00	0.04	16422	0
185	Yan Wu:1	haoyu	15.00	0.04	35528	0
186	Yacob Y.:0	haoyu	15.00	0.06	36968	0
187	Deric Cheng:0	jgs	15.00	14.99	226572	1
188	Fanny:0	Aristotle	15.00	0.10	2820	0
189	Linda:0	Andrew Grasso	15.00	0.01	10181	0
190	Linda:1	Andrew Grasso	15.00	0.02	14907	0
191	Brendan Wright:1	Deric Cheng	15.00	0.10	20127	0
192	bfang:0	haoyu	15.00	0.04	26482	0
193	Batman:0	haoyu	15.00	0.04	40405	0
194	Andrew Werner:0	Aaron Doll	15.00	0.33	118290	0
195	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	183888	0
196	jgs:0	Aristotle	15.00	0.12	220203	0
197	Fanny:1	Aristotle	15.00	0.12	2485	0
198	nupog:1	Aristotle	15.00	0.12	6697	0
199	Andys:1	Aristotle	15.00	0.13	126970	0
200	jgs:1	haoyu	15.00	0.18	219094	0
201	13a:1	Aaron Doll	15.01	15.00	184143	29
202	Nihar the Great:1	Aristotle	15.01	0.25	480925	0
203	Charliezsc:0	jgs	15.01	14.98	49142	1
204	Elphaba:1	Aristotle	15.01	0.22	175540	0
205	Nihar the Great:0	Aristotle	15.01	0.23	481879	0
206	Bob Dondero:1	Mickey Mouse	15.01	0.03	462	0
207	Mike Hunt:1	Aristotle	15.01	0.29	84490	0
208	burrito:1	haoyu	15.01	0.10	122142	0
209	CAPS LOCK:0	Aristotle	15.01	0.20	155056	0
210	Lil Thug:1	Andrew Grasso	15.02	0.03	119715	0
211	Shaheed Chagani:1	Aristotle	15.02	0.11	106899	0
212	Bob Dondero:0	Andrew Grasso	15.02	0.02	12376	0
213	Elphaba:0	Aristotle	15.02	0.24	212195	0
214	13a:0	Aaron Doll	15.02	15.00	189188	21
215	CAPS LOCK:1	Aristotle	15.03	0.25	235922	0
216	Brendan Wright:0	haoyu	15.03	0.10	149	0
217	Bar Shabtai:0	Aaron Doll	15.04	15.01	369041	1
218	John Whelchel:0	haoyu	15.05	0.06	120054	0
219	Deric Cheng:1	jgs	15.05	14.98	224880	1
220	Aaron Doll:0	Aristotle	15.06	0.56	324467	0
221	Aaron Doll:1	Aristotle	15.07	1.27	379552	0
222	Aristotle:0	Aristotle	15.08	15.00	750847	1
223	Aristotle:1	Aristotle	15.10	9.69	765895	0
224	Matt Goldsmith:1	Happy	15.10	0.03	523374	0
225	Matt Goldsmith:0	Nihar the Great	15.10	0.03	532415	0
226	Tao:1	Aristotle	-	0.07	-	0
227	Miranda:1	cat	-	0.00	-	0
228	Miranda:0	cat	-	0.00	-	0

SatSolvers Ranklist

Generators Ranklist