Stats for satsolver: dfshasdsf12

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 dfshasdsf12 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 dfshasdsf12 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:	dfshasdsf12
Rank:	67 / 118
Average Score:	10.00
Median Score:	0.60
Description:	This sat-solver utilizes a probabilistic variant of WalkSat to generate the best model or solve the CNF.

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

SatSolvers Ranklist

Generators Ranklist