Stats for satsolver: cmF5a3ly

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 cmF5a3ly 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 cmF5a3ly 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:	cmF5a3ly
Rank:	96 / 118
Average Score:	17.39
Median Score:	15.02
Description:	Modified WalkSAT with randomization and restart. When encountering multiple options on which symbol to flip, WalkSAT picks a random one, cycling through each symbol a large number of times. After randomizing a large number of symbols, WalkSAT restarts to look for a better locally optimal solution.

	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	Bebe Shi:0	KingBach	0.01	0.00	0	0
4	Ravi Tandon:1	KingBach	0.01	0.00	0	0
5	K.L.:1	KingBach	0.01	0.00	0	0
6	Happy:1	KingBach	0.01	0.00	0	0
7	Bebe Shi:1	KingBach	0.01	0.00	0	0
8	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
9	Ravi Tandon:0	KingBach	0.01	0.00	0	0
10	Mike Honcho:0	Miranda	0.02	0.01	0	0
11	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
12	Daffy Duck:1	haoyu	0.02	0.00	0	0
13	Solving For Clauses:0	Glenn Fisher	0.04	0.00	0	0
14	Miranda:0	cat	0.04	0.00	0	0
15	Joshua Zimmer:1	haoyu	0.04	0.00	0	0
16	R. A. B.:1	cat	0.04	0.00	0	0
17	Solving For Clauses:1	haoyu	0.04	0.00	0	0
18	Joshua Zimmer:0	haoyu	0.04	0.00	0	0
19	bchouGenerator:0	haoyu	0.04	0.00	0	0
20	Miranda:1	cat	0.05	0.00	0	0
21	haoyu:1	Anon5	0.05	0.01	0	0
22	Blam:1	Elphaba	0.06	0.00	0	0
23	K.L.:0	haoyu	0.07	0.00	0	0
24	bchouGenerator:1	Jonathan Kwok	0.07	0.01	0	0
25	Happy:0	haoyu	0.08	0.00	0	0
26	haoyu:0	KingBach	0.09	0.01	0	0
27	BMJ:1	burrito	0.09	0.00	0	0
28	BMJ:0	Elphaba	0.09	0.00	0	0
29	Quite Satisfied:0	haoyu	0.10	0.00	0	0
30	Gewang:1	Jonathan Kwok	0.10	0.00	0	0
31	Daffy Duck:0	Andrew Werner	0.12	0.00	0	0
32	Scheduling Generator 203:0	jgs	0.13	0.01	0	0
33	Blam:0	Elphaba	0.13	0.00	0	0
34	The Kraken:1	haoyu	0.16	0.00	0	0
35	Jordan Ash:1	Bar Shabtai	0.22	0.01	0	0
36	Tom T:1	Andrew Werner	0.23	0.02	0	0
37	The Kraken:0	haoyu	0.24	0.00	0	0
38	Tree Prophet:0	haoyu	0.27	0.00	0	0
39	Tom T:0	EC	0.28	0.02	0	0
40	Qinlan Shen:0	Bar Shabtai	0.31	0.01	0	0
41	David Paulk:1	Bar Shabtai	0.35	0.00	0	0
42	Gewang:0	Jonathan Kwok	0.39	0.00	0	0
43	David Paulk:0	cat	0.41	0.00	0	0
44	David Lackey:1	Bar Shabtai	0.42	0.03	0	0
45	Scheduling Generator 203:1	Jameh	0.45	0.02	0	0
46	David Lackey:0	Anon5	0.61	0.03	0	0
47	Boomshanka:0	haoyu	0.66	0.01	0	0
48	Dr Roberto:1	Andrew Grasso	0.68	0.02	0	0
49	Dr Roberto:0	Andrew Grasso	0.98	0.03	0	0
50	Mickey Mouse:0	Bar Shabtai	1.34	0.01	0	0
51	weezy:1	Bar Shabtai	1.41	0.01	0	0
52	cmF5a3ly:0	Nihar the Great	1.48	0.00	0	0
53	Bob Dondero:1	Mickey Mouse	1.79	0.03	0	0
54	cmF5a3ly:1	Nihar the Great	1.81	0.00	0	0
55	Bob Dondero:0	Andrew Grasso	1.91	0.02	0	0
56	weezy:0	Bar Shabtai	2.57	0.01	0	0
57	Mickey Mouse:1	haoyu	2.58	0.01	0	0
58	Jordan Ash:0	EC	5.31	0.03	0	0
59	Linda:0	Andrew Grasso	6.64	0.01	0	0
60	Boomshanka:1	Bar Shabtai	6.89	0.01	0	0
61	Mike Honcho:1	Jessie Chen	7.61	0.01	0	0
62	Tiny Wings:0	haoyu	9.38	0.02	0	0
63	Keji Xu:1	Nihar the Great	10.52	0.04	0	0
64	Alex Fish:0	haoyu	13.61	0.01	0	0
65	Janie Gu:1	Jonathan Kwok	14.12	0.07	0	0
66	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	1	0
67	T. Capote:0	haoyu	15.00	0.00	2	2
68	T. Capote:1	haoyu	15.00	0.00	2	2
69	Jessie Chen:1	Joel Faron	15.00	0.12	3	1
70	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	4	0
71	Sunny:1	jabreezy	15.00	0.01	4	0
72	Jessie Chen:0	Joel Faron	15.00	0.13	5	1
73	Quite Satisfied:1	Joel Faron	15.00	2.11	5	1
74	Tree Prophet:1	haoyu	15.00	0.00	5	0
75	SuperFan:0	jgs	15.00	14.98	10	4
76	SuperFan:1	jgs	15.00	14.98	11	4
77	Sunny:0	Green "The Bean" Choi	15.00	0.02	134	0
78	Alex Fish:1	haoyu	15.00	0.02	1	0
79	Qinlan Shen:1	R. A. B.	15.00	9.00	2	1
80	David H.:1	DeeEmEm	15.00	0.33	4	0
81	R. A. B.:0	Nihar the Great	15.00	0.00	4	0
82	David H.:0	AFC	15.00	0.28	5	0
83	0108:1	haoyu	15.00	0.01	136	0
84	DeeEmEm:0	CAPS LOCK	15.00	13.00	6	1
85	Jameh:0	haoyu	15.00	0.01	29	0
86	DeeEmEm:1	haoyu	15.00	0.02	451	0
87	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	856	0
88	AFC:1	Aristotle	15.00	0.16	4588	0
89	NA:0	haoyu	15.00	0.03	452	0
90	Tiny Wings:1	haoyu	15.01	0.01	1	0
91	0108:0	jgs	15.01	14.98	4	1
92	Andrew Grasso:0	Aaron Doll	15.01	0.18	348	0
93	Yacob Y.:0	haoyu	15.01	0.06	8840	0
94	Anon5:1	Green "The Bean" Choi	15.01	0.07	5	0
95	Supahaka:1	Joel Faron	15.01	15.00	187	35
96	Keji Xu:0	Nihar the Great	15.01	0.03	1094	0
97	Matt Haake:1	haoyu	15.01	0.05	1105	0
98	Samuel Jerome:1	haoyu	15.01	0.03	3485	0
99	Supahaka:0	Andrew Werner	15.01	15.00	52	35
100	Samuel Jerome:0	haoyu	15.01	0.03	132	0
101	Valya Barboy:0	Aristotle	15.01	0.06	406	0
102	EC:1	haoyu	15.01	0.03	1222	0
103	Tao:0	Bar Shabtai	15.01	0.02	1826	0
104	Janie Gu:0	Glenn Fisher	15.01	0.07	5	0
105	EC:0	haoyu	15.01	0.03	7	0
106	cat:1	haoyu	15.01	0.03	1018	0
107	Tao:1	Aristotle	15.01	0.07	1607	0
108	Anon_K_P:0	haoyu	15.01	0.02	5	0
109	Dusty:0	CookieMonster	15.02	1.39	391	0
110	Valya Barboy:1	Shaheed Chagani	15.02	0.18	1002	0
111	Anon_K_P:1	Aristotle	15.02	0.03	5	0
112	kt4124:0	haoyu	15.02	0.03	548	0
113	Glenn Fisher:1	jabreezy	15.02	0.09	1359	0
114	Matt Haake:0	haoyu	15.02	0.05	1599	0
115	Yacob Y.:1	Aristotle	15.02	15.00	10893	1
116	The Whitman Whale:1	Andrew Grasso	15.02	0.03	192	0
117	Jameh:1	haoyu	15.02	0.01	68	0
118	The Whitman Whale:0	bigwig	15.03	0.04	500	0
119	vluu:0	Nihar the Great	15.03	0.01	2106	0
120	Andrew Grasso:1	Shaheed Chagani	15.03	0.15	212	0
121	Dusty:1	Shaheed Chagani	15.03	0.22	23	0
122	Ben Chen:1	spl	15.03	0.20	3219	0
123	Brendan Wright:1	Deric Cheng	15.03	0.10	6	0
124	soccer:1	haoyu	15.03	0.04	5545	0
125	Ytterbium:0	Andrew Grasso	15.03	0.02	384	0
126	snowflakes:0	haoyu	15.04	0.03	2061	0
127	vluu:1	Nihar the Great	15.04	0.02	315	0
128	cat:0	haoyu	15.04	0.03	786	0
129	Lisa Kim:0	Aristotle	15.04	0.07	4832	0
130	Mr. Blobby:0	Green "The Bean" Choi	15.04	0.14	2045	0
131	Fanny:1	Aristotle	15.04	0.12	6	0
132	Glenn Fisher:0	Elphaba	15.04	0.02	1371	0
133	Sprt:1	haoyu	15.04	0.05	11220	0
134	Mark S. Fillmore:1	Supahaka	15.04	0.04	516	79
135	Anon5:0	haoyu	15.04	0.05	1557	0
136	kt4124:1	haoyu	15.04	0.04	1485	0
137	Mercury:1	haoyu	15.04	0.05	6269	0
138	Lisa Kim:1	Bar Shabtai	15.04	0.06	2601	0
139	spl:1	haoyu	15.05	0.06	3732	0
140	Nikhilesh Sigatapu:0	haoyu	15.05	0.03	1554	0
141	NA:1	Elphaba	15.06	0.04	521	0
142	Fanny:0	Aristotle	15.06	0.10	806	0
143	snowflakes:1	haoyu	15.06	0.03	1083	0
144	Mark S. Fillmore:0	Supahaka	15.07	0.01	1302	116
145	jabreezy:0	Mercury	15.07	0.09	5143	0
146	AFC:0	CookieMonster	15.08	0.34	3741	0
147	Yan Wu:1	haoyu	15.08	0.04	23	0
148	CookieMonster:0	CookieMonster	15.08	0.82	1032	0
149	Ben Chen:0	Elphaba	15.09	0.07	3520	0
150	Walter Little:1	haoyu	15.11	0.03	5547	0
151	Mr. Blobby:1	dusty	15.12	0.12	3203	0
152	CookieMonster:1	CookieMonster	15.12	1.10	3893	0
153	Yan Wu:0	haoyu	15.13	0.05	21	0
154	George Okeowo:0	Andrew Grasso	15.14	0.01	2990	0
155	bfang:0	haoyu	15.14	0.04	6209	0
156	Mercury:0	haoyu	15.15	0.05	7766	0
157	Ytterbium:1	Nihar the Great	15.15	0.02	4109	0
158	soccer:0	haoyu	15.16	0.04	6354	0
159	Linda:1	Andrew Grasso	15.18	0.02	24	0
160	Sally Smith:1	haoyu	15.20	0.04	2072	0
161	Walter Little:0	haoyu	15.20	0.04	3676	0
162	Sally Smith:0	haoyu	15.21	0.04	2971	0
163	ebp:1	haoyu	15.22	0.04	7870	0
164	Batman:1	haoyu	15.25	0.04	8669	0
165	Batman:0	haoyu	15.26	0.04	8847	0
166	Brendan Wright:0	haoyu	15.26	0.10	7	0
167	spl:0	Elphaba	15.27	0.09	4144	0
168	KingBach:1	haoyu	15.30	0.04	9971	0
169	bfang:1	haoyu	15.31	0.04	6724	0
170	Khoa:0	haoyu	15.34	0.09	7625	0
171	dfshasdsf12:0	haoyu	15.34	0.09	19587	0
172	BH:1	haoyu	15.34	0.05	21688	0
173	jabreezy:1	Mercury	15.37	0.10	5165	0
174	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.38	0.01	1296	0
175	Shaheed Chagani:1	Aristotle	15.41	0.11	36676	0
176	BH:0	haoyu	15.48	0.07	22325	0
177	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.51	0.01	1347	0
178	Absurdity:0	Aristotle	15.53	0.23	9364	0
179	KingBach:0	haoyu	15.58	0.06	12473	0
180	George Okeowo:1	Andrew Grasso	15.60	0.01	3628	0
181	Charliezsc:0	jgs	15.62	14.98	11590	1
182	Khoa:1	Aristotle	15.63	0.09	7636	0
183	burrito:0	haoyu	15.69	0.09	24226	0
184	Absurdity:1	Aristotle	15.69	0.18	9831	0
185	ebp:0	haoyu	15.71	0.04	7359	0
186	Charliezsc:1	haoyu	15.76	0.07	13522	0
187	Sabar Dasgupta:1	Aaron Doll	15.99	0.17	13931	0
188	Sabar Dasgupta:0	spl	16.12	0.23	13510	0
189	Deric Cheng:0	jgs	16.39	14.99	57530	1
190	Andrew Werner:1	haoyu	16.42	0.11	30666	0
191	DinnerPartyPlannerBM:1	Nihar the Great	16.43	0.06	23936	0
192	Sprt:0	Aristotle	16.47	0.11	27814	0
193	Aaron H:0	Aristotle	16.57	0.11	27712	0
194	John Whelchel:0	haoyu	16.57	0.06	30105	0
195	Mike Hunt:0	Aristotle	16.58	0.27	23792	0
196	Mike Hunt:1	Aristotle	16.75	0.29	23143	0
197	Andys:1	Aristotle	16.91	0.13	32871	0
198	Lil Thug:1	Andrew Grasso	17.17	0.03	30616	0
199	John Whelchel:1	haoyu	17.45	0.11	30315	0
200	Shaheed Chagani:0	Aristotle	18.36	0.17	35715	0
201	CAPS LOCK:0	Aristotle	18.92	0.20	54002	0
202	Andys:0	Aristotle	19.02	0.12	33237	0
203	Deric Cheng:1	jgs	19.37	14.98	56850	1
204	Aaron H:1	Aristotle	19.66	0.11	27112	0
205	Andrew Werner:0	Aaron Doll	19.68	0.33	32753	0
206	Lil Thug:0	Andrew Grasso	19.94	0.03	31436	0
207	Bar Shabtai:1	haoyu	20.14	0.12	51778	0
208	burrito:1	haoyu	21.08	0.10	43051	0
209	dfshasdsf12:1	Nihar the Great	22.00	0.11	30941	0
210	nupog:0	Aristotle	22.81	0.13	5077	0
211	DinnerPartyPlannerBM:0	Aristotle	22.83	0.11	48134	0
212	nupog:1	Aristotle	23.22	0.12	5088	0
213	CAPS LOCK:1	Aristotle	27.47	0.25	67078	0
214	Elphaba:0	Aristotle	27.70	0.24	112441	0
215	Elphaba:1	Aristotle	28.88	0.22	110035	0
216	jgs:0	Aristotle	29.53	0.12	58515	0
217	jgs:1	haoyu	30.41	0.18	60070	0
218	13a:0	Aaron Doll	45.36	15.00	120723	21
219	13a:1	Aaron Doll	50.87	15.00	123007	29
220	Nihar the Great:1	Aristotle	132.68	0.25	136590	0
221	Nihar the Great:0	Aristotle	132.86	0.23	146961	0
222	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
223	Aristotle:1	Aristotle	-	9.69	-	0
224	Aaron Doll:0	Aristotle	-	0.56	-	0
225	Aaron Doll:1	Aristotle	-	1.27	-	0
226	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
227	Aristotle:0	Aristotle	-	15.00	-	1
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist