Stats for satsolver: Keji Xu

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 Keji Xu 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 Keji Xu 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:	Keji Xu
Rank:	58 / 118
Average Score:	8.43
Median Score:	10.93
Description:	This SAT-Solver uses WalkSAT and returns modelor best model if time runs out. It quickly selects unsatisfied clauses and most likely flips the literal in that clause that will minimize the number of unsatisfied clauses.

	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	Miranda:1	cat	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	Bebe Shi:0	KingBach	0.00	0.00	0	0
8	Solving For Clauses:1	haoyu	0.01	0.00	0	0
9	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
10	Miranda:0	cat	0.01	0.00	0	0
11	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
12	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
13	Blam:1	Elphaba	0.01	0.00	0	0
14	Tree Prophet:0	haoyu	0.01	0.00	0	0
15	Bebe Shi:1	KingBach	0.01	0.00	0	0
16	bchouGenerator:0	haoyu	0.01	0.00	0	0
17	R. A. B.:1	cat	0.01	0.00	0	0
18	K.L.:1	KingBach	0.01	0.00	0	0
19	BMJ:0	Elphaba	0.01	0.00	0	0
20	Blam:0	Elphaba	0.01	0.00	0	0
21	David Paulk:0	cat	0.01	0.00	0	0
22	haoyu:1	Anon5	0.01	0.01	0	0
23	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
24	haoyu:0	KingBach	0.01	0.01	0	0
25	K.L.:0	haoyu	0.01	0.00	0	0
26	Mickey Mouse:1	haoyu	0.01	0.01	0	0
27	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
28	Daffy Duck:1	haoyu	0.01	0.00	0	0
29	BMJ:1	burrito	0.02	0.00	0	0
30	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
31	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
32	Tree Prophet:1	haoyu	0.02	0.00	0	0
33	Jameh:0	haoyu	0.02	0.01	0	0
34	0108:1	haoyu	0.02	0.01	0	0
35	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
36	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
37	Happy:0	haoyu	0.02	0.00	0	0
38	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
39	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
40	Tom T:1	Andrew Werner	0.02	0.02	0	0
41	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
42	Mike Honcho:0	Miranda	0.03	0.01	0	0
43	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
44	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.03	0.01	0	0
45	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
46	Tom T:0	EC	0.03	0.02	0	0
47	Daffy Duck:0	Andrew Werner	0.04	0.00	0	0
48	Ytterbium:0	Andrew Grasso	0.04	0.02	0	0
49	Qinlan Shen:0	Bar Shabtai	0.05	0.01	0	0
50	vluu:0	Nihar the Great	0.05	0.01	0	0
51	vluu:1	Nihar the Great	0.05	0.02	0	0
52	Jameh:1	haoyu	0.05	0.01	0	0
53	The Kraken:1	haoyu	0.06	0.00	0	0
54	Bob Dondero:0	Andrew Grasso	0.07	0.02	0	0
55	The Kraken:0	haoyu	0.07	0.00	0	0
56	Sunny:1	jabreezy	0.07	0.01	0	0
57	cat:1	haoyu	0.09	0.03	0	0
58	Linda:0	Andrew Grasso	0.12	0.01	0	0
59	Sunny:0	Green "The Bean" Choi	0.12	0.02	0	0
60	cat:0	haoyu	0.13	0.03	0	0
61	weezy:0	Bar Shabtai	0.13	0.01	0	0
62	Jordan Ash:1	Bar Shabtai	0.18	0.01	0	0
63	Ytterbium:1	Nihar the Great	0.19	0.02	0	0
64	George Okeowo:1	Andrew Grasso	0.20	0.01	0	0
65	Bob Dondero:1	Mickey Mouse	0.21	0.03	0	0
66	The Whitman Whale:1	Andrew Grasso	0.22	0.03	0	0
67	Janie Gu:0	Glenn Fisher	0.29	0.07	0	0
68	bfang:0	haoyu	0.29	0.04	0	0
69	George Okeowo:0	Andrew Grasso	0.29	0.01	0	0
70	The Whitman Whale:0	bigwig	0.30	0.04	0	0
71	Linda:1	Andrew Grasso	0.33	0.02	0	0
72	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.36	0.01	0	0
73	soccer:0	haoyu	0.46	0.04	0	0
74	bfang:1	haoyu	0.50	0.04	0	0
75	Dr Roberto:1	Andrew Grasso	0.52	0.02	0	0
76	Scheduling Generator 203:0	jgs	0.54	0.01	0	0
77	Boomshanka:1	Bar Shabtai	0.57	0.01	0	0
78	weezy:1	Bar Shabtai	0.60	0.01	0	0
79	Anon_K_P:1	Aristotle	0.69	0.03	0	0
80	Janie Gu:1	Jonathan Kwok	0.76	0.07	0	0
81	Sprt:1	haoyu	0.76	0.05	0	0
82	soccer:1	haoyu	0.85	0.04	0	0
83	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.92	0.01	0	0
84	Boomshanka:0	haoyu	0.98	0.01	0	0
85	Samuel Jerome:0	haoyu	1.01	0.03	0	0
86	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	1.12	0.00	0	0
87	Nikhilesh Sigatapu:0	haoyu	1.33	0.03	0	0
88	Tiny Wings:1	haoyu	1.47	0.01	0	0
89	Alex Fish:1	haoyu	1.56	0.02	0	0
90	Mercury:1	haoyu	1.57	0.05	0	0
91	Tiny Wings:0	haoyu	1.64	0.02	0	0
92	burrito:0	haoyu	1.75	0.09	0	0
93	Lil Thug:1	Andrew Grasso	1.95	0.03	0	0
94	Lil Thug:0	Andrew Grasso	2.04	0.03	0	0
95	DinnerPartyPlannerBM:1	Nihar the Great	2.12	0.06	0	0
96	DeeEmEm:1	haoyu	2.39	0.02	0	0
97	David Lackey:0	Anon5	2.41	0.03	0	0
98	Aaron H:1	Aristotle	2.59	0.11	0	0
99	Mercury:0	haoyu	2.72	0.05	0	0
100	Samuel Jerome:1	haoyu	2.86	0.03	0	0
101	kt4124:0	haoyu	3.04	0.03	0	0
102	Dr Roberto:0	Andrew Grasso	3.21	0.03	0	0
103	Aaron H:0	Aristotle	3.23	0.11	0	0
104	Lisa Kim:1	Bar Shabtai	3.46	0.06	0	0
105	Khoa:0	haoyu	4.31	0.09	0	0
106	Keji Xu:1	Nihar the Great	5.46	0.04	0	0
107	Jordan Ash:0	EC	5.82	0.03	0	0
108	Tao:1	Aristotle	5.83	0.07	0	0
109	Lisa Kim:0	Aristotle	6.05	0.07	0	0
110	DinnerPartyPlannerBM:0	Aristotle	6.99	0.11	0	0
111	CAPS LOCK:0	Aristotle	7.65	0.20	0	0
112	Yacob Y.:0	haoyu	8.12	0.06	0	0
113	burrito:1	haoyu	8.75	0.10	0	0
114	Khoa:1	Aristotle	10.93	0.09	0	0
115	Sprt:0	Aristotle	10.97	0.11	0	0
116	dfshasdsf12:0	haoyu	12.20	0.09	0	0
117	David Lackey:1	Bar Shabtai	12.25	0.03	0	0
118	Nikhilesh Sigatapu:1	haoyu	12.37	0.04	0	0
119	Anon_K_P:0	haoyu	12.40	0.02	0	0
120	nupog:1	Aristotle	13.35	0.12	0	0
121	kt4124:1	haoyu	14.95	0.04	0	0
122	Gewang:1	Jonathan Kwok	15.00	0.00	1	0
123	Quite Satisfied:0	haoyu	15.00	0.00	1	0
124	T. Capote:0	haoyu	15.00	0.00	2	2
125	T. Capote:1	haoyu	15.00	0.00	2	2
126	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
127	Jessie Chen:1	Joel Faron	15.00	0.12	3	1
128	DeeEmEm:0	CAPS LOCK	15.00	13.00	3	1
129	Quite Satisfied:1	Joel Faron	15.00	2.11	4	1
130	Glenn Fisher:0	Elphaba	15.00	0.02	5	0
131	Anon5:1	Green "The Bean" Choi	15.00	0.07	7	0
132	AFC:0	CookieMonster	15.00	0.34	9	0
133	Valya Barboy:1	Shaheed Chagani	15.00	0.18	15	0
134	SuperFan:1	jgs	15.00	14.98	15	4
135	Anon5:0	haoyu	15.00	0.05	16	0
136	Valya Barboy:0	Aristotle	15.00	0.06	16	0
137	0108:0	jgs	15.00	14.98	18	1
138	CookieMonster:0	CookieMonster	15.00	0.82	19	0
139	Absurdity:0	Aristotle	15.00	0.23	27	0
140	SuperFan:0	jgs	15.00	14.98	28	4
141	ebp:1	haoyu	15.00	0.04	28	0
142	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	33	0
143	Dusty:1	Shaheed Chagani	15.00	0.22	36	0
144	NA:1	Elphaba	15.00	0.04	42	0
145	Dusty:0	CookieMonster	15.00	1.39	49	0
146	Supahaka:0	Andrew Werner	15.00	15.00	49	35
147	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	51	0
148	Supahaka:1	Joel Faron	15.00	15.00	57	35
149	Andrew Grasso:0	Aaron Doll	15.00	0.18	58	0
150	Ben Chen:0	Elphaba	15.00	0.07	79	0
151	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
152	snowflakes:0	haoyu	15.00	0.03	94	0
153	Matt Haake:1	haoyu	15.00	0.05	96	0
154	Ben Chen:1	spl	15.00	0.20	105	0
155	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
156	snowflakes:1	haoyu	15.00	0.03	123	0
157	13a:1	Aaron Doll	15.00	15.00	11003	29
158	Nihar the Great:0	Aristotle	15.00	0.23	22042	0
159	13a:0	Aaron Doll	15.00	15.00	29651	21
160	ebp:0	haoyu	15.00	0.04	26	0
161	Absurdity:1	Aristotle	15.00	0.18	34	0
162	NA:0	haoyu	15.00	0.03	40	0
163	Matt Haake:0	haoyu	15.00	0.05	106	0
164	CAPS LOCK:1	Aristotle	15.00	0.25	2	0
165	Qinlan Shen:1	R. A. B.	15.00	9.00	3	1
166	AFC:1	Aristotle	15.00	0.16	19	0
167	Walter Little:1	haoyu	15.00	0.03	24	0
168	David H.:1	DeeEmEm	15.00	0.33	15	0
169	spl:0	Elphaba	15.00	0.09	23	0
170	Fanny:1	Aristotle	15.00	0.12	24	0
171	Glenn Fisher:1	jabreezy	15.00	0.09	25	0
172	Fanny:0	Aristotle	15.01	0.10	7	0
173	CookieMonster:1	CookieMonster	15.01	1.10	18	0
174	Yan Wu:0	haoyu	15.01	0.05	39	0
175	Yacob Y.:1	Aristotle	15.01	15.00	39	1
176	Mr. Blobby:1	dusty	15.01	0.12	38	0
177	Aaron Doll:0	Aristotle	15.01	0.56	197251	0
178	Keji Xu:0	Nihar the Great	15.01	0.03	3	0
179	David H.:0	AFC	15.01	0.28	17	0
180	Nihar the Great:1	Aristotle	15.01	0.25	22009	0
181	Tao:0	Bar Shabtai	15.01	0.02	5	0
182	Matt Goldsmith:1	Happy	15.01	0.03	491615	0
183	Alex Fish:0	haoyu	15.02	0.01	5	0
184	Elphaba:0	Aristotle	15.02	0.24	18	0
185	spl:1	haoyu	15.02	0.06	23	0
186	Elphaba:1	Aristotle	15.02	0.22	546	0
187	jabreezy:0	Mercury	15.02	0.09	21	0
188	jgs:0	Aristotle	15.02	0.12	56	0
189	Yan Wu:1	haoyu	15.02	0.04	38	0
190	Aaron Doll:1	Aristotle	15.02	1.27	264853	0
191	Mike Hunt:1	Aristotle	15.02	0.29	10	0
192	Mike Hunt:0	Aristotle	15.02	0.27	27	0
193	Walter Little:0	haoyu	15.03	0.04	24	0
194	Bar Shabtai:1	haoyu	15.04	0.12	15	0
195	Bar Shabtai:0	Aaron Doll	15.04	15.01	282221	1
196	Aristotle:0	Aristotle	15.04	15.00	710064	1
197	Matt Goldsmith:0	Nihar the Great	15.05	0.03	503178	0
198	jabreezy:1	Mercury	15.05	0.10	19	0
199	EC:1	haoyu	15.07	0.03	15	0
200	Batman:1	haoyu	15.08	0.04	2	0
201	Brendan Wright:1	Deric Cheng	15.08	0.10	7	0
202	Sabar Dasgupta:1	Aaron Doll	15.09	0.17	9	0
203	BH:1	haoyu	15.10	0.05	176	0
204	Andrew Werner:0	Aaron Doll	15.10	0.33	23	0
205	Aristotle:1	Aristotle	15.13	9.69	683936	0
206	BH:0	haoyu	15.13	0.07	166	0
207	EC:0	haoyu	15.14	0.03	10	0
208	jgs:1	haoyu	15.29	0.18	57	0
209	KingBach:1	haoyu	15.30	0.04	3	0
210	Charliezsc:1	haoyu	15.31	0.07	12	0
211	Brendan Wright:0	haoyu	15.41	0.10	44	0
212	Andrew Werner:1	haoyu	15.59	0.11	23	0
213	Batman:0	haoyu	15.71	0.04	3	0
214	Charliezsc:0	jgs	15.90	14.98	12	1
215	Sabar Dasgupta:0	spl	16.61	0.23	6	0
216	nupog:0	Aristotle	16.85	0.13	1	0
217	Andys:0	Aristotle	16.89	0.12	25	0
218	Andys:1	Aristotle	17.11	0.13	24	0
219	Sally Smith:0	haoyu	17.36	0.04	5	0
220	KingBach:0	haoyu	17.52	0.06	3	0
221	John Whelchel:0	haoyu	18.26	0.06	22	0
222	Sally Smith:1	haoyu	18.51	0.04	3	0
223	Deric Cheng:1	jgs	18.54	14.98	23	1
224	John Whelchel:1	haoyu	19.47	0.11	25	0
225	Shaheed Chagani:0	Aristotle	22.03	0.17	23	0
226	Shaheed Chagani:1	Aristotle	23.16	0.11	6	0
227	Deric Cheng:0	jgs	23.80	14.99	32	1
228	dfshasdsf12:1	Nihar the Great	62.34	0.11	3	0

SatSolvers Ranklist

Generators Ranklist