Stats for satsolver: Joel Faron

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 Joel Faron 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 Joel Faron 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:	Joel Faron
Rank:	68 / 118
Average Score:	10.49
Median Score:	6.61
Description:	This is a modified version of the DPLL sat-solver which includes better variable ordering and some randomization.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.01	0.00	0	0
2	bigwig:1	KingBach	0.01	0.00	0	0
3	Bebe Shi:1	KingBach	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	BMJ:1	burrito	0.01	0.00	0	0
7	BMJ:0	Elphaba	0.01	0.00	0	0
8	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
9	K.L.:1	KingBach	0.02	0.00	0	0
10	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
11	T. Capote:0	haoyu	0.03	0.00	2	2
12	Daffy Duck:1	haoyu	0.03	0.00	0	0
13	cmF5a3ly:1	Nihar the Great	0.04	0.00	0	0
14	T. Capote:1	haoyu	0.04	0.00	2	2
15	Happy:0	haoyu	0.04	0.00	0	0
16	cmF5a3ly:0	Nihar the Great	0.05	0.00	0	0
17	Solving For Clauses:0	Glenn Fisher	0.06	0.00	0	0
18	Blam:0	Elphaba	0.07	0.00	0	0
19	Joshua Zimmer:0	haoyu	0.07	0.00	0	0
20	Solving For Clauses:1	haoyu	0.07	0.00	0	0
21	Joshua Zimmer:1	haoyu	0.07	0.00	0	0
22	Quite Satisfied:0	haoyu	0.08	0.00	0	0
23	bchouGenerator:0	haoyu	0.08	0.00	0	0
24	K.L.:0	haoyu	0.08	0.00	0	0
25	Gewang:1	Jonathan Kwok	0.09	0.00	0	0
26	Blam:1	Elphaba	0.09	0.00	0	0
27	Gewang:0	Jonathan Kwok	0.09	0.00	0	0
28	Daffy Duck:0	Andrew Werner	0.09	0.00	0	0
29	The Kraken:0	haoyu	0.09	0.00	0	0
30	The Kraken:1	haoyu	0.10	0.00	0	0
31	Tree Prophet:0	haoyu	0.10	0.00	0	0
32	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.11	0.00	0	0
33	0108:1	haoyu	0.11	0.01	0	0
34	Tree Prophet:1	haoyu	0.12	0.00	0	0
35	Jessie Chen:1	Joel Faron	0.12	0.12	1	1
36	Jessie Chen:0	Joel Faron	0.13	0.13	1	1
37	Sunny:0	Green "The Bean" Choi	0.16	0.02	0	0
38	Scheduling Generator 203:0	jgs	0.16	0.01	0	0
39	Jameh:0	haoyu	0.21	0.01	0	0
40	Tiny Wings:0	haoyu	0.23	0.02	0	0
41	Ravi Tandon:0	KingBach	0.24	0.00	0	0
42	Tom T:0	EC	0.25	0.02	0	0
43	bchouGenerator:1	Jonathan Kwok	0.25	0.01	0	0
44	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.26	0.01	0	0
45	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.29	0.01	0	0
46	Boomshanka:0	haoyu	0.29	0.01	0	0
47	Dr Roberto:0	Andrew Grasso	0.32	0.03	0	0
48	Scheduling Generator 203:1	Jameh	0.33	0.02	0	0
49	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.36	0.01	0	0
50	Ytterbium:0	Andrew Grasso	0.38	0.02	0	0
51	Anon_K_P:1	Aristotle	0.40	0.03	0	0
52	David Lackey:0	Anon5	0.41	0.03	0	0
53	David Lackey:1	Bar Shabtai	0.45	0.03	0	0
54	Anon_K_P:0	haoyu	0.47	0.02	0	0
55	Nikhilesh Sigatapu:1	haoyu	0.49	0.04	0	0
56	Boomshanka:1	Bar Shabtai	0.50	0.01	0	0
57	Dr Roberto:1	Andrew Grasso	0.51	0.02	0	0
58	Jameh:1	haoyu	0.52	0.01	0	0
59	cat:0	haoyu	0.53	0.03	0	0
60	Nikhilesh Sigatapu:0	haoyu	0.54	0.03	0	0
61	vluu:1	Nihar the Great	0.55	0.02	0	0
62	vluu:0	Nihar the Great	0.56	0.01	0	0
63	Ravi Tandon:1	KingBach	0.57	0.00	0	0
64	Samuel Jerome:0	haoyu	0.63	0.03	0	0
65	Bob Dondero:1	Mickey Mouse	0.65	0.03	0	0
66	haoyu:0	KingBach	0.72	0.01	0	0
67	Bob Dondero:0	Andrew Grasso	0.73	0.02	0	0
68	Samuel Jerome:1	haoyu	0.75	0.03	0	0
69	Glenn Fisher:0	Elphaba	0.82	0.02	0	0
70	Sunny:1	jabreezy	0.85	0.01	0	0
71	kt4124:0	haoyu	0.86	0.03	0	0
72	snowflakes:0	haoyu	0.86	0.03	0	0
73	Brendan Wright:1	Deric Cheng	0.87	0.10	0	0
74	EC:0	haoyu	0.88	0.03	0	0
75	Linda:0	Andrew Grasso	0.90	0.01	0	0
76	Ytterbium:1	Nihar the Great	0.91	0.02	0	0
77	snowflakes:1	haoyu	0.91	0.03	0	0
78	kt4124:1	haoyu	0.95	0.04	0	0
79	George Okeowo:0	Andrew Grasso	1.03	0.01	0	0
80	George Okeowo:1	Andrew Grasso	1.07	0.01	0	0
81	NA:1	Elphaba	1.16	0.04	0	0
82	Mike Honcho:0	Miranda	1.30	0.01	0	0
83	Brendan Wright:0	haoyu	1.36	0.10	0	0
84	Alex Fish:1	haoyu	1.39	0.02	0	0
85	Mercury:1	haoyu	1.54	0.05	0	0
86	Mercury:0	haoyu	1.61	0.05	0	0
87	Walter Little:1	haoyu	1.74	0.03	0	0
88	Alex Fish:0	haoyu	1.96	0.01	0	0
89	Mike Honcho:1	Jessie Chen	2.05	0.01	0	0
90	Quite Satisfied:1	Joel Faron	2.11	2.11	1	1
91	Sally Smith:0	haoyu	2.17	0.04	0	0
92	Sally Smith:1	haoyu	2.25	0.04	0	0
93	bfang:0	haoyu	2.26	0.04	0	0
94	bfang:1	haoyu	2.29	0.04	0	0
95	Linda:1	Andrew Grasso	2.33	0.02	0	0
96	soccer:0	haoyu	2.71	0.04	0	0
97	spl:1	haoyu	2.81	0.06	0	0
98	Anon5:0	haoyu	2.87	0.05	0	0
99	Anon5:1	Green "The Bean" Choi	2.91	0.07	0	0
100	Yacob Y.:0	haoyu	3.15	0.06	0	0
101	spl:0	Elphaba	3.15	0.09	0	0
102	Tom T:1	Andrew Werner	3.22	0.02	0	0
103	Batman:1	haoyu	3.29	0.04	0	0
104	Batman:0	haoyu	3.45	0.04	0	0
105	KingBach:1	haoyu	3.69	0.04	0	0
106	NA:0	haoyu	4.07	0.03	0	0
107	DeeEmEm:1	haoyu	4.44	0.02	0	0
108	Charliezsc:1	haoyu	5.47	0.07	0	0
109	ebp:0	haoyu	5.97	0.04	0	0
110	Khoa:0	haoyu	6.19	0.09	0	0
111	David H.:0	AFC	6.22	0.28	0	0
112	Sprt:1	haoyu	6.61	0.05	0	0
113	haoyu:1	Anon5	8.18	0.01	0	0
114	David H.:1	DeeEmEm	12.00	0.33	0	0
115	ebp:1	haoyu	13.86	0.04	0	0
116	BH:1	haoyu	14.05	0.05	0	0
117	Aaron H:1	Aristotle	14.19	0.11	0	0
118	DinnerPartyPlannerBM:1	Nihar the Great	14.30	0.06	0	0
119	Yan Wu:1	haoyu	14.57	0.04	0	0
120	Aaron H:0	Aristotle	14.57	0.11	0	0
121	John Whelchel:0	haoyu	14.61	0.06	0	0
122	David Paulk:1	Bar Shabtai	15.00	0.00	0	0
123	David Paulk:0	cat	15.00	0.00	0	0
124	Miranda:1	cat	15.00	0.00	0	0
125	R. A. B.:0	Nihar the Great	15.00	0.00	0	0
126	Miranda:0	cat	15.00	0.00	0	0
127	R. A. B.:1	cat	15.00	0.00	0	0
128	0108:0	jgs	15.00	14.98	1	1
129	SuperFan:1	jgs	15.00	14.98	4	4
130	Supahaka:1	Joel Faron	15.00	15.00	35	35
131	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
132	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
133	EC:1	haoyu	15.00	0.03	1	0
134	Mickey Mouse:1	haoyu	15.00	0.01	1	0
135	cat:1	haoyu	15.00	0.03	1	0
136	Tiny Wings:1	haoyu	15.00	0.01	1	0
137	weezy:1	Bar Shabtai	15.00	0.01	1	0
138	CookieMonster:0	CookieMonster	15.00	0.82	1	0
139	CookieMonster:1	CookieMonster	15.00	1.10	1	0
140	weezy:0	Bar Shabtai	15.00	0.01	1	0
141	Khoa:1	Aristotle	15.00	0.09	1	0
142	KingBach:0	haoyu	15.00	0.06	2	0
143	Qinlan Shen:1	R. A. B.	15.00	9.00	2	1
144	Charliezsc:0	jgs	15.00	14.98	2	1
145	Jordan Ash:1	Bar Shabtai	15.00	0.01	2	0
146	DeeEmEm:0	CAPS LOCK	15.00	13.00	2	1
147	Qinlan Shen:0	Bar Shabtai	15.00	0.01	2	0
148	Tao:1	Aristotle	15.00	0.07	3	0
149	AFC:0	CookieMonster	15.00	0.34	3	0
150	Tao:0	Bar Shabtai	15.00	0.02	3	0
151	AFC:1	Aristotle	15.00	0.16	4	0
152	Jordan Ash:0	EC	15.00	0.03	4	0
153	Glenn Fisher:1	jabreezy	15.00	0.09	4	0
154	Lisa Kim:1	Bar Shabtai	15.00	0.06	5	0
155	soccer:1	haoyu	15.00	0.04	5	0
156	Matt Haake:0	haoyu	15.00	0.05	5	0
157	Valya Barboy:1	Shaheed Chagani	15.00	0.18	7	0
158	Mike Hunt:0	Aristotle	15.00	0.27	7	0
159	Valya Barboy:0	Aristotle	15.00	0.06	7	0
160	Fanny:0	Aristotle	15.00	0.10	8	0
161	Walter Little:0	haoyu	15.00	0.04	8	0
162	Lisa Kim:0	Aristotle	15.00	0.07	8	0
163	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	9	0
164	SuperFan:0	jgs	1.20	14.98	9	4
165	The Whitman Whale:1	Andrew Grasso	15.00	0.03	9	0
166	Mickey Mouse:0	Bar Shabtai	15.00	0.01	9	0
167	Yacob Y.:1	Aristotle	15.00	15.00	9	1
168	The Whitman Whale:0	bigwig	15.00	0.04	10	0
169	Ben Chen:1	spl	15.00	0.20	10	0
170	Keji Xu:1	Nihar the Great	15.00	0.04	11	0
171	Sabar Dasgupta:0	spl	15.00	0.23	11	0
172	Matt Haake:1	haoyu	15.00	0.05	11	0
173	Keji Xu:0	Nihar the Great	15.00	0.03	11	0
174	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	12	0
175	Ben Chen:0	Elphaba	15.00	0.07	13	0
176	Fanny:1	Aristotle	15.00	0.12	13	0
177	Absurdity:1	Aristotle	15.00	0.18	15	0
178	Andys:0	Aristotle	15.00	0.12	18	0
179	Mr. Blobby:1	dusty	15.00	0.12	19	0
180	jabreezy:1	Mercury	15.00	0.10	20	0
181	jabreezy:0	Mercury	15.00	0.09	21	0
182	Absurdity:0	Aristotle	15.00	0.23	21	0
183	John Whelchel:1	haoyu	15.00	0.11	24	0
184	Andys:1	Aristotle	15.00	0.13	29	0
185	Supahaka:0	Andrew Werner	15.00	15.00	36	35
186	Janie Gu:0	Glenn Fisher	15.00	0.07	37	0
187	Janie Gu:1	Jonathan Kwok	15.00	0.07	41	0
188	Dusty:1	Shaheed Chagani	15.00	0.22	53	0
189	Dusty:0	CookieMonster	15.00	1.39	54	0
190	Yan Wu:0	haoyu	15.00	0.05	61	0
191	BH:0	haoyu	15.00	0.07	98	0
192	Andrew Grasso:0	Aaron Doll	15.00	0.18	116	0
193	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	120	0
194	Shaheed Chagani:1	Aristotle	15.00	0.11	498	0
195	nupog:1	Aristotle	15.00	0.12	4252	0
196	Mike Hunt:1	Aristotle	15.00	0.29	46	0
197	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	48	0
198	Sprt:0	Aristotle	15.00	0.11	55	0
199	burrito:0	haoyu	15.00	0.09	612	0
200	dfshasdsf12:1	Nihar the Great	15.00	0.11	48	0
201	Lil Thug:0	Andrew Grasso	15.00	0.03	38	0
202	Andrew Werner:0	Aaron Doll	15.00	0.33	42	0
203	jgs:1	haoyu	15.01	0.18	104	0
204	burrito:1	haoyu	15.01	0.10	1892	0
205	Deric Cheng:0	jgs	15.01	14.99	39	1
206	Shaheed Chagani:0	Aristotle	15.01	0.17	498	0
207	dfshasdsf12:0	haoyu	15.01	0.09	30	0
208	Lil Thug:1	Andrew Grasso	15.01	0.03	37	0
209	Andrew Werner:1	haoyu	15.01	0.11	34	0
210	nupog:0	Aristotle	15.02	0.13	4462	0
211	13a:0	Aaron Doll	15.02	15.00	148	21
212	Deric Cheng:1	jgs	15.03	14.98	40	1
213	jgs:0	Aristotle	15.04	0.12	104	0
214	Elphaba:0	Aristotle	15.05	0.24	55	0
215	Elphaba:1	Aristotle	15.05	0.22	55	0
216	Matt Goldsmith:0	Nihar the Great	15.06	0.03	0	0
217	13a:1	Aaron Doll	15.06	15.00	149	29
218	CAPS LOCK:1	Aristotle	15.07	0.25	2118	0
219	CAPS LOCK:0	Aristotle	15.08	0.20	1768	0
220	Aristotle:1	Aristotle	15.11	9.69	119	0
221	Matt Goldsmith:1	Happy	15.17	0.03	0	0
222	Aaron Doll:1	Aristotle	15.17	1.27	158	0
223	Aaron Doll:0	Aristotle	15.17	0.56	158	0
224	Aristotle:0	Aristotle	15.53	15.00	119	1
225	Bar Shabtai:1	haoyu	-	0.12	-	0
226	Nihar the Great:0	Aristotle	-	0.23	-	0
227	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
228	Nihar the Great:1	Aristotle	-	0.25	-	0

SatSolvers Ranklist

Generators Ranklist