Stats for satsolver: Tiny Wings

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 Tiny Wings 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 Tiny Wings 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:	Tiny Wings
Rank:	66 / 118
Average Score:	9.92
Median Score:	15.00
Description:	This is basically a WalkSAT implementation but tries to optimize runtime using efficient data structures and bookeeping schemes.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.01	0.00	0	0
2	Ravi Tandon:0	KingBach	0.01	0.00	0	0
3	bigwig:1	KingBach	0.01	0.00	0	0
4	Ravi Tandon:1	KingBach	0.01	0.00	0	0
5	K.L.:1	KingBach	0.03	0.00	0	0
6	Miranda:1	cat	0.04	0.00	0	0
7	Bebe Shi:1	KingBach	0.04	0.00	0	0
8	Bebe Shi:0	KingBach	0.04	0.00	0	0
9	Jonathan Kwok:1	KingBach	0.04	0.00	0	0
10	BMJ:0	Elphaba	0.04	0.00	0	0
11	Miranda:0	cat	0.05	0.00	0	0
12	Happy:1	KingBach	0.05	0.00	0	0
13	BMJ:1	burrito	0.05	0.00	0	0
14	Jonathan Kwok:0	Elphaba	0.05	0.00	0	0
15	R. A. B.:1	cat	0.05	0.00	0	0
16	Joshua Zimmer:1	haoyu	0.05	0.00	0	0
17	Solving For Clauses:1	haoyu	0.05	0.00	0	0
18	haoyu:1	Anon5	0.06	0.01	0	0
19	K.L.:0	haoyu	0.06	0.00	0	0
20	Daffy Duck:1	haoyu	0.06	0.00	0	0
21	Joshua Zimmer:0	haoyu	0.06	0.00	0	0
22	Solving For Clauses:0	Glenn Fisher	0.06	0.00	0	0
23	Daffy Duck:0	Andrew Werner	0.06	0.00	0	0
24	Blam:1	Elphaba	0.06	0.00	0	0
25	bchouGenerator:0	haoyu	0.06	0.00	0	0
26	bchouGenerator:1	Jonathan Kwok	0.07	0.01	0	0
27	Quite Satisfied:0	haoyu	0.08	0.00	0	0
28	Gewang:0	Jonathan Kwok	0.08	0.00	0	0
29	David Paulk:1	Bar Shabtai	0.09	0.00	0	0
30	David Paulk:0	cat	0.09	0.00	0	0
31	The Kraken:1	haoyu	0.10	0.00	0	0
32	Tree Prophet:0	haoyu	0.10	0.00	0	0
33	Gewang:1	Jonathan Kwok	0.11	0.00	0	0
34	Qinlan Shen:0	Bar Shabtai	0.11	0.01	0	0
35	haoyu:0	KingBach	0.11	0.01	0	0
36	The Kraken:0	haoyu	0.11	0.00	0	0
37	Jordan Ash:1	Bar Shabtai	0.11	0.01	0	0
38	Scheduling Generator 203:0	jgs	0.12	0.01	0	0
39	Happy:0	haoyu	0.17	0.00	0	0
40	Boomshanka:0	haoyu	0.19	0.01	0	0
41	Mickey Mouse:1	haoyu	0.25	0.01	0	0
42	R. A. B.:0	Nihar the Great	0.29	0.00	0	0
43	Mickey Mouse:0	Bar Shabtai	0.31	0.01	0	0
44	Boomshanka:1	Bar Shabtai	0.39	0.01	0	0
45	Mike Honcho:0	Miranda	0.47	0.01	0	0
46	Jordan Ash:0	EC	0.50	0.03	0	0
47	Mike Honcho:1	Jessie Chen	0.52	0.01	0	0
48	Tom T:1	Andrew Werner	0.53	0.02	0	0
49	Jameh:0	haoyu	0.56	0.01	0	0
50	weezy:0	Bar Shabtai	0.56	0.01	0	0
51	Blam:0	Elphaba	0.66	0.00	0	0
52	cmF5a3ly:1	Nihar the Great	0.68	0.00	0	0
53	weezy:1	Bar Shabtai	0.72	0.01	0	0
54	cmF5a3ly:0	Nihar the Great	0.72	0.00	0	0
55	Tree Prophet:1	haoyu	0.78	0.00	0	0
56	Tom T:0	EC	0.94	0.02	0	0
57	Ytterbium:0	Andrew Grasso	0.99	0.02	0	0
58	Jameh:1	haoyu	1.09	0.01	0	0
59	The Whitman Whale:0	bigwig	1.09	0.04	0	0
60	vluu:0	Nihar the Great	1.16	0.01	0	0
61	Scheduling Generator 203:1	Jameh	1.17	0.02	0	0
62	Alex Fish:1	haoyu	1.20	0.02	0	0
63	vluu:1	Nihar the Great	1.32	0.02	0	0
64	cat:1	haoyu	1.44	0.03	0	0
65	0108:1	haoyu	1.47	0.01	0	0
66	cat:0	haoyu	1.65	0.03	0	0
67	David Lackey:1	Bar Shabtai	1.79	0.03	0	0
68	Tiny Wings:0	haoyu	2.12	0.02	0	0
69	Keji Xu:1	Nihar the Great	2.37	0.04	0	0
70	David Lackey:0	Anon5	2.43	0.03	0	0
71	George Okeowo:0	Andrew Grasso	2.65	0.01	0	0
72	George Okeowo:1	Andrew Grasso	2.70	0.01	0	0
73	Janie Gu:0	Glenn Fisher	2.99	0.07	0	0
74	Ytterbium:1	Nihar the Great	3.26	0.02	0	0
75	The Whitman Whale:1	Andrew Grasso	4.43	0.03	0	0
76	Tiny Wings:1	haoyu	4.73	0.01	0	0
77	Tao:1	Aristotle	4.93	0.07	0	0
78	Nikhilesh Sigatapu:0	haoyu	5.58	0.03	0	0
79	Janie Gu:1	Jonathan Kwok	6.96	0.07	0	0
80	Alex Fish:0	haoyu	7.10	0.01	0	0
81	Dr Roberto:1	Andrew Grasso	7.63	0.02	0	0
82	Lisa Kim:0	Aristotle	7.93	0.07	0	0
83	Tao:0	Bar Shabtai	8.72	0.02	0	0
84	Bob Dondero:1	Mickey Mouse	9.46	0.03	0	0
85	Sunny:1	jabreezy	9.77	0.01	0	0
86	Linda:0	Andrew Grasso	9.85	0.01	0	0
87	Sunny:0	Green "The Bean" Choi	11.38	0.02	0	0
88	Bob Dondero:0	Andrew Grasso	12.58	0.02	0	0
89	Keji Xu:0	Nihar the Great	12.72	0.03	0	0
90	Anon_K_P:1	Aristotle	13.02	0.03	0	0
91	Linda:1	Andrew Grasso	14.07	0.02	0	0
92	Anon_K_P:0	haoyu	14.65	0.02	0	0
93	Samuel Jerome:1	haoyu	14.66	0.03	0	0
94	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.00	0.01	2	0
95	T. Capote:1	haoyu	15.00	0.00	2	2
96	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	3	0
97	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
98	Qinlan Shen:1	R. A. B.	15.00	9.00	3	1
99	T. Capote:0	haoyu	15.00	0.00	4	2
100	0108:0	jgs	15.00	14.98	4	1
101	Quite Satisfied:1	Joel Faron	15.00	2.11	5	1
102	Valya Barboy:1	Shaheed Chagani	15.00	0.18	8	0
103	DeeEmEm:0	CAPS LOCK	15.00	13.00	8	1
104	SuperFan:0	jgs	15.00	14.98	9	4
105	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	9	0
106	Jessie Chen:1	Joel Faron	15.00	0.12	11	1
107	DeeEmEm:1	haoyu	15.00	0.02	12	0
108	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	12	0
109	SuperFan:1	jgs	15.00	14.98	18	4
110	Matt Haake:1	haoyu	15.00	0.05	20	0
111	Valya Barboy:0	Aristotle	15.00	0.06	20	0
112	Andrew Grasso:0	Aaron Doll	15.00	0.18	21	0
113	Dusty:1	Shaheed Chagani	15.00	0.22	24	0
114	Dusty:0	CookieMonster	15.00	1.39	27	0
115	Matt Haake:0	haoyu	15.00	0.05	32	0
116	Supahaka:0	Andrew Werner	15.00	15.00	36	35
117	NA:1	Elphaba	15.00	0.04	46	0
118	Supahaka:1	Joel Faron	15.00	15.00	46	35
119	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	48	0
120	Batman:1	haoyu	15.00	0.04	70	0
121	kt4124:0	haoyu	15.00	0.03	76	0
122	Mark S. Fillmore:0	Supahaka	15.00	0.01	118	116
123	Khoa:1	Aristotle	15.00	0.09	418	0
124	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	3	0
125	Anon5:1	Green "The Bean" Choi	15.00	0.07	6	0
126	Mercury:0	haoyu	15.00	0.05	15	0
127	David H.:0	AFC	15.00	0.28	19	0
128	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	26	0
129	jabreezy:0	Mercury	15.00	0.09	37	0
130	NA:0	haoyu	15.00	0.03	48	0
131	David H.:1	DeeEmEm	15.00	0.33	67	0
132	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
133	AFC:1	Aristotle	15.00	0.16	108	0
134	kt4124:1	haoyu	15.00	0.04	116	0
135	ebp:1	haoyu	15.00	0.04	579	0
136	Absurdity:0	Aristotle	15.00	0.23	863	0
137	John Whelchel:1	haoyu	15.00	0.11	14602	0
138	Lisa Kim:1	Bar Shabtai	15.00	0.06	8	0
139	soccer:1	haoyu	15.00	0.04	9	0
140	Walter Little:1	haoyu	15.00	0.03	21	0
141	EC:1	haoyu	15.00	0.03	22	0
142	Glenn Fisher:1	jabreezy	15.00	0.09	22	0
143	Anon5:0	haoyu	15.00	0.05	34	0
144	CookieMonster:0	CookieMonster	15.00	0.82	35	0
145	spl:1	haoyu	15.00	0.06	35	0
146	Ben Chen:0	Elphaba	15.00	0.07	40	0
147	Glenn Fisher:0	Elphaba	15.00	0.02	76	0
148	snowflakes:0	haoyu	15.00	0.03	104	0
149	bfang:1	haoyu	15.00	0.04	141	0
150	Sabar Dasgupta:0	spl	15.00	0.23	3163	0
151	Sprt:0	Aristotle	15.00	0.11	17441	0
152	CookieMonster:1	CookieMonster	15.00	1.10	13	0
153	Mr. Blobby:1	dusty	15.00	0.12	14	0
154	Fanny:0	Aristotle	15.00	0.10	17	0
155	AFC:0	CookieMonster	15.00	0.34	28	0
156	Yacob Y.:0	haoyu	15.00	0.06	96	0
157	Khoa:0	haoyu	15.00	0.09	395	0
158	Samuel Jerome:0	haoyu	15.01	0.03	7	0
159	Ben Chen:1	spl	15.01	0.20	42	0
160	EC:0	haoyu	15.01	0.03	71	0
161	snowflakes:1	haoyu	15.01	0.03	73	0
162	Walter Little:0	haoyu	15.01	0.04	23	0
163	jabreezy:1	Mercury	15.01	0.10	39	0
164	ebp:0	haoyu	15.01	0.04	539	0
165	spl:0	Elphaba	15.01	0.09	101	0
166	Andys:0	Aristotle	15.01	0.12	12275	0
167	Andrew Werner:1	haoyu	15.01	0.11	19319	0
168	Yan Wu:1	haoyu	15.01	0.04	15	0
169	bfang:0	haoyu	15.01	0.04	21	0
170	Mercury:1	haoyu	15.01	0.05	6	0
171	KingBach:0	haoyu	15.01	0.06	155	0
172	Charliezsc:1	haoyu	15.01	0.07	2336	0
173	soccer:0	haoyu	15.01	0.04	45	0
174	Batman:0	haoyu	15.01	0.04	181	0
175	burrito:0	haoyu	15.01	0.09	10565	0
176	Absurdity:1	Aristotle	15.01	0.18	243	0
177	KingBach:1	haoyu	15.01	0.04	249	0
178	Sabar Dasgupta:1	Aaron Doll	15.01	0.17	3402	0
179	Sally Smith:1	haoyu	15.01	0.04	15	0
180	Lil Thug:1	Andrew Grasso	15.01	0.03	20566	0
181	Fanny:1	Aristotle	15.01	0.12	42	0
182	nupog:0	Aristotle	15.02	0.13	3482	0
183	BH:1	haoyu	15.02	0.05	11786	0
184	dfshasdsf12:1	Nihar the Great	15.02	0.11	22497	0
185	Yan Wu:0	haoyu	15.02	0.05	144	0
186	Sprt:1	haoyu	15.02	0.05	1836	0
187	Mike Hunt:0	Aristotle	15.02	0.27	9414	0
188	Aaron H:1	Aristotle	15.02	0.11	15515	0
189	Charliezsc:0	jgs	15.02	14.98	221	1
190	Mike Hunt:1	Aristotle	15.02	0.29	10229	0
191	John Whelchel:0	haoyu	15.03	0.06	14669	0
192	Andrew Werner:0	Aaron Doll	15.03	0.33	22390	0
193	Yacob Y.:1	Aristotle	15.03	15.00	1281	1
194	nupog:1	Aristotle	15.03	0.12	4046	0
195	Aaron H:0	Aristotle	15.03	0.11	16358	0
196	Shaheed Chagani:1	Aristotle	15.03	0.11	22857	0
197	Shaheed Chagani:0	Aristotle	15.03	0.17	23124	0
198	Sally Smith:0	haoyu	15.03	0.04	45	0
199	DinnerPartyPlannerBM:1	Nihar the Great	15.03	0.06	11823	0
200	dfshasdsf12:0	haoyu	15.04	0.09	10916	0
201	Lil Thug:0	Andrew Grasso	15.04	0.03	19476	0
202	Bar Shabtai:1	haoyu	15.04	0.12	42113	0
203	BH:0	haoyu	15.05	0.07	11791	0
204	Brendan Wright:1	Deric Cheng	15.05	0.10	16	0
205	Dr Roberto:0	Andrew Grasso	15.05	0.03	1	0
206	jgs:0	Aristotle	15.06	0.12	49026	0
207	Brendan Wright:0	haoyu	15.07	0.10	18	0
208	DinnerPartyPlannerBM:0	Aristotle	15.07	0.11	38068	0
209	jgs:1	haoyu	15.07	0.18	50136	0
210	Nihar the Great:1	Aristotle	15.07	0.25	26077	0
211	burrito:1	haoyu	15.07	0.10	33913	0
212	CAPS LOCK:0	Aristotle	15.08	0.20	39587	0
213	Andys:1	Aristotle	15.09	0.13	17742	0
214	Aristotle:1	Aristotle	15.09	9.69	738114	0
215	Elphaba:0	Aristotle	15.12	0.24	101664	0
216	Deric Cheng:1	jgs	15.12	14.98	46826	1
217	Deric Cheng:0	jgs	15.12	14.99	41942	1
218	13a:1	Aaron Doll	15.23	15.00	117614	29
219	13a:0	Aaron Doll	15.25	15.00	123042	21
220	CAPS LOCK:1	Aristotle	15.27	0.25	72623	0
221	Nihar the Great:0	Aristotle	15.28	0.23	26153	0
222	Elphaba:1	Aristotle	15.36	0.22	100114	0
223	Bar Shabtai:0	Aaron Doll	15.74	15.01	330255	1
224	Aaron Doll:0	Aristotle	15.78	0.56	267673	0
225	Aristotle:0	Aristotle	16.10	15.00	762137	1
226	Aaron Doll:1	Aristotle	16.21	1.27	348220	0
227	Matt Goldsmith:0	Nihar the Great	17.61	0.03	513189	0
228	Matt Goldsmith:1	Happy	17.62	0.03	515251	0

SatSolvers Ranklist

Generators Ranklist