Stats for satsolver: EC

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 EC 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 EC 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:	EC
Rank:	25 / 118
Average Score:	5.32
Median Score:	0.48
Description:	Vanilla WalkSat

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	K.L.:1	KingBach	0.00	0.00	0	0
3	bigwig:0	Andrew Werner	0.00	0.00	0	0
4	Miranda:1	cat	0.00	0.00	0	0
5	BMJ:0	Elphaba	0.00	0.00	0	0
6	bigwig:1	KingBach	0.00	0.00	0	0
7	Bebe Shi:0	KingBach	0.00	0.00	0	0
8	Bebe Shi:1	KingBach	0.00	0.00	0	0
9	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
10	BMJ:1	burrito	0.00	0.00	0	0
11	Happy:1	KingBach	0.00	0.00	0	0
12	Ravi Tandon:1	KingBach	0.00	0.00	0	0
13	Miranda:0	cat	0.00	0.00	0	0
14	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
15	Solving For Clauses:1	haoyu	0.01	0.00	0	0
16	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
17	Blam:1	Elphaba	0.01	0.00	0	0
18	Blam:0	Elphaba	0.01	0.00	0	0
19	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
20	Tree Prophet:0	haoyu	0.01	0.00	0	0
21	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
22	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
23	haoyu:1	Anon5	0.01	0.01	0	0
24	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
25	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
26	David Paulk:0	cat	0.01	0.00	0	0
27	Daffy Duck:1	haoyu	0.01	0.00	0	0
28	bchouGenerator:0	haoyu	0.01	0.00	0	0
29	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
30	Quite Satisfied:0	haoyu	0.01	0.00	0	0
31	R. A. B.:1	cat	0.01	0.00	0	0
32	cmF5a3ly:1	Nihar the Great	0.01	0.00	0	0
33	K.L.:0	haoyu	0.01	0.00	0	0
34	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
35	Happy:0	haoyu	0.01	0.00	0	0
36	The Kraken:1	haoyu	0.01	0.00	0	0
37	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
38	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
39	haoyu:0	KingBach	0.01	0.01	0	0
40	Jordan Ash:1	Bar Shabtai	0.01	0.01	0	0
41	Qinlan Shen:0	Bar Shabtai	0.01	0.01	0	0
42	Mickey Mouse:1	haoyu	0.02	0.01	0	0
43	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
44	Tom T:0	EC	0.02	0.02	0	0
45	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
46	The Kraken:0	haoyu	0.02	0.00	0	0
47	Tree Prophet:1	haoyu	0.02	0.00	0	0
48	Scheduling Generator 203:1	Jameh	0.02	0.02	0	0
49	Mike Honcho:0	Miranda	0.02	0.01	0	0
50	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
51	Jordan Ash:0	EC	0.03	0.03	0	0
52	Jameh:0	haoyu	0.03	0.01	0	0
53	weezy:1	Bar Shabtai	0.03	0.01	0	0
54	Sunny:1	jabreezy	0.03	0.01	0	0
55	0108:1	haoyu	0.03	0.01	0	0
56	Sunny:0	Green "The Bean" Choi	0.03	0.02	0	0
57	Tom T:1	Andrew Werner	0.03	0.02	0	0
58	Tiny Wings:0	haoyu	0.04	0.02	0	0
59	weezy:0	Bar Shabtai	0.04	0.01	0	0
60	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
61	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
62	Alex Fish:1	haoyu	0.05	0.02	0	0
63	vluu:1	Nihar the Great	0.05	0.02	0	0
64	Ytterbium:0	Andrew Grasso	0.05	0.02	0	0
65	Tiny Wings:1	haoyu	0.05	0.01	0	0
66	vluu:0	Nihar the Great	0.05	0.01	0	0
67	David Lackey:0	Anon5	0.05	0.03	0	0
68	Dr Roberto:0	Andrew Grasso	0.06	0.03	0	0
69	David Lackey:1	Bar Shabtai	0.06	0.03	0	0
70	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.06	0.01	0	0
71	Boomshanka:0	haoyu	0.06	0.01	0	0
72	The Whitman Whale:0	bigwig	0.07	0.04	0	0
73	Janie Gu:0	Glenn Fisher	0.07	0.07	0	0
74	Alex Fish:0	haoyu	0.07	0.01	0	0
75	Jameh:1	haoyu	0.07	0.01	0	0
76	Dr Roberto:1	Andrew Grasso	0.08	0.02	0	0
77	cat:0	haoyu	0.08	0.03	0	0
78	The Whitman Whale:1	Andrew Grasso	0.09	0.03	0	0
79	Bob Dondero:1	Mickey Mouse	0.10	0.03	0	0
80	cat:1	haoyu	0.10	0.03	0	0
81	Nikhilesh Sigatapu:0	haoyu	0.10	0.03	0	0
82	Linda:0	Andrew Grasso	0.10	0.01	0	0
83	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
84	DeeEmEm:1	haoyu	0.14	0.02	0	0
85	Anon_K_P:0	haoyu	0.14	0.02	0	0
86	Keji Xu:0	Nihar the Great	0.15	0.03	0	0
87	Keji Xu:1	Nihar the Great	0.16	0.04	0	0
88	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.17	0.00	0	0
89	Samuel Jerome:1	haoyu	0.17	0.03	0	0
90	Bob Dondero:0	Andrew Grasso	0.17	0.02	0	0
91	Lisa Kim:1	Bar Shabtai	0.17	0.06	0	0
92	George Okeowo:0	Andrew Grasso	0.18	0.01	0	0
93	George Okeowo:1	Andrew Grasso	0.18	0.01	0	0
94	Fanny:0	Aristotle	0.21	0.10	0	0
95	Anon_K_P:1	Aristotle	0.22	0.03	0	0
96	Glenn Fisher:0	Elphaba	0.22	0.02	0	0
97	Lisa Kim:0	Aristotle	0.23	0.07	0	0
98	Samuel Jerome:0	haoyu	0.25	0.03	0	0
99	Nikhilesh Sigatapu:1	haoyu	0.25	0.04	0	0
100	Yan Wu:0	haoyu	0.26	0.05	0	0
101	Mercury:0	haoyu	0.29	0.05	0	0
102	Tao:0	Bar Shabtai	0.31	0.02	0	0
103	Janie Gu:1	Jonathan Kwok	0.33	0.07	0	0
104	kt4124:0	haoyu	0.35	0.03	0	0
105	Sally Smith:0	haoyu	0.35	0.04	0	0
106	Mercury:1	haoyu	0.36	0.05	0	0
107	Tao:1	Aristotle	0.38	0.07	0	0
108	Yan Wu:1	haoyu	0.38	0.04	0	0
109	bfang:0	haoyu	0.38	0.04	0	0
110	Linda:1	Andrew Grasso	0.40	0.02	0	0
111	EC:1	haoyu	0.44	0.03	0	0
112	bfang:1	haoyu	0.46	0.04	0	0
113	Sally Smith:1	haoyu	0.46	0.04	0	0
114	Matt Haake:0	haoyu	0.48	0.05	0	0
115	KingBach:1	haoyu	0.49	0.04	0	0
116	kt4124:1	haoyu	0.49	0.04	0	0
117	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.51	0.01	0	0
118	KingBach:0	haoyu	0.53	0.06	0	0
119	Batman:1	haoyu	0.55	0.04	0	0
120	Khoa:0	haoyu	0.67	0.09	0	0
121	Matt Haake:1	haoyu	0.72	0.05	0	0
122	Batman:0	haoyu	0.75	0.04	0	0
123	Khoa:1	Aristotle	0.80	0.09	0	0
124	Sprt:1	haoyu	0.83	0.05	0	0
125	soccer:1	haoyu	0.86	0.04	0	0
126	EC:0	haoyu	0.99	0.03	0	0
127	Sabar Dasgupta:1	Aaron Doll	1.23	0.17	0	0
128	soccer:0	haoyu	1.32	0.04	0	0
129	Yacob Y.:0	haoyu	1.54	0.06	0	0
130	DinnerPartyPlannerBM:1	Nihar the Great	1.65	0.06	0	0
131	Anon5:1	Green "The Bean" Choi	1.66	0.07	0	0
132	Brendan Wright:0	haoyu	2.08	0.10	0	0
133	burrito:0	haoyu	2.08	0.09	0	0
134	Mr. Blobby:0	Green "The Bean" Choi	2.17	0.14	0	0
135	dfshasdsf12:0	haoyu	2.46	0.09	0	0
136	Lil Thug:1	Andrew Grasso	2.81	0.03	0	0
137	Sabar Dasgupta:0	spl	2.87	0.23	0	0
138	Aaron H:1	Aristotle	2.89	0.11	0	0
139	Aaron H:0	Aristotle	3.22	0.11	0	0
140	Lil Thug:0	Andrew Grasso	3.54	0.03	0	0
141	Sprt:0	Aristotle	3.79	0.11	0	0
142	Andrew Grasso:1	Shaheed Chagani	3.80	0.15	0	0
143	Brendan Wright:1	Deric Cheng	4.06	0.10	0	0
144	DinnerPartyPlannerBM:0	Aristotle	4.88	0.11	0	0
145	snowflakes:1	haoyu	5.03	0.03	0	0
146	Ben Chen:0	Elphaba	5.17	0.07	0	0
147	dfshasdsf12:1	Nihar the Great	5.57	0.11	0	0
148	jabreezy:0	Mercury	5.87	0.09	0	0
149	Andys:1	Aristotle	6.29	0.13	0	0
150	Mike Hunt:0	Aristotle	6.34	0.27	0	0
151	Andrew Werner:0	Aaron Doll	6.85	0.33	0	0
152	Ben Chen:1	spl	7.70	0.20	0	0
153	Mr. Blobby:1	dusty	8.27	0.12	0	0
154	Walter Little:1	haoyu	10.10	0.03	0	0
155	jabreezy:1	Mercury	10.43	0.10	0	0
156	Valya Barboy:0	Aristotle	11.40	0.06	0	0
157	ebp:1	haoyu	11.51	0.04	0	0
158	BH:0	haoyu	11.65	0.07	0	0
159	BH:1	haoyu	12.00	0.05	0	0
160	Andrew Werner:1	haoyu	12.34	0.11	0	0
161	Glenn Fisher:1	jabreezy	12.50	0.09	0	0
162	CAPS LOCK:0	Aristotle	12.68	0.20	0	0
163	John Whelchel:0	haoyu	12.81	0.06	0	0
164	nupog:1	Aristotle	12.93	0.12	0	0
165	nupog:0	Aristotle	13.32	0.13	0	0
166	Charliezsc:1	haoyu	13.41	0.07	0	0
167	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
168	0108:0	jgs	15.00	14.98	1	1
169	CookieMonster:1	CookieMonster	15.00	1.10	1	0
170	T. Capote:0	haoyu	15.00	0.00	2	2
171	DeeEmEm:0	CAPS LOCK	15.00	13.00	2	1
172	T. Capote:1	haoyu	15.00	0.00	2	2
173	snowflakes:0	haoyu	15.00	0.03	4	0
174	Jessie Chen:1	Joel Faron	15.00	0.12	4	1
175	Quite Satisfied:1	Joel Faron	15.00	2.11	5	1
176	Fanny:1	Aristotle	15.00	0.12	5	0
177	Jessie Chen:0	Joel Faron	15.00	0.13	6	1
178	Absurdity:1	Aristotle	15.00	0.18	6	0
179	Dusty:1	Shaheed Chagani	15.00	0.22	7	0
180	Walter Little:0	haoyu	15.00	0.04	8	0
181	David H.:0	AFC	15.00	0.28	8	0
182	Valya Barboy:1	Shaheed Chagani	15.00	0.18	11	0
183	AFC:1	Aristotle	15.00	0.16	11	0
184	Andrew Grasso:0	Aaron Doll	15.00	0.18	11	0
185	David H.:1	DeeEmEm	15.00	0.33	12	0
186	Anon5:0	haoyu	15.00	0.05	12	0
187	Dusty:0	CookieMonster	15.00	1.39	12	0
188	spl:0	Elphaba	15.00	0.09	12	0
189	SuperFan:0	jgs	15.00	14.98	13	4
190	AFC:0	CookieMonster	15.00	0.34	14	0
191	Yacob Y.:1	Aristotle	15.00	15.00	14	1
192	SuperFan:1	jgs	15.00	14.98	19	4
193	NA:1	Elphaba	15.00	0.04	34	0
194	NA:0	haoyu	15.00	0.03	37	0
195	Supahaka:0	Andrew Werner	15.00	15.00	58	35
196	Supahaka:1	Joel Faron	15.00	15.00	59	35
197	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
198	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
199	Shaheed Chagani:0	Aristotle	15.00	0.17	799	0
200	ebp:0	haoyu	15.00	0.04	10	0
201	Nihar the Great:1	Aristotle	15.00	0.25	22842	0
202	CookieMonster:0	CookieMonster	15.00	0.82	2	0
203	Elphaba:1	Aristotle	15.00	0.22	5284	0
204	spl:1	haoyu	15.00	0.06	24	0
205	Charliezsc:0	jgs	15.01	14.98	7	1
206	13a:0	Aaron Doll	15.01	15.00	51288	21
207	Shaheed Chagani:1	Aristotle	15.01	0.11	509	0
208	Absurdity:0	Aristotle	15.01	0.23	7	0
209	Elphaba:0	Aristotle	15.01	0.24	5984	0
210	Nihar the Great:0	Aristotle	15.01	0.23	22649	0
211	Aaron Doll:0	Aristotle	15.01	0.56	230492	0
212	Aristotle:0	Aristotle	15.01	15.00	708065	1
213	Bar Shabtai:0	Aaron Doll	15.02	15.01	287870	1
214	CAPS LOCK:1	Aristotle	15.02	0.25	84	0
215	13a:1	Aaron Doll	15.02	15.00	45951	29
216	Andys:0	Aristotle	15.02	0.12	2	0
217	Deric Cheng:0	jgs	15.02	14.99	2	1
218	Mike Hunt:1	Aristotle	15.02	0.29	6	0
219	Aaron Doll:1	Aristotle	15.03	1.27	284883	0
220	Matt Goldsmith:1	Happy	15.05	0.03	515183	0
221	John Whelchel:1	haoyu	15.05	0.11	3	0
222	Aristotle:1	Aristotle	15.05	9.69	732055	0
223	Deric Cheng:1	jgs	15.06	14.98	2	1
224	jgs:0	Aristotle	15.08	0.12	1	0
225	burrito:1	haoyu	15.11	0.10	13	0
226	jgs:1	haoyu	15.14	0.18	4	0
227	Bar Shabtai:1	haoyu	15.15	0.12	155	0
228	Matt Goldsmith:0	Nihar the Great	15.15	0.03	511784	0

SatSolvers Ranklist

Generators Ranklist