Stats for satsolver: Brendan Wright

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 Brendan Wright 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 Brendan Wright 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:	Brendan Wright
Rank:	74 / 118
Average Score:	11.47
Median Score:	10.01
Description:	A DPLL-based solver. I was careful to avoid repeated computation in my model-checking method by maintaining a list of which clauses were invalid on the previous check, and only checking those.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.02	0.00	0	0
2	bigwig:1	KingBach	0.02	0.00	0	0
3	Bebe Shi:1	KingBach	0.03	0.00	0	0
4	Bebe Shi:0	KingBach	0.03	0.00	0	0
5	Happy:1	KingBach	0.04	0.00	0	0
6	BMJ:0	Elphaba	0.04	0.00	0	0
7	BMJ:1	burrito	0.04	0.00	0	0
8	Jonathan Kwok:0	Elphaba	0.04	0.00	0	0
9	Jonathan Kwok:1	KingBach	0.04	0.00	0	0
10	K.L.:1	KingBach	0.05	0.00	0	0
11	Ravi Tandon:0	KingBach	0.05	0.00	0	0
12	Ravi Tandon:1	KingBach	0.05	0.00	0	0
13	T. Capote:1	haoyu	0.06	0.00	2	2
14	Happy:0	haoyu	0.06	0.00	0	0
15	T. Capote:0	haoyu	0.06	0.00	2	2
16	K.L.:0	haoyu	0.07	0.00	0	0
17	Daffy Duck:1	haoyu	0.08	0.00	0	0
18	Blam:1	Elphaba	0.12	0.00	0	0
19	Solving For Clauses:1	haoyu	0.12	0.00	0	0
20	Solving For Clauses:0	Glenn Fisher	0.13	0.00	0	0
21	Blam:0	Elphaba	0.13	0.00	0	0
22	Joshua Zimmer:0	haoyu	0.13	0.00	0	0
23	R. A. B.:1	cat	0.14	0.00	0	0
24	bchouGenerator:0	haoyu	0.14	0.00	0	0
25	Joshua Zimmer:1	haoyu	0.16	0.00	0	0
26	Quite Satisfied:0	haoyu	0.17	0.00	0	0
27	Daffy Duck:0	Andrew Werner	0.20	0.00	0	0
28	The Kraken:0	haoyu	0.20	0.00	0	0
29	The Kraken:1	haoyu	0.21	0.00	0	0
30	Sunny:0	Green "The Bean" Choi	0.23	0.02	0	0
31	Gewang:0	Jonathan Kwok	0.23	0.00	0	0
32	Gewang:1	Jonathan Kwok	0.24	0.00	0	0
33	Tree Prophet:0	haoyu	0.25	0.00	0	0
34	Sunny:1	jabreezy	0.25	0.01	0	0
35	Tree Prophet:1	haoyu	0.25	0.00	0	0
36	Miranda:0	cat	0.27	0.00	0	0
37	David Paulk:1	Bar Shabtai	0.28	0.00	0	0
38	David Paulk:0	cat	0.28	0.00	0	0
39	Miranda:1	cat	0.30	0.00	0	0
40	0108:1	haoyu	0.33	0.01	0	0
41	bchouGenerator:1	Jonathan Kwok	0.38	0.01	0	0
42	R. A. B.:0	Nihar the Great	0.39	0.00	0	0
43	DeeEmEm:1	haoyu	0.49	0.02	0	0
44	Scheduling Generator 203:0	jgs	0.50	0.01	0	0
45	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.54	0.01	0	0
46	Alex Fish:1	haoyu	0.63	0.02	0	0
47	Alex Fish:0	haoyu	0.63	0.01	0	0
48	Tiny Wings:1	haoyu	0.73	0.01	0	0
49	Tom T:0	EC	0.80	0.02	0	0
50	Mickey Mouse:0	Bar Shabtai	0.83	0.01	0	0
51	Boomshanka:0	haoyu	0.85	0.01	0	0
52	Tiny Wings:0	haoyu	0.87	0.02	0	0
53	Scheduling Generator 203:1	Jameh	0.87	0.02	0	0
54	Jameh:0	haoyu	0.90	0.01	0	0
55	Tom T:1	Andrew Werner	0.91	0.02	0	0
56	Mickey Mouse:1	haoyu	0.97	0.01	0	0
57	Dr Roberto:0	Andrew Grasso	1.04	0.03	0	0
58	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	1.12	0.00	0	0
59	Anon_K_P:1	Aristotle	1.13	0.03	0	0
60	David Lackey:0	Anon5	1.14	0.03	0	0
61	Anon_K_P:0	haoyu	1.15	0.02	0	0
62	Dr Roberto:1	Andrew Grasso	1.19	0.02	0	0
63	Anon5:0	haoyu	1.23	0.05	0	0
64	David Lackey:1	Bar Shabtai	1.24	0.03	0	0
65	cat:0	haoyu	1.42	0.03	0	0
66	Nikhilesh Sigatapu:0	haoyu	1.45	0.03	0	0
67	vluu:0	Nihar the Great	1.46	0.01	0	0
68	vluu:1	Nihar the Great	1.46	0.02	0	0
69	Anon5:1	Green "The Bean" Choi	1.48	0.07	0	0
70	cat:1	haoyu	1.54	0.03	0	0
71	Matt Haake:1	haoyu	1.57	0.05	0	0
72	Boomshanka:1	Bar Shabtai	1.63	0.01	0	0
73	Brendan Wright:1	Deric Cheng	1.66	0.10	0	0
74	Nikhilesh Sigatapu:1	haoyu	1.68	0.04	0	0
75	Matt Haake:0	haoyu	1.70	0.05	0	0
76	Ytterbium:0	Andrew Grasso	1.72	0.02	0	0
77	Jameh:1	haoyu	1.75	0.01	0	0
78	Brendan Wright:0	haoyu	1.87	0.10	0	0
79	Samuel Jerome:1	haoyu	1.87	0.03	0	0
80	EC:0	haoyu	1.91	0.03	0	0
81	Yan Wu:1	haoyu	2.12	0.04	0	0
82	Samuel Jerome:0	haoyu	2.18	0.03	0	0
83	Yan Wu:0	haoyu	2.26	0.05	0	0
84	Bob Dondero:1	Mickey Mouse	2.29	0.03	0	0
85	snowflakes:0	haoyu	2.33	0.03	0	0
86	Bob Dondero:0	Andrew Grasso	2.37	0.02	0	0
87	snowflakes:1	haoyu	2.47	0.03	0	0
88	Glenn Fisher:0	Elphaba	2.49	0.02	0	0
89	Linda:0	Andrew Grasso	2.59	0.01	0	0
90	NA:0	haoyu	2.75	0.03	0	0
91	NA:1	Elphaba	2.81	0.04	0	0
92	kt4124:1	haoyu	2.82	0.04	0	0
93	kt4124:0	haoyu	2.98	0.03	0	0
94	Ytterbium:1	Nihar the Great	3.65	0.02	0	0
95	Linda:1	Andrew Grasso	4.43	0.02	0	0
96	Mercury:0	haoyu	4.66	0.05	0	0
97	Walter Little:0	haoyu	4.67	0.04	0	0
98	Lisa Kim:1	Bar Shabtai	4.75	0.06	0	0
99	Mercury:1	haoyu	5.32	0.05	0	0
100	cmF5a3ly:1	Nihar the Great	5.44	0.00	0	0
101	cmF5a3ly:0	Nihar the Great	5.53	0.00	0	0
102	Sally Smith:0	haoyu	5.80	0.04	0	0
103	bfang:0	haoyu	6.55	0.04	0	0
104	Sally Smith:1	haoyu	6.66	0.04	0	0
105	bfang:1	haoyu	7.20	0.04	0	0
106	soccer:1	haoyu	8.17	0.04	0	0
107	spl:1	haoyu	8.45	0.06	0	0
108	soccer:0	haoyu	8.71	0.04	0	0
109	Batman:1	haoyu	9.73	0.04	0	0
110	Batman:0	haoyu	9.76	0.04	0	0
111	spl:0	Elphaba	9.79	0.09	0	0
112	Yacob Y.:0	haoyu	10.22	0.06	0	0
113	Mike Honcho:1	Jessie Chen	10.40	0.01	0	0
114	Mike Honcho:0	Miranda	10.70	0.01	0	0
115	George Okeowo:0	Andrew Grasso	11.57	0.01	0	0
116	George Okeowo:1	Andrew Grasso	12.58	0.01	0	0
117	KingBach:1	haoyu	12.69	0.04	0	0
118	Ben Chen:1	spl	14.32	0.20	0	0
119	KingBach:0	haoyu	14.94	0.06	0	0
120	David H.:0	AFC	14.98	0.28	0	0
121	Fanny:0	Aristotle	15.00	0.10	1	0
122	David H.:1	DeeEmEm	15.00	0.33	1	0
123	haoyu:0	KingBach	15.00	0.01	1	0
124	weezy:1	Bar Shabtai	15.00	0.01	1	0
125	CookieMonster:0	CookieMonster	15.00	0.82	1	0
126	haoyu:1	Anon5	15.00	0.01	1	0
127	Fanny:1	Aristotle	15.00	0.12	1	0
128	CookieMonster:1	CookieMonster	15.00	1.10	1	0
129	weezy:0	Bar Shabtai	15.00	0.01	1	0
130	AFC:0	CookieMonster	15.00	0.34	1	0
131	Tao:0	Bar Shabtai	15.00	0.02	1	0
132	Jessie Chen:0	Joel Faron	0.35	0.13	2	1
133	EC:1	haoyu	15.00	0.03	2	0
134	Jessie Chen:1	Joel Faron	0.27	0.12	2	1
135	Tao:1	Aristotle	15.00	0.07	3	0
136	Jordan Ash:1	Bar Shabtai	15.00	0.01	3	0
137	Qinlan Shen:0	Bar Shabtai	15.00	0.01	4	0
138	Qinlan Shen:1	R. A. B.	15.00	9.00	5	1
139	AFC:1	Aristotle	15.00	0.16	5	0
140	0108:0	jgs	15.00	14.98	5	1
141	Jordan Ash:0	EC	15.00	0.03	5	0
142	The Whitman Whale:0	bigwig	15.00	0.04	6	0
143	The Whitman Whale:1	Andrew Grasso	15.00	0.03	6	0
144	DeeEmEm:0	CAPS LOCK	1.91	13.00	7	1
145	Glenn Fisher:1	jabreezy	15.00	0.09	9	0
146	Valya Barboy:1	Shaheed Chagani	15.00	0.18	10	0
147	Valya Barboy:0	Aristotle	15.00	0.06	10	0
148	Charliezsc:1	haoyu	15.00	0.07	11	0
149	Keji Xu:1	Nihar the Great	15.00	0.04	12	0
150	Quite Satisfied:1	Joel Faron	0.04	2.11	12	1
151	Keji Xu:0	Nihar the Great	15.00	0.03	12	0
152	ebp:1	haoyu	15.00	0.04	15	0
153	Lisa Kim:0	Aristotle	15.00	0.07	16	0
154	Walter Little:1	haoyu	15.00	0.03	20	0
155	Mr. Blobby:1	dusty	15.00	0.12	20	0
156	ebp:0	haoyu	15.00	0.04	24	0
157	Ben Chen:0	Elphaba	15.00	0.07	29	0
158	Yacob Y.:1	Aristotle	15.00	15.00	37	1
159	SuperFan:1	jgs	0.59	14.98	40	4
160	jabreezy:1	Mercury	15.00	0.10	43	0
161	SuperFan:0	jgs	0.25	14.98	44	4
162	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	56	0
163	Mike Hunt:0	Aristotle	15.00	0.27	84	0
164	Janie Gu:0	Glenn Fisher	15.00	0.07	89	0
165	Mark S. Fillmore:1	Supahaka	4.89	0.04	109	79
166	Janie Gu:1	Jonathan Kwok	15.00	0.07	122	0
167	Mark S. Fillmore:0	Supahaka	14.82	0.01	157	116
168	Dusty:1	Shaheed Chagani	15.00	0.22	164	0
169	Dusty:0	CookieMonster	15.00	1.39	174	0
170	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	195	0
171	Andrew Grasso:0	Aaron Doll	15.00	0.18	195	0
172	Supahaka:0	Andrew Werner	0.07	15.00	316	35
173	Supahaka:1	Joel Faron	0.07	15.00	316	35
174	Sabar Dasgupta:0	spl	15.00	0.23	34	0
175	Absurdity:1	Aristotle	15.00	0.18	66	0
176	Andys:0	Aristotle	15.00	0.12	33	0
177	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	54	0
178	Khoa:0	haoyu	15.00	0.09	78	0
179	Shaheed Chagani:1	Aristotle	15.00	0.11	499	0
180	John Whelchel:1	haoyu	15.00	0.11	40	0
181	jabreezy:0	Mercury	15.00	0.09	43	0
182	Khoa:1	Aristotle	15.00	0.09	75	0
183	burrito:0	haoyu	15.00	0.09	1260	0
184	Andrew Werner:1	haoyu	15.00	0.11	48	0
185	Sprt:0	Aristotle	15.00	0.11	84	0
186	jgs:1	haoyu	15.01	0.18	108	0
187	nupog:1	Aristotle	15.01	0.12	4792	0
188	Sprt:1	haoyu	15.01	0.05	37	0
189	Sabar Dasgupta:1	Aaron Doll	15.01	0.17	37	0
190	Lil Thug:0	Andrew Grasso	15.01	0.03	47	0
191	Charliezsc:0	jgs	15.01	14.98	24	1
192	Deric Cheng:0	jgs	15.01	14.99	44	1
193	Nihar the Great:0	Aristotle	15.01	0.23	993	0
194	dfshasdsf12:0	haoyu	15.01	0.09	49	0
195	Absurdity:0	Aristotle	15.01	0.23	62	0
196	Nihar the Great:1	Aristotle	15.01	0.25	992	0
197	Lil Thug:1	Andrew Grasso	15.02	0.03	47	0
198	DinnerPartyPlannerBM:1	Nihar the Great	15.02	0.06	39	0
199	13a:1	Aaron Doll	15.02	15.00	151	29
200	burrito:1	haoyu	15.02	0.10	1892	0
201	nupog:0	Aristotle	15.02	0.13	4850	0
202	Mike Hunt:1	Aristotle	15.02	0.29	84	0
203	Aaron Doll:1	Aristotle	15.03	1.27	158	0
204	Aaron H:0	Aristotle	15.03	0.11	84	0
205	Aaron H:1	Aristotle	15.03	0.11	84	0
206	CAPS LOCK:0	Aristotle	15.04	0.20	1841	0
207	Andys:1	Aristotle	15.04	0.13	34	0
208	dfshasdsf12:1	Nihar the Great	15.04	0.11	59	0
209	Deric Cheng:1	jgs	15.04	14.98	43	1
210	Bar Shabtai:0	Aaron Doll	15.04	15.01	86	1
211	John Whelchel:0	haoyu	15.05	0.06	40	0
212	Shaheed Chagani:0	Aristotle	15.05	0.17	499	0
213	Andrew Werner:0	Aaron Doll	15.07	0.33	48	0
214	CAPS LOCK:1	Aristotle	15.07	0.25	2286	0
215	Bar Shabtai:1	haoyu	15.08	0.12	34	0
216	Elphaba:0	Aristotle	15.09	0.24	55	0
217	jgs:0	Aristotle	15.10	0.12	108	0
218	Matt Goldsmith:1	Happy	15.11	0.03	0	0
219	Elphaba:1	Aristotle	15.19	0.22	55	0
220	13a:0	Aaron Doll	15.20	15.00	151	21
221	Aristotle:0	Aristotle	15.30	15.00	119	1
222	Aristotle:1	Aristotle	15.56	9.69	119	0
223	Aaron Doll:0	Aristotle	15.77	0.56	158	0
224	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
225	BH:0	haoyu	-	0.07	-	0
226	totallyOnFallBreak:1	Nikhilesh Sigatapu	-	0.01	-	0
227	BH:1	haoyu	-	0.05	-	0
228	totallyOnFallBreak:0	Nikhilesh Sigatapu	-	0.01	-	0

SatSolvers Ranklist

Generators Ranklist