Stats for satsolver: T. Capote

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 T. Capote 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 T. Capote 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:	T. Capote
Rank:	83 / 118
Average Score:	13.10
Median Score:	14.72
Description:	Variation on standard WalkSAT algorithm. Some improvements includenot flipping most recently flipped symbol in order to prevent stagnationand favoring minimizing unsatisfied clauses over random flipping as timeelapsed increases. Favors random flips if minimizing unsatisfied clausesis of little help.

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

SatSolvers Ranklist

Generators Ranklist