Stats for satsolver: TSATTER

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 TSATTER 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 TSATTER 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:	TSATTER
Rank:	103 / 118
Average Score:	21.52
Median Score:	15.03
Description:	This algorithm implements...

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Mike Honcho:0	Miranda	0.01	0.01	0	0
2	Ravi Tandon:0	KingBach	0.02	0.00	0	0
3	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
4	bigwig:1	KingBach	0.05	0.00	0	0
5	bigwig:0	Andrew Werner	0.14	0.00	0	0
6	Ravi Tandon:1	KingBach	0.21	0.00	0	0
7	BMJ:1	burrito	15.00	0.00	23	0
8	K.L.:1	KingBach	15.00	0.00	31	0
9	Happy:1	KingBach	15.00	0.00	31	0
10	BMJ:0	Elphaba	15.00	0.00	33	0
11	K.L.:0	haoyu	15.00	0.00	33	0
12	Solving For Clauses:1	haoyu	15.00	0.00	39	0
13	T. Capote:0	haoyu	15.00	0.00	41	2
14	T. Capote:1	haoyu	15.00	0.00	42	2
15	Jonathan Kwok:1	KingBach	15.00	0.00	44	0
16	Bebe Shi:0	KingBach	15.00	0.00	44	0
17	Solving For Clauses:0	Glenn Fisher	15.00	0.00	45	0
18	Bebe Shi:1	KingBach	15.00	0.00	45	0
19	R. A. B.:1	cat	15.00	0.00	47	0
20	Happy:0	haoyu	15.00	0.00	51	0
21	Joshua Zimmer:1	haoyu	15.00	0.00	54	0
22	Joshua Zimmer:0	haoyu	15.00	0.00	55	0
23	Daffy Duck:1	haoyu	15.00	0.00	61	0
24	Blam:1	Elphaba	15.00	0.00	63	0
25	Jonathan Kwok:0	Elphaba	15.00	0.00	63	0
26	Tree Prophet:0	haoyu	15.00	0.00	82	0
27	Blam:0	Elphaba	15.00	0.00	84	0
28	haoyu:0	KingBach	15.00	0.01	95	0
29	haoyu:1	Anon5	15.00	0.01	98	0
30	Tree Prophet:1	haoyu	15.00	0.00	100	0
31	Daffy Duck:0	Andrew Werner	15.00	0.00	107	0
32	Miranda:1	cat	15.00	0.00	109	0
33	Miranda:0	cat	15.00	0.00	117	0
34	Jessie Chen:1	Joel Faron	15.00	0.12	124	1
35	Sunny:1	jabreezy	15.00	0.01	126	0
36	cmF5a3ly:1	Nihar the Great	15.00	0.00	135	0
37	Jessie Chen:0	Joel Faron	15.00	0.13	138	1
38	The Kraken:0	haoyu	15.00	0.00	153	0
39	bchouGenerator:1	Jonathan Kwok	15.00	0.01	192	0
40	SuperFan:1	jgs	15.00	14.98	203	4
41	Supahaka:1	Joel Faron	15.00	15.00	229	35
42	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	271	0
43	Quite Satisfied:0	haoyu	15.00	0.00	297	0
44	Jameh:0	haoyu	15.00	0.01	429	0
45	Gewang:1	Jonathan Kwok	15.00	0.00	498	0
46	0108:1	haoyu	15.00	0.01	538	0
47	Keji Xu:1	Nihar the Great	15.00	0.04	1241	0
48	Alex Fish:0	haoyu	15.00	0.01	2030	0
49	Sunny:0	Green "The Bean" Choi	15.00	0.02	140	0
50	R. A. B.:0	Nihar the Great	15.00	0.00	147	0
51	David Paulk:0	cat	15.00	0.00	184	0
52	SuperFan:0	jgs	15.00	14.98	200	4
53	The Kraken:1	haoyu	15.00	0.00	250	0
54	bchouGenerator:0	haoyu	15.00	0.00	289	0
55	Quite Satisfied:1	Joel Faron	15.00	2.11	346	1
56	Scheduling Generator 203:0	jgs	15.00	0.01	961	0
57	Janie Gu:0	Glenn Fisher	15.00	0.07	59	0
58	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	233	0
59	Jordan Ash:1	Bar Shabtai	15.00	0.01	307	0
60	Gewang:0	Jonathan Kwok	15.00	0.00	428	0
61	Samuel Jerome:0	haoyu	15.00	0.03	3659	0
62	David Paulk:1	Bar Shabtai	15.00	0.00	203	0
63	DeeEmEm:1	haoyu	15.00	0.02	428	0
64	Qinlan Shen:1	R. A. B.	15.00	9.00	449	1
65	Qinlan Shen:0	Bar Shabtai	15.00	0.01	513	0
66	Dr Roberto:0	Andrew Grasso	15.01	0.03	789	0
67	Mickey Mouse:1	haoyu	15.01	0.01	1122	0
68	weezy:1	Bar Shabtai	15.01	0.01	1389	0
69	Alex Fish:1	haoyu	15.01	0.02	1544	0
70	AFC:0	CookieMonster	15.01	0.34	5575	0
71	Walter Little:1	haoyu	15.01	0.03	5801	0
72	Valya Barboy:0	Aristotle	15.01	0.06	1092	0
73	weezy:0	Bar Shabtai	15.01	0.01	1522	0
74	kt4124:0	haoyu	15.01	0.03	1660	0
75	Yan Wu:1	haoyu	15.01	0.04	6612	0
76	DeeEmEm:0	CAPS LOCK	15.01	13.00	478	1
77	Yacob Y.:1	Aristotle	15.01	15.00	12532	1
78	Jameh:1	haoyu	15.01	0.01	743	0
79	Tiny Wings:1	haoyu	15.01	0.01	1871	0
80	Tom T:1	Andrew Werner	15.01	0.02	464	0
81	Nikhilesh Sigatapu:1	haoyu	15.01	0.04	2667	0
82	Dr Roberto:1	Andrew Grasso	15.01	0.02	685	0
83	Andrew Grasso:1	Shaheed Chagani	15.01	0.15	770	0
84	The Whitman Whale:1	Andrew Grasso	15.01	0.03	1740	0
85	Ytterbium:0	Andrew Grasso	15.01	0.02	2147	0
86	soccer:1	haoyu	15.01	0.04	7794	0
87	Jordan Ash:0	EC	15.01	0.03	842	0
88	Mickey Mouse:0	Bar Shabtai	15.01	0.01	1053	0
89	The Whitman Whale:0	bigwig	15.01	0.04	1919	0
90	0108:0	jgs	15.02	14.98	1020	1
91	David H.:0	AFC	15.02	0.28	1546	0
92	Tom T:0	EC	15.02	0.02	106	0
93	Tao:1	Aristotle	15.02	0.07	1976	0
94	Tao:0	Bar Shabtai	15.02	0.02	2156	0
95	Supahaka:0	Andrew Werner	15.02	15.00	190	35
96	Khoa:0	haoyu	15.02	0.09	8162	0
97	Boomshanka:0	haoyu	15.02	0.01	503	0
98	Ytterbium:1	Nihar the Great	15.02	0.02	5014	0
99	Fanny:0	Aristotle	15.02	0.10	1819	0
100	EC:0	haoyu	15.02	0.03	4195	0
101	David Lackey:0	Anon5	15.02	0.03	158	0
102	cmF5a3ly:0	Nihar the Great	15.02	0.00	147	0
103	David Lackey:1	Bar Shabtai	15.02	0.03	311	0
104	cat:0	haoyu	15.02	0.03	2231	0
105	spl:1	haoyu	15.02	0.06	4664	0
106	Anon5:1	Green "The Bean" Choi	15.03	0.07	1279	0
107	Keji Xu:0	Nihar the Great	15.03	0.03	1330	0
108	Scheduling Generator 203:1	Jameh	15.03	0.02	1210	0
109	David H.:1	DeeEmEm	15.03	0.33	1641	0
110	Boomshanka:1	Bar Shabtai	15.03	0.01	417	0
111	Nikhilesh Sigatapu:0	haoyu	15.03	0.03	2796	0
112	Dusty:1	Shaheed Chagani	15.03	0.22	721	0
113	Matt Haake:1	haoyu	15.03	0.05	1662	0
114	Tiny Wings:0	haoyu	15.03	0.02	1860	0
115	Dusty:0	CookieMonster	15.03	1.39	721	0
116	Valya Barboy:1	Shaheed Chagani	15.03	0.18	1107	0
117	Andrew Grasso:0	Aaron Doll	15.04	0.18	773	0
118	Anon_K_P:1	Aristotle	15.04	0.03	1521	0
119	Janie Gu:1	Jonathan Kwok	15.04	0.07	74	0
120	vluu:1	Nihar the Great	15.04	0.02	1949	0
121	Sally Smith:0	haoyu	15.04	0.04	3681	0
122	CookieMonster:0	CookieMonster	15.04	0.82	4203	0
123	kt4124:1	haoyu	15.04	0.04	1805	0
124	Fanny:1	Aristotle	15.04	0.12	2303	0
125	Anon5:0	haoyu	15.04	0.05	2254	0
126	Brendan Wright:1	Deric Cheng	15.05	0.10	105	0
127	Anon_K_P:0	haoyu	15.05	0.02	2097	0
128	vluu:0	Nihar the Great	15.06	0.01	1961	0
129	Sally Smith:1	haoyu	15.06	0.04	3518	0
130	NA:0	haoyu	15.06	0.03	1930	0
131	EC:1	haoyu	15.06	0.03	4045	0
132	cat:1	haoyu	15.07	0.03	2272	0
133	snowflakes:0	haoyu	15.08	0.03	2739	0
134	Samuel Jerome:1	haoyu	15.08	0.03	3575	0
135	Brendan Wright:0	haoyu	15.08	0.10	113	0
136	Matt Haake:0	haoyu	15.08	0.05	1751	0
137	CookieMonster:1	CookieMonster	15.08	1.10	3934	0
138	Walter Little:0	haoyu	15.09	0.04	5086	0
139	Mark S. Fillmore:1	Supahaka	15.09	0.04	777	79
140	Ben Chen:1	spl	15.10	0.20	6106	0
141	NA:1	Elphaba	15.11	0.04	1879	0
142	Linda:0	Andrew Grasso	15.12	0.01	4017	0
143	AFC:1	Aristotle	15.12	0.16	4757	0
144	Bob Dondero:1	Mickey Mouse	15.12	0.03	8008	0
145	KingBach:0	haoyu	15.12	0.06	12127	0
146	Linda:1	Andrew Grasso	15.14	0.02	6754	0
147	Yan Wu:0	haoyu	15.14	0.05	7948	0
148	Mark S. Fillmore:0	Supahaka	15.14	0.01	1355	116
149	Ben Chen:0	Elphaba	15.14	0.07	6176	0
150	Mercury:0	haoyu	15.14	0.05	7702	0
151	Glenn Fisher:1	jabreezy	15.14	0.09	2852	0
152	Glenn Fisher:0	Elphaba	15.15	0.02	2869	0
153	George Okeowo:0	Andrew Grasso	15.15	0.01	4446	0
154	jabreezy:0	Mercury	15.15	0.09	6435	0
155	Bob Dondero:0	Andrew Grasso	15.17	0.02	18564	0
156	Andys:0	Aristotle	15.19	0.12	30611	0
157	bfang:1	haoyu	15.19	0.04	8258	0
158	Mr. Blobby:1	dusty	15.20	0.12	2992	0
159	snowflakes:1	haoyu	15.20	0.03	3079	0
160	Lisa Kim:1	Bar Shabtai	15.24	0.06	4667	0
161	Mr. Blobby:0	Green "The Bean" Choi	15.24	0.14	3044	0
162	Lisa Kim:0	Aristotle	15.26	0.07	5477	0
163	soccer:0	haoyu	15.29	0.04	7153	0
164	jabreezy:1	Mercury	15.30	0.10	6011	0
165	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.35	0.01	3199	0
166	Shaheed Chagani:0	Aristotle	15.41	0.17	35130	0
167	Absurdity:0	Aristotle	15.41	0.23	9970	0
168	bfang:0	haoyu	15.42	0.04	8035	0
169	Mercury:1	haoyu	15.42	0.05	7486	0
170	Batman:1	haoyu	15.44	0.04	10950	0
171	Batman:0	haoyu	15.47	0.04	10175	0
172	ebp:1	haoyu	15.50	0.04	7883	0
173	Yacob Y.:0	haoyu	15.54	0.06	10343	0
174	spl:0	Elphaba	15.55	0.09	4258	0
175	George Okeowo:1	Andrew Grasso	15.57	0.01	4318	0
176	Sabar Dasgupta:1	Aaron Doll	15.78	0.17	15207	0
177	Charliezsc:1	haoyu	15.85	0.07	14729	0
178	KingBach:1	haoyu	15.86	0.04	11641	0
179	Sprt:1	haoyu	15.90	0.05	12235	0
180	Charliezsc:0	jgs	16.08	14.98	12060	1
181	Absurdity:1	Aristotle	16.13	0.18	10688	0
182	Mike Hunt:0	Aristotle	16.32	0.27	24534	0
183	ebp:0	haoyu	16.41	0.04	8516	0
184	Khoa:1	Aristotle	16.45	0.09	7791	0
185	burrito:1	haoyu	16.53	0.10	43936	0
186	Sabar Dasgupta:0	spl	16.59	0.23	13423	0
187	burrito:0	haoyu	17.17	0.09	23316	0
188	totallyOnFallBreak:1	Nikhilesh Sigatapu	17.52	0.01	3072	0
189	Aaron H:0	Aristotle	17.62	0.11	27662	0
190	BH:1	haoyu	17.77	0.05	21242	0
191	DinnerPartyPlannerBM:0	Aristotle	18.01	0.11	44810	0
192	DinnerPartyPlannerBM:1	Nihar the Great	18.03	0.06	25747	0
193	John Whelchel:1	haoyu	18.22	0.11	31889	0
194	John Whelchel:0	haoyu	18.24	0.06	29776	0
195	jgs:1	haoyu	18.53	0.18	58208	0
196	Lil Thug:0	Andrew Grasso	18.53	0.03	33894	0
197	Andys:1	Aristotle	18.54	0.13	29578	0
198	Lil Thug:1	Andrew Grasso	18.68	0.03	30256	0
199	nupog:1	Aristotle	18.78	0.12	5008	0
200	Andrew Werner:1	haoyu	19.08	0.11	30702	0
201	Aaron H:1	Aristotle	19.40	0.11	28000	0
202	dfshasdsf12:0	haoyu	20.09	0.09	22915	0
203	Mike Hunt:1	Aristotle	20.36	0.29	23641	0
204	BH:0	haoyu	21.46	0.07	19971	0
205	Andrew Werner:0	Aaron Doll	21.62	0.33	30139	0
206	Sprt:0	Aristotle	21.98	0.11	27115	0
207	Deric Cheng:1	jgs	22.71	14.98	57502	1
208	Bar Shabtai:1	haoyu	23.18	0.12	51709	0
209	Deric Cheng:0	jgs	24.86	14.99	57798	1
210	CAPS LOCK:0	Aristotle	25.85	0.20	45379	0
211	Elphaba:1	Aristotle	26.14	0.22	107445	0
212	Elphaba:0	Aristotle	26.21	0.24	104592	0
213	dfshasdsf12:1	Nihar the Great	27.85	0.11	34634	0
214	jgs:0	Aristotle	28.97	0.12	57148	0
215	Shaheed Chagani:1	Aristotle	33.76	0.11	34108	0
216	nupog:0	Aristotle	37.96	0.13	5074	0
217	CAPS LOCK:1	Aristotle	39.26	0.25	71417	0
218	13a:0	Aaron Doll	82.98	15.00	123995	21
219	13a:1	Aaron Doll	84.55	15.00	119765	29
220	Nihar the Great:1	Aristotle	117.92	0.25	200875	0
221	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
222	Aristotle:1	Aristotle	-	9.69	-	0
223	Aaron Doll:0	Aristotle	-	0.56	-	0
224	Aaron Doll:1	Aristotle	-	1.27	-	0
225	Nihar the Great:0	Aristotle	-	0.23	-	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