Stats for satsolver: Khoa

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 Khoa 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 Khoa 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:	Khoa
Rank:	54 / 118
Average Score:	8.04
Median Score:	15.00
Description:	An implementation of WalkSat

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

SatSolvers Ranklist

Generators Ranklist