Stats for satsolver: Jameh

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 Jameh 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 Jameh 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:	Jameh
Rank:	47 / 118
Average Score:	7.41
Median Score:	4.23
Description:	This sat-solver uses a simple randomized WalkSat algorithm to solve satisfiability problems.

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

SatSolvers Ranklist

Generators Ranklist