Stats for satsolver: KingBach

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 KingBach 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 KingBach 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:	KingBach
Rank:	73 / 118
Average Score:	11.45
Median Score:	0.57
Description:	Sat solver does unit resolution sets most common variable first and then follows standard WalkSat procedure (but does not reset original unit resolved variables).

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	Bebe Shi:1	KingBach	0.00	0.00	0	0
3	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
4	K.L.:1	KingBach	0.00	0.00	0	0
5	bigwig:0	Andrew Werner	0.00	0.00	0	0
6	Happy:1	KingBach	0.00	0.00	0	0
7	bigwig:1	KingBach	0.00	0.00	0	0
8	Bebe Shi:0	KingBach	0.00	0.00	0	0
9	Ravi Tandon:1	KingBach	0.00	0.00	0	0
10	BMJ:1	burrito	0.00	0.00	0	0
11	Miranda:1	cat	0.00	0.00	0	0
12	BMJ:0	Elphaba	0.00	0.00	0	0
13	Blam:0	Elphaba	0.00	0.00	0	0
14	Miranda:0	cat	0.00	0.00	0	0
15	R. A. B.:1	cat	0.00	0.00	0	0
16	Blam:1	Elphaba	0.00	0.00	0	0
17	Solving For Clauses:0	Glenn Fisher	0.00	0.00	0	0
18	Solving For Clauses:1	haoyu	0.00	0.00	0	0
19	Happy:0	haoyu	0.00	0.00	0	0
20	Joshua Zimmer:0	haoyu	0.00	0.00	0	0
21	bchouGenerator:0	haoyu	0.01	0.00	0	0
22	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
23	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
24	Daffy Duck:1	haoyu	0.01	0.00	0	0
25	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
26	haoyu:0	KingBach	0.01	0.01	0	0
27	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
28	haoyu:1	Anon5	0.01	0.01	0	0
29	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
30	Tree Prophet:0	haoyu	0.01	0.00	0	0
31	Quite Satisfied:0	haoyu	0.01	0.00	0	0
32	The Kraken:1	haoyu	0.01	0.00	0	0
33	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
34	David Paulk:0	cat	0.01	0.00	0	0
35	Tree Prophet:1	haoyu	0.01	0.00	0	0
36	The Kraken:0	haoyu	0.01	0.00	0	0
37	Jameh:0	haoyu	0.01	0.01	0	0
38	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
39	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
40	Qinlan Shen:0	Bar Shabtai	0.01	0.01	0	0
41	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
42	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
43	Mickey Mouse:1	haoyu	0.02	0.01	0	0
44	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
45	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
46	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
47	Jordan Ash:0	EC	0.03	0.03	0	0
48	Jameh:1	haoyu	0.03	0.01	0	0
49	Tom T:1	Andrew Werner	0.03	0.02	0	0
50	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
51	0108:1	haoyu	0.03	0.01	0	0
52	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
53	Tom T:0	EC	0.04	0.02	0	0
54	Tiny Wings:1	haoyu	0.04	0.01	0	0
55	weezy:1	Bar Shabtai	0.04	0.01	0	0
56	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
57	weezy:0	Bar Shabtai	0.05	0.01	0	0
58	Ytterbium:0	Andrew Grasso	0.05	0.02	0	0
59	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.05	0.01	0	0
60	Tiny Wings:0	haoyu	0.05	0.02	0	0
61	DeeEmEm:1	haoyu	0.06	0.02	0	0
62	vluu:0	Nihar the Great	0.06	0.01	0	0
63	vluu:1	Nihar the Great	0.07	0.02	0	0
64	Alex Fish:1	haoyu	0.07	0.02	0	0
65	Sunny:1	jabreezy	0.07	0.01	0	0
66	Boomshanka:0	haoyu	0.07	0.01	0	0
67	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.07	0.01	0	0
68	The Whitman Whale:1	Andrew Grasso	0.08	0.03	0	0
69	Janie Gu:1	Jonathan Kwok	0.09	0.07	0	0
70	Keji Xu:0	Nihar the Great	0.09	0.03	0	0
71	cat:0	haoyu	0.09	0.03	0	0
72	Keji Xu:1	Nihar the Great	0.09	0.04	0	0
73	cat:1	haoyu	0.09	0.03	0	0
74	Dr Roberto:1	Andrew Grasso	0.10	0.02	0	0
75	The Whitman Whale:0	bigwig	0.10	0.04	0	0
76	Mike Honcho:0	Miranda	0.11	0.01	0	0
77	Mike Honcho:1	Jessie Chen	0.11	0.01	0	0
78	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
79	Sunny:0	Green "The Bean" Choi	0.12	0.02	0	0
80	David Lackey:1	Bar Shabtai	0.12	0.03	0	0
81	David Lackey:0	Anon5	0.15	0.03	0	0
82	Janie Gu:0	Glenn Fisher	0.15	0.07	0	0
83	Nikhilesh Sigatapu:0	haoyu	0.15	0.03	0	0
84	Samuel Jerome:0	haoyu	0.15	0.03	0	0
85	Bob Dondero:0	Andrew Grasso	0.16	0.02	0	0
86	Lisa Kim:1	Bar Shabtai	0.17	0.06	0	0
87	kt4124:0	haoyu	0.18	0.03	0	0
88	Linda:0	Andrew Grasso	0.19	0.01	0	0
89	Dr Roberto:0	Andrew Grasso	0.19	0.03	0	0
90	George Okeowo:1	Andrew Grasso	0.20	0.01	0	0
91	kt4124:1	haoyu	0.20	0.04	0	0
92	Nikhilesh Sigatapu:1	haoyu	0.22	0.04	0	0
93	Lisa Kim:0	Aristotle	0.22	0.07	0	0
94	Bob Dondero:1	Mickey Mouse	0.22	0.03	0	0
95	George Okeowo:0	Andrew Grasso	0.24	0.01	0	0
96	Alex Fish:0	haoyu	0.27	0.01	0	0
97	Anon_K_P:1	Aristotle	0.34	0.03	0	0
98	Sally Smith:0	haoyu	0.35	0.04	0	0
99	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.38	0.00	0	0
100	Glenn Fisher:0	Elphaba	0.40	0.02	0	0
101	bfang:0	haoyu	0.41	0.04	0	0
102	Anon_K_P:0	haoyu	0.43	0.02	0	0
103	Batman:1	haoyu	0.45	0.04	0	0
104	Sally Smith:1	haoyu	0.46	0.04	0	0
105	soccer:1	haoyu	0.47	0.04	0	0
106	Mercury:1	haoyu	0.51	0.05	0	0
107	KingBach:1	haoyu	0.53	0.04	0	0
108	bfang:1	haoyu	0.56	0.04	0	0
109	Batman:0	haoyu	0.57	0.04	0	0
110	Samuel Jerome:1	haoyu	0.58	0.03	0	0
111	Linda:1	Andrew Grasso	0.61	0.02	0	0
112	Mercury:0	haoyu	0.63	0.05	0	0
113	KingBach:0	haoyu	0.76	0.06	0	0
114	Tao:0	Bar Shabtai	0.80	0.02	0	0
115	Glenn Fisher:1	jabreezy	0.85	0.09	0	0
116	Tao:1	Aristotle	0.90	0.07	0	0
117	soccer:0	haoyu	0.91	0.04	0	0
118	Sprt:1	haoyu	0.91	0.05	0	0
119	Khoa:0	haoyu	0.93	0.09	0	0
120	Brendan Wright:1	Deric Cheng	0.95	0.10	0	0
121	Khoa:1	Aristotle	1.14	0.09	0	0
122	Brendan Wright:0	haoyu	1.29	0.10	0	0
123	Yan Wu:1	haoyu	1.46	0.04	0	0
124	Yan Wu:0	haoyu	1.51	0.05	0	0
125	Fanny:0	Aristotle	1.65	0.10	0	0
126	snowflakes:1	haoyu	1.69	0.03	0	0
127	Charliezsc:1	haoyu	1.76	0.07	0	0
128	John Whelchel:1	haoyu	1.84	0.11	0	0
129	Ben Chen:0	Elphaba	1.85	0.07	0	0
130	DinnerPartyPlannerBM:1	Nihar the Great	1.85	0.06	0	0
131	John Whelchel:0	haoyu	1.95	0.06	0	0
132	Sabar Dasgupta:0	spl	2.02	0.23	0	0
133	burrito:0	haoyu	2.25	0.09	0	0
134	Fanny:1	Aristotle	2.47	0.12	0	0
135	dfshasdsf12:0	haoyu	2.76	0.09	0	0
136	Lil Thug:0	Andrew Grasso	3.31	0.03	0	0
137	Sprt:0	Aristotle	3.62	0.11	0	0
138	Sabar Dasgupta:1	Aaron Doll	3.69	0.17	0	0
139	Aaron H:0	Aristotle	3.81	0.11	0	0
140	Aaron H:1	Aristotle	4.30	0.11	0	0
141	jabreezy:0	Mercury	4.56	0.09	0	0
142	Mike Hunt:1	Aristotle	4.67	0.29	0	0
143	snowflakes:0	haoyu	4.70	0.03	0	0
144	Andrew Werner:1	haoyu	4.96	0.11	0	0
145	Yacob Y.:0	haoyu	4.98	0.06	0	0
146	dfshasdsf12:1	Nihar the Great	4.99	0.11	0	0
147	Lil Thug:1	Andrew Grasso	5.03	0.03	0	0
148	ebp:0	haoyu	5.33	0.04	0	0
149	jabreezy:1	Mercury	6.24	0.10	0	0
150	DinnerPartyPlannerBM:0	Aristotle	6.92	0.11	0	0
151	burrito:1	haoyu	8.30	0.10	0	0
152	Ben Chen:1	spl	8.82	0.20	0	0
153	CAPS LOCK:0	Aristotle	9.80	0.20	0	0
154	Mike Hunt:0	Aristotle	9.94	0.27	0	0
155	Valya Barboy:0	Aristotle	11.86	0.06	0	0
156	Andrew Werner:0	Aaron Doll	13.81	0.33	0	0
157	BH:1	haoyu	13.93	0.05	0	0
158	Bar Shabtai:1	haoyu	14.08	0.12	0	0
159	ebp:1	haoyu	14.38	0.04	0	0
160	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
161	EC:1	haoyu	15.00	0.03	1	0
162	Valya Barboy:1	Shaheed Chagani	15.00	0.18	1	0
163	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
164	Charliezsc:0	jgs	15.00	14.98	1	1
165	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
166	CookieMonster:0	CookieMonster	15.00	0.82	1	0
167	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
168	0108:0	jgs	15.00	14.98	1	1
169	CookieMonster:1	CookieMonster	15.00	1.10	1	0
170	Anon5:1	Green "The Bean" Choi	15.00	0.07	2	0
171	David H.:0	AFC	15.00	0.28	2	0
172	T. Capote:0	haoyu	15.00	0.00	2	2
173	T. Capote:1	haoyu	15.00	0.00	2	2
174	David H.:1	DeeEmEm	15.00	0.33	3	0
175	Anon5:0	haoyu	15.00	0.05	3	0
176	Walter Little:1	haoyu	15.00	0.03	3	0
177	AFC:1	Aristotle	15.00	0.16	3	0
178	spl:1	haoyu	15.00	0.06	3	0
179	EC:0	haoyu	15.00	0.03	3	0
180	Walter Little:0	haoyu	15.00	0.04	4	0
181	spl:0	Elphaba	15.00	0.09	4	0
182	SuperFan:0	jgs	15.00	14.98	4	4
183	SuperFan:1	jgs	15.00	14.98	4	4
184	AFC:0	CookieMonster	15.00	0.34	4	0
185	Matt Haake:0	haoyu	15.00	0.05	4	0
186	Andrew Grasso:0	Aaron Doll	15.00	0.18	10	0
187	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	11	0
188	Dusty:1	Shaheed Chagani	15.00	0.22	12	0
189	Dusty:0	CookieMonster	15.00	1.39	12	0
190	jgs:0	Aristotle	15.00	0.12	14	0
191	Matt Haake:1	haoyu	15.00	0.05	17	0
192	nupog:1	Aristotle	15.00	0.12	31	0
193	Shaheed Chagani:1	Aristotle	15.00	0.11	4302	0
194	Absurdity:0	Aristotle	15.00	0.23	6	0
195	Absurdity:1	Aristotle	15.00	0.18	7	0
196	nupog:0	Aristotle	15.00	0.13	65	0
197	Elphaba:0	Aristotle	15.00	0.24	25190	0
198	Aaron Doll:1	Aristotle	15.00	1.27	303119	0
199	Yacob Y.:1	Aristotle	15.00	15.00	14	1
200	Shaheed Chagani:0	Aristotle	15.01	0.17	8	0
201	BH:0	haoyu	15.01	0.07	269	0
202	Andys:0	Aristotle	15.01	0.12	1	0
203	Nihar the Great:1	Aristotle	15.01	0.25	20887	0
204	13a:0	Aaron Doll	15.01	15.00	65934	21
205	13a:1	Aaron Doll	15.02	15.00	62251	29
206	Deric Cheng:1	jgs	15.02	14.98	1	1
207	Matt Goldsmith:0	Nihar the Great	15.02	0.03	506221	0
208	Andys:1	Aristotle	15.03	0.13	5	0
209	Nihar the Great:0	Aristotle	15.03	0.23	21977	0
210	Elphaba:1	Aristotle	15.04	0.22	22281	0
211	CAPS LOCK:1	Aristotle	15.06	0.25	651	0
212	Aristotle:1	Aristotle	15.07	9.69	712632	0
213	Bar Shabtai:0	Aaron Doll	15.10	15.01	295965	1
214	Aaron Doll:0	Aristotle	15.12	0.56	229372	0
215	Deric Cheng:0	jgs	15.14	14.99	1	1
216	jgs:1	haoyu	15.14	0.18	71	0
217	Matt Goldsmith:1	Happy	15.18	0.03	513390	0
218	Aristotle:0	Aristotle	15.18	15.00	736640	1
219	Mr. Blobby:0	Green "The Bean" Choi	-	0.14	-	0
220	Mark S. Fillmore:1	Supahaka	-	0.04	-	79
221	NA:1	Elphaba	-	0.04	-	0
222	Quite Satisfied:1	Joel Faron	-	2.11	-	1
223	Mark S. Fillmore:0	Supahaka	-	0.01	-	116
224	Supahaka:0	Andrew Werner	-	15.00	-	35
225	NA:0	haoyu	-	0.03	-	0
226	K.L.:0	haoyu	-	0.00	-	0
227	Mr. Blobby:1	dusty	-	0.12	-	0
228	Supahaka:1	Joel Faron	-	15.00	-	35

SatSolvers Ranklist

Generators Ranklist