Stats for satsolver: Jonathan Kwok

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 Jonathan Kwok 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 Jonathan Kwok 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:	Jonathan Kwok
Rank:	45 / 118
Average Score:	6.99
Median Score:	0.33
Description:	Modification of WalkSat taking account for clauses with only one literal.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	R. A. B.:1	cat	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.00	0.00	0	0
3	Bebe Shi:1	KingBach	0.00	0.00	0	0
4	David Paulk:1	Bar Shabtai	0.00	0.00	0	0
5	BMJ:1	burrito	0.00	0.00	0	0
6	K.L.:1	KingBach	0.00	0.00	0	0
7	bigwig:0	Andrew Werner	0.00	0.00	0	0
8	David Paulk:0	cat	0.00	0.00	0	0
9	cmF5a3ly:1	Nihar the Great	0.00	0.00	0	0
10	Miranda:1	cat	0.00	0.00	0	0
11	R. A. B.:0	Nihar the Great	0.00	0.00	0	0
12	BMJ:0	Elphaba	0.00	0.00	0	0
13	K.L.:0	haoyu	0.00	0.00	0	0
14	bigwig:1	KingBach	0.00	0.00	0	0
15	Bebe Shi:0	KingBach	0.00	0.00	0	0
16	Miranda:0	cat	0.00	0.00	0	0
17	Gewang:1	Jonathan Kwok	0.00	0.00	0	0
18	Happy:1	KingBach	0.00	0.00	0	0
19	Gewang:0	Jonathan Kwok	0.00	0.00	0	0
20	Ravi Tandon:1	KingBach	0.00	0.00	0	0
21	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
22	Daffy Duck:1	haoyu	0.00	0.00	0	0
23	Joshua Zimmer:0	haoyu	0.00	0.00	0	0
24	Tree Prophet:0	haoyu	0.01	0.00	0	0
25	Solving For Clauses:1	haoyu	0.01	0.00	0	0
26	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
27	bchouGenerator:0	haoyu	0.01	0.00	0	0
28	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
29	The Kraken:1	haoyu	0.01	0.00	0	0
30	Blam:1	Elphaba	0.01	0.00	0	0
31	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
32	Blam:0	Elphaba	0.01	0.00	0	0
33	haoyu:0	KingBach	0.01	0.01	0	0
34	Quite Satisfied:0	haoyu	0.01	0.00	0	0
35	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
36	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.01	0.01	0	0
37	Qinlan Shen:0	Bar Shabtai	0.01	0.01	0	0
38	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
39	The Kraken:0	haoyu	0.01	0.00	0	0
40	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.01	0.01	0	0
41	haoyu:1	Anon5	0.01	0.01	0	0
42	weezy:1	Bar Shabtai	0.01	0.01	0	0
43	Mickey Mouse:1	haoyu	0.01	0.01	0	0
44	Mickey Mouse:0	Bar Shabtai	0.01	0.01	0	0
45	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
46	Boomshanka:1	Bar Shabtai	0.02	0.01	0	0
47	Tree Prophet:1	haoyu	0.02	0.00	0	0
48	Happy:0	haoyu	0.02	0.00	0	0
49	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
50	Jameh:0	haoyu	0.02	0.01	0	0
51	weezy:0	Bar Shabtai	0.03	0.01	0	0
52	vluu:0	Nihar the Great	0.03	0.01	0	0
53	Tom T:0	EC	0.03	0.02	0	0
54	Ytterbium:0	Andrew Grasso	0.04	0.02	0	0
55	Boomshanka:0	haoyu	0.04	0.01	0	0
56	Alex Fish:0	haoyu	0.04	0.01	0	0
57	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
58	Tom T:1	Andrew Werner	0.04	0.02	0	0
59	Sunny:1	jabreezy	0.04	0.01	0	0
60	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
61	Sunny:0	Green "The Bean" Choi	0.04	0.02	0	0
62	Jameh:1	haoyu	0.04	0.01	0	0
63	Dr Roberto:1	Andrew Grasso	0.05	0.02	0	0
64	vluu:1	Nihar the Great	0.05	0.02	0	0
65	Tiny Wings:1	haoyu	0.05	0.01	0	0
66	Bob Dondero:0	Andrew Grasso	0.05	0.02	0	0
67	Tao:0	Bar Shabtai	0.05	0.02	0	0
68	The Whitman Whale:0	bigwig	0.05	0.04	0	0
69	Keji Xu:0	Nihar the Great	0.05	0.03	0	0
70	Ytterbium:1	Nihar the Great	0.06	0.02	0	0
71	Alex Fish:1	haoyu	0.06	0.02	0	0
72	Glenn Fisher:0	Elphaba	0.06	0.02	0	0
73	George Okeowo:0	Andrew Grasso	0.06	0.01	0	0
74	George Okeowo:1	Andrew Grasso	0.06	0.01	0	0
75	David Lackey:0	Anon5	0.06	0.03	0	0
76	Bob Dondero:1	Mickey Mouse	0.06	0.03	0	0
77	kt4124:0	haoyu	0.07	0.03	0	0
78	Keji Xu:1	Nihar the Great	0.07	0.04	0	0
79	cat:1	haoyu	0.07	0.03	0	0
80	The Whitman Whale:1	Andrew Grasso	0.07	0.03	0	0
81	cat:0	haoyu	0.07	0.03	0	0
82	Janie Gu:1	Jonathan Kwok	0.07	0.07	0	0
83	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.08	0.00	0	0
84	Matt Goldsmith:0	Nihar the Great	0.08	0.03	0	0
85	David Lackey:1	Bar Shabtai	0.08	0.03	0	0
86	Tiny Wings:0	haoyu	0.08	0.02	0	0
87	Lisa Kim:1	Bar Shabtai	0.09	0.06	0	0
88	Matt Goldsmith:1	Happy	0.09	0.03	0	0
89	Dr Roberto:0	Andrew Grasso	0.10	0.03	0	0
90	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.10	0.01	0	0
91	Janie Gu:0	Glenn Fisher	0.11	0.07	0	0
92	Jordan Ash:0	EC	0.12	0.03	0	0
93	Nikhilesh Sigatapu:0	haoyu	0.13	0.03	0	0
94	Samuel Jerome:0	haoyu	0.13	0.03	0	0
95	0108:1	haoyu	0.13	0.01	0	0
96	kt4124:1	haoyu	0.14	0.04	0	0
97	Lisa Kim:0	Aristotle	0.14	0.07	0	0
98	Mercury:1	haoyu	0.16	0.05	0	0
99	Nikhilesh Sigatapu:1	haoyu	0.16	0.04	0	0
100	soccer:1	haoyu	0.16	0.04	0	0
101	Tao:1	Aristotle	0.17	0.07	0	0
102	soccer:0	haoyu	0.17	0.04	0	0
103	bfang:1	haoyu	0.18	0.04	0	0
104	DeeEmEm:1	haoyu	0.19	0.02	0	0
105	Yan Wu:0	haoyu	0.22	0.05	0	0
106	KingBach:1	haoyu	0.22	0.04	0	0
107	Samuel Jerome:1	haoyu	0.23	0.03	0	0
108	Batman:0	haoyu	0.23	0.04	0	0
109	Sally Smith:0	haoyu	0.24	0.04	0	0
110	bfang:0	haoyu	0.24	0.04	0	0
111	Khoa:1	Aristotle	0.32	0.09	0	0
112	Matt Haake:1	haoyu	0.33	0.05	0	0
113	Linda:0	Andrew Grasso	0.35	0.01	0	0
114	Khoa:0	haoyu	0.38	0.09	0	0
115	Matt Haake:0	haoyu	0.40	0.05	0	0
116	Anon_K_P:1	Aristotle	0.41	0.03	0	0
117	Yan Wu:1	haoyu	0.41	0.04	0	0
118	Fanny:0	Aristotle	0.42	0.10	0	0
119	Sprt:1	haoyu	0.46	0.05	0	0
120	Sally Smith:1	haoyu	0.46	0.04	0	0
121	Fanny:1	Aristotle	0.50	0.12	0	0
122	Anon_K_P:0	haoyu	0.50	0.02	0	0
123	Batman:1	haoyu	0.50	0.04	0	0
124	KingBach:0	haoyu	0.53	0.06	0	0
125	Ben Chen:0	Elphaba	0.53	0.07	0	0
126	Andrew Grasso:0	Aaron Doll	0.53	0.18	0	0
127	Mercury:0	haoyu	0.57	0.05	0	0
128	Valya Barboy:0	Aristotle	0.58	0.06	0	0
129	Linda:1	Andrew Grasso	0.76	0.02	0	0
130	Mr. Blobby:1	dusty	0.97	0.12	0	0
131	burrito:0	haoyu	0.98	0.09	0	0
132	John Whelchel:0	haoyu	0.98	0.06	0	0
133	Valya Barboy:1	Shaheed Chagani	1.02	0.18	0	0
134	Lil Thug:0	Andrew Grasso	1.07	0.03	0	0
135	Aaron H:1	Aristotle	1.11	0.11	0	0
136	Ben Chen:1	spl	1.20	0.20	0	0
137	Mr. Blobby:0	Green "The Bean" Choi	1.21	0.14	0	0
138	Anon5:1	Green "The Bean" Choi	1.23	0.07	0	0
139	DinnerPartyPlannerBM:1	Nihar the Great	1.24	0.06	0	0
140	ebp:0	haoyu	1.31	0.04	0	0
141	snowflakes:1	haoyu	1.38	0.03	0	0
142	dfshasdsf12:0	haoyu	1.46	0.09	0	0
143	Mike Honcho:1	Jessie Chen	1.47	0.01	0	0
144	Mike Honcho:0	Miranda	1.54	0.01	0	0
145	Sabar Dasgupta:0	spl	1.57	0.23	0	0
146	Yacob Y.:0	haoyu	1.61	0.06	0	0
147	Lil Thug:1	Andrew Grasso	1.62	0.03	0	0
148	Glenn Fisher:1	jabreezy	1.62	0.09	0	0
149	Brendan Wright:0	haoyu	1.67	0.10	0	0
150	Mike Hunt:0	Aristotle	1.72	0.27	0	0
151	John Whelchel:1	haoyu	1.73	0.11	0	0
152	EC:1	haoyu	1.74	0.03	0	0
153	Sprt:0	Aristotle	1.77	0.11	0	0
154	EC:0	haoyu	1.89	0.03	0	0
155	dfshasdsf12:1	Nihar the Great	1.95	0.11	0	0
156	Aaron H:0	Aristotle	2.08	0.11	0	0
157	Andrew Werner:1	haoyu	2.10	0.11	0	0
158	Sabar Dasgupta:1	Aaron Doll	2.10	0.17	0	0
159	Andys:0	Aristotle	2.25	0.12	0	0
160	Walter Little:1	haoyu	2.65	0.03	0	0
161	burrito:1	haoyu	2.74	0.10	0	0
162	ebp:1	haoyu	3.23	0.04	0	0
163	Brendan Wright:1	Deric Cheng	3.39	0.10	0	0
164	NA:1	Elphaba	3.74	0.04	0	0
165	Andrew Werner:0	Aaron Doll	4.03	0.33	0	0
166	DinnerPartyPlannerBM:0	Aristotle	4.17	0.11	0	0
167	Andrew Grasso:1	Shaheed Chagani	4.59	0.15	0	0
168	snowflakes:0	haoyu	4.90	0.03	0	0
169	jabreezy:0	Mercury	4.95	0.09	0	0
170	Andys:1	Aristotle	5.26	0.13	0	0
171	Bar Shabtai:1	haoyu	5.70	0.12	0	0
172	BH:0	haoyu	6.01	0.07	0	0
173	CAPS LOCK:0	Aristotle	7.11	0.20	0	0
174	jgs:0	Aristotle	7.39	0.12	0	0
175	BH:1	haoyu	7.50	0.05	0	0
176	jgs:1	haoyu	9.30	0.18	0	0
177	Mike Hunt:1	Aristotle	10.36	0.29	0	0
178	Dusty:1	Shaheed Chagani	11.37	0.22	0	0
179	Elphaba:0	Aristotle	11.63	0.24	0	0
180	jabreezy:1	Mercury	11.83	0.10	0	0
181	nupog:0	Aristotle	13.07	0.13	0	0
182	nupog:1	Aristotle	13.10	0.12	0	0
183	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
184	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
185	Dusty:0	CookieMonster	15.00	1.39	1	0
186	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
187	David H.:0	AFC	15.00	0.28	1	0
188	CookieMonster:0	CookieMonster	15.00	0.82	1	0
189	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
190	0108:0	jgs	15.00	14.98	1	1
191	AFC:0	CookieMonster	15.00	0.34	1	0
192	David H.:1	DeeEmEm	15.00	0.33	2	0
193	Walter Little:0	haoyu	15.00	0.04	2	0
194	spl:0	Elphaba	15.00	0.09	2	0
195	T. Capote:0	haoyu	15.00	0.00	2	2
196	NA:0	haoyu	15.00	0.03	2	0
197	T. Capote:1	haoyu	15.00	0.00	2	2
198	Absurdity:0	Aristotle	15.00	0.23	2	0
199	SuperFan:0	jgs	15.00	14.98	4	4
200	SuperFan:1	jgs	15.00	14.98	4	4
201	Anon5:0	haoyu	15.00	0.05	1	0
202	CookieMonster:1	CookieMonster	15.00	1.10	1	0
203	Shaheed Chagani:1	Aristotle	15.00	0.11	3	0
204	Charliezsc:0	jgs	15.00	14.98	1	1
205	AFC:1	Aristotle	15.00	0.16	2	0
206	spl:1	haoyu	15.00	0.06	2	0
207	Charliezsc:1	haoyu	15.01	0.07	1	0
208	Absurdity:1	Aristotle	15.01	0.18	3	0
209	Yacob Y.:1	Aristotle	15.01	15.00	6	1
210	Nihar the Great:1	Aristotle	15.01	0.25	775	0
211	13a:1	Aaron Doll	15.02	15.00	114	29
212	Deric Cheng:0	jgs	15.02	14.99	1	1
213	Deric Cheng:1	jgs	15.02	14.98	1	1
214	Shaheed Chagani:0	Aristotle	15.03	0.17	3	0
215	Nihar the Great:0	Aristotle	15.05	0.23	727	0
216	13a:0	Aaron Doll	15.09	15.00	108	21
217	CAPS LOCK:1	Aristotle	15.23	0.25	10	0
218	Aaron Doll:0	Aristotle	15.24	0.56	108	0
219	Elphaba:1	Aristotle	15.33	0.22	9	0
220	Aaron Doll:1	Aristotle	15.73	1.27	123	0
221	Bar Shabtai:0	Aaron Doll	16.32	15.01	79	1
222	Aristotle:0	Aristotle	17.91	15.00	116	1
223	Aristotle:1	Aristotle	18.92	9.69	114	0
224	Mark S. Fillmore:1	Supahaka	-	0.04	-	79
225	Quite Satisfied:1	Joel Faron	-	2.11	-	1
226	Mark S. Fillmore:0	Supahaka	-	0.01	-	116
227	Supahaka:0	Andrew Werner	-	15.00	-	35
228	Supahaka:1	Joel Faron	-	15.00	-	35

SatSolvers Ranklist

Generators Ranklist