Stats for satsolver: 0108

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 0108 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 0108 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:	0108
Rank:	35 / 118
Average Score:	5.93
Median Score:	0.88
Description:	An implementation of the WalkSat algorithm, using a p of 0.5.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	Bebe Shi:1	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	Bebe Shi:0	KingBach	0.00	0.00	0	0
7	Ravi Tandon:1	KingBach	0.00	0.00	0	0
8	Miranda:1	cat	0.00	0.00	0	0
9	Miranda:0	cat	0.00	0.00	0	0
10	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
11	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
12	R. A. B.:1	cat	0.01	0.00	0	0
13	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
14	Solving For Clauses:1	haoyu	0.01	0.00	0	0
15	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
16	K.L.:1	KingBach	0.01	0.00	0	0
17	Daffy Duck:1	haoyu	0.01	0.00	0	0
18	bchouGenerator:0	haoyu	0.01	0.00	0	0
19	BMJ:1	burrito	0.01	0.00	0	0
20	David Paulk:0	cat	0.01	0.00	0	0
21	cmF5a3ly:1	Nihar the Great	0.01	0.00	0	0
22	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
23	Tree Prophet:0	haoyu	0.01	0.00	0	0
24	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
25	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
26	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
27	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
28	K.L.:0	haoyu	0.01	0.00	0	0
29	Quite Satisfied:0	haoyu	0.01	0.00	0	0
30	Mike Honcho:0	Miranda	0.02	0.01	0	0
31	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
32	haoyu:0	KingBach	0.02	0.01	0	0
33	Happy:0	haoyu	0.02	0.00	0	0
34	The Kraken:1	haoyu	0.02	0.00	0	0
35	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
36	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
37	haoyu:1	Anon5	0.02	0.01	0	0
38	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
39	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
40	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
41	Jordan Ash:1	Bar Shabtai	0.03	0.01	0	0
42	Boomshanka:1	Bar Shabtai	0.03	0.01	0	0
43	Mickey Mouse:1	haoyu	0.03	0.01	0	0
44	Tom T:0	EC	0.03	0.02	0	0
45	weezy:0	Bar Shabtai	0.03	0.01	0	0
46	Daffy Duck:0	Andrew Werner	0.03	0.00	0	0
47	Tom T:1	Andrew Werner	0.04	0.02	0	0
48	BMJ:0	Elphaba	0.04	0.00	0	0
49	Blam:0	Elphaba	0.04	0.00	0	0
50	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
51	Jameh:0	haoyu	0.04	0.01	0	0
52	Tiny Wings:1	haoyu	0.04	0.01	0	0
53	Ytterbium:0	Andrew Grasso	0.04	0.02	0	0
54	vluu:1	Nihar the Great	0.05	0.02	0	0
55	weezy:1	Bar Shabtai	0.05	0.01	0	0
56	Jordan Ash:0	EC	0.05	0.03	0	0
57	vluu:0	Nihar the Great	0.05	0.01	0	0
58	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
59	The Whitman Whale:1	Andrew Grasso	0.05	0.03	0	0
60	Tiny Wings:0	haoyu	0.06	0.02	0	0
61	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.06	0.01	0	0
62	The Kraken:0	haoyu	0.06	0.00	0	0
63	Boomshanka:0	haoyu	0.07	0.01	0	0
64	cat:1	haoyu	0.08	0.03	0	0
65	Anon_K_P:1	Aristotle	0.09	0.03	0	0
66	Alex Fish:0	haoyu	0.09	0.01	0	0
67	Alex Fish:1	haoyu	0.09	0.02	0	0
68	cat:0	haoyu	0.11	0.03	0	0
69	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
70	Jameh:1	haoyu	0.12	0.01	0	0
71	Blam:1	Elphaba	0.12	0.00	0	0
72	Dr Roberto:0	Andrew Grasso	0.13	0.03	0	0
73	Janie Gu:1	Jonathan Kwok	0.13	0.07	0	0
74	The Whitman Whale:0	bigwig	0.15	0.04	0	0
75	Tree Prophet:1	haoyu	0.15	0.00	0	0
76	George Okeowo:0	Andrew Grasso	0.16	0.01	0	0
77	George Okeowo:1	Andrew Grasso	0.16	0.01	0	0
78	0108:1	haoyu	0.16	0.01	0	0
79	Bob Dondero:0	Andrew Grasso	0.18	0.02	0	0
80	Sunny:1	jabreezy	0.18	0.01	0	0
81	Linda:0	Andrew Grasso	0.18	0.01	0	0
82	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.20	0.00	0	0
83	Bob Dondero:1	Mickey Mouse	0.21	0.03	0	0
84	Lisa Kim:1	Bar Shabtai	0.21	0.06	0	0
85	Lisa Kim:0	Aristotle	0.22	0.07	0	0
86	Keji Xu:1	Nihar the Great	0.22	0.04	0	0
87	kt4124:0	haoyu	0.24	0.03	0	0
88	Sally Smith:0	haoyu	0.26	0.04	0	0
89	David Lackey:1	Bar Shabtai	0.26	0.03	0	0
90	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.29	0.01	0	0
91	kt4124:1	haoyu	0.31	0.04	0	0
92	Linda:1	Andrew Grasso	0.32	0.02	0	0
93	Fanny:1	Aristotle	0.34	0.12	0	0
94	Batman:0	haoyu	0.35	0.04	0	0
95	Tao:0	Bar Shabtai	0.36	0.02	0	0
96	Dr Roberto:1	Andrew Grasso	0.37	0.02	0	0
97	Nikhilesh Sigatapu:0	haoyu	0.37	0.03	0	0
98	Batman:1	haoyu	0.38	0.04	0	0
99	Nikhilesh Sigatapu:1	haoyu	0.43	0.04	0	0
100	bfang:0	haoyu	0.43	0.04	0	0
101	Keji Xu:0	Nihar the Great	0.45	0.03	0	0
102	DeeEmEm:1	haoyu	0.45	0.02	0	0
103	bfang:1	haoyu	0.46	0.04	0	0
104	Yan Wu:1	haoyu	0.56	0.04	0	0
105	David Lackey:0	Anon5	0.58	0.03	0	0
106	Samuel Jerome:1	haoyu	0.58	0.03	0	0
107	Sprt:1	haoyu	0.67	0.05	0	0
108	Sunny:0	Green "The Bean" Choi	0.68	0.02	0	0
109	Sally Smith:1	haoyu	0.69	0.04	0	0
110	Mercury:1	haoyu	0.69	0.05	0	0
111	Khoa:1	Aristotle	0.71	0.09	0	0
112	Khoa:0	haoyu	0.77	0.09	0	0
113	KingBach:1	haoyu	0.79	0.04	0	0
114	KingBach:0	haoyu	0.88	0.06	0	0
115	Mercury:0	haoyu	0.88	0.05	0	0
116	Janie Gu:0	Glenn Fisher	0.89	0.07	0	0
117	Anon_K_P:0	haoyu	0.96	0.02	0	0
118	Samuel Jerome:0	haoyu	0.96	0.03	0	0
119	Brendan Wright:1	Deric Cheng	1.01	0.10	0	0
120	DinnerPartyPlannerBM:1	Nihar the Great	1.21	0.06	0	0
121	Yan Wu:0	haoyu	1.40	0.05	0	0
122	dfshasdsf12:0	haoyu	1.75	0.09	0	0
123	soccer:0	haoyu	1.75	0.04	0	0
124	Glenn Fisher:0	Elphaba	1.85	0.02	0	0
125	Fanny:0	Aristotle	1.88	0.10	0	0
126	soccer:1	haoyu	2.11	0.04	0	0
127	Tao:1	Aristotle	2.35	0.07	0	0
128	Lil Thug:0	Andrew Grasso	2.87	0.03	0	0
129	Lil Thug:1	Andrew Grasso	2.89	0.03	0	0
130	Sprt:0	Aristotle	3.03	0.11	0	0
131	Aaron H:1	Aristotle	3.07	0.11	0	0
132	Charliezsc:1	haoyu	3.18	0.07	0	0
133	DinnerPartyPlannerBM:0	Aristotle	3.35	0.11	0	0
134	Brendan Wright:0	haoyu	3.76	0.10	0	0
135	ebp:0	haoyu	3.91	0.04	0	0
136	Aaron H:0	Aristotle	4.11	0.11	0	0
137	Yacob Y.:0	haoyu	4.67	0.06	0	0
138	dfshasdsf12:1	Nihar the Great	4.69	0.11	0	0
139	Andys:1	Aristotle	5.18	0.13	0	0
140	Sabar Dasgupta:1	Aaron Doll	5.39	0.17	0	0
141	Mike Hunt:1	Aristotle	5.97	0.29	0	0
142	burrito:0	haoyu	6.23	0.09	0	0
143	CAPS LOCK:0	Aristotle	6.65	0.20	0	0
144	ebp:1	haoyu	6.82	0.04	0	0
145	Mike Hunt:0	Aristotle	6.88	0.27	0	0
146	Sabar Dasgupta:0	spl	10.70	0.23	0	0
147	Bar Shabtai:1	haoyu	11.61	0.12	0	0
148	nupog:1	Aristotle	12.24	0.12	0	0
149	Andrew Werner:1	haoyu	13.64	0.11	0	0
150	nupog:0	Aristotle	13.71	0.13	0	0
151	jgs:0	Aristotle	14.12	0.12	0	0
152	jgs:1	haoyu	14.52	0.18	0	0
153	BH:1	haoyu	14.54	0.05	0	0
154	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
155	CookieMonster:1	CookieMonster	15.00	1.10	1	0
156	jabreezy:1	Mercury	15.00	0.10	2	0
157	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
158	T. Capote:1	haoyu	15.00	0.00	2	2
159	jabreezy:0	Mercury	15.00	0.09	3	0
160	CookieMonster:0	CookieMonster	15.00	0.82	3	0
161	DeeEmEm:0	CAPS LOCK	15.00	13.00	3	1
162	Quite Satisfied:1	Joel Faron	15.00	2.11	4	1
163	T. Capote:0	haoyu	15.00	0.00	4	2
164	Jessie Chen:0	Joel Faron	15.00	0.13	5	1
165	Charliezsc:0	jgs	15.00	14.98	6	1
166	Valya Barboy:1	Shaheed Chagani	15.00	0.18	7	0
167	Valya Barboy:0	Aristotle	15.00	0.06	7	0
168	0108:0	jgs	15.00	14.98	9	1
169	EC:0	haoyu	15.00	0.03	10	0
170	Anon5:1	Green "The Bean" Choi	15.00	0.07	11	0
171	David H.:1	DeeEmEm	15.00	0.33	12	0
172	EC:1	haoyu	15.00	0.03	12	0
173	Anon5:0	haoyu	15.00	0.05	12	0
174	David H.:0	AFC	15.00	0.28	14	0
175	AFC:0	CookieMonster	15.00	0.34	16	0
176	SuperFan:1	jgs	15.00	14.98	20	4
177	SuperFan:0	jgs	15.00	14.98	21	4
178	spl:1	haoyu	15.00	0.06	21	0
179	Mr. Blobby:1	dusty	15.00	0.12	23	0
180	Yacob Y.:1	Aristotle	15.00	15.00	26	1
181	spl:0	Elphaba	15.00	0.09	30	0
182	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	32	0
183	Andrew Grasso:0	Aaron Doll	15.00	0.18	32	0
184	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	33	0
185	Dusty:1	Shaheed Chagani	15.00	0.22	34	0
186	Ben Chen:1	spl	15.00	0.20	36	0
187	Walter Little:0	haoyu	15.00	0.04	39	0
188	NA:1	Elphaba	15.00	0.04	40	0
189	Supahaka:1	Joel Faron	15.00	15.00	44	35
190	Glenn Fisher:1	jabreezy	15.00	0.09	45	0
191	Dusty:0	CookieMonster	15.00	1.39	47	0
192	Matt Haake:1	haoyu	15.00	0.05	50	0
193	NA:0	haoyu	15.00	0.03	50	0
194	Supahaka:0	Andrew Werner	15.00	15.00	51	35
195	Walter Little:1	haoyu	15.00	0.03	56	0
196	Matt Haake:0	haoyu	15.00	0.05	71	0
197	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
198	snowflakes:1	haoyu	15.00	0.03	82	0
199	snowflakes:0	haoyu	15.00	0.03	103	0
200	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
201	AFC:1	Aristotle	15.00	0.16	11	0
202	Ben Chen:0	Elphaba	15.00	0.07	29	0
203	BH:0	haoyu	15.00	0.07	454	0
204	Absurdity:0	Aristotle	15.01	0.23	19	0
205	Nihar the Great:1	Aristotle	15.01	0.25	18566	0
206	13a:1	Aaron Doll	15.01	15.00	20961	29
207	13a:0	Aaron Doll	15.01	15.00	26605	21
208	Elphaba:0	Aristotle	15.01	0.24	477	0
209	John Whelchel:0	haoyu	15.01	0.06	0	0
210	Shaheed Chagani:0	Aristotle	15.01	0.17	9	0
211	Shaheed Chagani:1	Aristotle	15.01	0.11	42	0
212	Absurdity:1	Aristotle	15.01	0.18	16	0
213	Aristotle:0	Aristotle	15.01	15.00	704171	1
214	Nihar the Great:0	Aristotle	15.02	0.23	19288	0
215	Deric Cheng:1	jgs	15.02	14.98	2	1
216	Aaron Doll:1	Aristotle	15.02	1.27	262796	0
217	John Whelchel:1	haoyu	15.03	0.11	4	0
218	Aristotle:1	Aristotle	15.03	9.69	722415	0
219	Bar Shabtai:0	Aaron Doll	15.03	15.01	278615	1
220	Aaron Doll:0	Aristotle	15.03	0.56	198729	0
221	Matt Goldsmith:1	Happy	15.04	0.03	512359	0
222	Andys:0	Aristotle	15.04	0.12	15	0
223	Elphaba:1	Aristotle	15.04	0.22	539	0
224	Matt Goldsmith:0	Nihar the Great	15.05	0.03	506672	0
225	Deric Cheng:0	jgs	15.05	14.99	1	1
226	Andrew Werner:0	Aaron Doll	15.08	0.33	4	0
227	burrito:1	haoyu	15.08	0.10	4	0
228	CAPS LOCK:1	Aristotle	15.36	0.25	2	0

SatSolvers Ranklist

Generators Ranklist