Stats for satsolver: Anon5

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 Anon5 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 Anon5 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:	Anon5
Rank:	17 / 118
Average Score:	5.05
Median Score:	0.49
Description:	My SatSolver works like vanilla walksat with one major modification. Let p be the probability of choosing to do a 'random walk' move. p starts out low and is increased when walksat hasn't been making progress (i.e. is at a local minimum).

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

SatSolvers Ranklist

Generators Ranklist