Stats for satsolver: Linda

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 Linda 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 Linda 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:	Linda
Rank:	49 / 118
Average Score:	7.42
Median Score:	4.13
Description:	A run-of-the-mill walkSat implementation that flips a randomly selected literal of a randomly chosen unsatisfied clause.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:1	KingBach	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.00	0.00	0	0
3	bigwig:0	Andrew Werner	0.00	0.00	0	0
4	Happy:1	KingBach	0.00	0.00	0	0
5	bigwig:1	KingBach	0.00	0.00	0	0
6	K.L.:1	KingBach	0.00	0.00	0	0
7	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
8	Bebe Shi:0	KingBach	0.01	0.00	0	0
9	Miranda:0	cat	0.01	0.00	0	0
10	Solving For Clauses:1	haoyu	0.01	0.00	0	0
11	Miranda:1	cat	0.01	0.00	0	0
12	Bebe Shi:1	KingBach	0.01	0.00	0	0
13	K.L.:0	haoyu	0.01	0.00	0	0
14	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
15	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
16	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
17	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
18	Daffy Duck:1	haoyu	0.01	0.00	0	0
19	BMJ:1	burrito	0.01	0.00	0	0
20	Blam:1	Elphaba	0.01	0.00	0	0
21	bchouGenerator:0	haoyu	0.01	0.00	0	0
22	Blam:0	Elphaba	0.01	0.00	0	0
23	R. A. B.:1	cat	0.01	0.00	0	0
24	haoyu:1	Anon5	0.02	0.01	0	0
25	haoyu:0	KingBach	0.02	0.01	0	0
26	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
27	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
28	Happy:0	haoyu	0.02	0.00	0	0
29	BMJ:0	Elphaba	0.02	0.00	0	0
30	The Kraken:1	haoyu	0.03	0.00	0	0
31	Tree Prophet:1	haoyu	0.03	0.00	0	0
32	Quite Satisfied:0	haoyu	0.03	0.00	0	0
33	Gewang:0	Jonathan Kwok	0.03	0.00	0	0
34	Tree Prophet:0	haoyu	0.03	0.00	0	0
35	Mike Honcho:0	Miranda	0.03	0.01	0	0
36	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
37	The Kraken:0	haoyu	0.03	0.00	0	0
38	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
39	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
40	David Paulk:0	cat	0.03	0.00	0	0
41	cmF5a3ly:0	Nihar the Great	0.04	0.00	0	0
42	David Paulk:1	Bar Shabtai	0.04	0.00	0	0
43	bchouGenerator:1	Jonathan Kwok	0.04	0.01	0	0
44	Tom T:1	Andrew Werner	0.04	0.02	0	0
45	R. A. B.:0	Nihar the Great	0.04	0.00	0	0
46	weezy:1	Bar Shabtai	0.04	0.01	0	0
47	Jordan Ash:1	Bar Shabtai	0.05	0.01	0	0
48	Dr Roberto:1	Andrew Grasso	0.05	0.02	0	0
49	Mickey Mouse:1	haoyu	0.05	0.01	0	0
50	Sunny:0	Green "The Bean" Choi	0.05	0.02	0	0
51	Scheduling Generator 203:1	Jameh	0.05	0.02	0	0
52	Jameh:0	haoyu	0.05	0.01	0	0
53	Tom T:0	EC	0.05	0.02	0	0
54	Mickey Mouse:0	Bar Shabtai	0.05	0.01	0	0
55	weezy:0	Bar Shabtai	0.06	0.01	0	0
56	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.06	0.01	0	0
57	Mike Honcho:1	Jessie Chen	0.06	0.01	0	0
58	DeeEmEm:1	haoyu	0.06	0.02	0	0
59	Dr Roberto:0	Andrew Grasso	0.07	0.03	0	0
60	The Whitman Whale:1	Andrew Grasso	0.07	0.03	0	0
61	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.07	0.01	0	0
62	vluu:0	Nihar the Great	0.08	0.01	0	0
63	Bob Dondero:0	Andrew Grasso	0.08	0.02	0	0
64	vluu:1	Nihar the Great	0.08	0.02	0	0
65	Jameh:1	haoyu	0.08	0.01	0	0
66	Tiny Wings:1	haoyu	0.08	0.01	0	0
67	Bob Dondero:1	Mickey Mouse	0.09	0.03	0	0
68	Tiny Wings:0	haoyu	0.09	0.02	0	0
69	The Whitman Whale:0	bigwig	0.09	0.04	0	0
70	cat:1	haoyu	0.10	0.03	0	0
71	Keji Xu:0	Nihar the Great	0.10	0.03	0	0
72	Ytterbium:0	Andrew Grasso	0.10	0.02	0	0
73	Janie Gu:0	Glenn Fisher	0.11	0.07	0	0
74	cat:0	haoyu	0.11	0.03	0	0
75	Boomshanka:1	Bar Shabtai	0.11	0.01	0	0
76	Boomshanka:0	haoyu	0.11	0.01	0	0
77	Sunny:1	jabreezy	0.11	0.01	0	0
78	Keji Xu:1	Nihar the Great	0.13	0.04	0	0
79	Janie Gu:1	Jonathan Kwok	0.14	0.07	0	0
80	Linda:0	Andrew Grasso	0.17	0.01	0	0
81	George Okeowo:1	Andrew Grasso	0.17	0.01	0	0
82	Ytterbium:1	Nihar the Great	0.18	0.02	0	0
83	George Okeowo:0	Andrew Grasso	0.19	0.01	0	0
84	Lisa Kim:1	Bar Shabtai	0.26	0.06	0	0
85	Linda:1	Andrew Grasso	0.28	0.02	0	0
86	Sally Smith:1	haoyu	0.33	0.04	0	0
87	kt4124:1	haoyu	0.33	0.04	0	0
88	kt4124:0	haoyu	0.37	0.03	0	0
89	Sally Smith:0	haoyu	0.37	0.04	0	0
90	KingBach:1	haoyu	0.50	0.04	0	0
91	Lisa Kim:0	Aristotle	0.52	0.07	0	0
92	soccer:0	haoyu	0.53	0.04	0	0
93	Batman:1	haoyu	0.58	0.04	0	0
94	Batman:0	haoyu	0.59	0.04	0	0
95	0108:1	haoyu	0.63	0.01	0	0
96	Sprt:1	haoyu	0.70	0.05	0	0
97	Brendan Wright:1	Deric Cheng	0.77	0.10	0	0
98	Khoa:1	Aristotle	0.78	0.09	0	0
99	Khoa:0	haoyu	0.95	0.09	0	0
100	DinnerPartyPlannerBM:1	Nihar the Great	1.79	0.06	0	0
101	KingBach:0	haoyu	1.84	0.06	0	0
102	Alex Fish:1	haoyu	1.87	0.02	0	0
103	soccer:1	haoyu	1.88	0.04	0	0
104	Alex Fish:0	haoyu	1.98	0.01	0	0
105	burrito:0	haoyu	2.12	0.09	0	0
106	dfshasdsf12:0	haoyu	2.12	0.09	0	0
107	Jordan Ash:0	EC	2.24	0.03	0	0
108	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	2.54	0.00	0	0
109	Sprt:0	Aristotle	3.15	0.11	0	0
110	jabreezy:0	Mercury	3.25	0.09	0	0
111	Lil Thug:1	Andrew Grasso	3.60	0.03	0	0
112	Lil Thug:0	Andrew Grasso	3.60	0.03	0	0
113	jabreezy:1	Mercury	4.04	0.10	0	0
114	Tao:0	Bar Shabtai	4.13	0.02	0	0
115	dfshasdsf12:1	Nihar the Great	5.59	0.11	0	0
116	DinnerPartyPlannerBM:0	Aristotle	5.96	0.11	0	0
117	CAPS LOCK:0	Aristotle	6.04	0.20	0	0
118	bfang:0	haoyu	6.67	0.04	0	0
119	burrito:1	haoyu	6.87	0.10	0	0
120	Bar Shabtai:1	haoyu	8.37	0.12	0	0
121	Andrew Werner:0	Aaron Doll	8.73	0.33	0	0
122	Tao:1	Aristotle	8.96	0.07	0	0
123	David Lackey:1	Bar Shabtai	9.31	0.03	0	0
124	bfang:1	haoyu	11.93	0.04	0	0
125	T. Capote:0	haoyu	15.00	0.00	2	2
126	T. Capote:1	haoyu	15.00	0.00	2	2
127	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
128	Qinlan Shen:1	R. A. B.	15.00	9.00	5	1
129	0108:0	jgs	15.00	14.98	6	1
130	Charliezsc:1	haoyu	15.00	0.07	7	0
131	Quite Satisfied:1	Joel Faron	15.00	2.11	7	1
132	DeeEmEm:0	CAPS LOCK	15.00	13.00	7	1
133	Jessie Chen:1	Joel Faron	15.00	0.12	8	1
134	Mercury:0	haoyu	15.00	0.05	10	0
135	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	10	0
136	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	10	0
137	Shaheed Chagani:0	Aristotle	15.00	0.17	11	0
138	Samuel Jerome:1	haoyu	15.00	0.03	11	0
139	John Whelchel:1	haoyu	15.00	0.11	12	0
140	Charliezsc:0	jgs	15.00	14.98	12	1
141	Mercury:1	haoyu	15.00	0.05	13	0
142	Anon5:1	Green "The Bean" Choi	15.00	0.07	14	0
143	Aaron H:0	Aristotle	15.00	0.11	14	0
144	Valya Barboy:0	Aristotle	15.00	0.06	14	0
145	EC:1	haoyu	15.00	0.03	15	0
146	Anon_K_P:0	haoyu	15.00	0.02	16	0
147	Anon_K_P:1	Aristotle	15.00	0.03	16	0
148	CookieMonster:0	CookieMonster	15.00	0.82	16	0
149	Sabar Dasgupta:0	spl	15.00	0.23	18	0
150	Samuel Jerome:0	haoyu	15.00	0.03	18	0
151	David H.:1	DeeEmEm	15.00	0.33	19	0
152	Valya Barboy:1	Shaheed Chagani	15.00	0.18	20	0
153	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	20	0
154	CookieMonster:1	CookieMonster	15.00	1.10	20	0
155	Anon5:0	haoyu	15.00	0.05	21	0
156	EC:0	haoyu	15.00	0.03	23	0
157	Andys:0	Aristotle	15.00	0.12	25	0
158	David H.:0	AFC	15.00	0.28	25	0
159	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	26	0
160	Andys:1	Aristotle	15.00	0.13	27	0
161	AFC:0	CookieMonster	15.00	0.34	27	0
162	Yacob Y.:0	haoyu	15.00	0.06	28	0
163	SuperFan:0	jgs	15.00	14.98	29	4
164	AFC:1	Aristotle	15.00	0.16	29	0
165	Yacob Y.:1	Aristotle	15.00	15.00	35	1
166	SuperFan:1	jgs	15.00	14.98	37	4
167	Fanny:0	Aristotle	15.00	0.10	39	0
168	Glenn Fisher:0	Elphaba	15.00	0.02	40	0
169	Absurdity:1	Aristotle	15.00	0.18	43	0
170	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	44	0
171	Absurdity:0	Aristotle	15.00	0.23	44	0
172	Mike Hunt:1	Aristotle	15.00	0.29	46	0
173	ebp:1	haoyu	15.00	0.04	46	0
174	Andrew Grasso:0	Aaron Doll	15.00	0.18	46	0
175	Mr. Blobby:1	dusty	15.00	0.12	48	0
176	spl:0	Elphaba	15.00	0.09	49	0
177	spl:1	haoyu	15.00	0.06	49	0
178	Mike Hunt:0	Aristotle	15.00	0.27	50	0
179	Supahaka:0	Andrew Werner	15.00	15.00	51	35
180	Glenn Fisher:1	jabreezy	15.00	0.09	51	0
181	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	53	0
182	ebp:0	haoyu	15.00	0.04	53	0
183	Dusty:0	CookieMonster	15.00	1.39	55	0
184	Supahaka:1	Joel Faron	15.00	15.00	56	35
185	Ben Chen:1	spl	15.00	0.20	56	0
186	Dusty:1	Shaheed Chagani	15.00	0.22	57	0
187	Walter Little:1	haoyu	15.00	0.03	57	0
188	Walter Little:0	haoyu	15.00	0.04	58	0
189	David Lackey:0	Anon5	15.00	0.03	62	0
190	Yan Wu:0	haoyu	15.00	0.05	65	0
191	Fanny:1	Aristotle	15.00	0.12	66	0
192	Ben Chen:0	Elphaba	15.00	0.07	71	0
193	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
194	Yan Wu:1	haoyu	15.00	0.04	83	0
195	nupog:1	Aristotle	15.00	0.12	92	0
196	Matt Haake:0	haoyu	15.00	0.05	101	0
197	NA:1	Elphaba	15.00	0.04	104	0
198	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
199	Matt Haake:1	haoyu	15.00	0.05	118	0
200	NA:0	haoyu	15.00	0.03	127	0
201	snowflakes:1	haoyu	15.00	0.03	149	0
202	snowflakes:0	haoyu	15.00	0.03	154	0
203	nupog:0	Aristotle	15.00	0.13	177	0
204	BH:1	haoyu	15.00	0.05	592	0
205	BH:0	haoyu	15.00	0.07	607	0
206	Aaron Doll:0	Aristotle	15.00	0.56	238846	0
207	John Whelchel:0	haoyu	15.00	0.06	4	0
208	Andrew Werner:1	haoyu	15.00	0.11	5	0
209	Deric Cheng:0	jgs	15.00	14.99	13	1
210	Aaron H:1	Aristotle	15.00	0.11	20	0
211	jgs:0	Aristotle	15.00	0.12	35	0
212	Deric Cheng:1	jgs	15.00	14.98	14	1
213	jgs:1	haoyu	15.00	0.18	37	0
214	Shaheed Chagani:1	Aristotle	15.00	0.11	78	0
215	Brendan Wright:0	haoyu	15.01	0.10	5	0
216	CAPS LOCK:1	Aristotle	15.01	0.25	2	0
217	Nihar the Great:1	Aristotle	15.01	0.25	19037	0
218	Elphaba:1	Aristotle	15.01	0.22	1134	0
219	13a:1	Aaron Doll	15.01	15.00	57561	29
220	Elphaba:0	Aristotle	15.01	0.24	11253	0
221	13a:0	Aaron Doll	15.01	15.00	65416	21
222	Aaron Doll:1	Aristotle	15.03	1.27	299095	0
223	Matt Goldsmith:0	Nihar the Great	15.03	0.03	516950	0
224	Nihar the Great:0	Aristotle	15.03	0.23	19559	0
225	Matt Goldsmith:1	Happy	15.04	0.03	499858	0
226	Bar Shabtai:0	Aaron Doll	15.05	15.01	299366	1
227	Aristotle:0	Aristotle	15.10	15.00	732047	1
228	Aristotle:1	Aristotle	15.17	9.69	759038	0

SatSolvers Ranklist

Generators Ranklist