Stats for satsolver: An Extremely Ordinary Sloth

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 An Extremely Ordinary Sloth 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 An Extremely Ordinary Sloth 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:	An Extremely Ordinary Sloth
Rank:	55 / 118
Average Score:	8.05
Median Score:	3.77
Description:	This is a variant of Walk-SAT. It sets up a list of literals whose values should never change and uses random restarts.

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

SatSolvers Ranklist

Generators Ranklist