Stats for satsolver: ModifiedWalkSatBreakZero

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 ModifiedWalkSatBreakZero 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 ModifiedWalkSatBreakZero 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:	ModifiedWalkSatBreakZero
Rank:	46 / 118
Average Score:	7.22
Median Score:	0.29
Description:	This algorithm uses more advanced data structures to implement WalkSat with an additional modification that symbols in failed clauses that do not break other clauses when switching are flipped first.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	bigwig:1	KingBach	0.00	0.00	0	0
4	Bebe Shi:0	KingBach	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	Bebe Shi:1	KingBach	0.00	0.00	0	0
7	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
8	K.L.:0	haoyu	0.00	0.00	0	0
9	K.L.:1	KingBach	0.01	0.00	0	0
10	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
11	R. A. B.:1	cat	0.01	0.00	0	0
12	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
13	Blam:0	Elphaba	0.01	0.00	0	0
14	Happy:1	KingBach	0.01	0.00	0	0
15	Miranda:1	cat	0.01	0.00	0	0
16	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
17	Miranda:0	cat	0.01	0.00	0	0
18	Blam:1	Elphaba	0.01	0.00	0	0
19	haoyu:1	Anon5	0.01	0.01	0	0
20	BMJ:1	burrito	0.01	0.00	0	0
21	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
22	The Kraken:1	haoyu	0.01	0.00	0	0
23	David Paulk:0	cat	0.01	0.00	0	0
24	BMJ:0	Elphaba	0.02	0.00	0	0
25	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
26	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
27	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
28	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
29	bchouGenerator:0	haoyu	0.02	0.00	0	0
30	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
31	Tree Prophet:1	haoyu	0.02	0.00	0	0
32	The Kraken:0	haoyu	0.02	0.00	0	0
33	Solving For Clauses:1	haoyu	0.03	0.00	0	0
34	Quite Satisfied:0	haoyu	0.03	0.00	0	0
35	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
36	haoyu:0	KingBach	0.03	0.01	0	0
37	Jameh:0	haoyu	0.03	0.01	0	0
38	Tree Prophet:0	haoyu	0.03	0.00	0	0
39	Jordan Ash:0	EC	0.04	0.03	0	0
40	Mickey Mouse:1	haoyu	0.04	0.01	0	0
41	cmF5a3ly:1	Nihar the Great	0.04	0.00	0	0
42	Jordan Ash:1	Bar Shabtai	0.04	0.01	0	0
43	Happy:0	haoyu	0.04	0.00	0	0
44	Mickey Mouse:0	Bar Shabtai	0.04	0.01	0	0
45	cmF5a3ly:0	Nihar the Great	0.04	0.00	0	0
46	Daffy Duck:1	haoyu	0.05	0.00	0	0
47	0108:1	haoyu	0.05	0.01	0	0
48	Tiny Wings:1	haoyu	0.05	0.01	0	0
49	weezy:1	Bar Shabtai	0.05	0.01	0	0
50	vluu:1	Nihar the Great	0.06	0.02	0	0
51	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.06	0.00	0	0
52	vluu:0	Nihar the Great	0.06	0.01	0	0
53	The Whitman Whale:0	bigwig	0.06	0.04	0	0
54	weezy:0	Bar Shabtai	0.06	0.01	0	0
55	Jameh:1	haoyu	0.06	0.01	0	0
56	cat:1	haoyu	0.06	0.03	0	0
57	Boomshanka:1	Bar Shabtai	0.06	0.01	0	0
58	Alex Fish:1	haoyu	0.07	0.02	0	0
59	Ytterbium:0	Andrew Grasso	0.07	0.02	0	0
60	Tiny Wings:0	haoyu	0.07	0.02	0	0
61	bchouGenerator:1	Jonathan Kwok	0.07	0.01	0	0
62	cat:0	haoyu	0.07	0.03	0	0
63	Anon_K_P:0	haoyu	0.07	0.02	0	0
64	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.07	0.01	0	0
65	Tao:0	Bar Shabtai	0.08	0.02	0	0
66	Tao:1	Aristotle	0.08	0.07	0	0
67	Keji Xu:1	Nihar the Great	0.08	0.04	0	0
68	Sunny:0	Green "The Bean" Choi	0.08	0.02	0	0
69	Nikhilesh Sigatapu:1	haoyu	0.08	0.04	0	0
70	Nikhilesh Sigatapu:0	haoyu	0.08	0.03	0	0
71	Samuel Jerome:0	haoyu	0.09	0.03	0	0
72	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.09	0.01	0	0
73	Alex Fish:0	haoyu	0.09	0.01	0	0
74	Keji Xu:0	Nihar the Great	0.09	0.03	0	0
75	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
76	kt4124:0	haoyu	0.09	0.03	0	0
77	Scheduling Generator 203:0	jgs	0.09	0.01	0	0
78	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.09	0.01	0	0
79	George Okeowo:1	Andrew Grasso	0.10	0.01	0	0
80	Boomshanka:0	haoyu	0.10	0.01	0	0
81	kt4124:1	haoyu	0.10	0.04	0	0
82	Lisa Kim:0	Aristotle	0.10	0.07	0	0
83	DeeEmEm:1	haoyu	0.10	0.02	0	0
84	George Okeowo:0	Andrew Grasso	0.11	0.01	0	0
85	Ytterbium:1	Nihar the Great	0.11	0.02	0	0
86	Lisa Kim:1	Bar Shabtai	0.11	0.06	0	0
87	Janie Gu:1	Jonathan Kwok	0.12	0.07	0	0
88	Mr. Blobby:1	dusty	0.13	0.12	0	0
89	Anon_K_P:1	Aristotle	0.14	0.03	0	0
90	Janie Gu:0	Glenn Fisher	0.15	0.07	0	0
91	Samuel Jerome:1	haoyu	0.15	0.03	0	0
92	Matt Haake:0	haoyu	0.16	0.05	0	0
93	Glenn Fisher:0	Elphaba	0.16	0.02	0	0
94	Sally Smith:0	haoyu	0.17	0.04	0	0
95	bfang:1	haoyu	0.17	0.04	0	0
96	Sally Smith:1	haoyu	0.17	0.04	0	0
97	Khoa:1	Aristotle	0.18	0.09	0	0
98	bfang:0	haoyu	0.18	0.04	0	0
99	Khoa:0	haoyu	0.19	0.09	0	0
100	Matt Haake:1	haoyu	0.20	0.05	0	0
101	Tom T:0	EC	0.21	0.02	0	0
102	Tom T:1	Andrew Werner	0.22	0.02	0	0
103	Mr. Blobby:0	Green "The Bean" Choi	0.23	0.14	0	0
104	Ben Chen:1	spl	0.23	0.20	0	0
105	Mercury:0	haoyu	0.23	0.05	0	0
106	Mercury:1	haoyu	0.23	0.05	0	0
107	Sunny:1	jabreezy	0.25	0.01	0	0
108	Valya Barboy:1	Shaheed Chagani	0.27	0.18	0	0
109	Batman:1	haoyu	0.27	0.04	0	0
110	soccer:1	haoyu	0.28	0.04	0	0
111	nupog:0	Aristotle	0.28	0.13	0	0
112	nupog:1	Aristotle	0.29	0.12	0	0
113	Sprt:1	haoyu	0.29	0.05	0	0
114	Yan Wu:0	haoyu	0.30	0.05	0	0
115	David Lackey:0	Anon5	0.32	0.03	0	0
116	KingBach:1	haoyu	0.32	0.04	0	0
117	soccer:0	haoyu	0.33	0.04	0	0
118	Ben Chen:0	Elphaba	0.34	0.07	0	0
119	KingBach:0	haoyu	0.34	0.06	0	0
120	Batman:0	haoyu	0.34	0.04	0	0
121	Yacob Y.:0	haoyu	0.35	0.06	0	0
122	Scheduling Generator 203:1	Jameh	0.36	0.02	0	0
123	Glenn Fisher:1	jabreezy	0.37	0.09	0	0
124	Dusty:1	Shaheed Chagani	0.39	0.22	0	0
125	Sabar Dasgupta:1	Aaron Doll	0.39	0.17	0	0
126	David Lackey:1	Bar Shabtai	0.40	0.03	0	0
127	Sabar Dasgupta:0	spl	0.41	0.23	0	0
128	ebp:1	haoyu	0.41	0.04	0	0
129	NA:1	Elphaba	0.43	0.04	0	0
130	jabreezy:0	Mercury	0.45	0.09	0	0
131	Yan Wu:1	haoyu	0.45	0.04	0	0
132	Andrew Grasso:0	Aaron Doll	0.46	0.18	0	0
133	snowflakes:1	haoyu	0.54	0.03	0	0
134	jabreezy:1	Mercury	0.55	0.10	0	0
135	ebp:0	haoyu	0.65	0.04	0	0
136	Anon5:1	Green "The Bean" Choi	0.74	0.07	0	0
137	Valya Barboy:0	Aristotle	0.79	0.06	0	0
138	Walter Little:1	haoyu	0.80	0.03	0	0
139	burrito:0	haoyu	0.80	0.09	0	0
140	DinnerPartyPlannerBM:1	Nihar the Great	0.82	0.06	0	0
141	Sprt:0	Aristotle	0.85	0.11	0	0
142	Mike Hunt:0	Aristotle	0.86	0.27	0	0
143	Fanny:1	Aristotle	0.92	0.12	0	0
144	BH:0	haoyu	0.94	0.07	0	0
145	Mike Hunt:1	Aristotle	0.95	0.29	0	0
146	Aaron H:0	Aristotle	0.96	0.11	0	0
147	Aaron H:1	Aristotle	1.03	0.11	0	0
148	NA:0	haoyu	1.05	0.03	0	0
149	John Whelchel:0	haoyu	1.06	0.06	0	0
150	Lil Thug:0	Andrew Grasso	1.06	0.03	0	0
151	Charliezsc:1	haoyu	1.07	0.07	0	0
152	Andrew Werner:1	haoyu	1.07	0.11	0	0
153	BH:1	haoyu	1.09	0.05	0	0
154	Andrew Werner:0	Aaron Doll	1.14	0.33	0	0
155	Lil Thug:1	Andrew Grasso	1.21	0.03	0	0
156	John Whelchel:1	haoyu	1.36	0.11	0	0
157	Andys:0	Aristotle	1.40	0.12	0	0
158	Andys:1	Aristotle	1.42	0.13	0	0
159	Andrew Grasso:1	Shaheed Chagani	1.44	0.15	0	0
160	Walter Little:0	haoyu	1.52	0.04	0	0
161	EC:0	haoyu	1.70	0.03	0	0
162	Linda:0	Andrew Grasso	1.88	0.01	0	0
163	dfshasdsf12:0	haoyu	1.90	0.09	0	0
164	David H.:0	AFC	2.18	0.28	0	0
165	EC:1	haoyu	2.19	0.03	0	0
166	snowflakes:0	haoyu	2.45	0.03	0	0
167	DinnerPartyPlannerBM:0	Aristotle	2.47	0.11	0	0
168	burrito:1	haoyu	2.51	0.10	0	0
169	Fanny:0	Aristotle	2.69	0.10	0	0
170	dfshasdsf12:1	Nihar the Great	2.88	0.11	0	0
171	Bar Shabtai:1	haoyu	3.20	0.12	0	0
172	jgs:0	Aristotle	3.55	0.12	0	0
173	Dr Roberto:1	Andrew Grasso	3.69	0.02	0	0
174	jgs:1	haoyu	3.77	0.18	0	0
175	Anon5:0	haoyu	4.11	0.05	0	0
176	CAPS LOCK:0	Aristotle	4.59	0.20	0	0
177	Absurdity:0	Aristotle	5.58	0.23	0	0
178	Linda:1	Andrew Grasso	5.70	0.02	0	0
179	Absurdity:1	Aristotle	6.24	0.18	0	0
180	Dr Roberto:0	Andrew Grasso	6.88	0.03	0	0
181	AFC:0	CookieMonster	7.10	0.34	0	0
182	Shaheed Chagani:1	Aristotle	7.41	0.11	0	0
183	Dusty:0	CookieMonster	8.18	1.39	0	0
184	CAPS LOCK:1	Aristotle	8.92	0.25	0	0
185	Elphaba:1	Aristotle	11.54	0.22	0	0
186	spl:0	Elphaba	12.51	0.09	0	0
187	Elphaba:0	Aristotle	12.82	0.24	0	0
188	Brendan Wright:1	Deric Cheng	14.57	0.10	0	0
189	AFC:1	Aristotle	14.96	0.16	0	0
190	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
191	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
192	T. Capote:0	haoyu	15.00	0.00	2	2
193	T. Capote:1	haoyu	15.00	0.00	2	2
194	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
195	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
196	CookieMonster:0	CookieMonster	15.00	0.82	1	0
197	CookieMonster:1	CookieMonster	15.00	1.10	1	0
198	Shaheed Chagani:0	Aristotle	15.00	0.17	2	0
199	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
200	Deric Cheng:1	jgs	15.00	14.98	2	1
201	Deric Cheng:0	jgs	15.00	14.99	2	1
202	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
203	Charliezsc:0	jgs	15.00	14.98	4	1
204	Quite Satisfied:1	Joel Faron	15.00	2.11	5	1
205	SuperFan:0	jgs	15.00	14.98	6	4
206	David H.:1	DeeEmEm	15.00	0.33	7	0
207	spl:1	haoyu	15.00	0.06	7	0
208	0108:0	jgs	15.00	14.98	11	1
209	SuperFan:1	jgs	15.00	14.98	12	4
210	Yacob Y.:1	Aristotle	15.00	15.00	14	1
211	Supahaka:1	Joel Faron	15.00	15.00	46	35
212	Supahaka:0	Andrew Werner	15.00	15.00	52	35
213	13a:0	Aaron Doll	15.00	15.00	7666	21
214	13a:1	Aaron Doll	15.00	15.00	57104	29
215	Matt Goldsmith:0	Nihar the Great	15.01	0.03	504548	0
216	Bar Shabtai:0	Aaron Doll	15.08	15.01	318388	1
217	Matt Goldsmith:1	Happy	15.08	0.03	516296	0
218	Aaron Doll:1	Aristotle	15.12	1.27	353283	0
219	Aaron Doll:0	Aristotle	15.17	0.56	277023	0
220	Aristotle:0	Aristotle	17.46	15.00	729106	1
221	Aristotle:1	Aristotle	17.81	9.69	740299	0
222	Brendan Wright:0	haoyu	56.81	0.10	137	0
223	Nihar the Great:1	Aristotle	139.88	0.25	181056	0
224	Mike Honcho:0	Miranda	-	0.01	-	0
225	Bob Dondero:1	Mickey Mouse	-	0.03	-	0
226	Nihar the Great:0	Aristotle	-	0.23	-	0
227	Bob Dondero:0	Andrew Grasso	-	0.02	-	0
228	Mike Honcho:1	Jessie Chen	-	0.01	-	0

SatSolvers Ranklist

Generators Ranklist