Stats for satsolver: DeeEmEm

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 DeeEmEm 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 DeeEmEm 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:	DeeEmEm
Rank:	39 / 118
Average Score:	6.26
Median Score:	2.27
Description:	DPLL algorithm with addition of keeping track of best assignment found so far.

	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	Blam:1	Elphaba	0.01	0.00	0	0
4	Happy:1	KingBach	0.01	0.00	0	0
5	Bebe Shi:0	KingBach	0.01	0.00	0	0
6	Miranda:1	cat	0.02	0.00	0	0
7	Miranda:0	cat	0.02	0.00	0	0
8	BMJ:0	Elphaba	0.02	0.00	0	0
9	K.L.:1	KingBach	0.02	0.00	0	0
10	BMJ:1	burrito	0.02	0.00	0	0
11	Bebe Shi:1	KingBach	0.02	0.00	0	0
12	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
13	David Paulk:0	cat	0.03	0.00	0	0
14	Blam:0	Elphaba	0.03	0.00	0	0
15	Jonathan Kwok:1	KingBach	0.03	0.00	0	0
16	David Paulk:1	Bar Shabtai	0.03	0.00	0	0
17	K.L.:0	haoyu	0.03	0.00	0	0
18	Happy:0	haoyu	0.04	0.00	0	0
19	Ravi Tandon:0	KingBach	0.04	0.00	0	0
20	Tree Prophet:1	haoyu	0.04	0.00	0	0
21	Daffy Duck:1	haoyu	0.04	0.00	0	0
22	Ravi Tandon:1	KingBach	0.04	0.00	0	0
23	Daffy Duck:0	Andrew Werner	0.05	0.00	0	0
24	Tree Prophet:0	haoyu	0.06	0.00	0	0
25	Joshua Zimmer:0	haoyu	0.07	0.00	0	0
26	bchouGenerator:0	haoyu	0.07	0.00	0	0
27	R. A. B.:1	cat	0.07	0.00	0	0
28	Joshua Zimmer:1	haoyu	0.07	0.00	0	0
29	R. A. B.:0	Nihar the Great	0.08	0.00	0	0
30	Solving For Clauses:0	Glenn Fisher	0.08	0.00	0	0
31	The Kraken:1	haoyu	0.09	0.00	0	0
32	Solving For Clauses:1	haoyu	0.09	0.00	0	0
33	Gewang:0	Jonathan Kwok	0.09	0.00	0	0
34	Quite Satisfied:0	haoyu	0.09	0.00	0	0
35	Gewang:1	Jonathan Kwok	0.09	0.00	0	0
36	George Okeowo:0	Andrew Grasso	0.12	0.01	0	0
37	The Kraken:0	haoyu	0.12	0.00	0	0
38	George Okeowo:1	Andrew Grasso	0.12	0.01	0	0
39	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.12	0.00	0	0
40	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.12	0.01	0	0
41	cmF5a3ly:0	Nihar the Great	0.14	0.00	0	0
42	cmF5a3ly:1	Nihar the Great	0.14	0.00	0	0
43	0108:1	haoyu	0.15	0.01	0	0
44	Mickey Mouse:1	haoyu	0.16	0.01	0	0
45	Qinlan Shen:0	Bar Shabtai	0.16	0.01	0	0
46	Sunny:1	jabreezy	0.17	0.01	0	0
47	Alex Fish:0	haoyu	0.17	0.01	0	0
48	Tiny Wings:1	haoyu	0.17	0.01	0	0
49	Sunny:0	Green "The Bean" Choi	0.17	0.02	0	0
50	Tiny Wings:0	haoyu	0.18	0.02	0	0
51	Glenn Fisher:0	Elphaba	0.19	0.02	0	0
52	Ytterbium:0	Andrew Grasso	0.20	0.02	0	0
53	bchouGenerator:1	Jonathan Kwok	0.20	0.01	0	0
54	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.21	0.01	0	0
55	Alex Fish:1	haoyu	0.21	0.02	0	0
56	Jameh:0	haoyu	0.22	0.01	0	0
57	vluu:0	Nihar the Great	0.23	0.01	0	0
58	vluu:1	Nihar the Great	0.23	0.02	0	0
59	Anon_K_P:1	Aristotle	0.23	0.03	0	0
60	snowflakes:0	haoyu	0.24	0.03	0	0
61	Boomshanka:0	haoyu	0.25	0.01	0	0
62	Anon5:1	Green "The Bean" Choi	0.25	0.07	0	0
63	snowflakes:1	haoyu	0.26	0.03	0	0
64	Jameh:1	haoyu	0.26	0.01	0	0
65	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.26	0.01	0	0
66	cat:1	haoyu	0.27	0.03	0	0
67	DeeEmEm:1	haoyu	0.27	0.02	0	0
68	EC:0	haoyu	0.28	0.03	0	0
69	cat:0	haoyu	0.28	0.03	0	0
70	Boomshanka:1	Bar Shabtai	0.29	0.01	0	0
71	David H.:1	DeeEmEm	0.33	0.33	0	0
72	EC:1	haoyu	0.34	0.03	0	0
73	Glenn Fisher:1	jabreezy	0.41	0.09	0	0
74	kt4124:1	haoyu	0.41	0.04	0	0
75	Mickey Mouse:0	Bar Shabtai	0.42	0.01	0	0
76	Ytterbium:1	Nihar the Great	0.43	0.02	0	0
77	Scheduling Generator 203:0	jgs	0.43	0.01	0	0
78	kt4124:0	haoyu	0.44	0.03	0	0
79	Tom T:0	EC	0.44	0.02	0	0
80	Samuel Jerome:0	haoyu	0.44	0.03	0	0
81	Tom T:1	Andrew Werner	0.45	0.02	0	0
82	Matt Haake:1	haoyu	0.47	0.05	0	0
83	Anon_K_P:0	haoyu	0.53	0.02	0	0
84	Matt Haake:0	haoyu	0.54	0.05	0	0
85	Nikhilesh Sigatapu:0	haoyu	0.55	0.03	0	0
86	Nikhilesh Sigatapu:1	haoyu	0.56	0.04	0	0
87	NA:1	Elphaba	0.58	0.04	0	0
88	Scheduling Generator 203:1	Jameh	0.64	0.02	0	0
89	Mercury:1	haoyu	0.68	0.05	0	0
90	bfang:0	haoyu	0.68	0.04	0	0
91	Yan Wu:1	haoyu	0.71	0.04	0	0
92	Dr Roberto:1	Andrew Grasso	0.76	0.02	0	0
93	NA:0	haoyu	0.78	0.03	0	0
94	David H.:0	AFC	0.78	0.28	0	0
95	Mr. Blobby:1	dusty	0.79	0.12	0	0
96	bfang:1	haoyu	0.80	0.04	0	0
97	Mercury:0	haoyu	0.86	0.05	0	0
98	BH:0	haoyu	0.91	0.07	0	0
99	BH:1	haoyu	0.92	0.05	0	0
100	Batman:1	haoyu	0.94	0.04	0	0
101	Lisa Kim:1	Bar Shabtai	0.95	0.06	0	0
102	Yacob Y.:0	haoyu	0.95	0.06	0	0
103	Batman:0	haoyu	0.96	0.04	0	0
104	KingBach:1	haoyu	0.99	0.04	0	0
105	soccer:0	haoyu	1.00	0.04	0	0
106	soccer:1	haoyu	1.02	0.04	0	0
107	KingBach:0	haoyu	1.04	0.06	0	0
108	Samuel Jerome:1	haoyu	1.17	0.03	0	0
109	Yan Wu:0	haoyu	1.21	0.05	0	0
110	Sprt:1	haoyu	1.37	0.05	0	0
111	Bob Dondero:1	Mickey Mouse	1.40	0.03	0	0
112	Bob Dondero:0	Andrew Grasso	1.49	0.02	0	0
113	Brendan Wright:1	Deric Cheng	1.88	0.10	0	0
114	Khoa:0	haoyu	2.27	0.09	0	0
115	Khoa:1	Aristotle	2.30	0.09	0	0
116	spl:0	Elphaba	2.31	0.09	0	0
117	dfshasdsf12:0	haoyu	2.52	0.09	0	0
118	burrito:0	haoyu	2.61	0.09	0	0
119	Brendan Wright:0	haoyu	2.61	0.10	0	0
120	John Whelchel:1	haoyu	2.63	0.11	0	0
121	DinnerPartyPlannerBM:1	Nihar the Great	2.63	0.06	0	0
122	John Whelchel:0	haoyu	2.78	0.06	0	0
123	Aaron H:1	Aristotle	3.35	0.11	0	0
124	David Lackey:0	Anon5	3.36	0.03	0	0
125	Aaron H:0	Aristotle	3.38	0.11	0	0
126	Sprt:0	Aristotle	3.42	0.11	0	0
127	Lil Thug:0	Andrew Grasso	3.48	0.03	0	0
128	David Lackey:1	Bar Shabtai	3.89	0.03	0	0
129	haoyu:0	KingBach	3.94	0.01	0	0
130	dfshasdsf12:1	Nihar the Great	4.58	0.11	0	0
131	Lil Thug:1	Andrew Grasso	5.00	0.03	0	0
132	Bar Shabtai:1	haoyu	5.21	0.12	0	0
133	Linda:0	Andrew Grasso	5.22	0.01	0	0
134	DinnerPartyPlannerBM:0	Aristotle	5.29	0.11	0	0
135	jabreezy:1	Mercury	5.36	0.10	0	0
136	Charliezsc:1	haoyu	5.55	0.07	0	0
137	Dr Roberto:0	Andrew Grasso	5.58	0.03	0	0
138	jabreezy:0	Mercury	5.90	0.09	0	0
139	burrito:1	haoyu	5.91	0.10	0	0
140	haoyu:1	Anon5	6.52	0.01	0	0
141	jgs:1	haoyu	6.63	0.18	0	0
142	Mike Honcho:1	Jessie Chen	8.24	0.01	0	0
143	Mike Honcho:0	Miranda	8.51	0.01	0	0
144	Linda:1	Andrew Grasso	9.10	0.02	0	0
145	Janie Gu:1	Jonathan Kwok	9.42	0.07	0	0
146	Walter Little:0	haoyu	9.68	0.04	0	0
147	Anon5:0	haoyu	10.49	0.05	0	0
148	Lisa Kim:0	Aristotle	11.23	0.07	0	0
149	Elphaba:1	Aristotle	13.64	0.22	0	0
150	weezy:1	Bar Shabtai	15.00	0.01	1	0
151	AFC:1	Aristotle	15.00	0.16	1	0
152	CookieMonster:0	CookieMonster	15.00	0.82	1	0
153	CookieMonster:1	CookieMonster	15.00	1.10	1	0
154	Jessie Chen:0	Joel Faron	0.21	0.13	2	1
155	Jessie Chen:1	Joel Faron	0.15	0.12	3	1
156	T. Capote:0	haoyu	0.03	0.00	3	2
157	T. Capote:1	haoyu	0.03	0.00	3	2
158	Valya Barboy:1	Shaheed Chagani	15.00	0.18	5	0
159	Qinlan Shen:1	R. A. B.	15.00	9.00	5	1
160	Valya Barboy:0	Aristotle	15.00	0.06	7	0
161	Sally Smith:1	haoyu	15.00	0.04	9	0
162	Quite Satisfied:1	Joel Faron	0.02	2.11	12	1
163	Jordan Ash:1	Bar Shabtai	15.00	0.01	12	0
164	DeeEmEm:0	CAPS LOCK	0.15	13.00	12	1
165	Jordan Ash:0	EC	15.00	0.03	20	0
166	0108:0	jgs	0.36	14.98	23	1
167	SuperFan:0	jgs	0.31	14.98	31	4
168	Ben Chen:0	Elphaba	15.00	0.07	34	0
169	SuperFan:1	jgs	0.14	14.98	38	4
170	The Whitman Whale:0	bigwig	15.00	0.04	40	0
171	Mike Hunt:1	Aristotle	15.00	0.29	43	0
172	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	66	0
173	Mark S. Fillmore:1	Supahaka	0.08	0.04	114	79
174	Mark S. Fillmore:0	Supahaka	0.10	0.01	161	116
175	Dusty:0	CookieMonster	15.00	1.39	171	0
176	Dusty:1	Shaheed Chagani	15.00	0.22	176	0
177	Andrew Grasso:0	Aaron Doll	15.00	0.18	197	0
178	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	201	0
179	Supahaka:0	Andrew Werner	0.04	15.00	315	35
180	Supahaka:1	Joel Faron	0.04	15.00	315	35
181	Tao:1	Aristotle	15.00	0.07	6	0
182	Keji Xu:0	Nihar the Great	15.00	0.03	21	0
183	Mike Hunt:0	Aristotle	15.00	0.27	28	0
184	Keji Xu:1	Nihar the Great	15.00	0.04	30	0
185	weezy:0	Bar Shabtai	15.00	0.01	1	0
186	Fanny:1	Aristotle	15.00	0.12	2	0
187	Tao:0	Bar Shabtai	15.00	0.02	3	0
188	ebp:0	haoyu	15.00	0.04	47	0
189	The Whitman Whale:1	Andrew Grasso	15.00	0.03	83	0
190	nupog:0	Aristotle	15.00	0.13	3707	0
191	Charliezsc:0	jgs	15.00	14.98	13	1
192	Janie Gu:0	Glenn Fisher	15.00	0.07	19	0
193	ebp:1	haoyu	15.00	0.04	47	0
194	spl:1	haoyu	15.00	0.06	21	0
195	AFC:0	CookieMonster	15.01	0.34	6	0
196	Andys:0	Aristotle	15.01	0.12	16	0
197	Walter Little:1	haoyu	15.01	0.03	16	0
198	Ben Chen:1	spl	15.01	0.20	39	0
199	Sally Smith:0	haoyu	15.01	0.04	4	0
200	Yacob Y.:1	Aristotle	15.01	15.00	24	1
201	Sabar Dasgupta:0	spl	15.01	0.23	29	0
202	Sabar Dasgupta:1	Aaron Doll	15.01	0.17	22	0
203	nupog:1	Aristotle	15.01	0.12	3714	0
204	Deric Cheng:1	jgs	15.02	14.98	4	1
205	Absurdity:1	Aristotle	15.02	0.18	1	0
206	Absurdity:0	Aristotle	15.02	0.23	8	0
207	Shaheed Chagani:0	Aristotle	15.03	0.17	317	0
208	Andrew Werner:1	haoyu	15.04	0.11	41	0
209	Fanny:0	Aristotle	15.04	0.10	2	0
210	Andrew Werner:0	Aaron Doll	15.04	0.33	31	0
211	Bar Shabtai:0	Aaron Doll	15.05	15.01	66	1
212	Andys:1	Aristotle	15.06	0.13	9	0
213	Shaheed Chagani:1	Aristotle	15.06	0.11	300	0
214	13a:1	Aaron Doll	15.07	15.00	142	29
215	Nihar the Great:1	Aristotle	15.11	0.25	932	0
216	jgs:0	Aristotle	15.13	0.12	1	0
217	Nihar the Great:0	Aristotle	15.15	0.23	918	0
218	13a:0	Aaron Doll	15.16	15.00	141	21
219	Elphaba:0	Aristotle	15.18	0.24	0	0
220	CAPS LOCK:0	Aristotle	15.21	0.20	72	0
221	Deric Cheng:0	jgs	15.21	14.99	4	1
222	Aristotle:0	Aristotle	15.34	15.00	108	1
223	Aaron Doll:0	Aristotle	15.37	0.56	108	0
224	CAPS LOCK:1	Aristotle	15.39	0.25	1162	0
225	Aaron Doll:1	Aristotle	15.50	1.27	118	0
226	Matt Goldsmith:0	Nihar the Great	15.51	0.03	0	0
227	Matt Goldsmith:1	Happy	15.82	0.03	0	0
228	Aristotle:1	Aristotle	16.30	9.69	109	0

SatSolvers Ranklist

Generators Ranklist