Stats for satsolver: Tom T

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 Tom T 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 Tom T 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:	Tom T
Rank:	105 / 118
Average Score:	26.30
Median Score:	12.54
Description:	This SAT solver is a variant of WALKSAT. First, it tries to assign truth values to pure symbols. Then, it uses WALKSAT to solve the remaining literals.

	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.01	0.00	0	0
4	Ravi Tandon:0	KingBach	0.01	0.00	0	0
5	Bebe Shi:1	KingBach	0.01	0.00	0	0
6	Bebe Shi:0	KingBach	0.02	0.00	0	0
7	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
8	Happy:1	KingBach	0.02	0.00	0	0
9	Jonathan Kwok:1	KingBach	0.02	0.00	0	0
10	BMJ:1	burrito	0.02	0.00	0	0
11	Happy:0	haoyu	0.02	0.00	0	0
12	K.L.:1	KingBach	0.02	0.00	0	0
13	Joshua Zimmer:0	haoyu	0.03	0.00	0	0
14	Gewang:0	Jonathan Kwok	0.03	0.00	0	0
15	Gewang:1	Jonathan Kwok	0.03	0.00	0	0
16	Solving For Clauses:0	Glenn Fisher	0.04	0.00	0	0
17	R. A. B.:0	Nihar the Great	0.04	0.00	0	0
18	Quite Satisfied:0	haoyu	0.04	0.00	0	0
19	bchouGenerator:1	Jonathan Kwok	0.05	0.01	0	0
20	David Paulk:1	Bar Shabtai	0.05	0.00	0	0
21	BMJ:0	Elphaba	0.06	0.00	0	0
22	Mike Honcho:0	Miranda	0.06	0.01	0	0
23	bchouGenerator:0	haoyu	0.06	0.00	0	0
24	Mickey Mouse:1	haoyu	0.07	0.01	0	0
25	Mike Honcho:1	Jessie Chen	0.08	0.01	0	0
26	K.L.:0	haoyu	0.08	0.00	0	0
27	Blam:1	Elphaba	0.09	0.00	0	0
28	Mickey Mouse:0	Bar Shabtai	0.09	0.01	0	0
29	Tiny Wings:0	haoyu	0.09	0.02	0	0
30	Joshua Zimmer:1	haoyu	0.09	0.00	0	0
31	Tree Prophet:0	haoyu	0.11	0.00	0	0
32	R. A. B.:1	cat	0.14	0.00	0	0
33	Daffy Duck:1	haoyu	0.16	0.00	0	0
34	haoyu:1	Anon5	0.17	0.01	0	0
35	Jameh:1	haoyu	0.17	0.01	0	0
36	Daffy Duck:0	Andrew Werner	0.18	0.00	0	0
37	Blam:0	Elphaba	0.20	0.00	0	0
38	Solving For Clauses:1	haoyu	0.23	0.00	0	0
39	0108:1	haoyu	0.23	0.01	0	0
40	The Kraken:1	haoyu	0.24	0.00	0	0
41	Tom T:0	EC	0.25	0.02	0	0
42	Tree Prophet:1	haoyu	0.26	0.00	0	0
43	The Kraken:0	haoyu	0.29	0.00	0	0
44	Sunny:0	Green "The Bean" Choi	0.29	0.02	0	0
45	Ytterbium:0	Andrew Grasso	0.31	0.02	0	0
46	Miranda:1	cat	0.32	0.00	0	0
47	Jameh:0	haoyu	0.36	0.01	0	0
48	David Paulk:0	cat	0.37	0.00	0	0
49	Miranda:0	cat	0.39	0.00	0	0
50	Ytterbium:1	Nihar the Great	0.44	0.02	0	0
51	haoyu:0	KingBach	0.44	0.01	0	0
52	Jordan Ash:1	Bar Shabtai	0.59	0.01	0	0
53	cat:1	haoyu	0.63	0.03	0	0
54	cmF5a3ly:0	Nihar the Great	0.64	0.00	0	0
55	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.70	0.00	0	0
56	David Lackey:1	Bar Shabtai	0.72	0.03	0	0
57	Linda:0	Andrew Grasso	0.81	0.01	0	0
58	DeeEmEm:1	haoyu	0.84	0.02	0	0
59	Scheduling Generator 203:0	jgs	0.86	0.01	0	0
60	Qinlan Shen:0	Bar Shabtai	0.93	0.01	0	0
61	Alex Fish:0	haoyu	0.98	0.01	0	0
62	kt4124:0	haoyu	1.00	0.03	0	0
63	David Lackey:0	Anon5	1.03	0.03	0	0
64	Brendan Wright:1	Deric Cheng	1.12	0.10	0	0
65	Samuel Jerome:0	haoyu	1.14	0.03	0	0
66	Boomshanka:0	haoyu	1.15	0.01	0	0
67	weezy:0	Bar Shabtai	1.52	0.01	0	0
68	weezy:1	Bar Shabtai	1.72	0.01	0	0
69	Linda:1	Andrew Grasso	1.87	0.02	0	0
70	Glenn Fisher:0	Elphaba	2.13	0.02	0	0
71	Scheduling Generator 203:1	Jameh	2.21	0.02	0	0
72	Jordan Ash:0	EC	2.50	0.03	0	0
73	vluu:0	Nihar the Great	2.61	0.01	0	0
74	vluu:1	Nihar the Great	2.68	0.02	0	0
75	Yan Wu:0	haoyu	3.21	0.05	0	0
76	Keji Xu:0	Nihar the Great	3.44	0.03	0	0
77	Keji Xu:1	Nihar the Great	3.44	0.04	0	0
78	Samuel Jerome:1	haoyu	3.45	0.03	0	0
79	Boomshanka:1	Bar Shabtai	3.54	0.01	0	0
80	Nikhilesh Sigatapu:1	haoyu	3.79	0.04	0	0
81	Tom T:1	Andrew Werner	4.35	0.02	0	0
82	The Whitman Whale:0	bigwig	4.39	0.04	0	0
83	kt4124:1	haoyu	4.55	0.04	0	0
84	Sunny:1	jabreezy	4.67	0.01	0	0
85	Alex Fish:1	haoyu	4.72	0.02	0	0
86	Nikhilesh Sigatapu:0	haoyu	4.83	0.03	0	0
87	cat:0	haoyu	5.05	0.03	0	0
88	The Whitman Whale:1	Andrew Grasso	5.18	0.03	0	0
89	KingBach:1	haoyu	5.35	0.04	0	0
90	totallyOnFallBreak:0	Nikhilesh Sigatapu	5.52	0.01	0	0
91	Tao:0	Bar Shabtai	5.64	0.02	0	0
92	Janie Gu:0	Glenn Fisher	5.92	0.07	0	0
93	totallyOnFallBreak:1	Nikhilesh Sigatapu	5.99	0.01	0	0
94	Tiny Wings:1	haoyu	6.71	0.01	0	0
95	Janie Gu:1	Jonathan Kwok	7.12	0.07	0	0
96	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	7.74	0.01	0	0
97	Sally Smith:1	haoyu	7.75	0.04	0	0
98	George Okeowo:1	Andrew Grasso	7.78	0.01	0	0
99	Lisa Kim:0	Aristotle	8.03	0.07	0	0
100	Sprt:0	Aristotle	8.82	0.11	0	0
101	Tao:1	Aristotle	9.19	0.07	0	0
102	bfang:0	haoyu	9.96	0.04	0	0
103	Lisa Kim:1	Bar Shabtai	10.26	0.06	0	0
104	Lil Thug:1	Andrew Grasso	11.42	0.03	0	0
105	bfang:1	haoyu	12.42	0.04	0	0
106	Mercury:0	haoyu	12.65	0.05	0	0
107	Bob Dondero:1	Mickey Mouse	12.90	0.03	0	0
108	Yan Wu:1	haoyu	13.67	0.04	0	0
109	Sabar Dasgupta:1	Aaron Doll	14.88	0.17	0	0
110	Glenn Fisher:1	jabreezy	15.14	0.09	3	0
111	T. Capote:1	haoyu	15.15	0.00	2	2
112	soccer:1	haoyu	15.20	0.04	1	0
113	cmF5a3ly:1	Nihar the Great	15.22	0.00	1	0
114	Khoa:0	haoyu	15.46	0.09	1	0
115	Valya Barboy:1	Shaheed Chagani	15.47	0.18	2	0
116	jabreezy:1	Mercury	15.56	0.10	5	0
117	T. Capote:0	haoyu	15.58	0.00	2	2
118	Anon_K_P:0	haoyu	15.59	0.02	2	0
119	Jessie Chen:0	Joel Faron	15.65	0.13	1	1
120	ebp:1	haoyu	15.68	0.04	11	0
121	Mr. Blobby:1	dusty	15.69	0.12	7	0
122	Dusty:1	Shaheed Chagani	15.91	0.22	22	0
123	DeeEmEm:0	CAPS LOCK	15.94	13.00	1	1
124	ebp:0	haoyu	15.97	0.04	3	0
125	Jessie Chen:1	Joel Faron	16.12	0.12	1	1
126	Supahaka:1	Joel Faron	16.12	15.00	39	35
127	Mr. Blobby:0	Green "The Bean" Choi	16.12	0.14	11	0
128	Batman:1	haoyu	16.17	0.04	0	0
129	Sally Smith:0	haoyu	16.22	0.04	42	0
130	SuperFan:0	jgs	16.31	14.98	5	4
131	SuperFan:1	jgs	16.71	14.98	4	4
132	Supahaka:0	Andrew Werner	16.75	15.00	40	35
133	jabreezy:0	Mercury	16.79	0.09	13	0
134	Dusty:0	CookieMonster	16.92	1.39	23	0
135	Mark S. Fillmore:1	Supahaka	17.14	0.04	79	79
136	Mark S. Fillmore:0	Supahaka	17.50	0.01	116	116
137	snowflakes:1	haoyu	17.91	0.03	33	0
138	Mercury:1	haoyu	18.16	0.05	0	0
139	Anon5:0	haoyu	18.25	0.05	5	0
140	snowflakes:0	haoyu	18.31	0.03	22	0
141	Andrew Grasso:1	Shaheed Chagani	18.35	0.15	18	0
142	Quite Satisfied:1	Joel Faron	18.37	2.11	1	1
143	soccer:0	haoyu	18.42	0.04	2	0
144	Andrew Grasso:0	Aaron Doll	18.51	0.18	17	0
145	0108:0	jgs	18.56	14.98	1	1
146	Qinlan Shen:1	R. A. B.	18.59	9.00	1	1
147	Khoa:1	Aristotle	18.92	0.09	0	0
148	Fanny:0	Aristotle	19.12	0.10	1	0
149	Anon5:1	Green "The Bean" Choi	19.30	0.07	2	0
150	Matt Haake:0	haoyu	21.97	0.05	3	0
151	Matt Haake:1	haoyu	22.18	0.05	5	0
152	David H.:1	DeeEmEm	22.56	0.33	2	0
153	Mike Hunt:1	Aristotle	22.60	0.29	0	0
154	Valya Barboy:0	Aristotle	23.17	0.06	2	0
155	George Okeowo:0	Andrew Grasso	23.32	0.01	81	0
156	burrito:0	haoyu	23.51	0.09	1260	0
157	dfshasdsf12:0	haoyu	23.68	0.09	77	0
158	NA:1	Elphaba	24.60	0.04	16	0
159	NA:0	haoyu	24.60	0.03	20	0
160	Sprt:1	haoyu	24.80	0.05	1	0
161	Anon_K_P:1	Aristotle	24.86	0.03	1	0
162	David H.:0	AFC	25.07	0.28	4	0
163	Batman:0	haoyu	25.66	0.04	0	0
164	DinnerPartyPlannerBM:0	Aristotle	26.35	0.11	0	0
165	EC:1	haoyu	26.52	0.03	2	0
166	Aaron H:1	Aristotle	26.74	0.11	90	0
167	DinnerPartyPlannerBM:1	Nihar the Great	26.94	0.06	46	0
168	EC:0	haoyu	27.16	0.03	2	0
169	John Whelchel:0	haoyu	27.25	0.06	40	0
170	John Whelchel:1	haoyu	27.82	0.11	40	0
171	BH:0	haoyu	27.90	0.07	0	0
172	Dr Roberto:1	Andrew Grasso	28.32	0.02	6	0
173	Fanny:1	Aristotle	29.23	0.12	1	0
174	Walter Little:1	haoyu	29.68	0.03	7	0
175	Walter Little:0	haoyu	29.79	0.04	11	0
176	AFC:0	CookieMonster	29.80	0.34	5	0
177	nupog:1	Aristotle	30.93	0.12	1	0
178	Ben Chen:1	spl	30.99	0.20	8	0
179	Ben Chen:0	Elphaba	31.21	0.07	6	0
180	CookieMonster:1	CookieMonster	31.83	1.10	1	0
181	nupog:0	Aristotle	32.11	0.13	0	0
182	Andys:0	Aristotle	32.51	0.12	35	0
183	spl:1	haoyu	32.55	0.06	5	0
184	spl:0	Elphaba	32.80	0.09	7	0
185	AFC:1	Aristotle	33.07	0.16	6	0
186	Absurdity:1	Aristotle	33.31	0.18	8	0
187	Lil Thug:0	Andrew Grasso	33.68	0.03	26	0
188	Aaron H:0	Aristotle	33.98	0.11	90	0
189	KingBach:0	haoyu	35.34	0.06	1	0
190	Absurdity:0	Aristotle	35.51	0.23	3	0
191	Andys:1	Aristotle	35.53	0.13	35	0
192	CookieMonster:0	CookieMonster	35.99	0.82	1	0
193	Charliezsc:0	jgs	38.86	14.98	2	1
194	Shaheed Chagani:0	Aristotle	39.55	0.17	500	0
195	Dr Roberto:0	Andrew Grasso	41.52	0.03	3	0
196	Shaheed Chagani:1	Aristotle	42.93	0.11	500	0
197	BH:1	haoyu	46.00	0.05	82	0
198	burrito:1	haoyu	50.30	0.10	1892	0
199	dfshasdsf12:1	Nihar the Great	51.24	0.11	93	0
200	Andrew Werner:0	Aaron Doll	60.82	0.33	1	0
201	Deric Cheng:0	jgs	62.46	14.99	45	1
202	Deric Cheng:1	jgs	66.07	14.98	45	1
203	Charliezsc:1	haoyu	67.06	0.07	1	0
204	Sabar Dasgupta:0	spl	67.64	0.23	1	0
205	Bar Shabtai:1	haoyu	71.09	0.12	35	0
206	jgs:1	haoyu	74.09	0.18	110	0
207	Andrew Werner:1	haoyu	79.78	0.11	1	0
208	jgs:0	Aristotle	83.55	0.12	110	0
209	Yacob Y.:0	haoyu	86.92	0.06	1	0
210	Brendan Wright:0	haoyu	110.01	0.10	40	0
211	Yacob Y.:1	Aristotle	119.69	15.00	13	1
212	Elphaba:1	Aristotle	-	0.22	-	0
213	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
214	Aristotle:1	Aristotle	-	9.69	-	0
215	Mike Hunt:0	Aristotle	-	0.27	-	0
216	Aaron Doll:0	Aristotle	-	0.56	-	0
217	13a:0	Aaron Doll	-	15.00	-	21
218	Elphaba:0	Aristotle	-	0.24	-	0
219	Aaron Doll:1	Aristotle	-	1.27	-	0
220	Nihar the Great:0	Aristotle	-	0.23	-	0
221	CAPS LOCK:1	Aristotle	-	0.25	-	0
222	Bob Dondero:0	Andrew Grasso	-	0.02	-	0
223	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
224	Aristotle:0	Aristotle	-	15.00	-	1
225	13a:1	Aaron Doll	-	15.00	-	29
226	Nihar the Great:1	Aristotle	-	0.25	-	0
227	CAPS LOCK:0	Aristotle	-	0.20	-	0
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist