Stats for satsolver: cat

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 cat 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 cat 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:	cat
Rank:	87 / 118
Average Score:	14.07
Median Score:	15.00
Description:	Implements WalkSat. Does some initial pre-processing to make it more efficient. Uses a counter to determine which variable to flip and randomly uses the counter or flips a variable at random (w/ probability .8).

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	Bebe Shi:1	KingBach	0.00	0.00	0	0
3	bigwig:0	Andrew Werner	0.00	0.00	0	0
4	David Paulk:0	cat	0.00	0.00	0	0
5	Happy:1	KingBach	0.00	0.00	0	0
6	Miranda:1	cat	0.00	0.00	0	0
7	bigwig:1	KingBach	0.00	0.00	0	0
8	Ravi Tandon:1	KingBach	0.00	0.00	0	0
9	Miranda:0	cat	0.00	0.00	0	0
10	R. A. B.:1	cat	0.00	0.00	0	0
11	Bebe Shi:0	KingBach	0.00	0.00	0	0
12	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
13	cmF5a3ly:1	Nihar the Great	0.01	0.00	0	0
14	cmF5a3ly:0	Nihar the Great	0.01	0.00	0	0
15	George Okeowo:1	Andrew Grasso	0.01	0.01	0	0
16	K.L.:1	KingBach	0.01	0.00	0	0
17	George Okeowo:0	Andrew Grasso	0.01	0.01	0	0
18	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
19	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.03	0.01	0	0
20	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.03	0.01	0	0
21	Gewang:0	Jonathan Kwok	0.04	0.00	0	0
22	Linda:0	Andrew Grasso	0.04	0.01	0	0
23	Linda:1	Andrew Grasso	0.06	0.02	0	0
24	Qinlan Shen:0	Bar Shabtai	0.07	0.01	0	0
25	BMJ:0	Elphaba	0.07	0.00	0	0
26	BMJ:1	burrito	0.08	0.00	0	0
27	K.L.:0	haoyu	0.10	0.00	0	0
28	Boomshanka:0	haoyu	0.10	0.01	0	0
29	Mike Honcho:1	Jessie Chen	0.11	0.01	0	0
30	Mike Honcho:0	Miranda	0.12	0.01	0	0
31	Bob Dondero:0	Andrew Grasso	0.12	0.02	0	0
32	Bob Dondero:1	Mickey Mouse	0.13	0.03	0	0
33	Tom T:1	Andrew Werner	0.13	0.02	0	0
34	Solving For Clauses:0	Glenn Fisher	0.28	0.00	0	0
35	Tom T:0	EC	0.34	0.02	0	0
36	bfang:0	haoyu	0.34	0.04	0	0
37	Daffy Duck:1	haoyu	0.35	0.00	0	0
38	bchouGenerator:0	haoyu	0.50	0.00	0	0
39	Daffy Duck:0	Andrew Werner	0.97	0.00	0	0
40	Quite Satisfied:0	haoyu	1.38	0.00	0	0
41	bfang:1	haoyu	1.38	0.04	0	0
42	Dr Roberto:1	Andrew Grasso	1.40	0.02	0	0
43	Scheduling Generator 203:0	jgs	1.52	0.01	0	0
44	Jonathan Kwok:0	Elphaba	1.88	0.00	0	0
45	Jonathan Kwok:1	KingBach	1.92	0.00	0	0
46	Solving For Clauses:1	haoyu	2.33	0.00	0	0
47	Scheduling Generator 203:1	Jameh	3.66	0.02	0	0
48	Lil Thug:1	Andrew Grasso	3.94	0.03	0	0
49	Lil Thug:0	Andrew Grasso	4.36	0.03	0	0
50	Mickey Mouse:1	haoyu	5.17	0.01	0	0
51	Aaron H:0	Aristotle	6.18	0.11	0	0
52	Aaron H:1	Aristotle	6.79	0.11	0	0
53	cat:1	haoyu	7.09	0.03	0	0
54	cat:0	haoyu	8.27	0.03	0	0
55	Dr Roberto:0	Andrew Grasso	12.45	0.03	0	0
56	Happy:0	haoyu	12.75	0.00	0	0
57	Mark S. Fillmore:1	Supahaka	14.99	0.04	79	79
58	Mark S. Fillmore:0	Supahaka	14.99	0.01	116	116
59	DinnerPartyPlannerBM:0	Aristotle	14.99	0.11	2	0
60	DinnerPartyPlannerBM:1	Nihar the Great	15.00	0.06	3	0
61	T. Capote:0	haoyu	14.99	0.00	3	2
62	T. Capote:1	haoyu	14.99	0.00	3	2
63	Qinlan Shen:1	R. A. B.	14.99	9.00	4	1
64	Batman:1	haoyu	15.00	0.04	7	0
65	Jordan Ash:1	Bar Shabtai	14.99	0.01	8	0
66	Brendan Wright:1	Deric Cheng	15.00	0.10	8	0
67	Jordan Ash:0	EC	14.99	0.03	8	0
68	CookieMonster:1	CookieMonster	14.99	1.10	8	0
69	Batman:0	haoyu	15.00	0.04	8	0
70	weezy:1	Bar Shabtai	14.99	0.01	9	0
71	Boomshanka:1	Bar Shabtai	14.99	0.01	11	0
72	weezy:0	Bar Shabtai	14.99	0.01	12	0
73	Joshua Zimmer:1	haoyu	14.99	0.00	13	0
74	Tree Prophet:0	haoyu	14.99	0.00	14	0
75	The Whitman Whale:0	bigwig	14.99	0.04	14	0
76	Tree Prophet:1	haoyu	14.99	0.00	14	0
77	Sprt:1	haoyu	14.99	0.05	15	0
78	The Whitman Whale:1	Andrew Grasso	14.99	0.03	15	0
79	The Kraken:0	haoyu	14.99	0.00	16	0
80	The Kraken:1	haoyu	14.99	0.00	17	0
81	Ytterbium:1	Nihar the Great	14.99	0.02	17	0
82	Ytterbium:0	Andrew Grasso	14.99	0.02	17	0
83	Joshua Zimmer:0	haoyu	14.99	0.00	17	0
84	CookieMonster:0	CookieMonster	14.99	0.82	18	0
85	Sunny:1	jabreezy	14.99	0.01	18	0
86	Andys:0	Aristotle	15.00	0.12	22	0
87	Andys:1	Aristotle	15.00	0.13	22	0
88	Quite Satisfied:1	Joel Faron	14.99	2.11	23	1
89	vluu:0	Nihar the Great	14.99	0.01	24	0
90	vluu:1	Nihar the Great	14.99	0.02	24	0
91	Blam:0	Elphaba	14.99	0.00	24	0
92	John Whelchel:1	haoyu	15.00	0.11	25	0
93	Sunny:0	Green "The Bean" Choi	14.99	0.02	26	0
94	Blam:1	Elphaba	14.99	0.00	27	0
95	Khoa:0	haoyu	14.99	0.09	28	0
96	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	14.99	0.00	30	0
97	haoyu:1	Anon5	14.99	0.01	33	0
98	Glenn Fisher:0	Elphaba	14.99	0.02	34	0
99	Elphaba:1	Aristotle	15.00	0.22	35	0
100	Deric Cheng:0	jgs	15.00	14.99	35	1
101	Keji Xu:1	Nihar the Great	14.99	0.04	40	0
102	Jameh:0	haoyu	14.99	0.01	41	0
103	Andrew Werner:1	haoyu	14.99	0.11	48	0
104	Glenn Fisher:1	jabreezy	14.99	0.09	49	0
105	Jessie Chen:0	Joel Faron	14.99	0.13	50	1
106	Shaheed Chagani:0	Aristotle	15.00	0.17	51	0
107	Ben Chen:0	Elphaba	14.99	0.07	51	0
108	Yan Wu:1	haoyu	14.99	0.04	51	0
109	Yan Wu:0	haoyu	14.99	0.05	52	0
110	Mr. Blobby:1	dusty	14.99	0.12	52	0
111	haoyu:0	KingBach	14.99	0.01	53	0
112	Walter Little:0	haoyu	14.99	0.04	54	0
113	Ben Chen:1	spl	14.99	0.20	54	0
114	Janie Gu:0	Glenn Fisher	14.99	0.07	56	0
115	Walter Little:1	haoyu	15.00	0.03	57	0
116	Shaheed Chagani:1	Aristotle	15.00	0.11	58	0
117	jabreezy:0	Mercury	14.99	0.09	60	0
118	Mr. Blobby:0	Green "The Bean" Choi	14.99	0.14	61	0
119	jabreezy:1	Mercury	14.99	0.10	62	0
120	Aaron Doll:0	Aristotle	14.99	0.56	66	0
121	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	14.99	0.01	67	0
122	Janie Gu:1	Jonathan Kwok	14.99	0.07	73	0
123	Jameh:1	haoyu	14.99	0.01	83	0
124	Keji Xu:0	Nihar the Great	14.99	0.03	113	0
125	R. A. B.:0	Nihar the Great	14.99	0.00	118	0
126	Jessie Chen:1	Joel Faron	14.99	0.12	122	1
127	Supahaka:0	Andrew Werner	14.99	15.00	129	35
128	bchouGenerator:1	Jonathan Kwok	14.99	0.01	140	0
129	Supahaka:1	Joel Faron	14.99	15.00	141	35
130	SuperFan:0	jgs	14.99	14.98	145	4
131	DeeEmEm:0	CAPS LOCK	14.99	13.00	211	1
132	Anon_K_P:0	haoyu	14.99	0.02	217	0
133	Anon5:0	haoyu	14.99	0.05	231	0
134	DeeEmEm:1	haoyu	14.99	0.02	237	0
135	13a:0	Aaron Doll	15.00	15.00	272	21
136	SuperFan:1	jgs	14.99	14.98	276	4
137	David H.:0	AFC	14.99	0.28	281	0
138	Nikhilesh Sigatapu:1	haoyu	14.99	0.04	291	0
139	Nikhilesh Sigatapu:0	haoyu	14.99	0.03	306	0
140	0108:1	haoyu	14.99	0.01	338	0
141	Anon_K_P:1	Aristotle	14.99	0.03	353	0
142	David H.:1	DeeEmEm	14.99	0.33	396	0
143	soccer:0	haoyu	14.99	0.04	433	0
144	Anon5:1	Green "The Bean" Choi	14.99	0.07	548	0
145	Dusty:1	Shaheed Chagani	14.99	0.22	552	0
146	Dusty:0	CookieMonster	14.99	1.39	563	0
147	Nihar the Great:0	Aristotle	15.00	0.23	661	0
148	Yacob Y.:0	haoyu	14.99	0.06	677	0
149	0108:0	jgs	14.99	14.98	709	1
150	Andrew Grasso:0	Aaron Doll	14.99	0.18	717	0
151	Andrew Grasso:1	Shaheed Chagani	14.99	0.15	726	0
152	Tiny Wings:0	haoyu	14.99	0.02	819	0
153	Valya Barboy:0	Aristotle	14.99	0.06	830	0
154	David Lackey:1	Bar Shabtai	14.99	0.03	831	0
155	David Lackey:0	Anon5	14.99	0.03	874	0
156	Mickey Mouse:0	Bar Shabtai	14.99	0.01	953	0
157	jgs:0	Aristotle	15.00	0.12	966	0
158	Mercury:0	haoyu	14.99	0.05	969	0
159	spl:0	Elphaba	14.99	0.09	1001	0
160	Alex Fish:1	haoyu	14.99	0.02	1018	0
161	Tiny Wings:1	haoyu	14.99	0.01	1054	0
162	Valya Barboy:1	Shaheed Chagani	14.99	0.18	1069	0
163	spl:1	haoyu	14.99	0.06	1089	0
164	kt4124:0	haoyu	14.99	0.03	1095	0
165	kt4124:1	haoyu	14.99	0.04	1223	0
166	Mercury:1	haoyu	14.99	0.05	1267	0
167	Matt Haake:1	haoyu	14.99	0.05	1510	0
168	Khoa:1	Aristotle	14.99	0.09	1655	0
169	Alex Fish:0	haoyu	14.99	0.01	1742	0
170	Matt Haake:0	haoyu	14.99	0.05	1753	0
171	nupog:1	Aristotle	14.99	0.12	1758	0
172	nupog:0	Aristotle	15.00	0.13	1762	0
173	NA:0	haoyu	14.99	0.03	1769	0
174	Fanny:1	Aristotle	14.99	0.12	1803	0
175	NA:1	Elphaba	14.99	0.04	1855	0
176	Tao:1	Aristotle	14.99	0.07	1909	0
177	soccer:1	haoyu	14.99	0.04	2092	0
178	Tao:0	Bar Shabtai	14.99	0.02	2230	0
179	Fanny:0	Aristotle	14.99	0.10	2467	0
180	snowflakes:1	haoyu	14.99	0.03	2540	0
181	Matt Goldsmith:1	Happy	15.00	0.03	2564	0
182	Yacob Y.:1	Aristotle	15.00	15.00	2758	1
183	snowflakes:0	haoyu	14.99	0.03	2795	0
184	Sally Smith:1	haoyu	15.00	0.04	3149	0
185	Samuel Jerome:0	haoyu	14.99	0.03	3427	0
186	Sally Smith:0	haoyu	15.00	0.04	3513	0
187	Samuel Jerome:1	haoyu	14.99	0.03	3805	0
188	burrito:1	haoyu	15.00	0.10	3920	0
189	Andrew Werner:0	Aaron Doll	15.00	0.33	3964	0
190	Lisa Kim:1	Bar Shabtai	14.99	0.06	3968	0
191	Lisa Kim:0	Aristotle	14.99	0.07	4113	0
192	EC:1	haoyu	14.99	0.03	4191	0
193	EC:0	haoyu	14.99	0.03	4274	0
194	ebp:1	haoyu	15.00	0.04	4519	0
195	ebp:0	haoyu	15.00	0.04	5332	0
196	KingBach:1	haoyu	15.00	0.04	5738	0
197	Mike Hunt:1	Aristotle	14.99	0.29	7030	0
198	Mike Hunt:0	Aristotle	15.00	0.27	7253	0
199	burrito:0	haoyu	15.00	0.09	8090	0
200	Absurdity:0	Aristotle	15.00	0.23	8102	0
201	KingBach:0	haoyu	14.99	0.06	8297	0
202	dfshasdsf12:1	Nihar the Great	15.00	0.11	9244	0
203	Sabar Dasgupta:1	Aaron Doll	14.99	0.17	9825	0
204	Sabar Dasgupta:0	spl	15.00	0.23	10039	0
205	Charliezsc:0	jgs	15.00	14.98	10287	1
206	Charliezsc:1	haoyu	14.99	0.07	11753	0
207	Brendan Wright:0	haoyu	15.00	0.10	4	0
208	Sprt:0	Aristotle	15.00	0.11	42	0
209	dfshasdsf12:0	haoyu	15.00	0.09	44	0
210	Absurdity:1	Aristotle	15.00	0.18	7808	0
211	CAPS LOCK:0	Aristotle	15.00	0.20	2	0
212	Deric Cheng:1	jgs	15.00	14.98	29	1
213	John Whelchel:0	haoyu	15.00	0.06	25	0
214	Aaron Doll:1	Aristotle	15.00	1.27	142	0
215	Bar Shabtai:1	haoyu	15.00	0.12	19	0
216	Elphaba:0	Aristotle	15.01	0.24	26	0
217	Bar Shabtai:0	Aaron Doll	15.01	15.01	53	1
218	CAPS LOCK:1	Aristotle	15.01	0.25	251	0
219	jgs:1	haoyu	15.01	0.18	555	0
220	13a:1	Aaron Doll	15.02	15.00	299	29
221	Matt Goldsmith:0	Nihar the Great	15.03	0.03	3160	0
222	Aristotle:1	Aristotle	15.06	9.69	85	0
223	Aristotle:0	Aristotle	15.11	15.00	86	1
224	AFC:0	CookieMonster	16.54	0.34	1300	0
225	AFC:1	Aristotle	-	0.16	-	0
226	BH:0	haoyu	-	0.07	-	0
227	BH:1	haoyu	-	0.05	-	0
228	Nihar the Great:1	Aristotle	-	0.25	-	0

SatSolvers Ranklist

Generators Ranklist