Stats for satsolver: bigwig

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 bigwig 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 bigwig 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:	bigwig
Rank:	42 / 118
Average Score:	6.69
Median Score:	0.60
Description:	Basic walksat. One possible improvement is that it decides whether or not todo walksat or pick a random unsatisfied clause beforechecking to see if it's satisfiable... therefore reducing the amount of data it needs to keep track of while check if satisfiable.

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

SatSolvers Ranklist

Generators Ranklist