Stats for satsolver: Happy

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 Happy 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 Happy 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:	Happy
Rank:	84 / 118
Average Score:	13.29
Median Score:	15.00
Description:	Runs a version of WalkSat with 5 intermediate points at which it checks whether the best assignment has been updated recently. If not, it resets the values to 0 and thus restarts the search

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

SatSolvers Ranklist

Generators Ranklist