Stats for satsolver: snowflakes

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 snowflakes 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 snowflakes 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:	snowflakes
Rank:	29 / 118
Average Score:	5.51
Median Score:	0.80
Description:	My SAT solver uses walksat with adaptive noise. If the algorithm goes6 steps without improving, it increases the noise, and if it goes 3 stepswithout increasing the noise, it decreases it

	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	bigwig:1	KingBach	0.00	0.00	0	0
5	Bebe Shi:0	KingBach	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
8	K.L.:1	KingBach	0.00	0.00	0	0
9	Miranda:1	cat	0.00	0.00	0	0
10	Miranda:0	cat	0.00	0.00	0	0
11	Daffy Duck:1	haoyu	0.01	0.00	0	0
12	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
13	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
14	Blam:1	Elphaba	0.01	0.00	0	0
15	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
16	Happy:1	KingBach	0.01	0.00	0	0
17	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
18	BMJ:1	burrito	0.01	0.00	0	0
19	Blam:0	Elphaba	0.01	0.00	0	0
20	bchouGenerator:0	haoyu	0.01	0.00	0	0
21	R. A. B.:1	cat	0.01	0.00	0	0
22	Tree Prophet:0	haoyu	0.01	0.00	0	0
23	Solving For Clauses:1	haoyu	0.01	0.00	0	0
24	haoyu:1	Anon5	0.01	0.01	0	0
25	Happy:0	haoyu	0.01	0.00	0	0
26	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
27	K.L.:0	haoyu	0.02	0.00	0	0
28	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
29	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
30	Quite Satisfied:0	haoyu	0.02	0.00	0	0
31	David Paulk:1	Bar Shabtai	0.03	0.00	0	0
32	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
33	cmF5a3ly:0	Nihar the Great	0.03	0.00	0	0
34	haoyu:0	KingBach	0.03	0.01	0	0
35	Scheduling Generator 203:0	jgs	0.03	0.01	0	0
36	bchouGenerator:1	Jonathan Kwok	0.04	0.01	0	0
37	David Paulk:0	cat	0.04	0.00	0	0
38	BMJ:0	Elphaba	0.04	0.00	0	0
39	R. A. B.:0	Nihar the Great	0.04	0.00	0	0
40	The Kraken:1	haoyu	0.04	0.00	0	0
41	Jordan Ash:1	Bar Shabtai	0.04	0.01	0	0
42	Qinlan Shen:0	Bar Shabtai	0.04	0.01	0	0
43	The Kraken:0	haoyu	0.04	0.00	0	0
44	Mickey Mouse:1	haoyu	0.05	0.01	0	0
45	Mike Honcho:0	Miranda	0.05	0.01	0	0
46	Tree Prophet:1	haoyu	0.05	0.00	0	0
47	Mickey Mouse:0	Bar Shabtai	0.05	0.01	0	0
48	weezy:1	Bar Shabtai	0.05	0.01	0	0
49	Tom T:0	EC	0.05	0.02	0	0
50	weezy:0	Bar Shabtai	0.05	0.01	0	0
51	Boomshanka:1	Bar Shabtai	0.05	0.01	0	0
52	Jameh:0	haoyu	0.06	0.01	0	0
53	Scheduling Generator 203:1	Jameh	0.06	0.02	0	0
54	Tom T:1	Andrew Werner	0.06	0.02	0	0
55	Alex Fish:0	haoyu	0.06	0.01	0	0
56	0108:1	haoyu	0.06	0.01	0	0
57	Sunny:0	Green "The Bean" Choi	0.07	0.02	0	0
58	David Lackey:1	Bar Shabtai	0.07	0.03	0	0
59	Sunny:1	jabreezy	0.07	0.01	0	0
60	Boomshanka:0	haoyu	0.08	0.01	0	0
61	Anon_K_P:1	Aristotle	0.08	0.03	0	0
62	Tao:1	Aristotle	0.08	0.07	0	0
63	Alex Fish:1	haoyu	0.08	0.02	0	0
64	Jordan Ash:0	EC	0.08	0.03	0	0
65	Dr Roberto:0	Andrew Grasso	0.08	0.03	0	0
66	Ytterbium:0	Andrew Grasso	0.09	0.02	0	0
67	DeeEmEm:1	haoyu	0.09	0.02	0	0
68	vluu:1	Nihar the Great	0.09	0.02	0	0
69	Dr Roberto:1	Andrew Grasso	0.09	0.02	0	0
70	vluu:0	Nihar the Great	0.09	0.01	0	0
71	Tiny Wings:1	haoyu	0.09	0.01	0	0
72	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.10	0.01	0	0
73	Jameh:1	haoyu	0.10	0.01	0	0
74	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.10	0.01	0	0
75	The Whitman Whale:0	bigwig	0.10	0.04	0	0
76	Janie Gu:1	Jonathan Kwok	0.11	0.07	0	0
77	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.12	0.01	0	0
78	David Lackey:0	Anon5	0.12	0.03	0	0
79	The Whitman Whale:1	Andrew Grasso	0.12	0.03	0	0
80	cat:1	haoyu	0.12	0.03	0	0
81	Tiny Wings:0	haoyu	0.12	0.02	0	0
82	Janie Gu:0	Glenn Fisher	0.14	0.07	0	0
83	Anon_K_P:0	haoyu	0.14	0.02	0	0
84	cat:0	haoyu	0.14	0.03	0	0
85	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.16	0.00	0	0
86	Keji Xu:1	Nihar the Great	0.20	0.04	0	0
87	Nikhilesh Sigatapu:0	haoyu	0.21	0.03	0	0
88	Linda:0	Andrew Grasso	0.21	0.01	0	0
89	Ytterbium:1	Nihar the Great	0.22	0.02	0	0
90	Keji Xu:0	Nihar the Great	0.22	0.03	0	0
91	Lisa Kim:1	Bar Shabtai	0.27	0.06	0	0
92	Lisa Kim:0	Aristotle	0.29	0.07	0	0
93	George Okeowo:1	Andrew Grasso	0.30	0.01	0	0
94	George Okeowo:0	Andrew Grasso	0.33	0.01	0	0
95	Tao:0	Bar Shabtai	0.34	0.02	0	0
96	Bob Dondero:0	Andrew Grasso	0.35	0.02	0	0
97	Mike Honcho:1	Jessie Chen	0.36	0.01	0	0
98	Nikhilesh Sigatapu:1	haoyu	0.36	0.04	0	0
99	kt4124:1	haoyu	0.36	0.04	0	0
100	Matt Haake:0	haoyu	0.39	0.05	0	0
101	kt4124:0	haoyu	0.40	0.03	0	0
102	Samuel Jerome:1	haoyu	0.41	0.03	0	0
103	Yan Wu:0	haoyu	0.41	0.05	0	0
104	Bob Dondero:1	Mickey Mouse	0.51	0.03	0	0
105	Matt Haake:1	haoyu	0.54	0.05	0	0
106	Glenn Fisher:0	Elphaba	0.56	0.02	0	0
107	Samuel Jerome:0	haoyu	0.64	0.03	0	0
108	bfang:1	haoyu	0.72	0.04	0	0
109	Sally Smith:0	haoyu	0.72	0.04	0	0
110	Batman:1	haoyu	0.72	0.04	0	0
111	David H.:0	AFC	0.73	0.28	0	0
112	Mercury:0	haoyu	0.76	0.05	0	0
113	Mercury:1	haoyu	0.78	0.05	0	0
114	Sally Smith:1	haoyu	0.80	0.04	0	0
115	bfang:0	haoyu	0.80	0.04	0	0
116	Linda:1	Andrew Grasso	0.82	0.02	0	0
117	Mr. Blobby:0	Green "The Bean" Choi	0.84	0.14	0	0
118	soccer:0	haoyu	0.88	0.04	0	0
119	KingBach:1	haoyu	0.89	0.04	0	0
120	Yan Wu:1	haoyu	0.97	0.04	0	0
121	Batman:0	haoyu	0.98	0.04	0	0
122	Brendan Wright:0	haoyu	1.20	0.10	0	0
123	soccer:1	haoyu	1.22	0.04	0	0
124	KingBach:0	haoyu	1.25	0.06	0	0
125	Sprt:1	haoyu	1.36	0.05	0	0
126	Khoa:1	Aristotle	1.41	0.09	0	0
127	Khoa:0	haoyu	1.57	0.09	0	0
128	Brendan Wright:1	Deric Cheng	1.65	0.10	0	0
129	Mr. Blobby:1	dusty	1.92	0.12	0	0
130	Yacob Y.:0	haoyu	2.06	0.06	0	0
131	Charliezsc:1	haoyu	2.08	0.07	0	0
132	Ben Chen:1	spl	3.12	0.20	0	0
133	Sabar Dasgupta:1	Aaron Doll	3.18	0.17	0	0
134	Sabar Dasgupta:0	spl	3.55	0.23	0	0
135	jabreezy:1	Mercury	4.00	0.10	0	0
136	Ben Chen:0	Elphaba	4.03	0.07	0	0
137	NA:0	haoyu	4.03	0.03	0	0
138	Andys:1	Aristotle	4.05	0.13	0	0
139	DinnerPartyPlannerBM:1	Nihar the Great	4.07	0.06	0	0
140	burrito:0	haoyu	4.19	0.09	0	0
141	Aaron H:1	Aristotle	4.94	0.11	0	0
142	dfshasdsf12:0	haoyu	4.98	0.09	0	0
143	Fanny:0	Aristotle	5.56	0.10	0	0
144	Andys:0	Aristotle	5.79	0.12	0	0
145	Anon5:1	Green "The Bean" Choi	6.19	0.07	0	0
146	Sprt:0	Aristotle	6.40	0.11	0	0
147	jabreezy:0	Mercury	6.57	0.09	0	0
148	Aaron H:0	Aristotle	6.90	0.11	0	0
149	Fanny:1	Aristotle	7.94	0.12	0	0
150	Lil Thug:1	Andrew Grasso	8.26	0.03	0	0
151	Valya Barboy:0	Aristotle	8.34	0.06	0	0
152	Valya Barboy:1	Shaheed Chagani	8.66	0.18	0	0
153	Mike Hunt:0	Aristotle	8.80	0.27	0	0
154	Andrew Grasso:0	Aaron Doll	8.83	0.18	0	0
155	Lil Thug:0	Andrew Grasso	9.00	0.03	0	0
156	dfshasdsf12:1	Nihar the Great	9.67	0.11	0	0
157	Glenn Fisher:1	jabreezy	9.90	0.09	0	0
158	EC:0	haoyu	10.46	0.03	0	0
159	ebp:1	haoyu	12.60	0.04	0	0
160	BH:1	haoyu	13.39	0.05	0	0
161	BH:0	haoyu	13.47	0.07	0	0
162	John Whelchel:0	haoyu	14.78	0.06	0	0
163	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
164	T. Capote:1	haoyu	15.00	0.00	2	2
165	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
166	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
167	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
168	CookieMonster:0	CookieMonster	15.00	0.82	2	0
169	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
170	David H.:1	DeeEmEm	15.00	0.33	4	0
171	Andrew Werner:0	Aaron Doll	15.00	0.33	4	0
172	Quite Satisfied:1	Joel Faron	15.00	2.11	4	1
173	T. Capote:0	haoyu	15.00	0.00	4	2
174	DeeEmEm:0	CAPS LOCK	15.00	13.00	4	1
175	0108:0	jgs	15.00	14.98	4	1
176	Anon5:0	haoyu	15.00	0.05	7	0
177	Walter Little:0	haoyu	15.00	0.04	8	0
178	EC:1	haoyu	15.00	0.03	8	0
179	snowflakes:0	haoyu	15.00	0.03	10	0
180	SuperFan:1	jgs	15.00	14.98	10	4
181	Absurdity:0	Aristotle	15.00	0.23	10	0
182	spl:0	Elphaba	15.00	0.09	11	0
183	SuperFan:0	jgs	15.00	14.98	13	4
184	spl:1	haoyu	15.00	0.06	14	0
185	AFC:0	CookieMonster	15.00	0.34	14	0
186	NA:1	Elphaba	15.00	0.04	17	0
187	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	17	0
188	Dusty:0	CookieMonster	15.00	1.39	20	0
189	Dusty:1	Shaheed Chagani	15.00	0.22	31	0
190	snowflakes:1	haoyu	15.00	0.03	32	0
191	Supahaka:1	Joel Faron	15.00	15.00	47	35
192	Supahaka:0	Andrew Werner	15.00	15.00	55	35
193	nupog:1	Aristotle	15.00	0.12	280	0
194	nupog:0	Aristotle	15.00	0.13	297	0
195	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	5963	0
196	Andrew Werner:1	haoyu	15.00	0.11	1	0
197	CookieMonster:1	CookieMonster	15.00	1.10	1	0
198	Walter Little:1	haoyu	15.00	0.03	5	0
199	John Whelchel:1	haoyu	15.00	0.11	2	0
200	AFC:1	Aristotle	15.00	0.16	11	0
201	Nihar the Great:1	Aristotle	15.00	0.25	22012	0
202	ebp:0	haoyu	15.00	0.04	10	0
203	Yacob Y.:1	Aristotle	15.00	15.00	17	1
204	Shaheed Chagani:1	Aristotle	15.00	0.11	3491	0
205	Bar Shabtai:1	haoyu	15.00	0.12	716	0
206	13a:1	Aaron Doll	15.00	15.00	91535	29
207	burrito:1	haoyu	15.01	0.10	16	0
208	Shaheed Chagani:0	Aristotle	15.01	0.17	10628	0
209	Absurdity:1	Aristotle	15.01	0.18	11	0
210	Deric Cheng:0	jgs	15.01	14.99	952	1
211	jgs:1	haoyu	15.01	0.18	9925	0
212	Charliezsc:0	jgs	15.01	14.98	3	1
213	jgs:0	Aristotle	15.01	0.12	11823	0
214	Deric Cheng:1	jgs	15.02	14.98	1202	1
215	Bar Shabtai:0	Aaron Doll	15.02	15.01	300240	1
216	Elphaba:1	Aristotle	15.02	0.22	41936	0
217	13a:0	Aaron Doll	15.03	15.00	85811	21
218	Elphaba:0	Aristotle	15.03	0.24	46171	0
219	CAPS LOCK:0	Aristotle	15.03	0.20	18	0
220	Mike Hunt:1	Aristotle	15.03	0.29	6	0
221	Nihar the Great:0	Aristotle	15.03	0.23	22509	0
222	Aristotle:0	Aristotle	15.05	15.00	742865	1
223	CAPS LOCK:1	Aristotle	15.06	0.25	18209	0
224	Aaron Doll:0	Aristotle	15.06	0.56	265250	0
225	Aaron Doll:1	Aristotle	15.11	1.27	316831	0
226	Matt Goldsmith:1	Happy	15.16	0.03	504718	0
227	Matt Goldsmith:0	Nihar the Great	15.21	0.03	510523	0
228	Aristotle:1	Aristotle	15.21	9.69	745907	0

SatSolvers Ranklist

Generators Ranklist