Stats for satsolver: The Whitman Whale

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 The Whitman Whale 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 The Whitman Whale 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:	The Whitman Whale
Rank:	110 / 118
Average Score:	35.07
Median Score:	1.49
Description:	A DPLL implementation of sat solver. For speed, datastructures are maintained that all clauses containing a symbol to be referenced.

	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	K.L.:1	KingBach	0.02	0.00	0	0
4	BMJ:1	burrito	0.02	0.00	0	0
5	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
6	Bebe Shi:1	KingBach	0.02	0.00	0	0
7	Happy:1	KingBach	0.02	0.00	0	0
8	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
9	Bebe Shi:0	KingBach	0.02	0.00	0	0
10	BMJ:0	Elphaba	0.03	0.00	0	0
11	Ravi Tandon:0	KingBach	0.03	0.00	0	0
12	T. Capote:0	haoyu	0.04	0.00	2	2
13	T. Capote:1	haoyu	0.04	0.00	2	2
14	Ravi Tandon:1	KingBach	0.04	0.00	0	0
15	K.L.:0	haoyu	0.04	0.00	0	0
16	Daffy Duck:1	haoyu	0.04	0.00	0	0
17	Happy:0	haoyu	0.05	0.00	0	0
18	Joshua Zimmer:1	haoyu	0.06	0.00	0	0
19	R. A. B.:1	cat	0.06	0.00	0	0
20	bchouGenerator:0	haoyu	0.07	0.00	0	0
21	David Paulk:1	Bar Shabtai	0.08	0.00	0	0
22	Miranda:0	cat	0.08	0.00	0	0
23	Joshua Zimmer:0	haoyu	0.08	0.00	0	0
24	Blam:0	Elphaba	0.08	0.00	0	0
25	Miranda:1	cat	0.09	0.00	0	0
26	Tree Prophet:0	haoyu	0.09	0.00	0	0
27	Solving For Clauses:0	Glenn Fisher	0.09	0.00	0	0
28	Blam:1	Elphaba	0.09	0.00	0	0
29	Tree Prophet:1	haoyu	0.09	0.00	0	0
30	Daffy Duck:0	Andrew Werner	0.10	0.00	0	0
31	David Paulk:0	cat	0.10	0.00	0	0
32	Gewang:1	Jonathan Kwok	0.10	0.00	0	0
33	Gewang:0	Jonathan Kwok	0.11	0.00	0	0
34	Solving For Clauses:1	haoyu	0.12	0.00	0	0
35	Quite Satisfied:0	haoyu	0.13	0.00	0	0
36	The Kraken:0	haoyu	0.15	0.00	0	0
37	The Kraken:1	haoyu	0.15	0.00	0	0
38	R. A. B.:0	Nihar the Great	0.17	0.00	0	0
39	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.21	0.01	0	0
40	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.22	0.00	0	0
41	Jessie Chen:1	Joel Faron	0.24	0.12	1	1
42	DeeEmEm:1	haoyu	0.26	0.02	0	0
43	0108:1	haoyu	0.28	0.01	0	0
44	Sunny:1	jabreezy	0.32	0.01	0	0
45	Sunny:0	Green "The Bean" Choi	0.34	0.02	0	0
46	Scheduling Generator 203:0	jgs	0.34	0.01	0	0
47	Mickey Mouse:1	haoyu	0.36	0.01	0	0
48	Jameh:0	haoyu	0.37	0.01	0	0
49	Boomshanka:0	haoyu	0.38	0.01	0	0
50	bchouGenerator:1	Jonathan Kwok	0.44	0.01	0	0
51	Alex Fish:0	haoyu	0.49	0.01	0	0
52	cmF5a3ly:0	Nihar the Great	0.49	0.00	0	0
53	Scheduling Generator 203:1	Jameh	0.50	0.02	0	0
54	Tiny Wings:1	haoyu	0.51	0.01	0	0
55	cmF5a3ly:1	Nihar the Great	0.51	0.00	0	0
56	Tiny Wings:0	haoyu	0.52	0.02	0	0
57	Anon_K_P:0	haoyu	0.53	0.02	0	0
58	Anon_K_P:1	Aristotle	0.54	0.03	0	0
59	vluu:1	Nihar the Great	0.55	0.02	0	0
60	Ytterbium:0	Andrew Grasso	0.56	0.02	0	0
61	Alex Fish:1	haoyu	0.56	0.02	0	0
62	Boomshanka:1	Bar Shabtai	0.64	0.01	0	0
63	Jameh:1	haoyu	0.66	0.01	0	0
64	Dr Roberto:0	Andrew Grasso	0.69	0.03	0	0
65	Anon5:0	haoyu	0.69	0.05	0	0
66	Tom T:0	EC	0.70	0.02	0	0
67	Tom T:1	Andrew Werner	0.76	0.02	0	0
68	vluu:0	Nihar the Great	0.80	0.01	0	0
69	Matt Haake:1	haoyu	0.84	0.05	0	0
70	Dr Roberto:1	Andrew Grasso	0.84	0.02	0	0
71	cat:1	haoyu	0.85	0.03	0	0
72	EC:0	haoyu	0.98	0.03	0	0
73	EC:1	haoyu	1.00	0.03	0	0
74	Samuel Jerome:1	haoyu	1.01	0.03	0	0
75	Samuel Jerome:0	haoyu	1.03	0.03	0	0
76	Matt Haake:0	haoyu	1.04	0.05	0	0
77	Mickey Mouse:0	Bar Shabtai	1.11	0.01	0	0
78	Ytterbium:1	Nihar the Great	1.14	0.02	0	0
79	Nikhilesh Sigatapu:1	haoyu	1.16	0.04	0	0
80	kt4124:0	haoyu	1.17	0.03	0	0
81	Nikhilesh Sigatapu:0	haoyu	1.17	0.03	0	0
82	kt4124:1	haoyu	1.18	0.04	0	0
83	cat:0	haoyu	1.23	0.03	0	0
84	Glenn Fisher:0	Elphaba	1.25	0.02	0	0
85	NA:0	haoyu	1.31	0.03	0	0
86	NA:1	Elphaba	1.38	0.04	0	0
87	Anon5:1	Green "The Bean" Choi	1.39	0.07	0	0
88	Janie Gu:0	Glenn Fisher	1.40	0.07	0	0
89	George Okeowo:0	Andrew Grasso	1.46	0.01	0	0
90	totallyOnFallBreak:0	Nikhilesh Sigatapu	1.48	0.01	0	0
91	totallyOnFallBreak:1	Nikhilesh Sigatapu	1.49	0.01	0	0
92	David Lackey:0	Anon5	1.56	0.03	0	0
93	George Okeowo:1	Andrew Grasso	1.63	0.01	0	0
94	Mr. Blobby:1	dusty	1.69	0.12	0	0
95	snowflakes:1	haoyu	1.71	0.03	0	0
96	Brendan Wright:1	Deric Cheng	1.71	0.10	0	0
97	David Lackey:1	Bar Shabtai	1.78	0.03	0	0
98	snowflakes:0	haoyu	1.88	0.03	0	0
99	Mr. Blobby:0	Green "The Bean" Choi	1.97	0.14	0	0
100	Yan Wu:0	haoyu	2.08	0.05	0	0
101	Janie Gu:1	Jonathan Kwok	2.10	0.07	0	0
102	Yan Wu:1	haoyu	2.12	0.04	0	0
103	Bob Dondero:1	Mickey Mouse	2.13	0.03	0	0
104	Bob Dondero:0	Andrew Grasso	2.17	0.02	0	0
105	Mercury:1	haoyu	2.52	0.05	0	0
106	Mercury:0	haoyu	2.58	0.05	0	0
107	Walter Little:0	haoyu	2.77	0.04	0	0
108	Walter Little:1	haoyu	2.99	0.03	0	0
109	Lisa Kim:1	Bar Shabtai	3.12	0.06	0	0
110	Linda:0	Andrew Grasso	3.20	0.01	0	0
111	Qinlan Shen:0	Bar Shabtai	3.88	0.01	0	0
112	AFC:0	CookieMonster	4.06	0.34	0	0
113	Mike Honcho:0	Miranda	4.93	0.01	0	0
114	soccer:1	haoyu	5.61	0.04	0	0
115	soccer:0	haoyu	5.75	0.04	0	0
116	Mike Honcho:1	Jessie Chen	5.91	0.01	0	0
117	KingBach:1	haoyu	5.91	0.04	0	0
118	Sally Smith:1	haoyu	6.17	0.04	0	0
119	Brendan Wright:0	haoyu	6.26	0.10	0	0
120	Sally Smith:0	haoyu	6.27	0.04	0	0
121	Linda:1	Andrew Grasso	6.35	0.02	0	0
122	bfang:1	haoyu	6.41	0.04	0	0
123	bfang:0	haoyu	6.50	0.04	0	0
124	Glenn Fisher:1	jabreezy	6.53	0.09	0	0
125	Batman:0	haoyu	6.88	0.04	0	0
126	spl:1	haoyu	7.00	0.06	0	0
127	Batman:1	haoyu	7.47	0.04	0	0
128	Khoa:0	haoyu	7.73	0.09	0	0
129	Khoa:1	Aristotle	7.95	0.09	0	0
130	KingBach:0	haoyu	8.12	0.06	0	0
131	spl:0	Elphaba	8.25	0.09	0	0
132	David H.:0	AFC	8.38	0.28	0	0
133	Yacob Y.:0	haoyu	8.69	0.06	0	0
134	Charliezsc:1	haoyu	8.75	0.07	0	0
135	David H.:1	DeeEmEm	12.67	0.33	0	0
136	Sprt:1	haoyu	13.51	0.05	0	0
137	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
138	Fanny:0	Aristotle	15.00	0.10	1	0
139	haoyu:0	KingBach	15.00	0.01	1	0
140	weezy:1	Bar Shabtai	15.00	0.01	1	0
141	CookieMonster:0	CookieMonster	15.00	0.82	1	0
142	haoyu:1	Anon5	15.00	0.01	1	0
143	Fanny:1	Aristotle	15.00	0.12	1	0
144	CookieMonster:1	CookieMonster	15.00	1.10	1	0
145	weezy:0	Bar Shabtai	15.00	0.01	1	0
146	Jessie Chen:0	Joel Faron	0.32	0.13	2	1
147	Jordan Ash:1	Bar Shabtai	15.00	0.01	2	0
148	Tao:1	Aristotle	15.00	0.07	3	0
149	Jordan Ash:0	EC	15.00	0.03	3	0
150	Tao:0	Bar Shabtai	15.00	0.02	3	0
151	DeeEmEm:0	CAPS LOCK	0.81	13.00	6	1
152	Valya Barboy:0	Aristotle	15.00	0.06	7	0
153	Valya Barboy:1	Shaheed Chagani	15.00	0.18	10	0
154	Quite Satisfied:1	Joel Faron	0.07	2.11	11	1
155	Keji Xu:1	Nihar the Great	15.00	0.04	12	0
156	0108:0	jgs	15.00	14.98	12	1
157	Keji Xu:0	Nihar the Great	15.00	0.03	13	0
158	The Whitman Whale:0	bigwig	15.00	0.04	14	0
159	The Whitman Whale:1	Andrew Grasso	15.00	0.03	14	0
160	Lisa Kim:0	Aristotle	15.00	0.07	25	0
161	AFC:1	Aristotle	15.00	0.16	27	0
162	Ben Chen:1	spl	15.00	0.20	27	0
163	Ben Chen:0	Elphaba	15.00	0.07	28	0
164	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	31	0
165	SuperFan:1	jgs	0.91	14.98	41	4
166	SuperFan:0	jgs	0.29	14.98	43	4
167	Yacob Y.:1	Aristotle	15.00	15.00	45	1
168	Mark S. Fillmore:1	Supahaka	2.50	0.04	109	79
169	Mark S. Fillmore:0	Supahaka	9.02	0.01	157	116
170	Dusty:1	Shaheed Chagani	15.00	0.22	163	0
171	Dusty:0	CookieMonster	15.00	1.39	172	0
172	Andrew Grasso:0	Aaron Doll	15.00	0.18	195	0
173	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	197	0
174	Supahaka:0	Andrew Werner	0.22	15.00	315	35
175	Supahaka:1	Joel Faron	0.20	15.00	315	35
176	jabreezy:1	Mercury	15.00	0.10	27	0
177	jabreezy:0	Mercury	15.00	0.09	33	0
178	Absurdity:1	Aristotle	15.00	0.18	68	0
179	Absurdity:0	Aristotle	15.01	0.23	60	0
180	Charliezsc:0	jgs	15.01	14.98	22	1
181	Sabar Dasgupta:0	spl	15.01	0.23	35	0
182	Andys:0	Aristotle	-	0.12	-	0
183	DinnerPartyPlannerBM:1	Nihar the Great	-	0.06	-	0
184	Elphaba:1	Aristotle	-	0.22	-	0
185	Bar Shabtai:1	haoyu	-	0.12	-	0
186	nupog:1	Aristotle	-	0.12	-	0
187	Aaron H:0	Aristotle	-	0.11	-	0
188	Shaheed Chagani:0	Aristotle	-	0.17	-	0
189	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
190	Aristotle:1	Aristotle	-	9.69	-	0
191	Lil Thug:0	Andrew Grasso	-	0.03	-	0
192	Andys:1	Aristotle	-	0.13	-	0
193	Aaron H:1	Aristotle	-	0.11	-	0
194	jgs:1	haoyu	-	0.18	-	0
195	John Whelchel:1	haoyu	-	0.11	-	0
196	Andrew Werner:0	Aaron Doll	-	0.33	-	0
197	dfshasdsf12:1	Nihar the Great	-	0.11	-	0
198	DinnerPartyPlannerBM:0	Aristotle	-	0.11	-	0
199	Mike Hunt:0	Aristotle	-	0.27	-	0
200	ebp:0	haoyu	-	0.04	-	0
201	Mike Hunt:1	Aristotle	-	0.29	-	0
202	Aaron Doll:0	Aristotle	-	0.56	-	0
203	burrito:1	haoyu	-	0.10	-	0
204	Shaheed Chagani:1	Aristotle	-	0.11	-	0
205	Deric Cheng:1	jgs	-	14.98	-	1
206	Lil Thug:1	Andrew Grasso	-	0.03	-	0
207	13a:0	Aaron Doll	-	15.00	-	21
208	Elphaba:0	Aristotle	-	0.24	-	0
209	John Whelchel:0	haoyu	-	0.06	-	0
210	Andrew Werner:1	haoyu	-	0.11	-	0
211	dfshasdsf12:0	haoyu	-	0.09	-	0
212	BH:0	haoyu	-	0.07	-	0
213	Aaron Doll:1	Aristotle	-	1.27	-	0
214	Deric Cheng:0	jgs	-	14.99	-	1
215	jgs:0	Aristotle	-	0.12	-	0
216	ebp:1	haoyu	-	0.04	-	0
217	Nihar the Great:0	Aristotle	-	0.23	-	0
218	CAPS LOCK:1	Aristotle	-	0.25	-	0
219	burrito:0	haoyu	-	0.09	-	0
220	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
221	nupog:0	Aristotle	-	0.13	-	0
222	Aristotle:0	Aristotle	-	15.00	-	1
223	13a:1	Aaron Doll	-	15.00	-	29
224	BH:1	haoyu	-	0.05	-	0
225	Nihar the Great:1	Aristotle	-	0.25	-	0
226	CAPS LOCK:0	Aristotle	-	0.20	-	0
227	Matt Goldsmith:1	Happy	-	0.03	-	0
228	Sprt:0	Aristotle	-	0.11	-	0

SatSolvers Ranklist

Generators Ranklist