Stats for satsolver: Tao

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 Tao 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 Tao 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:	Tao
Rank:	7 / 118
Average Score:	4.16
Median Score:	0.43
Description:	I implement the WalkSAT algorithm. To speed up the searching of symbol-clause pair, for each symbol, I implement the HastSet to store the indices of clauses where it appears.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	Bebe Shi:1	KingBach	0.00	0.00	0	0
3	Ravi Tandon:0	KingBach	0.00	0.00	0	0
4	K.L.:1	KingBach	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
7	BMJ:1	burrito	0.00	0.00	0	0
8	bigwig:1	KingBach	0.00	0.00	0	0
9	Happy:1	KingBach	0.01	0.00	0	0
10	Miranda:1	cat	0.01	0.00	0	0
11	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
12	Miranda:0	cat	0.01	0.00	0	0
13	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
14	R. A. B.:1	cat	0.01	0.00	0	0
15	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
16	BMJ:0	Elphaba	0.01	0.00	0	0
17	Bebe Shi:0	KingBach	0.01	0.00	0	0
18	Happy:0	haoyu	0.01	0.00	0	0
19	Tree Prophet:0	haoyu	0.01	0.00	0	0
20	Blam:1	Elphaba	0.02	0.00	0	0
21	David Paulk:0	cat	0.02	0.00	0	0
22	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
23	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
24	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
25	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
26	Quite Satisfied:0	haoyu	0.03	0.00	0	0
27	bchouGenerator:0	haoyu	0.03	0.00	0	0
28	Gewang:1	Jonathan Kwok	0.03	0.00	0	0
29	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
30	haoyu:1	Anon5	0.03	0.01	0	0
31	Solving For Clauses:1	haoyu	0.03	0.00	0	0
32	haoyu:0	KingBach	0.03	0.01	0	0
33	The Kraken:1	haoyu	0.03	0.00	0	0
34	K.L.:0	haoyu	0.04	0.00	0	0
35	The Kraken:0	haoyu	0.04	0.00	0	0
36	Tree Prophet:1	haoyu	0.04	0.00	0	0
37	Daffy Duck:1	haoyu	0.05	0.00	0	0
38	Jordan Ash:1	Bar Shabtai	0.05	0.01	0	0
39	Mickey Mouse:1	haoyu	0.06	0.01	0	0
40	Jordan Ash:0	EC	0.06	0.03	0	0
41	cmF5a3ly:0	Nihar the Great	0.06	0.00	0	0
42	cmF5a3ly:1	Nihar the Great	0.06	0.00	0	0
43	0108:1	haoyu	0.06	0.01	0	0
44	Jonathan Kwok:0	Elphaba	0.07	0.00	0	0
45	Blam:0	Elphaba	0.07	0.00	0	0
46	weezy:0	Bar Shabtai	0.08	0.01	0	0
47	Mickey Mouse:0	Bar Shabtai	0.08	0.01	0	0
48	Scheduling Generator 203:0	jgs	0.08	0.01	0	0
49	Jameh:0	haoyu	0.08	0.01	0	0
50	Qinlan Shen:0	Bar Shabtai	0.09	0.01	0	0
51	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.09	0.01	0	0
52	Tiny Wings:0	haoyu	0.10	0.02	0	0
53	weezy:1	Bar Shabtai	0.11	0.01	0	0
54	vluu:0	Nihar the Great	0.11	0.01	0	0
55	Boomshanka:0	haoyu	0.12	0.01	0	0
56	vluu:1	Nihar the Great	0.12	0.02	0	0
57	Tiny Wings:1	haoyu	0.12	0.01	0	0
58	cat:1	haoyu	0.12	0.03	0	0
59	Nikhilesh Sigatapu:0	haoyu	0.12	0.03	0	0
60	David Lackey:0	Anon5	0.12	0.03	0	0
61	Tom T:1	Andrew Werner	0.12	0.02	0	0
62	Tao:1	Aristotle	0.12	0.07	0	0
63	Tao:0	Bar Shabtai	0.12	0.02	0	0
64	Ytterbium:0	Andrew Grasso	0.13	0.02	0	0
65	David Lackey:1	Bar Shabtai	0.13	0.03	0	0
66	Jameh:1	haoyu	0.13	0.01	0	0
67	The Whitman Whale:0	bigwig	0.14	0.04	0	0
68	cat:0	haoyu	0.14	0.03	0	0
69	Alex Fish:1	haoyu	0.14	0.02	0	0
70	Scheduling Generator 203:1	Jameh	0.14	0.02	0	0
71	Boomshanka:1	Bar Shabtai	0.15	0.01	0	0
72	Tom T:0	EC	0.15	0.02	0	0
73	Lisa Kim:1	Bar Shabtai	0.15	0.06	0	0
74	Alex Fish:0	haoyu	0.16	0.01	0	0
75	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.16	0.00	0	0
76	Keji Xu:1	Nihar the Great	0.17	0.04	0	0
77	Ytterbium:1	Nihar the Great	0.17	0.02	0	0
78	Dr Roberto:1	Andrew Grasso	0.17	0.02	0	0
79	Keji Xu:0	Nihar the Great	0.17	0.03	0	0
80	The Whitman Whale:1	Andrew Grasso	0.18	0.03	0	0
81	Glenn Fisher:0	Elphaba	0.18	0.02	0	0
82	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.18	0.01	0	0
83	Anon_K_P:0	haoyu	0.19	0.02	0	0
84	Lisa Kim:0	Aristotle	0.19	0.07	0	0
85	Nikhilesh Sigatapu:1	haoyu	0.19	0.04	0	0
86	Samuel Jerome:0	haoyu	0.22	0.03	0	0
87	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.22	0.01	0	0
88	George Okeowo:1	Andrew Grasso	0.22	0.01	0	0
89	Janie Gu:1	Jonathan Kwok	0.23	0.07	0	0
90	Mercury:1	haoyu	0.24	0.05	0	0
91	Sally Smith:0	haoyu	0.24	0.04	0	0
92	George Okeowo:0	Andrew Grasso	0.24	0.01	0	0
93	bfang:0	haoyu	0.26	0.04	0	0
94	bfang:1	haoyu	0.26	0.04	0	0
95	Sally Smith:1	haoyu	0.27	0.04	0	0
96	Yan Wu:0	haoyu	0.27	0.05	0	0
97	Andrew Grasso:0	Aaron Doll	0.28	0.18	0	0
98	Mercury:0	haoyu	0.29	0.05	0	0
99	Anon_K_P:1	Aristotle	0.30	0.03	0	0
100	Janie Gu:0	Glenn Fisher	0.30	0.07	0	0
101	Samuel Jerome:1	haoyu	0.32	0.03	0	0
102	Matt Haake:0	haoyu	0.33	0.05	0	0
103	DeeEmEm:1	haoyu	0.34	0.02	0	0
104	David H.:0	AFC	0.34	0.28	0	0
105	Batman:1	haoyu	0.34	0.04	0	0
106	kt4124:1	haoyu	0.36	0.04	0	0
107	kt4124:0	haoyu	0.37	0.03	0	0
108	KingBach:1	haoyu	0.38	0.04	0	0
109	Valya Barboy:0	Aristotle	0.39	0.06	0	0
110	Sunny:0	Green "The Bean" Choi	0.40	0.02	0	0
111	Yacob Y.:0	haoyu	0.41	0.06	0	0
112	Linda:0	Andrew Grasso	0.41	0.01	0	0
113	AFC:1	Aristotle	0.42	0.16	0	0
114	Dr Roberto:0	Andrew Grasso	0.43	0.03	0	0
115	Khoa:1	Aristotle	0.45	0.09	0	0
116	Matt Haake:1	haoyu	0.47	0.05	0	0
117	Batman:0	haoyu	0.47	0.04	0	0
118	KingBach:0	haoyu	0.48	0.06	0	0
119	Yan Wu:1	haoyu	0.49	0.04	0	0
120	Khoa:0	haoyu	0.56	0.09	0	0
121	Sprt:1	haoyu	0.63	0.05	0	0
122	Linda:1	Andrew Grasso	0.64	0.02	0	0
123	soccer:1	haoyu	0.67	0.04	0	0
124	Sunny:1	jabreezy	0.68	0.01	0	0
125	Anon5:1	Green "The Bean" Choi	0.71	0.07	0	0
126	Bob Dondero:1	Mickey Mouse	0.72	0.03	0	0
127	Brendan Wright:0	haoyu	0.72	0.10	0	0
128	Ben Chen:1	spl	0.81	0.20	0	0
129	EC:1	haoyu	0.86	0.03	0	0
130	Bob Dondero:0	Andrew Grasso	0.88	0.02	0	0
131	David H.:1	DeeEmEm	0.94	0.33	0	0
132	soccer:0	haoyu	0.94	0.04	0	0
133	burrito:0	haoyu	0.95	0.09	0	0
134	Mike Honcho:0	Miranda	1.02	0.01	0	0
135	Mike Honcho:1	Jessie Chen	1.08	0.01	0	0
136	DinnerPartyPlannerBM:1	Nihar the Great	1.10	0.06	0	0
137	Sabar Dasgupta:1	Aaron Doll	1.16	0.17	0	0
138	Anon5:0	haoyu	1.27	0.05	0	0
139	Glenn Fisher:1	jabreezy	1.48	0.09	0	0
140	dfshasdsf12:0	haoyu	1.58	0.09	0	0
141	Charliezsc:1	haoyu	1.79	0.07	0	0
142	Fanny:0	Aristotle	2.14	0.10	0	0
143	Sabar Dasgupta:0	spl	2.16	0.23	0	0
144	BH:1	haoyu	2.34	0.05	0	0
145	Mike Hunt:0	Aristotle	2.40	0.27	0	0
146	Sprt:0	Aristotle	2.47	0.11	0	0
147	BH:0	haoyu	2.64	0.07	0	0
148	Mike Hunt:1	Aristotle	3.10	0.29	0	0
149	Absurdity:0	Aristotle	3.28	0.23	0	0
150	Lil Thug:0	Andrew Grasso	3.36	0.03	0	0
151	Aaron H:0	Aristotle	3.46	0.11	0	0
152	Lil Thug:1	Andrew Grasso	3.51	0.03	0	0
153	Aaron H:1	Aristotle	3.53	0.11	0	0
154	burrito:1	haoyu	3.73	0.10	0	0
155	dfshasdsf12:1	Nihar the Great	3.74	0.11	0	0
156	EC:0	haoyu	3.75	0.03	0	0
157	Absurdity:1	Aristotle	3.78	0.18	0	0
158	Valya Barboy:1	Shaheed Chagani	3.87	0.18	0	0
159	Mr. Blobby:0	Green "The Bean" Choi	4.09	0.14	0	0
160	NA:1	Elphaba	4.26	0.04	0	0
161	Dusty:1	Shaheed Chagani	4.27	0.22	0	0
162	CAPS LOCK:0	Aristotle	4.48	0.20	0	0
163	John Whelchel:0	haoyu	4.50	0.06	0	0
164	DinnerPartyPlannerBM:0	Aristotle	4.65	0.11	0	0
165	nupog:0	Aristotle	5.11	0.13	0	0
166	jabreezy:0	Mercury	5.22	0.09	0	0
167	Andrew Werner:1	haoyu	5.47	0.11	0	0
168	nupog:1	Aristotle	5.51	0.12	0	0
169	jgs:1	haoyu	5.96	0.18	0	0
170	jabreezy:1	Mercury	6.15	0.10	0	0
171	John Whelchel:1	haoyu	6.27	0.11	0	0
172	Bar Shabtai:1	haoyu	6.47	0.12	0	0
173	jgs:0	Aristotle	7.00	0.12	0	0
174	Andrew Werner:0	Aaron Doll	8.05	0.33	0	0
175	CAPS LOCK:1	Aristotle	8.52	0.25	0	0
176	ebp:0	haoyu	8.55	0.04	0	0
177	Andys:0	Aristotle	8.80	0.12	0	0
178	ebp:1	haoyu	8.82	0.04	0	0
179	Fanny:1	Aristotle	9.04	0.12	0	0
180	AFC:0	CookieMonster	11.00	0.34	0	0
181	Elphaba:0	Aristotle	11.96	0.24	0	0
182	Elphaba:1	Aristotle	12.64	0.22	0	0
183	Mr. Blobby:1	dusty	14.69	0.12	0	0
184	Brendan Wright:1	Deric Cheng	14.93	0.10	0	0
185	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
186	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
187	Charliezsc:0	jgs	15.00	14.98	1	1
188	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
189	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
190	Deric Cheng:1	jgs	15.00	14.98	1	1
191	Deric Cheng:0	jgs	15.00	14.99	1	1
192	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
193	0108:0	jgs	15.00	14.98	1	1
194	T. Capote:0	haoyu	15.00	0.00	2	2
195	T. Capote:1	haoyu	15.00	0.00	2	2
196	SuperFan:0	jgs	15.00	14.98	4	4
197	SuperFan:1	jgs	15.00	14.98	4	4
198	Supahaka:1	Joel Faron	15.00	15.00	35	35
199	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
200	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
201	Dusty:0	CookieMonster	15.00	1.39	1	0
202	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1	0
203	CookieMonster:0	CookieMonster	15.00	0.82	1	0
204	NA:0	haoyu	15.00	0.03	1	0
205	CookieMonster:1	CookieMonster	15.00	1.10	1	0
206	Walter Little:0	haoyu	15.00	0.04	2	0
207	snowflakes:0	haoyu	15.00	0.03	2	0
208	Ben Chen:0	Elphaba	15.00	0.07	2	0
209	spl:0	Elphaba	15.00	0.09	2	0
210	Walter Little:1	haoyu	15.00	0.03	2	0
211	snowflakes:1	haoyu	15.00	0.03	2	0
212	Yacob Y.:1	Aristotle	15.00	15.00	2	1
213	spl:1	haoyu	15.00	0.06	3	0
214	Shaheed Chagani:0	Aristotle	15.00	0.17	4	0
215	Shaheed Chagani:1	Aristotle	15.00	0.11	4	0
216	Andys:1	Aristotle	15.00	0.13	5	0
217	Supahaka:0	Andrew Werner	15.00	15.00	37	35
218	Nihar the Great:1	Aristotle	15.00	0.25	13946	0
219	Aaron Doll:1	Aristotle	15.00	1.27	287891	0
220	13a:1	Aaron Doll	15.00	15.00	2523	29
221	13a:0	Aaron Doll	15.00	15.00	21247	21
222	Nihar the Great:0	Aristotle	15.01	0.23	13151	0
223	Matt Goldsmith:1	Happy	15.01	0.03	495078	0
224	Bar Shabtai:0	Aaron Doll	15.02	15.01	269981	1
225	Aaron Doll:0	Aristotle	15.03	0.56	213692	0
226	Aristotle:0	Aristotle	15.03	15.00	737565	1
227	Matt Goldsmith:0	Nihar the Great	15.03	0.03	497335	0
228	Aristotle:1	Aristotle	15.06	9.69	743675	0

SatSolvers Ranklist

Generators Ranklist