Stats for satsolver: jgs

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 jgs 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 jgs 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:	jgs
Rank:	12 / 118
Average Score:	4.67
Median Score:	0.45
Description:	This sat-solver uses WalkSAT with an empirically optimized probability to try and maximize the number clauses it can satisfy before time runs out.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	Bebe Shi:1	KingBach	0.00	0.00	0	0
3	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
4	BMJ:1	burrito	0.00	0.00	0	0
5	bigwig:0	Andrew Werner	0.00	0.00	0	0
6	Bebe Shi:0	KingBach	0.00	0.00	0	0
7	Ravi Tandon:1	KingBach	0.00	0.00	0	0
8	Ravi Tandon:0	KingBach	0.00	0.00	0	0
9	K.L.:1	KingBach	0.00	0.00	0	0
10	Happy:1	KingBach	0.00	0.00	0	0
11	R. A. B.:1	cat	0.00	0.00	0	0
12	Solving For Clauses:1	haoyu	0.00	0.00	0	0
13	Joshua Zimmer:0	haoyu	0.00	0.00	0	0
14	Miranda:0	cat	0.01	0.00	0	0
15	Miranda:1	cat	0.01	0.00	0	0
16	Blam:1	Elphaba	0.01	0.00	0	0
17	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
18	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
19	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
20	K.L.:0	haoyu	0.01	0.00	0	0
21	bchouGenerator:0	haoyu	0.01	0.00	0	0
22	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
23	haoyu:0	KingBach	0.01	0.01	0	0
24	Quite Satisfied:0	haoyu	0.01	0.00	0	0
25	Tree Prophet:1	haoyu	0.01	0.00	0	0
26	The Kraken:0	haoyu	0.01	0.00	0	0
27	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
28	David Paulk:0	cat	0.01	0.00	0	0
29	Scheduling Generator 203:0	jgs	0.01	0.01	0	0
30	Blam:0	Elphaba	0.01	0.00	0	0
31	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
32	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
33	BMJ:0	Elphaba	0.01	0.00	0	0
34	The Kraken:1	haoyu	0.01	0.00	0	0
35	Tree Prophet:0	haoyu	0.01	0.00	0	0
36	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
37	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
38	haoyu:1	Anon5	0.01	0.01	0	0
39	Happy:0	haoyu	0.01	0.00	0	0
40	Daffy Duck:1	haoyu	0.01	0.00	0	0
41	Qinlan Shen:0	Bar Shabtai	0.01	0.01	0	0
42	Mickey Mouse:1	haoyu	0.02	0.01	0	0
43	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
44	Mike Honcho:0	Miranda	0.02	0.01	0	0
45	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
46	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
47	weezy:0	Bar Shabtai	0.02	0.01	0	0
48	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
49	Scheduling Generator 203:1	Jameh	0.02	0.02	0	0
50	weezy:1	Bar Shabtai	0.02	0.01	0	0
51	Tom T:0	EC	0.02	0.02	0	0
52	Tom T:1	Andrew Werner	0.03	0.02	0	0
53	Boomshanka:1	Bar Shabtai	0.03	0.01	0	0
54	Sunny:1	jabreezy	0.03	0.01	0	0
55	Tiny Wings:0	haoyu	0.04	0.02	0	0
56	Dr Roberto:1	Andrew Grasso	0.04	0.02	0	0
57	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.04	0.01	0	0
58	vluu:1	Nihar the Great	0.04	0.02	0	0
59	Ytterbium:0	Andrew Grasso	0.04	0.02	0	0
60	Mike Honcho:1	Jessie Chen	0.04	0.01	0	0
61	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
62	Jameh:0	haoyu	0.05	0.01	0	0
63	Dr Roberto:0	Andrew Grasso	0.05	0.03	0	0
64	Boomshanka:0	haoyu	0.06	0.01	0	0
65	David Lackey:1	Bar Shabtai	0.06	0.03	0	0
66	Keji Xu:0	Nihar the Great	0.06	0.03	0	0
67	Tiny Wings:1	haoyu	0.06	0.01	0	0
68	vluu:0	Nihar the Great	0.06	0.01	0	0
69	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.06	0.00	0	0
70	cat:0	haoyu	0.06	0.03	0	0
71	Anon_K_P:1	Aristotle	0.07	0.03	0	0
72	Keji Xu:1	Nihar the Great	0.07	0.04	0	0
73	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.07	0.01	0	0
74	Sunny:0	Green "The Bean" Choi	0.07	0.02	0	0
75	Jameh:1	haoyu	0.07	0.01	0	0
76	The Whitman Whale:1	Andrew Grasso	0.07	0.03	0	0
77	Jordan Ash:0	EC	0.07	0.03	0	0
78	0108:1	haoyu	0.08	0.01	0	0
79	Bob Dondero:0	Andrew Grasso	0.08	0.02	0	0
80	Tao:1	Aristotle	0.09	0.07	0	0
81	David Lackey:0	Anon5	0.09	0.03	0	0
82	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
83	Alex Fish:1	haoyu	0.12	0.02	0	0
84	Alex Fish:0	haoyu	0.13	0.01	0	0
85	Nikhilesh Sigatapu:0	haoyu	0.13	0.03	0	0
86	cat:1	haoyu	0.14	0.03	0	0
87	George Okeowo:0	Andrew Grasso	0.14	0.01	0	0
88	Matt Haake:0	haoyu	0.14	0.05	0	0
89	Tao:0	Bar Shabtai	0.15	0.02	0	0
90	George Okeowo:1	Andrew Grasso	0.15	0.01	0	0
91	Linda:0	Andrew Grasso	0.15	0.01	0	0
92	The Whitman Whale:0	bigwig	0.17	0.04	0	0
93	Lisa Kim:1	Bar Shabtai	0.18	0.06	0	0
94	Anon_K_P:0	haoyu	0.19	0.02	0	0
95	Bob Dondero:1	Mickey Mouse	0.20	0.03	0	0
96	Linda:1	Andrew Grasso	0.21	0.02	0	0
97	Yan Wu:0	haoyu	0.22	0.05	0	0
98	kt4124:0	haoyu	0.25	0.03	0	0
99	Matt Haake:1	haoyu	0.27	0.05	0	0
100	DeeEmEm:1	haoyu	0.27	0.02	0	0
101	Nikhilesh Sigatapu:1	haoyu	0.27	0.04	0	0
102	Lisa Kim:0	Aristotle	0.27	0.07	0	0
103	Fanny:0	Aristotle	0.28	0.10	0	0
104	Samuel Jerome:0	haoyu	0.28	0.03	0	0
105	kt4124:1	haoyu	0.29	0.04	0	0
106	Sally Smith:1	haoyu	0.30	0.04	0	0
107	Mercury:1	haoyu	0.30	0.05	0	0
108	bfang:0	haoyu	0.31	0.04	0	0
109	Janie Gu:1	Jonathan Kwok	0.31	0.07	0	0
110	Mercury:0	haoyu	0.32	0.05	0	0
111	bfang:1	haoyu	0.33	0.04	0	0
112	Sally Smith:0	haoyu	0.35	0.04	0	0
113	Samuel Jerome:1	haoyu	0.40	0.03	0	0
114	KingBach:1	haoyu	0.45	0.04	0	0
115	Batman:0	haoyu	0.52	0.04	0	0
116	Batman:1	haoyu	0.57	0.04	0	0
117	Janie Gu:0	Glenn Fisher	0.72	0.07	0	0
118	Sprt:1	haoyu	0.73	0.05	0	0
119	soccer:1	haoyu	0.75	0.04	0	0
120	Mr. Blobby:1	dusty	0.77	0.12	0	0
121	Khoa:1	Aristotle	0.77	0.09	0	0
122	Ben Chen:1	spl	0.79	0.20	0	0
123	Andrew Grasso:0	Aaron Doll	0.81	0.18	0	0
124	Mr. Blobby:0	Green "The Bean" Choi	0.88	0.14	0	0
125	Khoa:0	haoyu	0.88	0.09	0	0
126	KingBach:0	haoyu	0.89	0.06	0	0
127	Brendan Wright:1	Deric Cheng	1.00	0.10	0	0
128	Yan Wu:1	haoyu	1.08	0.04	0	0
129	Glenn Fisher:0	Elphaba	1.54	0.02	0	0
130	DinnerPartyPlannerBM:1	Nihar the Great	1.56	0.06	0	0
131	soccer:0	haoyu	1.71	0.04	0	0
132	Yacob Y.:0	haoyu	1.72	0.06	0	0
133	Valya Barboy:0	Aristotle	1.75	0.06	0	0
134	burrito:0	haoyu	1.90	0.09	0	0
135	Valya Barboy:1	Shaheed Chagani	2.09	0.18	0	0
136	Sabar Dasgupta:1	Aaron Doll	2.10	0.17	0	0
137	Aaron H:1	Aristotle	2.38	0.11	0	0
138	Sabar Dasgupta:0	spl	2.40	0.23	0	0
139	EC:1	haoyu	2.44	0.03	0	0
140	Aaron H:0	Aristotle	2.46	0.11	0	0
141	Fanny:1	Aristotle	2.58	0.12	0	0
142	Glenn Fisher:1	jabreezy	2.88	0.09	0	0
143	Brendan Wright:0	haoyu	2.89	0.10	0	0
144	Lil Thug:1	Andrew Grasso	2.92	0.03	0	0
145	Ben Chen:0	Elphaba	2.93	0.07	0	0
146	dfshasdsf12:0	haoyu	3.23	0.09	0	0
147	Anon5:1	Green "The Bean" Choi	3.24	0.07	0	0
148	Lil Thug:0	Andrew Grasso	3.44	0.03	0	0
149	ebp:1	haoyu	3.79	0.04	0	0
150	Sprt:0	Aristotle	3.97	0.11	0	0
151	Absurdity:1	Aristotle	4.14	0.18	0	0
152	Charliezsc:1	haoyu	4.31	0.07	0	0
153	ebp:0	haoyu	4.41	0.04	0	0
154	Absurdity:0	Aristotle	4.45	0.23	0	0
155	John Whelchel:0	haoyu	4.56	0.06	0	0
156	Mike Hunt:0	Aristotle	4.71	0.27	0	0
157	Andrew Grasso:1	Shaheed Chagani	5.48	0.15	0	0
158	David H.:0	AFC	5.76	0.28	0	0
159	DinnerPartyPlannerBM:0	Aristotle	5.80	0.11	0	0
160	dfshasdsf12:1	Nihar the Great	6.23	0.11	0	0
161	EC:0	haoyu	6.38	0.03	0	0
162	Walter Little:0	haoyu	6.42	0.04	0	0
163	Mike Hunt:1	Aristotle	8.07	0.29	0	0
164	jabreezy:1	Mercury	9.40	0.10	0	0
165	CAPS LOCK:0	Aristotle	9.51	0.20	0	0
166	BH:1	haoyu	9.56	0.05	0	0
167	Bar Shabtai:1	haoyu	9.59	0.12	0	0
168	jabreezy:0	Mercury	9.77	0.09	0	0
169	Andrew Werner:0	Aaron Doll	10.22	0.33	0	0
170	Andys:0	Aristotle	10.46	0.12	0	0
171	snowflakes:1	haoyu	10.70	0.03	0	0
172	BH:0	haoyu	11.10	0.07	0	0
173	nupog:1	Aristotle	12.00	0.12	0	0
174	burrito:1	haoyu	12.19	0.10	0	0
175	snowflakes:0	haoyu	12.40	0.03	0	0
176	nupog:0	Aristotle	12.65	0.13	0	0
177	Dusty:1	Shaheed Chagani	13.78	0.22	0	0
178	NA:1	Elphaba	13.88	0.04	0	0
179	Andrew Werner:1	haoyu	14.79	0.11	0	0
180	Jessie Chen:0	Joel Faron	14.98	0.13	1	1
181	Qinlan Shen:1	R. A. B.	14.98	9.00	1	1
182	Charliezsc:0	jgs	14.98	14.98	1	1
183	Quite Satisfied:1	Joel Faron	14.98	2.11	1	1
184	Jessie Chen:1	Joel Faron	14.98	0.12	1	1
185	DeeEmEm:0	CAPS LOCK	14.98	13.00	1	1
186	0108:0	jgs	14.98	14.98	1	1
187	T. Capote:0	haoyu	14.98	0.00	2	2
188	T. Capote:1	haoyu	14.98	0.00	2	2
189	SuperFan:0	jgs	14.98	14.98	4	4
190	SuperFan:1	jgs	14.98	14.98	4	4
191	Mark S. Fillmore:1	Supahaka	14.98	0.04	79	79
192	Mark S. Fillmore:0	Supahaka	14.98	0.01	116	116
193	Deric Cheng:1	jgs	14.98	14.98	1	1
194	Deric Cheng:0	jgs	14.99	14.99	1	1
195	David H.:1	DeeEmEm	14.98	0.33	1	0
196	Andys:1	Aristotle	14.98	0.13	1	0
197	John Whelchel:1	haoyu	14.98	0.11	1	0
198	Dusty:0	CookieMonster	14.98	1.39	1	0
199	Walter Little:1	haoyu	14.98	0.03	1	0
200	AFC:1	Aristotle	14.98	0.16	1	0
201	CookieMonster:0	CookieMonster	14.98	0.82	1	0
202	CookieMonster:1	CookieMonster	14.98	1.10	1	0
203	AFC:0	CookieMonster	14.98	0.34	1	0
204	Anon5:0	haoyu	14.98	0.05	2	0
205	spl:0	Elphaba	14.98	0.09	2	0
206	NA:0	haoyu	14.98	0.03	2	0
207	spl:1	haoyu	14.98	0.06	2	0
208	jgs:0	Aristotle	14.98	0.12	3	0
209	Shaheed Chagani:0	Aristotle	14.98	0.17	5	0
210	Shaheed Chagani:1	Aristotle	14.98	0.11	5	0
211	Yacob Y.:1	Aristotle	14.98	15.00	7	1
212	jgs:1	haoyu	14.98	0.18	9	0
213	Supahaka:1	Joel Faron	14.98	15.00	37	35
214	Supahaka:0	Andrew Werner	14.98	15.00	38	35
215	CAPS LOCK:1	Aristotle	14.99	0.25	410	0
216	Elphaba:1	Aristotle	14.99	0.22	15045	0
217	Elphaba:0	Aristotle	14.98	0.24	16051	0
218	Nihar the Great:1	Aristotle	14.99	0.25	17948	0
219	Nihar the Great:0	Aristotle	14.99	0.23	20496	0
220	13a:1	Aaron Doll	14.99	15.00	33871	29
221	13a:0	Aaron Doll	14.98	15.00	49986	21
222	Aaron Doll:0	Aristotle	14.98	0.56	206196	0
223	Bar Shabtai:0	Aaron Doll	14.98	15.01	286217	1
224	Aaron Doll:1	Aristotle	14.99	1.27	291128	0
225	Matt Goldsmith:1	Happy	14.98	0.03	508156	0
226	Matt Goldsmith:0	Nihar the Great	15.02	0.03	510335	0
227	Aristotle:0	Aristotle	15.03	15.00	698703	1
228	Aristotle:1	Aristotle	15.04	9.69	733590	0

SatSolvers Ranklist

Generators Ranklist