Stats for satsolver: burrito

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 burrito 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 burrito 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:	burrito
Rank:	52 / 118
Average Score:	7.79
Median Score:	1.68
Description:	Implementation of WalkSAT that includes some optimizations. One is to save a copy of the model that satisfies the most clauses so far, and when time runs out to return that best model, instead of the model that is currently being used by the algorithm.

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

SatSolvers Ranklist

Generators Ranklist