Stats for satsolver: Aristotle

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 Aristotle 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 Aristotle 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:	Aristotle
Rank:	3 / 118
Average Score:	2.41
Median Score:	0.11
Description:	WalkSat with random switch probability 0.2

	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:0	KingBach	0.00	0.00	0	0
4	K.L.:1	KingBach	0.00	0.00	0	0
5	Happy:1	KingBach	0.00	0.00	0	0
6	Bebe Shi:0	KingBach	0.00	0.00	0	0
7	R. A. B.:1	cat	0.00	0.00	0	0
8	Bebe Shi:1	KingBach	0.00	0.00	0	0
9	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
10	Joshua Zimmer:0	haoyu	0.00	0.00	0	0
11	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
12	Ravi Tandon:1	KingBach	0.01	0.00	0	0
13	David Paulk:0	cat	0.01	0.00	0	0
14	Miranda:1	cat	0.01	0.00	0	0
15	Miranda:0	cat	0.01	0.00	0	0
16	bchouGenerator:0	haoyu	0.01	0.00	0	0
17	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
18	Solving For Clauses:1	haoyu	0.01	0.00	0	0
19	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
20	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
21	Tree Prophet:0	haoyu	0.01	0.00	0	0
22	Jordan Ash:1	Bar Shabtai	0.01	0.01	0	0
23	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
24	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
25	Quite Satisfied:0	haoyu	0.01	0.00	0	0
26	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
27	BMJ:0	Elphaba	0.01	0.00	0	0
28	Daffy Duck:1	haoyu	0.01	0.00	0	0
29	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
30	Mickey Mouse:1	haoyu	0.02	0.01	0	0
31	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
32	K.L.:0	haoyu	0.02	0.00	0	0
33	Jameh:0	haoyu	0.02	0.01	0	0
34	haoyu:1	Anon5	0.02	0.01	0	0
35	BMJ:1	burrito	0.02	0.00	0	0
36	weezy:1	Bar Shabtai	0.02	0.01	0	0
37	The Kraken:1	haoyu	0.02	0.00	0	0
38	Tiny Wings:1	haoyu	0.02	0.01	0	0
39	weezy:0	Bar Shabtai	0.02	0.01	0	0
40	vluu:1	Nihar the Great	0.02	0.02	0	0
41	Ytterbium:0	Andrew Grasso	0.02	0.02	0	0
42	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
43	Alex Fish:0	haoyu	0.03	0.01	0	0
44	vluu:0	Nihar the Great	0.03	0.01	0	0
45	haoyu:0	KingBach	0.03	0.01	0	0
46	Jameh:1	haoyu	0.03	0.01	0	0
47	cmF5a3ly:0	Nihar the Great	0.03	0.00	0	0
48	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
49	Tiny Wings:0	haoyu	0.03	0.02	0	0
50	Anon_K_P:1	Aristotle	0.03	0.03	0	0
51	The Kraken:0	haoyu	0.03	0.00	0	0
52	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
53	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
54	George Okeowo:0	Andrew Grasso	0.04	0.01	0	0
55	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.04	0.01	0	0
56	cat:1	haoyu	0.04	0.03	0	0
57	George Okeowo:1	Andrew Grasso	0.05	0.01	0	0
58	Happy:0	haoyu	0.05	0.00	0	0
59	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.05	0.01	0	0
60	cat:0	haoyu	0.06	0.03	0	0
61	Anon_K_P:0	haoyu	0.06	0.02	0	0
62	kt4124:1	haoyu	0.06	0.04	0	0
63	Keji Xu:0	Nihar the Great	0.06	0.03	0	0
64	Valya Barboy:0	Aristotle	0.06	0.06	0	0
65	Lisa Kim:1	Bar Shabtai	0.07	0.06	0	0
66	Tao:1	Aristotle	0.07	0.07	0	0
67	Ytterbium:1	Nihar the Great	0.07	0.02	0	0
68	Nikhilesh Sigatapu:1	haoyu	0.07	0.04	0	0
69	Tom T:1	Andrew Werner	0.07	0.02	0	0
70	Samuel Jerome:0	haoyu	0.07	0.03	0	0
71	Samuel Jerome:1	haoyu	0.07	0.03	0	0
72	Lisa Kim:0	Aristotle	0.07	0.07	0	0
73	Nikhilesh Sigatapu:0	haoyu	0.07	0.03	0	0
74	Jordan Ash:0	EC	0.07	0.03	0	0
75	Scheduling Generator 203:1	Jameh	0.07	0.02	0	0
76	Tree Prophet:1	haoyu	0.07	0.00	0	0
77	The Whitman Whale:1	Andrew Grasso	0.07	0.03	0	0
78	kt4124:0	haoyu	0.07	0.03	0	0
79	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.07	0.01	0	0
80	Tao:0	Bar Shabtai	0.07	0.02	0	0
81	Alex Fish:1	haoyu	0.07	0.02	0	0
82	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.08	0.00	0	0
83	Tom T:0	EC	0.08	0.02	0	0
84	The Whitman Whale:0	bigwig	0.08	0.04	0	0
85	Sunny:1	jabreezy	0.08	0.01	0	0
86	Keji Xu:1	Nihar the Great	0.08	0.04	0	0
87	EC:1	haoyu	0.08	0.03	0	0
88	Janie Gu:1	Jonathan Kwok	0.09	0.07	0	0
89	Boomshanka:0	haoyu	0.09	0.01	0	0
90	Khoa:1	Aristotle	0.09	0.09	0	0
91	David Lackey:1	Bar Shabtai	0.09	0.03	0	0
92	Mercury:1	haoyu	0.09	0.05	0	0
93	Sally Smith:1	haoyu	0.09	0.04	0	0
94	Sprt:1	haoyu	0.09	0.05	0	0
95	Yan Wu:1	haoyu	0.09	0.04	0	0
96	Blam:0	Elphaba	0.09	0.00	0	0
97	Khoa:0	haoyu	0.09	0.09	0	0
98	Matt Haake:0	haoyu	0.10	0.05	0	0
99	Fanny:0	Aristotle	0.10	0.10	0	0
100	0108:1	haoyu	0.10	0.01	0	0
101	Batman:0	haoyu	0.10	0.04	0	0
102	Sally Smith:0	haoyu	0.10	0.04	0	0
103	Anon5:1	Green "The Bean" Choi	0.10	0.07	0	0
104	KingBach:1	haoyu	0.10	0.04	0	0
105	soccer:1	haoyu	0.10	0.04	0	0
106	Aaron H:0	Aristotle	0.11	0.11	0	0
107	DinnerPartyPlannerBM:0	Aristotle	0.11	0.11	0	0
108	Yan Wu:0	haoyu	0.11	0.05	0	0
109	Shaheed Chagani:1	Aristotle	0.11	0.11	0	0
110	dfshasdsf12:1	Nihar the Great	0.11	0.11	0	0
111	Lil Thug:1	Andrew Grasso	0.11	0.03	0	0
112	Aaron H:1	Aristotle	0.11	0.11	0	0
113	Sprt:0	Aristotle	0.11	0.11	0	0
114	burrito:0	haoyu	0.11	0.09	0	0
115	bfang:0	haoyu	0.12	0.04	0	0
116	DinnerPartyPlannerBM:1	Nihar the Great	0.12	0.06	0	0
117	Fanny:1	Aristotle	0.12	0.12	0	0
118	dfshasdsf12:0	haoyu	0.12	0.09	0	0
119	Andys:0	Aristotle	0.12	0.12	0	0
120	Batman:1	haoyu	0.12	0.04	0	0
121	snowflakes:1	haoyu	0.12	0.03	0	0
122	nupog:1	Aristotle	0.12	0.12	0	0
123	Sunny:0	Green "The Bean" Choi	0.12	0.02	0	0
124	Dr Roberto:0	Andrew Grasso	0.12	0.03	0	0
125	jgs:0	Aristotle	0.12	0.12	0	0
126	Janie Gu:0	Glenn Fisher	0.12	0.07	0	0
127	Lil Thug:0	Andrew Grasso	0.13	0.03	0	0
128	Boomshanka:1	Bar Shabtai	0.13	0.01	0	0
129	EC:0	haoyu	0.13	0.03	0	0
130	Mercury:0	haoyu	0.13	0.05	0	0
131	Andys:1	Aristotle	0.13	0.13	0	0
132	Matt Haake:1	haoyu	0.13	0.05	0	0
133	ebp:1	haoyu	0.13	0.04	0	0
134	Dr Roberto:1	Andrew Grasso	0.13	0.02	0	0
135	soccer:0	haoyu	0.13	0.04	0	0
136	nupog:0	Aristotle	0.13	0.13	0	0
137	David Lackey:0	Anon5	0.14	0.03	0	0
138	bfang:1	haoyu	0.14	0.04	0	0
139	Yacob Y.:0	haoyu	0.14	0.06	0	0
140	ebp:0	haoyu	0.14	0.04	0	0
141	Charliezsc:1	haoyu	0.15	0.07	0	0
142	burrito:1	haoyu	0.15	0.10	0	0
143	Glenn Fisher:0	Elphaba	0.15	0.02	0	0
144	AFC:1	Aristotle	0.16	0.16	0	0
145	Linda:0	Andrew Grasso	0.16	0.01	0	0
146	Shaheed Chagani:0	Aristotle	0.17	0.17	0	0
147	KingBach:0	haoyu	0.17	0.06	0	0
148	DeeEmEm:1	haoyu	0.18	0.02	0	0
149	Absurdity:1	Aristotle	0.18	0.18	0	0
150	BH:1	haoyu	0.18	0.05	0	0
151	Mike Honcho:0	Miranda	0.19	0.01	0	0
152	jgs:1	haoyu	0.20	0.18	0	0
153	BH:0	haoyu	0.20	0.07	0	0
154	CAPS LOCK:0	Aristotle	0.20	0.20	0	0
155	Linda:1	Andrew Grasso	0.20	0.02	0	0
156	Blam:1	Elphaba	0.20	0.00	0	0
157	Mike Honcho:1	Jessie Chen	0.20	0.01	0	0
158	snowflakes:0	haoyu	0.21	0.03	0	0
159	Bob Dondero:1	Mickey Mouse	0.21	0.03	0	0
160	Bob Dondero:0	Andrew Grasso	0.21	0.02	0	0
161	Elphaba:1	Aristotle	0.22	0.22	0	0
162	Nihar the Great:0	Aristotle	0.23	0.23	0	0
163	Absurdity:0	Aristotle	0.23	0.23	0	0
164	Elphaba:0	Aristotle	0.24	0.24	0	0
165	Nihar the Great:1	Aristotle	0.25	0.25	0	0
166	Sabar Dasgupta:0	spl	0.25	0.23	0	0
167	CAPS LOCK:1	Aristotle	0.25	0.25	0	0
168	John Whelchel:0	haoyu	0.26	0.06	0	0
169	Mike Hunt:0	Aristotle	0.27	0.27	0	0
170	Mike Hunt:1	Aristotle	0.29	0.29	0	0
171	Bar Shabtai:1	haoyu	0.30	0.12	0	0
172	jabreezy:1	Mercury	0.32	0.10	0	0
173	jabreezy:0	Mercury	0.35	0.09	0	0
174	John Whelchel:1	haoyu	0.39	0.11	0	0
175	Valya Barboy:1	Shaheed Chagani	0.44	0.18	0	0
176	Anon5:0	haoyu	0.45	0.05	0	0
177	AFC:0	CookieMonster	0.46	0.34	0	0
178	Brendan Wright:0	haoyu	0.52	0.10	0	0
179	Aaron Doll:0	Aristotle	0.56	0.56	0	0
180	Andrew Werner:1	haoyu	0.59	0.11	0	0
181	NA:1	Elphaba	0.69	0.04	0	0
182	Andrew Werner:0	Aaron Doll	0.72	0.33	0	0
183	Glenn Fisher:1	jabreezy	0.79	0.09	0	0
184	Sabar Dasgupta:1	Aaron Doll	0.82	0.17	0	0
185	Ben Chen:1	spl	1.10	0.20	0	0
186	Aaron Doll:1	Aristotle	1.27	1.27	0	0
187	David H.:1	DeeEmEm	1.40	0.33	0	0
188	Brendan Wright:1	Deric Cheng	1.59	0.10	0	0
189	Ben Chen:0	Elphaba	1.85	0.07	0	0
190	Walter Little:1	haoyu	2.42	0.03	0	0
191	David H.:0	AFC	2.75	0.28	0	0
192	NA:0	haoyu	3.00	0.03	0	0
193	Walter Little:0	haoyu	3.17	0.04	0	0
194	Aristotle:1	Aristotle	9.69	9.69	0	0
195	Mr. Blobby:0	Green "The Bean" Choi	10.51	0.14	0	0
196	Mr. Blobby:1	dusty	11.27	0.12	0	0
197	Matt Goldsmith:1	Happy	12.21	0.03	0	0
198	Andrew Grasso:0	Aaron Doll	14.06	0.18	0	0
199	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
200	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
201	Charliezsc:0	jgs	15.00	14.98	1	1
202	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
203	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
204	Deric Cheng:1	jgs	15.00	14.98	1	1
205	Deric Cheng:0	jgs	15.00	14.99	1	1
206	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
207	0108:0	jgs	15.00	14.98	1	1
208	Yacob Y.:1	Aristotle	15.00	15.00	1	1
209	T. Capote:0	haoyu	15.00	0.00	2	2
210	T. Capote:1	haoyu	15.00	0.00	2	2
211	SuperFan:0	jgs	15.00	14.98	4	4
212	SuperFan:1	jgs	15.00	14.98	4	4
213	Supahaka:0	Andrew Werner	15.00	15.00	35	35
214	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
215	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
216	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1	0
217	CookieMonster:0	CookieMonster	15.00	0.82	1	0
218	CookieMonster:1	CookieMonster	15.00	1.10	1	0
219	Aristotle:0	Aristotle	15.00	15.00	1	1
220	spl:0	Elphaba	15.00	0.09	3	0
221	spl:1	haoyu	15.00	0.06	3	0
222	Bar Shabtai:0	Aaron Doll	15.00	15.01	3	1
223	Dusty:1	Shaheed Chagani	15.00	0.22	6	0
224	Dusty:0	CookieMonster	15.00	1.39	6	0
225	13a:0	Aaron Doll	15.00	15.00	37	21
226	Supahaka:1	Joel Faron	15.00	15.00	40	35
227	13a:1	Aaron Doll	15.00	15.00	44	29
228	Matt Goldsmith:0	Nihar the Great	15.00	0.03	4789	0

SatSolvers Ranklist

Generators Ranklist