Stats for satsolver: Sunny

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 Sunny 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 Sunny 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:	Sunny
Rank:	92 / 118
Average Score:	15.63
Median Score:	0.70
Description:	This sat-solver uses DPLL method along with gaussian (mean = given time/2) type random restarts

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
3	bigwig:1	KingBach	0.00	0.00	0	0
4	R. A. B.:1	cat	0.00	0.00	0	0
5	BMJ:1	burrito	0.00	0.00	0	0
6	K.L.:1	KingBach	0.00	0.00	0	0
7	David Paulk:0	cat	0.00	0.00	0	0
8	Bebe Shi:0	KingBach	0.00	0.00	0	0
9	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
10	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
11	Bebe Shi:1	KingBach	0.01	0.00	0	0
12	Happy:1	KingBach	0.01	0.00	0	0
13	BMJ:0	Elphaba	0.01	0.00	0	0
14	K.L.:0	haoyu	0.01	0.00	0	0
15	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
16	Miranda:1	cat	0.01	0.00	0	0
17	Daffy Duck:1	haoyu	0.01	0.00	0	0
18	Blam:1	Elphaba	0.01	0.00	0	0
19	Miranda:0	cat	0.01	0.00	0	0
20	Ravi Tandon:0	KingBach	0.01	0.00	0	0
21	Ravi Tandon:1	KingBach	0.01	0.00	0	0
22	Blam:0	Elphaba	0.01	0.00	0	0
23	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
24	bchouGenerator:0	haoyu	0.01	0.00	0	0
25	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
26	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
27	Solving For Clauses:1	haoyu	0.02	0.00	0	0
28	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
29	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
30	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
31	Joshua Zimmer:1	haoyu	0.02	0.00	0	0
32	Quite Satisfied:0	haoyu	0.02	0.00	0	0
33	Sunny:1	jabreezy	0.02	0.01	0	0
34	Tree Prophet:0	haoyu	0.03	0.00	0	0
35	0108:1	haoyu	0.03	0.01	0	0
36	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.03	0.00	0	0
37	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
38	Happy:0	haoyu	0.03	0.00	0	0
39	Tree Prophet:1	haoyu	0.04	0.00	0	0
40	Qinlan Shen:0	Bar Shabtai	0.04	0.01	0	0
41	Jameh:0	haoyu	0.04	0.01	0	0
42	Bob Dondero:0	Andrew Grasso	0.04	0.02	0	0
43	Alex Fish:0	haoyu	0.04	0.01	0	0
44	David Lackey:1	Bar Shabtai	0.05	0.03	0	0
45	Bob Dondero:1	Mickey Mouse	0.05	0.03	0	0
46	Tiny Wings:1	haoyu	0.05	0.01	0	0
47	Alex Fish:1	haoyu	0.05	0.02	0	0
48	Daffy Duck:0	Andrew Werner	0.05	0.00	0	0
49	Tom T:0	EC	0.06	0.02	0	0
50	weezy:1	Bar Shabtai	0.06	0.01	0	0
51	Tom T:1	Andrew Werner	0.06	0.02	0	0
52	Boomshanka:1	Bar Shabtai	0.07	0.01	0	0
53	Boomshanka:0	haoyu	0.07	0.01	0	0
54	Jameh:1	haoyu	0.07	0.01	0	0
55	Nikhilesh Sigatapu:1	haoyu	0.07	0.04	0	0
56	Tiny Wings:0	haoyu	0.07	0.02	0	0
57	Anon5:1	Green "The Bean" Choi	0.08	0.07	0	0
58	Matt Haake:1	haoyu	0.08	0.05	0	0
59	Scheduling Generator 203:1	Jameh	0.08	0.02	0	0
60	Mickey Mouse:1	haoyu	0.10	0.01	0	0
61	Samuel Jerome:0	haoyu	0.10	0.03	0	0
62	cat:1	haoyu	0.10	0.03	0	0
63	Scheduling Generator 203:0	jgs	0.10	0.01	0	0
64	snowflakes:0	haoyu	0.11	0.03	0	0
65	snowflakes:1	haoyu	0.11	0.03	0	0
66	cat:0	haoyu	0.12	0.03	0	0
67	Anon_K_P:1	Aristotle	0.12	0.03	0	0
68	Dr Roberto:0	Andrew Grasso	0.12	0.03	0	0
69	Nikhilesh Sigatapu:0	haoyu	0.12	0.03	0	0
70	Matt Haake:0	haoyu	0.12	0.05	0	0
71	kt4124:1	haoyu	0.12	0.04	0	0
72	vluu:0	Nihar the Great	0.13	0.01	0	0
73	DeeEmEm:1	haoyu	0.14	0.02	0	0
74	David Lackey:0	Anon5	0.17	0.03	0	0
75	Lisa Kim:1	Bar Shabtai	0.17	0.06	0	0
76	Glenn Fisher:0	Elphaba	0.17	0.02	0	0
77	kt4124:0	haoyu	0.17	0.03	0	0
78	Lisa Kim:0	Aristotle	0.19	0.07	0	0
79	Matt Goldsmith:0	Nihar the Great	0.20	0.03	0	0
80	Samuel Jerome:1	haoyu	0.21	0.03	0	0
81	vluu:1	Nihar the Great	0.22	0.02	0	0
82	Mercury:1	haoyu	0.23	0.05	0	0
83	Anon5:0	haoyu	0.24	0.05	0	0
84	Mickey Mouse:0	Bar Shabtai	0.24	0.01	0	0
85	Sally Smith:1	haoyu	0.25	0.04	0	0
86	Mercury:0	haoyu	0.25	0.05	0	0
87	Sally Smith:0	haoyu	0.26	0.04	0	0
88	bfang:0	haoyu	0.31	0.04	0	0
89	David H.:0	AFC	0.31	0.28	0	0
90	bfang:1	haoyu	0.32	0.04	0	0
91	Yacob Y.:0	haoyu	0.34	0.06	0	0
92	Anon_K_P:0	haoyu	0.35	0.02	0	0
93	spl:1	haoyu	0.35	0.06	0	0
94	spl:0	Elphaba	0.38	0.09	0	0
95	Batman:1	haoyu	0.40	0.04	0	0
96	Linda:0	Andrew Grasso	0.42	0.01	0	0
97	Batman:0	haoyu	0.42	0.04	0	0
98	Linda:1	Andrew Grasso	0.43	0.02	0	0
99	KingBach:0	haoyu	0.44	0.06	0	0
100	KingBach:1	haoyu	0.45	0.04	0	0
101	Fanny:0	Aristotle	0.54	0.10	0	0
102	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.59	0.01	0	0
103	Sunny:0	Green "The Bean" Choi	0.60	0.02	0	0
104	Brendan Wright:0	haoyu	0.61	0.10	0	0
105	weezy:0	Bar Shabtai	0.68	0.01	0	0
106	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.69	0.01	0	0
107	Ytterbium:0	Andrew Grasso	0.71	0.02	0	0
108	Khoa:0	haoyu	0.79	0.09	0	0
109	Khoa:1	Aristotle	0.80	0.09	0	0
110	Yan Wu:1	haoyu	0.87	0.04	0	0
111	Sprt:1	haoyu	0.96	0.05	0	0
112	Brendan Wright:1	Deric Cheng	1.01	0.10	0	0
113	burrito:0	haoyu	1.57	0.09	0	0
114	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	1.61	0.01	0	0
115	BH:1	haoyu	1.89	0.05	0	0
116	Mike Hunt:0	Aristotle	2.09	0.27	0	0
117	DinnerPartyPlannerBM:1	Nihar the Great	2.13	0.06	0	0
118	Mike Honcho:1	Jessie Chen	2.13	0.01	0	0
119	haoyu:0	KingBach	2.18	0.01	0	0
120	Aaron H:0	Aristotle	2.50	0.11	0	0
121	dfshasdsf12:0	haoyu	2.54	0.09	0	0
122	Charliezsc:1	haoyu	2.80	0.07	0	0
123	Mike Honcho:0	Miranda	3.13	0.01	0	0
124	EC:1	haoyu	3.68	0.03	0	0
125	David H.:1	DeeEmEm	3.86	0.33	0	0
126	Lil Thug:1	Andrew Grasso	3.99	0.03	0	0
127	Aaron H:1	Aristotle	4.19	0.11	0	0
128	Sprt:0	Aristotle	5.40	0.11	0	0
129	Mike Hunt:1	Aristotle	6.22	0.29	0	0
130	Lil Thug:0	Andrew Grasso	6.92	0.03	0	0
131	EC:0	haoyu	7.10	0.03	0	0
132	NA:1	Elphaba	7.20	0.04	0	0
133	Fanny:1	Aristotle	7.56	0.12	0	0
134	Tao:0	Bar Shabtai	7.97	0.02	0	0
135	Jordan Ash:0	EC	9.31	0.03	0	0
136	Dr Roberto:1	Andrew Grasso	10.94	0.02	0	0
137	Jordan Ash:1	Bar Shabtai	13.67	0.01	0	0
138	Matt Goldsmith:1	Happy	13.86	0.03	0	0
139	haoyu:1	Anon5	14.47	0.01	0	0
140	The Kraken:1	haoyu	14.71	0.00	13	0
141	The Kraken:0	haoyu	14.74	0.00	13	0
142	Ytterbium:1	Nihar the Great	14.89	0.02	20	0
143	Valya Barboy:1	Shaheed Chagani	14.86	0.18	22	0
144	Valya Barboy:0	Aristotle	14.88	0.06	22	0
145	Charliezsc:0	jgs	14.96	14.98	30	1
146	soccer:1	haoyu	14.94	0.04	32	0
147	CookieMonster:0	CookieMonster	14.98	0.82	32	0
148	The Whitman Whale:1	Andrew Grasso	14.84	0.03	40	0
149	Keji Xu:0	Nihar the Great	14.82	0.03	41	0
150	AFC:1	Aristotle	14.92	0.16	44	0
151	AFC:0	CookieMonster	14.93	0.34	44	0
152	Deric Cheng:0	jgs	14.97	14.99	45	1
153	Yan Wu:0	haoyu	14.95	0.05	65	0
154	jabreezy:1	Mercury	15.00	0.10	80	0
155	jabreezy:0	Mercury	14.97	0.09	80	0
156	George Okeowo:0	Andrew Grasso	14.93	0.01	81	0
157	Mr. Blobby:0	Green "The Bean" Choi	14.95	0.14	91	0
158	Mr. Blobby:1	dusty	14.92	0.12	91	0
159	Glenn Fisher:1	jabreezy	14.98	0.09	113	0
160	Dusty:1	Shaheed Chagani	14.87	0.22	259	0
161	Dusty:0	CookieMonster	14.84	1.39	259	0
162	Supahaka:0	Andrew Werner	14.96	15.00	315	35
163	Supahaka:1	Joel Faron	14.96	15.00	315	35
164	NA:0	haoyu	14.97	0.03	352	0
165	Janie Gu:0	Glenn Fisher	14.80	0.07	432	0
166	nupog:1	Aristotle	14.94	0.12	4920	0
167	nupog:0	Aristotle	14.93	0.13	4930	0
168	dfshasdsf12:1	Nihar the Great	15.00	0.11	74	0
169	CookieMonster:1	CookieMonster	15.01	1.10	10	0
170	Shaheed Chagani:0	Aristotle	15.01	0.17	495	0
171	Walter Little:1	haoyu	15.02	0.03	21	0
172	George Okeowo:1	Andrew Grasso	15.02	0.01	81	0
173	Nihar the Great:0	Aristotle	15.02	0.23	965	0
174	ebp:0	haoyu	15.03	0.04	22	0
175	Tao:1	Aristotle	15.03	0.07	20	0
176	Walter Little:0	haoyu	15.04	0.04	18	0
177	Bar Shabtai:1	haoyu	15.05	0.12	34	0
178	Mark S. Fillmore:1	Supahaka	15.05	0.04	114	79
179	Ben Chen:0	Elphaba	15.08	0.07	14	0
180	Sabar Dasgupta:0	spl	15.08	0.23	9	0
181	CAPS LOCK:1	Aristotle	15.08	0.25	821	0
182	BH:0	haoyu	15.09	0.07	61	0
183	DinnerPartyPlannerBM:0	Aristotle	15.09	0.11	43	0
184	Sabar Dasgupta:1	Aaron Doll	15.11	0.17	25	0
185	burrito:1	haoyu	15.11	0.10	1804	0
186	Nihar the Great:1	Aristotle	15.11	0.25	992	0
187	ebp:1	haoyu	15.12	0.04	24	0
188	Elphaba:0	Aristotle	15.13	0.24	32	0
189	jgs:1	haoyu	15.15	0.18	76	0
190	Mark S. Fillmore:0	Supahaka	15.17	0.01	156	116
191	Ben Chen:1	spl	15.23	0.20	90	0
192	Elphaba:1	Aristotle	15.23	0.22	33	0
193	soccer:0	haoyu	15.23	0.04	19	0
194	Aaron Doll:0	Aristotle	15.24	0.56	146	0
195	Absurdity:0	Aristotle	15.25	0.23	4	0
196	jgs:0	Aristotle	15.26	0.12	108	0
197	Yacob Y.:1	Aristotle	15.30	15.00	22	1
198	CAPS LOCK:0	Aristotle	15.35	0.20	1547	0
199	John Whelchel:1	haoyu	15.38	0.11	21	0
200	Shaheed Chagani:1	Aristotle	15.67	0.11	497	0
201	Aristotle:1	Aristotle	15.76	9.69	119	0
202	Andrew Werner:1	haoyu	15.84	0.11	45	0
203	Andrew Werner:0	Aaron Doll	15.92	0.33	44	0
204	Andys:0	Aristotle	15.96	0.12	14	0
205	Aristotle:0	Aristotle	15.99	15.00	119	1
206	Absurdity:1	Aristotle	16.05	0.18	5	0
207	Andys:1	Aristotle	16.16	0.13	17	0
208	John Whelchel:0	haoyu	16.63	0.06	10	0
209	Deric Cheng:1	jgs	17.20	14.98	3	1
210	13a:1	Aaron Doll	18.12	15.00	145	29
211	Aaron Doll:1	Aristotle	18.51	1.27	154	0
212	13a:0	Aaron Doll	19.73	15.00	143	21
213	Bar Shabtai:0	Aaron Doll	20.03	15.01	86	1
214	Jessie Chen:0	Joel Faron	-	0.13	-	1
215	Keji Xu:1	Nihar the Great	-	0.04	-	0
216	The Whitman Whale:0	bigwig	-	0.04	-	0
217	Qinlan Shen:1	R. A. B.	-	9.00	-	1
218	Quite Satisfied:1	Joel Faron	-	2.11	-	1
219	Jessie Chen:1	Joel Faron	-	0.12	-	1
220	SuperFan:0	jgs	-	14.98	-	4
221	T. Capote:0	haoyu	-	0.00	-	2
222	Andrew Grasso:1	Shaheed Chagani	-	0.15	-	0
223	DeeEmEm:0	CAPS LOCK	-	13.00	-	1
224	0108:0	jgs	-	14.98	-	1
225	SuperFan:1	jgs	-	14.98	-	4
226	T. Capote:1	haoyu	-	0.00	-	2
227	Andrew Grasso:0	Aaron Doll	-	0.18	-	0
228	Janie Gu:1	Jonathan Kwok	-	0.07	-	0

SatSolvers Ranklist

Generators Ranklist