Stats for satsolver: RedOrangeBlue

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 RedOrangeBlue 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 RedOrangeBlue 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:	RedOrangeBlue
Rank:	81 / 118
Average Score:	12.68
Median Score:	15.00
Description:	WalkSAT with the pure symbol method from DPLL and an objective function which accounts for both satisfied and unsatisified clauses.

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

SatSolvers Ranklist

Generators Ranklist