Stats for satsolver: Shaheed Chagani

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 Shaheed Chagani 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 Shaheed Chagani 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:	Shaheed Chagani
Rank:	60 / 118
Average Score:	8.79
Median Score:	0.30
Description:	WalkSAT with improvements like an adaptive value of p, an improved starting model and a faster way to calculate the number of Unsatisfied Clauses

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

SatSolvers Ranklist

Generators Ranklist