Stats for satsolver: R. A. B.

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 R. A. B. 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 R. A. B. 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:	R. A. B.
Rank:	59 / 118
Average Score:	8.51
Median Score:	15.00
Description:	WalkSat algorithm with restarting to avoid local minima. At each iteration does random flip with probability one-half and greedy flip with probability one-half.

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

SatSolvers Ranklist

Generators Ranklist