Stats for satsolver: soccer

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 soccer 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 soccer 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:	soccer
Rank:	106 / 118
Average Score:	26.55
Median Score:	7.56
Description:	This algorithm is a version of the standard WalkSat with several imporvements.These include making the probability of flipping a random symbol inversely related to the number of false clauses and making it possible to flipseveral random symbols during a single step of the algorithm. Random restarts are also possble depending on the number of sybmols

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	Ravi Tandon:0	KingBach	0.00	0.00	0	0
4	Bebe Shi:1	KingBach	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
7	Miranda:1	cat	0.01	0.00	0	0
8	Miranda:0	cat	0.01	0.00	0	0
9	Happy:1	KingBach	0.02	0.00	0	0
10	Solving For Clauses:1	haoyu	0.02	0.00	0	0
11	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
12	Bebe Shi:0	KingBach	0.02	0.00	0	0
13	Joshua Zimmer:1	haoyu	0.02	0.00	0	0
14	BMJ:1	burrito	0.02	0.00	0	0
15	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
16	haoyu:1	Anon5	0.03	0.01	0	0
17	R. A. B.:1	cat	0.03	0.00	0	0
18	bchouGenerator:0	haoyu	0.03	0.00	0	0
19	Daffy Duck:0	Andrew Werner	0.03	0.00	0	0
20	David Paulk:0	cat	0.03	0.00	0	0
21	The Kraken:1	haoyu	0.03	0.00	0	0
22	The Kraken:0	haoyu	0.03	0.00	0	0
23	Jonathan Kwok:0	Elphaba	0.03	0.00	0	0
24	Daffy Duck:1	haoyu	0.03	0.00	0	0
25	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
26	David Paulk:1	Bar Shabtai	0.04	0.00	0	0
27	Tree Prophet:0	haoyu	0.04	0.00	0	0
28	cmF5a3ly:0	Nihar the Great	0.04	0.00	0	0
29	Mickey Mouse:1	haoyu	0.04	0.01	0	0
30	Tree Prophet:1	haoyu	0.04	0.00	0	0
31	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
32	cmF5a3ly:1	Nihar the Great	0.04	0.00	0	0
33	haoyu:0	KingBach	0.05	0.01	0	0
34	Happy:0	haoyu	0.05	0.00	0	0
35	Qinlan Shen:0	Bar Shabtai	0.05	0.01	0	0
36	weezy:1	Bar Shabtai	0.05	0.01	0	0
37	Jameh:0	haoyu	0.05	0.01	0	0
38	Scheduling Generator 203:1	Jameh	0.05	0.02	0	0
39	Mickey Mouse:0	Bar Shabtai	0.05	0.01	0	0
40	Tom T:1	Andrew Werner	0.06	0.02	0	0
41	Tom T:0	EC	0.06	0.02	0	0
42	Alex Fish:1	haoyu	0.06	0.02	0	0
43	weezy:0	Bar Shabtai	0.07	0.01	0	0
44	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.07	0.01	0	0
45	Jordan Ash:1	Bar Shabtai	0.08	0.01	0	0
46	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.08	0.01	0	0
47	R. A. B.:0	Nihar the Great	0.08	0.00	0	0
48	vluu:0	Nihar the Great	0.09	0.01	0	0
49	Mike Honcho:1	Jessie Chen	0.09	0.01	0	0
50	Mike Honcho:0	Miranda	0.09	0.01	0	0
51	Ytterbium:0	Andrew Grasso	0.10	0.02	0	0
52	vluu:1	Nihar the Great	0.11	0.02	0	0
53	DeeEmEm:1	haoyu	0.11	0.02	0	0
54	Boomshanka:0	haoyu	0.13	0.01	0	0
55	Bob Dondero:0	Andrew Grasso	0.13	0.02	0	0
56	cat:0	haoyu	0.15	0.03	0	0
57	Tiny Wings:0	haoyu	0.15	0.02	0	0
58	Bob Dondero:1	Mickey Mouse	0.16	0.03	0	0
59	Dr Roberto:1	Andrew Grasso	0.17	0.02	0	0
60	The Whitman Whale:1	Andrew Grasso	0.18	0.03	0	0
61	Jameh:1	haoyu	0.19	0.01	0	0
62	Tiny Wings:1	haoyu	0.19	0.01	0	0
63	cat:1	haoyu	0.20	0.03	0	0
64	George Okeowo:0	Andrew Grasso	0.23	0.01	0	0
65	George Okeowo:1	Andrew Grasso	0.26	0.01	0	0
66	Janie Gu:0	Glenn Fisher	0.26	0.07	0	0
67	Lisa Kim:1	Bar Shabtai	0.27	0.06	0	0
68	The Whitman Whale:0	bigwig	0.28	0.04	0	0
69	Janie Gu:1	Jonathan Kwok	0.28	0.07	0	0
70	Linda:1	Andrew Grasso	0.32	0.02	0	0
71	Linda:0	Andrew Grasso	0.33	0.01	0	0
72	Keji Xu:1	Nihar the Great	0.37	0.04	0	0
73	Dr Roberto:0	Andrew Grasso	0.38	0.03	0	0
74	Jordan Ash:0	EC	0.40	0.03	0	0
75	Ytterbium:1	Nihar the Great	0.41	0.02	0	0
76	Boomshanka:1	Bar Shabtai	0.47	0.01	0	0
77	Sally Smith:0	haoyu	0.57	0.04	0	0
78	Lisa Kim:0	Aristotle	0.66	0.07	0	0
79	Keji Xu:0	Nihar the Great	0.67	0.03	0	0
80	Batman:0	haoyu	0.70	0.04	0	0
81	soccer:0	haoyu	0.83	0.04	0	0
82	0108:1	haoyu	0.95	0.01	0	0
83	KingBach:1	haoyu	1.21	0.04	0	0
84	soccer:1	haoyu	1.33	0.04	0	0
85	Khoa:1	Aristotle	1.43	0.09	0	0
86	Sprt:1	haoyu	1.48	0.05	0	0
87	Khoa:0	haoyu	1.56	0.09	0	0
88	Sally Smith:1	haoyu	1.74	0.04	0	0
89	Batman:1	haoyu	2.55	0.04	0	0
90	Alex Fish:0	haoyu	2.90	0.01	0	0
91	burrito:0	haoyu	3.30	0.09	0	0
92	KingBach:0	haoyu	3.80	0.06	0	0
93	DinnerPartyPlannerBM:1	Nihar the Great	4.24	0.06	0	0
94	Lil Thug:0	Andrew Grasso	4.51	0.03	0	0
95	Andrew Werner:0	Aaron Doll	5.16	0.33	0	0
96	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	5.37	0.01	0	0
97	Lil Thug:1	Andrew Grasso	5.81	0.03	0	0
98	Samuel Jerome:0	haoyu	6.75	0.03	0	0
99	Tao:0	Bar Shabtai	7.56	0.02	0	0
100	Sprt:0	Aristotle	9.97	0.11	0	0
101	David Lackey:0	Anon5	13.20	0.03	0	0
102	T. Capote:0	haoyu	15.00	0.00	3	2
103	T. Capote:1	haoyu	15.00	0.00	3	2
104	Qinlan Shen:1	R. A. B.	15.00	9.00	6	1
105	Tao:1	Aristotle	15.00	0.07	7	0
106	DeeEmEm:0	CAPS LOCK	15.00	13.00	8	1
107	bfang:0	haoyu	15.00	0.04	10	0
108	Mercury:1	haoyu	15.00	0.05	12	0
109	David H.:0	AFC	15.00	0.28	14	0
110	bfang:1	haoyu	15.00	0.04	15	0
111	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	16	0
112	Mercury:0	haoyu	15.00	0.05	17	0
113	AFC:1	Aristotle	15.00	0.16	17	0
114	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	17	0
115	Anon5:1	Green "The Bean" Choi	15.00	0.07	19	0
116	David H.:1	DeeEmEm	15.00	0.33	19	0
117	Aaron H:0	Aristotle	15.00	0.11	19	0
118	Charliezsc:0	jgs	15.00	14.98	19	1
119	0108:0	jgs	15.00	14.98	19	1
120	EC:1	haoyu	15.00	0.03	20	0
121	Anon5:0	haoyu	15.00	0.05	21	0
122	Anon_K_P:0	haoyu	15.00	0.02	21	0
123	SuperFan:0	jgs	15.00	14.98	22	4
124	Sabar Dasgupta:0	spl	15.00	0.23	23	0
125	AFC:0	CookieMonster	15.00	0.34	23	0
126	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	24	0
127	Anon_K_P:1	Aristotle	15.00	0.03	24	0
128	jabreezy:1	Mercury	15.00	0.10	24	0
129	jabreezy:0	Mercury	15.00	0.09	24	0
130	Charliezsc:1	haoyu	15.00	0.07	25	0
131	Yacob Y.:0	haoyu	15.00	0.06	26	0
132	EC:0	haoyu	15.00	0.03	26	0
133	Samuel Jerome:1	haoyu	15.00	0.03	27	0
134	Andys:0	Aristotle	15.00	0.12	33	0
135	Yacob Y.:1	Aristotle	15.00	15.00	37	1
136	Dusty:1	Shaheed Chagani	15.00	0.22	41	0
137	Dusty:0	CookieMonster	15.00	1.39	43	0
138	Fanny:0	Aristotle	15.00	0.10	45	0
139	ebp:0	haoyu	15.00	0.04	45	0
140	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	47	0
141	Glenn Fisher:0	Elphaba	15.00	0.02	49	0
142	Yan Wu:1	haoyu	15.00	0.04	49	0
143	Supahaka:1	Joel Faron	15.00	15.00	49	35
144	Supahaka:0	Andrew Werner	15.00	15.00	51	35
145	Ben Chen:1	spl	15.00	0.20	52	0
146	Andrew Grasso:0	Aaron Doll	15.00	0.18	55	0
147	Glenn Fisher:1	jabreezy	15.00	0.09	58	0
148	ebp:1	haoyu	15.00	0.04	60	0
149	David Lackey:1	Bar Shabtai	15.00	0.03	64	0
150	Ben Chen:0	Elphaba	15.00	0.07	66	0
151	Walter Little:1	haoyu	15.00	0.03	75	0
152	Walter Little:0	haoyu	15.00	0.04	78	0
153	NA:0	haoyu	15.00	0.03	93	0
154	Matt Haake:1	haoyu	15.00	0.05	94	0
155	NA:1	Elphaba	15.00	0.04	99	0
156	Yan Wu:0	haoyu	15.00	0.05	103	0
157	Matt Haake:0	haoyu	15.00	0.05	106	0
158	snowflakes:0	haoyu	15.00	0.03	121	0
159	snowflakes:1	haoyu	15.00	0.03	135	0
160	jgs:1	haoyu	15.00	0.18	274	0
161	BH:1	haoyu	15.00	0.05	613	0
162	nupog:1	Aristotle	15.00	0.12	905	0
163	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	20	0
164	John Whelchel:0	haoyu	15.00	0.06	24	0
165	Mike Hunt:0	Aristotle	15.00	0.27	38	0
166	BH:0	haoyu	15.00	0.07	601	0
167	Brendan Wright:1	Deric Cheng	15.00	0.10	11	0
168	Mike Hunt:1	Aristotle	15.00	0.29	37	0
169	nupog:0	Aristotle	15.00	0.13	1010	0
170	Andrew Werner:1	haoyu	15.00	0.11	12	0
171	John Whelchel:1	haoyu	15.00	0.11	15	0
172	Aaron H:1	Aristotle	15.00	0.11	20	0
173	Andys:1	Aristotle	15.00	0.13	37	0
174	Fanny:1	Aristotle	15.00	0.12	39	0
175	burrito:1	haoyu	15.00	0.10	124	0
176	CAPS LOCK:1	Aristotle	15.00	0.25	4958	0
177	13a:1	Aaron Doll	15.00	15.00	78538	29
178	Shaheed Chagani:0	Aristotle	15.00	0.17	15	0
179	Shaheed Chagani:1	Aristotle	15.00	0.11	7593	0
180	jgs:0	Aristotle	15.01	0.12	4724	0
181	Deric Cheng:0	jgs	15.01	14.99	12	1
182	Deric Cheng:1	jgs	15.01	14.98	11	1
183	Nihar the Great:0	Aristotle	15.01	0.23	23297	0
184	DinnerPartyPlannerBM:0	Aristotle	15.01	0.11	599	0
185	Bar Shabtai:1	haoyu	15.01	0.12	5248	0
186	Elphaba:0	Aristotle	15.01	0.24	45015	0
187	Aaron Doll:0	Aristotle	15.02	0.56	232439	0
188	Elphaba:1	Aristotle	15.02	0.22	31924	0
189	Brendan Wright:0	haoyu	15.03	0.10	99	0
190	CAPS LOCK:0	Aristotle	15.03	0.20	44519	0
191	Aristotle:1	Aristotle	15.03	9.69	729980	0
192	Aaron Doll:1	Aristotle	15.06	1.27	294022	0
193	Matt Goldsmith:0	Nihar the Great	15.07	0.03	500529	0
194	13a:0	Aaron Doll	15.07	15.00	86973	21
195	Aristotle:0	Aristotle	15.07	15.00	742966	1
196	Nihar the Great:1	Aristotle	15.09	0.25	22726	0
197	Bar Shabtai:0	Aaron Doll	15.13	15.01	299973	1
198	Matt Goldsmith:1	Happy	15.19	0.03	508493	0
199	Mr. Blobby:0	Green "The Bean" Choi	-	0.14	-	0
200	Jessie Chen:0	Joel Faron	-	0.13	-	1
201	Blam:1	Elphaba	-	0.00	-	0
202	Valya Barboy:1	Shaheed Chagani	-	0.18	-	0
203	dfshasdsf12:1	Nihar the Great	-	0.11	-	0
204	kt4124:1	haoyu	-	0.04	-	0
205	Mark S. Fillmore:1	Supahaka	-	0.04	-	79
206	Sunny:0	Green "The Bean" Choi	-	0.02	-	0
207	Gewang:1	Jonathan Kwok	-	0.00	-	0
208	K.L.:1	KingBach	-	0.00	-	0
209	Quite Satisfied:1	Joel Faron	-	2.11	-	1
210	Jessie Chen:1	Joel Faron	-	0.12	-	1
211	spl:0	Elphaba	-	0.09	-	0
212	Absurdity:1	Aristotle	-	0.18	-	0
213	dfshasdsf12:0	haoyu	-	0.09	-	0
214	kt4124:0	haoyu	-	0.03	-	0
215	Gewang:0	Jonathan Kwok	-	0.00	-	0
216	Mark S. Fillmore:0	Supahaka	-	0.01	-	116
217	CookieMonster:0	CookieMonster	-	0.82	-	0
218	BMJ:0	Elphaba	-	0.00	-	0
219	K.L.:0	haoyu	-	0.00	-	0
220	Quite Satisfied:0	haoyu	-	0.00	-	0
221	spl:1	haoyu	-	0.06	-	0
222	SuperFan:1	jgs	-	14.98	-	4
223	CookieMonster:1	CookieMonster	-	1.10	-	0
224	Mr. Blobby:1	dusty	-	0.12	-	0
225	Absurdity:0	Aristotle	-	0.23	-	0
226	Blam:0	Elphaba	-	0.00	-	0
227	Valya Barboy:0	Aristotle	-	0.06	-	0
228	Sunny:1	jabreezy	-	0.01	-	0

SatSolvers Ranklist

Generators Ranklist