Stats for satsolver: Lisa Kim

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 Lisa Kim 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 Lisa Kim 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:	Lisa Kim
Rank:	38 / 118
Average Score:	6.11
Median Score:	0.84
Description:	This sat-solver generates random models using Walk SATand returns the best one when time runs out.

	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	Miranda:1	cat	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	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
7	Bebe Shi:0	KingBach	0.00	0.00	0	0
8	Miranda:0	cat	0.00	0.00	0	0
9	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
10	Solving For Clauses:1	haoyu	0.01	0.00	0	0
11	Daffy Duck:1	haoyu	0.01	0.00	0	0
12	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
13	Bebe Shi:1	KingBach	0.01	0.00	0	0
14	haoyu:1	Anon5	0.01	0.01	0	0
15	R. A. B.:1	cat	0.01	0.00	0	0
16	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
17	Blam:1	Elphaba	0.01	0.00	0	0
18	K.L.:1	KingBach	0.01	0.00	0	0
19	Happy:1	KingBach	0.01	0.00	0	0
20	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
21	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
22	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
23	BMJ:1	burrito	0.01	0.00	0	0
24	bchouGenerator:0	haoyu	0.01	0.00	0	0
25	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
26	cmF5a3ly:1	Nihar the Great	0.01	0.00	0	0
27	David Paulk:0	cat	0.01	0.00	0	0
28	The Kraken:0	haoyu	0.01	0.00	0	0
29	Mike Honcho:0	Miranda	0.01	0.01	0	0
30	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
31	The Kraken:1	haoyu	0.02	0.00	0	0
32	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
33	Quite Satisfied:0	haoyu	0.02	0.00	0	0
34	Blam:0	Elphaba	0.02	0.00	0	0
35	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
36	Tree Prophet:0	haoyu	0.02	0.00	0	0
37	K.L.:0	haoyu	0.02	0.00	0	0
38	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
39	Tree Prophet:1	haoyu	0.02	0.00	0	0
40	haoyu:0	KingBach	0.02	0.01	0	0
41	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
42	Mickey Mouse:1	haoyu	0.02	0.01	0	0
43	Happy:0	haoyu	0.03	0.00	0	0
44	BMJ:0	Elphaba	0.03	0.00	0	0
45	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
46	Jameh:0	haoyu	0.04	0.01	0	0
47	Tom T:0	EC	0.04	0.02	0	0
48	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
49	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
50	David Lackey:1	Bar Shabtai	0.04	0.03	0	0
51	Tom T:1	Andrew Werner	0.04	0.02	0	0
52	Ytterbium:0	Andrew Grasso	0.05	0.02	0	0
53	Tiny Wings:0	haoyu	0.05	0.02	0	0
54	vluu:0	Nihar the Great	0.05	0.01	0	0
55	Scheduling Generator 203:1	Jameh	0.05	0.02	0	0
56	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
57	Qinlan Shen:0	Bar Shabtai	0.05	0.01	0	0
58	vluu:1	Nihar the Great	0.05	0.02	0	0
59	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.06	0.01	0	0
60	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.06	0.01	0	0
61	weezy:0	Bar Shabtai	0.07	0.01	0	0
62	Jameh:1	haoyu	0.07	0.01	0	0
63	Boomshanka:0	haoyu	0.08	0.01	0	0
64	0108:1	haoyu	0.08	0.01	0	0
65	weezy:1	Bar Shabtai	0.09	0.01	0	0
66	The Whitman Whale:0	bigwig	0.09	0.04	0	0
67	Sunny:1	jabreezy	0.09	0.01	0	0
68	cat:1	haoyu	0.11	0.03	0	0
69	The Whitman Whale:1	Andrew Grasso	0.11	0.03	0	0
70	Ytterbium:1	Nihar the Great	0.11	0.02	0	0
71	Jordan Ash:0	EC	0.11	0.03	0	0
72	cat:0	haoyu	0.12	0.03	0	0
73	Tiny Wings:1	haoyu	0.12	0.01	0	0
74	Alex Fish:1	haoyu	0.13	0.02	0	0
75	Tao:1	Aristotle	0.14	0.07	0	0
76	Linda:0	Andrew Grasso	0.15	0.01	0	0
77	Alex Fish:0	haoyu	0.15	0.01	0	0
78	Bob Dondero:0	Andrew Grasso	0.16	0.02	0	0
79	Mike Honcho:1	Jessie Chen	0.17	0.01	0	0
80	George Okeowo:1	Andrew Grasso	0.18	0.01	0	0
81	DeeEmEm:1	haoyu	0.19	0.02	0	0
82	Nikhilesh Sigatapu:0	haoyu	0.20	0.03	0	0
83	David Lackey:0	Anon5	0.22	0.03	0	0
84	Dr Roberto:1	Andrew Grasso	0.22	0.02	0	0
85	George Okeowo:0	Andrew Grasso	0.22	0.01	0	0
86	Keji Xu:1	Nihar the Great	0.23	0.04	0	0
87	Lisa Kim:1	Bar Shabtai	0.23	0.06	0	0
88	Dr Roberto:0	Andrew Grasso	0.25	0.03	0	0
89	Samuel Jerome:0	haoyu	0.25	0.03	0	0
90	Bob Dondero:1	Mickey Mouse	0.26	0.03	0	0
91	Lisa Kim:0	Aristotle	0.28	0.07	0	0
92	Janie Gu:0	Glenn Fisher	0.29	0.07	0	0
93	kt4124:0	haoyu	0.29	0.03	0	0
94	bfang:0	haoyu	0.33	0.04	0	0
95	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.34	0.00	0	0
96	Matt Haake:1	haoyu	0.36	0.05	0	0
97	Anon_K_P:1	Aristotle	0.41	0.03	0	0
98	Sally Smith:0	haoyu	0.42	0.04	0	0
99	Keji Xu:0	Nihar the Great	0.42	0.03	0	0
100	Sunny:0	Green "The Bean" Choi	0.42	0.02	0	0
101	Batman:1	haoyu	0.44	0.04	0	0
102	KingBach:1	haoyu	0.51	0.04	0	0
103	Janie Gu:1	Jonathan Kwok	0.52	0.07	0	0
104	Tao:0	Bar Shabtai	0.54	0.02	0	0
105	Nikhilesh Sigatapu:1	haoyu	0.54	0.04	0	0
106	Mercury:1	haoyu	0.56	0.05	0	0
107	Batman:0	haoyu	0.59	0.04	0	0
108	bfang:1	haoyu	0.63	0.04	0	0
109	Linda:1	Andrew Grasso	0.65	0.02	0	0
110	Samuel Jerome:1	haoyu	0.66	0.03	0	0
111	Matt Haake:0	haoyu	0.69	0.05	0	0
112	kt4124:1	haoyu	0.69	0.04	0	0
113	Sprt:1	haoyu	0.70	0.05	0	0
114	Khoa:0	haoyu	0.84	0.09	0	0
115	Sally Smith:1	haoyu	0.89	0.04	0	0
116	Mercury:0	haoyu	0.98	0.05	0	0
117	Khoa:1	Aristotle	1.01	0.09	0	0
118	Anon_K_P:0	haoyu	1.08	0.02	0	0
119	Yan Wu:0	haoyu	1.17	0.05	0	0
120	burrito:0	haoyu	1.83	0.09	0	0
121	soccer:1	haoyu	1.93	0.04	0	0
122	DinnerPartyPlannerBM:1	Nihar the Great	1.99	0.06	0	0
123	dfshasdsf12:0	haoyu	2.15	0.09	0	0
124	Yan Wu:1	haoyu	2.18	0.04	0	0
125	KingBach:0	haoyu	2.45	0.06	0	0
126	soccer:0	haoyu	3.47	0.04	0	0
127	Lil Thug:1	Andrew Grasso	3.48	0.03	0	0
128	Sprt:0	Aristotle	3.53	0.11	0	0
129	Lil Thug:0	Andrew Grasso	3.70	0.03	0	0
130	Glenn Fisher:0	Elphaba	3.87	0.02	0	0
131	Aaron H:0	Aristotle	3.95	0.11	0	0
132	Yacob Y.:0	haoyu	4.26	0.06	0	0
133	Andys:1	Aristotle	4.56	0.13	0	0
134	Glenn Fisher:1	jabreezy	5.03	0.09	0	0
135	Anon5:1	Green "The Bean" Choi	5.10	0.07	0	0
136	dfshasdsf12:1	Nihar the Great	6.18	0.11	0	0
137	Sabar Dasgupta:1	Aaron Doll	6.52	0.17	0	0
138	Sabar Dasgupta:0	spl	6.86	0.23	0	0
139	burrito:1	haoyu	7.32	0.10	0	0
140	DinnerPartyPlannerBM:0	Aristotle	7.78	0.11	0	0
141	jabreezy:0	Mercury	7.82	0.09	0	0
142	Brendan Wright:1	Deric Cheng	7.86	0.10	0	0
143	jabreezy:1	Mercury	8.96	0.10	0	0
144	Brendan Wright:0	haoyu	9.08	0.10	0	0
145	Aaron H:1	Aristotle	9.08	0.11	0	0
146	Mr. Blobby:1	dusty	10.85	0.12	0	0
147	Fanny:0	Aristotle	12.93	0.10	0	0
148	ebp:1	haoyu	13.36	0.04	0	0
149	Qinlan Shen:1	R. A. B.	15.00	9.00	2	1
150	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
151	T. Capote:0	haoyu	15.00	0.00	2	2
152	T. Capote:1	haoyu	15.00	0.00	2	2
153	DeeEmEm:0	CAPS LOCK	15.00	13.00	3	1
154	John Whelchel:1	haoyu	15.00	0.11	4	0
155	Quite Satisfied:1	Joel Faron	15.00	2.11	4	1
156	spl:0	Elphaba	15.00	0.09	4	0
157	Jessie Chen:0	Joel Faron	15.00	0.13	5	1
158	Valya Barboy:1	Shaheed Chagani	15.00	0.18	5	0
159	CookieMonster:0	CookieMonster	15.00	0.82	5	0
160	David H.:0	AFC	15.00	0.28	10	0
161	0108:0	jgs	15.00	14.98	10	1
162	Walter Little:0	haoyu	15.00	0.04	11	0
163	SuperFan:1	jgs	15.00	14.98	12	4
164	David H.:1	DeeEmEm	15.00	0.33	13	0
165	SuperFan:0	jgs	15.00	14.98	13	4
166	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	15	0
167	Ben Chen:1	spl	15.00	0.20	15	0
168	NA:1	Elphaba	15.00	0.04	18	0
169	Yacob Y.:1	Aristotle	15.00	15.00	20	1
170	Dusty:0	CookieMonster	15.00	1.39	22	0
171	snowflakes:0	haoyu	15.00	0.03	23	0
172	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	24	0
173	Dusty:1	Shaheed Chagani	15.00	0.22	25	0
174	Andrew Grasso:0	Aaron Doll	15.00	0.18	25	0
175	Ben Chen:0	Elphaba	15.00	0.07	28	0
176	snowflakes:1	haoyu	15.00	0.03	31	0
177	NA:0	haoyu	15.00	0.03	36	0
178	Supahaka:0	Andrew Werner	15.00	15.00	42	35
179	Supahaka:1	Joel Faron	15.00	15.00	46	35
180	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
181	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
182	BH:1	haoyu	15.00	0.05	271	0
183	John Whelchel:0	haoyu	15.00	0.06	3	0
184	EC:1	haoyu	15.00	0.03	7	0
185	AFC:1	Aristotle	15.00	0.16	10	0
186	AFC:0	CookieMonster	15.00	0.34	10	0
187	spl:1	haoyu	15.00	0.06	13	0
188	Anon5:0	haoyu	15.00	0.05	14	0
189	Walter Little:1	haoyu	15.00	0.03	14	0
190	Absurdity:0	Aristotle	15.00	0.23	16	0
191	nupog:1	Aristotle	15.00	0.12	25	0
192	13a:0	Aaron Doll	15.00	15.00	36886	21
193	Matt Goldsmith:1	Happy	15.00	0.03	521590	0
194	CookieMonster:1	CookieMonster	15.00	1.10	7	0
195	Valya Barboy:0	Aristotle	15.00	0.06	7	0
196	ebp:0	haoyu	15.00	0.04	23	0
197	Elphaba:0	Aristotle	15.00	0.24	13203	0
198	Elphaba:1	Aristotle	15.00	0.22	17165	0
199	Nihar the Great:1	Aristotle	15.00	0.25	17317	0
200	EC:0	haoyu	15.00	0.03	7	0
201	Fanny:1	Aristotle	15.01	0.12	5	0
202	Absurdity:1	Aristotle	15.01	0.18	14	0
203	BH:0	haoyu	15.01	0.07	211	0
204	Mike Hunt:1	Aristotle	15.01	0.29	6	0
205	Charliezsc:0	jgs	15.01	14.98	11	1
206	Andrew Werner:1	haoyu	15.01	0.11	2	0
207	CAPS LOCK:0	Aristotle	15.01	0.20	2	0
208	nupog:0	Aristotle	15.01	0.13	7	0
209	Shaheed Chagani:0	Aristotle	15.01	0.17	42	0
210	Nihar the Great:0	Aristotle	15.01	0.23	18781	0
211	Mike Hunt:0	Aristotle	15.02	0.27	4	0
212	13a:1	Aaron Doll	15.02	15.00	46837	29
213	Charliezsc:1	haoyu	15.02	0.07	5	0
214	Matt Goldsmith:0	Nihar the Great	15.03	0.03	513770	0
215	Aaron Doll:1	Aristotle	15.03	1.27	276208	0
216	Deric Cheng:1	jgs	15.03	14.98	5	1
217	jgs:0	Aristotle	15.04	0.12	11	0
218	CAPS LOCK:1	Aristotle	15.04	0.25	680	0
219	Aaron Doll:0	Aristotle	15.04	0.56	211817	0
220	Deric Cheng:0	jgs	15.04	14.99	2	1
221	Shaheed Chagani:1	Aristotle	15.04	0.11	25	0
222	Andrew Werner:0	Aaron Doll	15.05	0.33	4	0
223	Bar Shabtai:0	Aaron Doll	15.06	15.01	292836	1
224	jgs:1	haoyu	15.07	0.18	12	0
225	Andys:0	Aristotle	15.11	0.12	16	0
226	Bar Shabtai:1	haoyu	15.11	0.12	6	0
227	Aristotle:1	Aristotle	15.15	9.69	740676	0
228	Aristotle:0	Aristotle	15.32	15.00	731115	1

SatSolvers Ranklist

Generators Ranklist