Stats for satsolver: Samuel Jerome

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 Samuel Jerome 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 Samuel Jerome 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:	Samuel Jerome
Rank:	65 / 118
Average Score:	9.70
Median Score:	15.00
Description:	It's walkSAT with 5 random restarts.

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

SatSolvers Ranklist

Generators Ranklist