Stats for satsolver: Ytterbium

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 Ytterbium 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 Ytterbium 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:	Ytterbium
Rank:	63 / 118
Average Score:	9.41
Median Score:	15.00
Description:	A modified version of WalkSAT. Occasionally flips two clauses instead of one.

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

SatSolvers Ranklist

Generators Ranklist