Stats for satsolver: NA

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 NA 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 NA 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:	NA
Rank:	20 / 118
Average Score:	5.14
Median Score:	0.56
Description:	Modified WalkSAT

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	Ravi Tandon:1	KingBach	0.00	0.00	0	0
4	Ravi Tandon:0	KingBach	0.00	0.00	0	0
5	Bebe Shi:1	KingBach	0.00	0.00	0	0
6	K.L.:1	KingBach	0.00	0.00	0	0
7	Miranda:1	cat	0.00	0.00	0	0
8	Happy:1	KingBach	0.00	0.00	0	0
9	Bebe Shi:0	KingBach	0.00	0.00	0	0
10	Miranda:0	cat	0.00	0.00	0	0
11	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
12	Solving For Clauses:1	haoyu	0.01	0.00	0	0
13	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
14	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
15	Daffy Duck:1	haoyu	0.01	0.00	0	0
16	BMJ:1	burrito	0.01	0.00	0	0
17	K.L.:0	haoyu	0.01	0.00	0	0
18	haoyu:1	Anon5	0.01	0.01	0	0
19	Blam:0	Elphaba	0.01	0.00	0	0
20	Blam:1	Elphaba	0.01	0.00	0	0
21	BMJ:0	Elphaba	0.01	0.00	0	0
22	R. A. B.:1	cat	0.01	0.00	0	0
23	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
24	Happy:0	haoyu	0.01	0.00	0	0
25	bchouGenerator:0	haoyu	0.01	0.00	0	0
26	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
27	Tree Prophet:0	haoyu	0.02	0.00	0	0
28	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
29	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
30	David Paulk:0	cat	0.02	0.00	0	0
31	Tree Prophet:1	haoyu	0.02	0.00	0	0
32	The Kraken:1	haoyu	0.02	0.00	0	0
33	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
34	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
35	The Kraken:0	haoyu	0.02	0.00	0	0
36	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
37	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
38	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
39	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
40	Quite Satisfied:0	haoyu	0.02	0.00	0	0
41	Tom T:1	Andrew Werner	0.02	0.02	0	0
42	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
43	Scheduling Generator 203:1	Jameh	0.03	0.02	0	0
44	haoyu:0	KingBach	0.03	0.01	0	0
45	Mickey Mouse:1	haoyu	0.03	0.01	0	0
46	weezy:0	Bar Shabtai	0.03	0.01	0	0
47	Tom T:0	EC	0.03	0.02	0	0
48	0108:1	haoyu	0.03	0.01	0	0
49	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
50	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.03	0.00	0	0
51	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
52	cmF5a3ly:0	Nihar the Great	0.03	0.00	0	0
53	Tiny Wings:0	haoyu	0.03	0.02	0	0
54	Mike Honcho:1	Jessie Chen	0.04	0.01	0	0
55	Jameh:0	haoyu	0.04	0.01	0	0
56	Tiny Wings:1	haoyu	0.04	0.01	0	0
57	Jordan Ash:0	EC	0.04	0.03	0	0
58	Boomshanka:1	Bar Shabtai	0.04	0.01	0	0
59	weezy:1	Bar Shabtai	0.04	0.01	0	0
60	Mike Honcho:0	Miranda	0.05	0.01	0	0
61	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.05	0.01	0	0
62	Jameh:1	haoyu	0.05	0.01	0	0
63	Keji Xu:0	Nihar the Great	0.05	0.03	0	0
64	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
65	vluu:0	Nihar the Great	0.06	0.01	0	0
66	vluu:1	Nihar the Great	0.06	0.02	0	0
67	Sunny:1	jabreezy	0.06	0.01	0	0
68	David Lackey:1	Bar Shabtai	0.06	0.03	0	0
69	Ytterbium:0	Andrew Grasso	0.06	0.02	0	0
70	The Whitman Whale:1	Andrew Grasso	0.06	0.03	0	0
71	The Whitman Whale:0	bigwig	0.07	0.04	0	0
72	Keji Xu:1	Nihar the Great	0.07	0.04	0	0
73	Dr Roberto:1	Andrew Grasso	0.07	0.02	0	0
74	Boomshanka:0	haoyu	0.08	0.01	0	0
75	Alex Fish:1	haoyu	0.08	0.02	0	0
76	cat:1	haoyu	0.09	0.03	0	0
77	Alex Fish:0	haoyu	0.09	0.01	0	0
78	Bob Dondero:1	Mickey Mouse	0.09	0.03	0	0
79	Dr Roberto:0	Andrew Grasso	0.10	0.03	0	0
80	David Lackey:0	Anon5	0.10	0.03	0	0
81	Janie Gu:0	Glenn Fisher	0.10	0.07	0	0
82	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
83	cat:0	haoyu	0.12	0.03	0	0
84	Nikhilesh Sigatapu:1	haoyu	0.12	0.04	0	0
85	George Okeowo:1	Andrew Grasso	0.13	0.01	0	0
86	Nikhilesh Sigatapu:0	haoyu	0.13	0.03	0	0
87	George Okeowo:0	Andrew Grasso	0.15	0.01	0	0
88	Janie Gu:1	Jonathan Kwok	0.15	0.07	0	0
89	Sunny:0	Green "The Bean" Choi	0.17	0.02	0	0
90	Linda:0	Andrew Grasso	0.17	0.01	0	0
91	Tao:1	Aristotle	0.17	0.07	0	0
92	Lisa Kim:0	Aristotle	0.18	0.07	0	0
93	Lisa Kim:1	Bar Shabtai	0.20	0.06	0	0
94	Bob Dondero:0	Andrew Grasso	0.21	0.02	0	0
95	kt4124:1	haoyu	0.24	0.04	0	0
96	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.25	0.01	0	0
97	kt4124:0	haoyu	0.26	0.03	0	0
98	EC:1	haoyu	0.28	0.03	0	0
99	Glenn Fisher:0	Elphaba	0.29	0.02	0	0
100	Sally Smith:0	haoyu	0.31	0.04	0	0
101	Tao:0	Bar Shabtai	0.31	0.02	0	0
102	DeeEmEm:1	haoyu	0.32	0.02	0	0
103	Sally Smith:1	haoyu	0.33	0.04	0	0
104	Samuel Jerome:1	haoyu	0.36	0.03	0	0
105	Linda:1	Andrew Grasso	0.36	0.02	0	0
106	Mercury:1	haoyu	0.41	0.05	0	0
107	Yan Wu:0	haoyu	0.45	0.05	0	0
108	bfang:1	haoyu	0.47	0.04	0	0
109	Anon_K_P:1	Aristotle	0.50	0.03	0	0
110	Samuel Jerome:0	haoyu	0.50	0.03	0	0
111	bfang:0	haoyu	0.53	0.04	0	0
112	KingBach:1	haoyu	0.53	0.04	0	0
113	Batman:0	haoyu	0.56	0.04	0	0
114	Batman:1	haoyu	0.56	0.04	0	0
115	Anon_K_P:0	haoyu	0.65	0.02	0	0
116	Yan Wu:1	haoyu	0.68	0.04	0	0
117	Khoa:0	haoyu	0.70	0.09	0	0
118	Khoa:1	Aristotle	0.71	0.09	0	0
119	Mercury:0	haoyu	0.76	0.05	0	0
120	KingBach:0	haoyu	0.78	0.06	0	0
121	Sprt:1	haoyu	0.79	0.05	0	0
122	soccer:0	haoyu	0.90	0.04	0	0
123	Glenn Fisher:1	jabreezy	0.91	0.09	0	0
124	Anon5:1	Green "The Bean" Choi	1.10	0.07	0	0
125	soccer:1	haoyu	1.39	0.04	0	0
126	Ben Chen:0	Elphaba	1.47	0.07	0	0
127	Fanny:1	Aristotle	1.49	0.12	0	0
128	burrito:0	haoyu	1.78	0.09	0	0
129	Matt Haake:1	haoyu	1.78	0.05	0	0
130	Yacob Y.:0	haoyu	1.83	0.06	0	0
131	Brendan Wright:1	Deric Cheng	1.87	0.10	0	0
132	Matt Haake:0	haoyu	1.93	0.05	0	0
133	DinnerPartyPlannerBM:1	Nihar the Great	1.94	0.06	0	0
134	dfshasdsf12:0	haoyu	2.36	0.09	0	0
135	Brendan Wright:0	haoyu	2.57	0.10	0	0
136	Aaron H:0	Aristotle	3.09	0.11	0	0
137	Sprt:0	Aristotle	3.26	0.11	0	0
138	Sabar Dasgupta:0	spl	3.43	0.23	0	0
139	Lil Thug:0	Andrew Grasso	3.57	0.03	0	0
140	Fanny:0	Aristotle	3.71	0.10	0	0
141	Anon5:0	haoyu	3.79	0.05	0	0
142	Aaron H:1	Aristotle	3.85	0.11	0	0
143	Mike Hunt:1	Aristotle	3.85	0.29	0	0
144	dfshasdsf12:1	Nihar the Great	4.38	0.11	0	0
145	Valya Barboy:1	Shaheed Chagani	4.91	0.18	0	0
146	Lil Thug:1	Andrew Grasso	5.07	0.03	0	0
147	Sabar Dasgupta:1	Aaron Doll	5.18	0.17	0	0
148	Charliezsc:1	haoyu	5.25	0.07	0	0
149	David H.:0	AFC	5.36	0.28	0	0
150	ebp:0	haoyu	5.75	0.04	0	0
151	Mr. Blobby:0	Green "The Bean" Choi	5.92	0.14	0	0
152	Valya Barboy:0	Aristotle	6.11	0.06	0	0
153	Andys:1	Aristotle	6.12	0.13	0	0
154	John Whelchel:0	haoyu	7.37	0.06	0	0
155	jabreezy:1	Mercury	7.84	0.10	0	0
156	Mike Hunt:0	Aristotle	8.18	0.27	0	0
157	Walter Little:0	haoyu	8.35	0.04	0	0
158	jabreezy:0	Mercury	8.93	0.09	0	0
159	CAPS LOCK:0	Aristotle	9.19	0.20	0	0
160	David H.:1	DeeEmEm	9.40	0.33	0	0
161	ebp:1	haoyu	9.42	0.04	0	0
162	Andrew Werner:0	Aaron Doll	10.96	0.33	0	0
163	DinnerPartyPlannerBM:0	Aristotle	11.41	0.11	0	0
164	Ben Chen:1	spl	11.55	0.20	0	0
165	John Whelchel:1	haoyu	11.64	0.11	0	0
166	nupog:1	Aristotle	12.17	0.12	0	0
167	BH:1	haoyu	12.18	0.05	0	0
168	nupog:0	Aristotle	12.32	0.13	0	0
169	burrito:1	haoyu	12.85	0.10	0	0
170	BH:0	haoyu	13.80	0.07	0	0
171	Andys:0	Aristotle	14.04	0.12	0	0
172	DeeEmEm:0	CAPS LOCK	14.99	13.00	1	1
173	0108:0	jgs	14.99	14.98	1	1
174	T. Capote:0	haoyu	14.99	0.00	2	2
175	T. Capote:1	haoyu	14.99	0.00	2	2
176	SuperFan:0	jgs	14.99	14.98	4	4
177	SuperFan:1	jgs	14.99	14.98	4	4
178	Mark S. Fillmore:1	Supahaka	14.99	0.04	79	79
179	Mark S. Fillmore:0	Supahaka	14.99	0.01	116	116
180	Walter Little:1	haoyu	14.99	0.03	1	0
181	Mr. Blobby:1	dusty	14.99	0.12	1	0
182	EC:0	haoyu	14.99	0.03	2	0
183	Qinlan Shen:1	R. A. B.	14.99	9.00	3	1
184	AFC:1	Aristotle	14.99	0.16	3	0
185	Absurdity:0	Aristotle	14.99	0.23	3	0
186	AFC:0	CookieMonster	14.99	0.34	3	0
187	Jessie Chen:0	Joel Faron	14.99	0.13	4	1
188	NA:1	Elphaba	14.99	0.04	4	0
189	Jessie Chen:1	Joel Faron	14.99	0.12	4	1
190	Andrew Grasso:1	Shaheed Chagani	14.99	0.15	4	0
191	CookieMonster:0	CookieMonster	15.00	0.82	4	0
192	Andrew Grasso:0	Aaron Doll	14.99	0.18	4	0
193	spl:0	Elphaba	14.99	0.09	5	0
194	NA:0	haoyu	14.99	0.03	5	0
195	spl:1	haoyu	14.99	0.06	5	0
196	Dusty:1	Shaheed Chagani	14.99	0.22	6	0
197	Charliezsc:0	jgs	14.99	14.98	6	1
198	Quite Satisfied:1	Joel Faron	14.99	2.11	6	1
199	Absurdity:1	Aristotle	14.99	0.18	6	0
200	CookieMonster:1	CookieMonster	14.99	1.10	6	0
201	Dusty:0	CookieMonster	14.99	1.39	8	0
202	snowflakes:1	haoyu	14.99	0.03	8	0
203	Yacob Y.:1	Aristotle	15.00	15.00	8	1
204	snowflakes:0	haoyu	14.99	0.03	11	0
205	Shaheed Chagani:1	Aristotle	14.99	0.11	31	0
206	Supahaka:0	Andrew Werner	14.99	15.00	36	35
207	Supahaka:1	Joel Faron	14.99	15.00	37	35
208	Shaheed Chagani:0	Aristotle	15.00	0.17	844	0
209	Elphaba:0	Aristotle	15.00	0.24	12547	0
210	Nihar the Great:0	Aristotle	14.99	0.23	18689	0
211	Nihar the Great:1	Aristotle	15.00	0.25	19128	0
212	Andrew Werner:1	haoyu	15.00	0.11	3	0
213	Elphaba:1	Aristotle	15.00	0.22	16315	0
214	13a:1	Aaron Doll	15.01	15.00	54580	29
215	Aaron Doll:0	Aristotle	15.02	0.56	236853	0
216	Aaron Doll:1	Aristotle	15.03	1.27	284911	0
217	Bar Shabtai:0	Aaron Doll	15.03	15.01	295486	1
218	13a:0	Aaron Doll	15.03	15.00	81291	21
219	Matt Goldsmith:0	Nihar the Great	15.03	0.03	514285	0
220	CAPS LOCK:1	Aristotle	15.05	0.25	30	0
221	jgs:0	Aristotle	15.05	0.12	12	0
222	Matt Goldsmith:1	Happy	15.05	0.03	511592	0
223	Deric Cheng:0	jgs	15.09	14.99	7	1
224	Deric Cheng:1	jgs	15.10	14.98	7	1
225	Aristotle:0	Aristotle	15.13	15.00	748428	1
226	Aristotle:1	Aristotle	15.17	9.69	709398	0
227	jgs:1	haoyu	15.23	0.18	13	0
228	Bar Shabtai:1	haoyu	15.34	0.12	1	0

SatSolvers Ranklist

Generators Ranklist