Stats for satsolver: Mark Fillmore

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 Mark Fillmore 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 Mark Fillmore 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:	Mark Fillmore
Rank:	79 / 118
Average Score:	12.26
Median Score:	1.25
Description:	This sat-solver is a modified version of WalkSAT. It gives every clause a random rank and inserts it into a Priority Queue. All literals are initially set to false. Clauses are then removed from the Priority Queue, and if they are not satisfied, a random literal assignment is made. Simulted annealing determines whether or not this random assignment is allowed to continue. If it is, any clause that contains this literal is put back on the Priority Queue. This is repeated until time runs out, or a satisfiable solution is disovered.

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