Stats for satsolver: Elphaba

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 Elphaba 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 Elphaba 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:	Elphaba
Rank:	53 / 118
Average Score:	8.01
Median Score:	15.00
Description:	This sat-solver implements DPLL and relies on the degree heuristic for variable ordering. When time runs out it returns the current model with unset literals set to false.

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

SatSolvers Ranklist

Generators Ranklist