Stats for satsolver: jabreezy

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 jabreezy 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 jabreezy 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:	jabreezy
Rank:	115 / 118
Average Score:	57.97
Median Score:	0.24
Description:	This Sat Solver is based on DPLL. It is implemented as an iterative SAT search. It deduces at each step with unit propagation, in addition to preprocessing done before all steps. Each next variable is chosen for assignment based on a priority queue in which the variables are ranked by occurences in clauses. The assignment for said variable is also chosen by heuristic (of which I have two).

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

SatSolvers Ranklist

Generators Ranklist