Stats for satsolver: dusty

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 dusty 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 dusty 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:	dusty
Rank:	2 / 118
Average Score:	2.37
Median Score:	0.16
Description:	This sat-solver implements SatSolver with a faster check for the number of clauses that become false when a clause is flipped.

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

SatSolvers Ranklist

Generators Ranklist