Stats for satsolver: ebp

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 ebp 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 ebp 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:	ebp
Rank:	113 / 118
Average Score:	44.34
Median Score:	12.55
Description:	Keeps track of both a current model and symbols that we're certain of, trying to find the latter when we can and otherwise choosing which variable to flip randomly as in WalkSat.

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

SatSolvers Ranklist

Generators Ranklist