Stats for satsolver: The Kraken

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 The Kraken 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 The Kraken 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:	The Kraken
Rank:	85 / 118
Average Score:	13.42
Median Score:	15.00
Description:	This implements the walkSat algorithm, which uses a hill climbing approach combined with some randomness. A couple improvements being randomly restarting fresh with a new input seed and sometimes flipping 2 bits instead of 1.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Miranda:1	cat	0.00	0.00	0	0
2	Miranda:0	cat	0.00	0.00	0	0
3	Ravi Tandon:0	KingBach	0.00	0.00	0	0
4	Happy:1	KingBach	0.00	0.00	0	0
5	Bebe Shi:0	KingBach	0.01	0.00	0	0
6	Bebe Shi:1	KingBach	0.02	0.00	0	0
7	bigwig:0	Andrew Werner	0.02	0.00	0	0
8	Jonathan Kwok:0	Elphaba	0.04	0.00	0	0
9	Ravi Tandon:1	KingBach	0.04	0.00	0	0
10	Jonathan Kwok:1	KingBach	0.06	0.00	0	0
11	cmF5a3ly:0	Nihar the Great	0.07	0.00	0	0
12	cmF5a3ly:1	Nihar the Great	0.08	0.00	0	0
13	Daffy Duck:1	haoyu	0.08	0.00	0	0
14	Daffy Duck:0	Andrew Werner	0.11	0.00	0	0
15	Bob Dondero:1	Mickey Mouse	0.18	0.03	0	0
16	Bob Dondero:0	Andrew Grasso	0.18	0.02	0	0
17	BMJ:1	burrito	0.24	0.00	0	0
18	weezy:1	Bar Shabtai	0.32	0.01	0	0
19	BMJ:0	Elphaba	0.32	0.00	0	0
20	Scheduling Generator 203:0	jgs	0.35	0.01	0	0
21	weezy:0	Bar Shabtai	0.38	0.01	0	0
22	Qinlan Shen:0	Bar Shabtai	0.43	0.01	0	0
23	haoyu:1	Anon5	0.48	0.01	0	0
24	Mike Honcho:0	Miranda	0.49	0.01	0	0
25	haoyu:0	KingBach	0.54	0.01	0	0
26	Scheduling Generator 203:1	Jameh	0.78	0.02	0	0
27	Boomshanka:0	haoyu	1.04	0.01	0	0
28	The Kraken:1	haoyu	6.03	0.00	0	0
29	Mike Honcho:1	Jessie Chen	9.44	0.01	0	0
30	The Kraken:0	haoyu	11.18	0.00	0	0
31	K.L.:1	KingBach	12.03	0.00	0	0
32	Gewang:1	Jonathan Kwok	15.00	0.00	1	0
33	Gewang:0	Jonathan Kwok	15.00	0.00	1	0
34	bigwig:1	KingBach	15.00	0.00	1	0
35	T. Capote:0	haoyu	15.00	0.00	2	2
36	T. Capote:1	haoyu	15.00	0.00	2	2
37	Jessie Chen:1	Joel Faron	15.00	0.12	7	1
38	bchouGenerator:0	haoyu	15.00	0.00	8	0
39	Jessie Chen:0	Joel Faron	15.00	0.13	9	1
40	Qinlan Shen:1	R. A. B.	15.00	9.00	9	1
41	Happy:0	haoyu	15.00	0.00	9	0
42	Jordan Ash:1	Bar Shabtai	15.00	0.01	10	0
43	Joshua Zimmer:1	haoyu	15.00	0.00	11	0
44	Mickey Mouse:1	haoyu	15.00	0.01	13	0
45	Joshua Zimmer:0	haoyu	15.00	0.00	13	0
46	K.L.:0	haoyu	15.00	0.00	19	0
47	DeeEmEm:0	CAPS LOCK	15.00	13.00	22	1
48	R. A. B.:1	cat	15.00	0.00	25	0
49	Solving For Clauses:1	haoyu	15.00	0.00	26	0
50	DeeEmEm:1	haoyu	15.00	0.02	27	0
51	Blam:1	Elphaba	15.00	0.00	46	0
52	Blam:0	Elphaba	15.00	0.00	46	0
53	Solving For Clauses:0	Glenn Fisher	15.00	0.00	51	0
54	bchouGenerator:1	Jonathan Kwok	15.00	0.01	54	0
55	Tree Prophet:0	haoyu	15.00	0.00	62	0
56	Tree Prophet:1	haoyu	15.00	0.00	64	0
57	Sunny:1	jabreezy	15.00	0.01	67	0
58	SuperFan:1	jgs	15.00	14.98	72	4
59	Sunny:0	Green "The Bean" Choi	15.00	0.02	79	0
60	David Paulk:0	cat	15.00	0.00	79	0
61	SuperFan:0	jgs	15.00	14.98	80	4
62	David Paulk:1	Bar Shabtai	15.00	0.00	81	0
63	Quite Satisfied:0	haoyu	15.00	0.00	99	0
64	R. A. B.:0	Nihar the Great	15.00	0.00	107	0
65	Andrew Grasso:0	Aaron Doll	15.00	0.18	127	0
66	Supahaka:0	Andrew Werner	15.00	15.00	180	35
67	Supahaka:1	Joel Faron	15.00	15.00	202	35
68	Jameh:0	haoyu	15.00	0.01	327	0
69	Jameh:1	haoyu	15.00	0.01	588	0
70	Boomshanka:1	Bar Shabtai	15.00	0.01	12	0
71	Jordan Ash:0	EC	15.00	0.03	16	0
72	0108:1	haoyu	15.00	0.01	23	0
73	Tiny Wings:1	haoyu	15.00	0.01	24	0
74	0108:0	jgs	15.00	14.98	24	1
75	Tiny Wings:0	haoyu	15.00	0.02	33	0
76	cat:0	haoyu	15.00	0.03	63	0
77	cat:1	haoyu	15.00	0.03	64	0
78	Valya Barboy:1	Shaheed Chagani	15.00	0.18	69	0
79	Valya Barboy:0	Aristotle	15.00	0.06	121	0
80	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	149	0
81	Dusty:0	CookieMonster	15.00	1.39	189	0
82	Dusty:1	Shaheed Chagani	15.00	0.22	219	0
83	kt4124:0	haoyu	15.00	0.03	272	0
84	kt4124:1	haoyu	15.00	0.04	283	0
85	Alex Fish:1	haoyu	15.00	0.02	389	0
86	Alex Fish:0	haoyu	15.00	0.01	416	0
87	Anon5:1	Green "The Bean" Choi	15.00	0.07	513	0
88	Mickey Mouse:0	Bar Shabtai	15.00	0.01	12	0
89	Anon_K_P:1	Aristotle	15.00	0.03	16	0
90	David H.:1	DeeEmEm	15.00	0.33	17	0
91	CookieMonster:1	CookieMonster	15.00	1.10	34	0
92	AFC:1	Aristotle	15.00	0.16	42	0
93	Glenn Fisher:1	jabreezy	15.00	0.09	97	0
94	NA:0	haoyu	15.00	0.03	127	0
95	NA:1	Elphaba	15.00	0.04	131	0
96	Matt Haake:1	haoyu	15.00	0.05	131	0
97	Glenn Fisher:0	Elphaba	15.00	0.02	157	0
98	snowflakes:0	haoyu	15.00	0.03	195	0
99	Mr. Blobby:1	dusty	15.00	0.12	713	0
100	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	743	0
101	Mark S. Fillmore:1	Supahaka	15.00	0.04	747	79
102	Anon5:0	haoyu	15.00	0.05	825	0
103	Keji Xu:1	Nihar the Great	15.00	0.04	13	0
104	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	14	0
105	Keji Xu:0	Nihar the Great	15.00	0.03	14	0
106	David H.:0	AFC	15.00	0.28	20	0
107	The Whitman Whale:0	bigwig	15.00	0.04	21	0
108	vluu:0	Nihar the Great	15.00	0.01	22	0
109	Anon_K_P:0	haoyu	15.00	0.02	25	0
110	George Okeowo:0	Andrew Grasso	15.00	0.01	34	0
111	Matt Haake:0	haoyu	15.00	0.05	130	0
112	snowflakes:1	haoyu	15.00	0.03	196	0
113	Ben Chen:1	spl	15.00	0.20	214	0
114	Ben Chen:0	Elphaba	15.00	0.07	223	0
115	Ytterbium:1	Nihar the Great	15.00	0.02	671	0
116	vluu:1	Nihar the Great	15.00	0.02	22	0
117	The Whitman Whale:1	Andrew Grasso	15.00	0.03	23	0
118	CookieMonster:0	CookieMonster	15.00	0.82	26	0
119	Janie Gu:0	Glenn Fisher	15.00	0.07	36	0
120	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	93	0
121	Walter Little:1	haoyu	15.00	0.03	149	0
122	Ytterbium:0	Andrew Grasso	15.00	0.02	227	0
123	Tom T:1	Andrew Werner	15.01	0.02	11	0
124	EC:0	haoyu	15.01	0.03	25	0
125	David Lackey:1	Bar Shabtai	15.01	0.03	54	0
126	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.01	0.01	123	0
127	Walter Little:0	haoyu	15.01	0.04	198	0
128	ebp:1	haoyu	15.01	0.04	304	0
129	Mark S. Fillmore:0	Supahaka	15.01	0.01	1319	116
130	Mercury:1	haoyu	15.01	0.05	3003	0
131	Nikhilesh Sigatapu:0	haoyu	15.01	0.03	18	0
132	Samuel Jerome:0	haoyu	15.01	0.03	25	0
133	George Okeowo:1	Andrew Grasso	15.01	0.01	32	0
134	Janie Gu:1	Jonathan Kwok	15.01	0.07	54	0
135	Yan Wu:1	haoyu	15.01	0.04	85	0
136	spl:1	haoyu	15.01	0.06	1300	0
137	soccer:1	haoyu	15.01	0.04	4510	0
138	Tom T:0	EC	15.01	0.02	12	0
139	bfang:0	haoyu	15.01	0.04	35	0
140	David Lackey:0	Anon5	15.01	0.03	69	0
141	Fanny:1	Aristotle	15.01	0.12	744	0
142	Fanny:0	Aristotle	15.01	0.10	750	0
143	soccer:0	haoyu	15.01	0.04	3904	0
144	Dr Roberto:0	Andrew Grasso	15.01	0.03	6	0
145	Mercury:0	haoyu	15.01	0.05	2938	0
146	Dr Roberto:1	Andrew Grasso	15.01	0.02	6	0
147	Samuel Jerome:1	haoyu	15.01	0.03	43	0
148	EC:1	haoyu	15.01	0.03	45	0
149	Absurdity:0	Aristotle	15.01	0.23	268	0
150	ebp:0	haoyu	15.01	0.04	310	0
151	Sally Smith:1	haoyu	15.01	0.04	1305	0
152	Yan Wu:0	haoyu	15.01	0.05	64	0
153	jabreezy:0	Mercury	15.01	0.09	80	0
154	Khoa:1	Aristotle	15.01	0.09	140	0
155	dfshasdsf12:0	haoyu	15.01	0.09	407	0
156	spl:0	Elphaba	15.01	0.09	1289	0
157	Lisa Kim:1	Bar Shabtai	15.01	0.06	33	0
158	Khoa:0	haoyu	15.01	0.09	158	0
159	nupog:0	Aristotle	15.01	0.13	4388	0
160	Lisa Kim:0	Aristotle	15.01	0.07	50	0
161	jabreezy:1	Mercury	15.01	0.10	77	0
162	Sally Smith:0	haoyu	15.01	0.04	960	0
163	burrito:0	haoyu	15.01	0.09	3656	0
164	Brendan Wright:1	Deric Cheng	15.01	0.10	13	0
165	Absurdity:1	Aristotle	15.02	0.18	364	0
166	nupog:1	Aristotle	15.02	0.12	4427	0
167	Linda:0	Andrew Grasso	15.02	0.01	11	0
168	Sprt:1	haoyu	15.02	0.05	82	0
169	Linda:1	Andrew Grasso	15.02	0.02	8	0
170	Charliezsc:1	haoyu	15.02	0.07	103	0
171	Batman:1	haoyu	15.02	0.04	39	0
172	burrito:1	haoyu	15.02	0.10	7239	0
173	Charliezsc:0	jgs	15.03	14.98	121	1
174	Elphaba:1	Aristotle	15.03	0.22	144	0
175	Lil Thug:1	Andrew Grasso	15.03	0.03	1318	0
176	bfang:1	haoyu	15.03	0.04	73	0
177	Yacob Y.:1	Aristotle	15.03	15.00	46	1
178	Shaheed Chagani:1	Aristotle	15.03	0.11	361	0
179	dfshasdsf12:1	Nihar the Great	15.04	0.11	571	0
180	Lil Thug:0	Andrew Grasso	15.04	0.03	1416	0
181	Elphaba:0	Aristotle	15.04	0.24	105	0
182	Yacob Y.:0	haoyu	15.04	0.06	46	0
183	Batman:0	haoyu	15.04	0.04	30	0
184	Sprt:0	Aristotle	15.04	0.11	106	0
185	Sabar Dasgupta:0	spl	15.05	0.23	130	0
186	CAPS LOCK:0	Aristotle	15.05	0.20	159	0
187	KingBach:0	haoyu	15.05	0.06	144	0
188	KingBach:1	haoyu	15.05	0.04	75	0
189	Mike Hunt:0	Aristotle	15.06	0.27	182	0
190	13a:1	Aaron Doll	15.06	15.00	436	29
191	Brendan Wright:0	haoyu	15.06	0.10	15	0
192	Aaron H:1	Aristotle	15.08	0.11	59	0
193	Andys:0	Aristotle	15.09	0.12	58	0
194	Sabar Dasgupta:1	Aaron Doll	15.09	0.17	97	0
195	Shaheed Chagani:0	Aristotle	15.09	0.17	355	0
196	Mike Hunt:1	Aristotle	15.09	0.29	154	0
197	Andrew Werner:0	Aaron Doll	15.10	0.33	29	0
198	DinnerPartyPlannerBM:1	Nihar the Great	15.10	0.06	20	0
199	Andys:1	Aristotle	15.10	0.13	69	0
200	Bar Shabtai:0	Aaron Doll	15.12	15.01	98	1
201	CAPS LOCK:1	Aristotle	15.12	0.25	271	0
202	Aaron H:0	Aristotle	15.12	0.11	43	0
203	jgs:0	Aristotle	15.12	0.12	50	0
204	John Whelchel:1	haoyu	15.13	0.11	35	0
205	Andrew Werner:1	haoyu	15.13	0.11	25	0
206	jgs:1	haoyu	15.21	0.18	52	0
207	Deric Cheng:0	jgs	15.21	14.99	41	1
208	Deric Cheng:1	jgs	15.22	14.98	36	1
209	Matt Goldsmith:1	Happy	15.23	0.03	253861	0
210	Quite Satisfied:1	Joel Faron	15.23	2.11	76	1
211	DinnerPartyPlannerBM:0	Aristotle	15.25	0.11	39	0
212	Nihar the Great:1	Aristotle	15.28	0.25	805	0
213	Nihar the Great:0	Aristotle	15.28	0.23	788	0
214	AFC:0	CookieMonster	15.32	0.34	34	0
215	BH:0	haoyu	15.36	0.07	1603	0
216	John Whelchel:0	haoyu	15.38	0.06	25	0
217	Tao:1	Aristotle	15.40	0.07	26	0
218	13a:0	Aaron Doll	15.53	15.00	467	21
219	Matt Goldsmith:0	Nihar the Great	15.55	0.03	250010	0
220	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.82	0.01	38	0
221	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.88	0.00	30	0
222	Bar Shabtai:1	haoyu	16.38	0.12	130	0
223	Tao:0	Bar Shabtai	16.57	0.02	18	0
224	BH:1	haoyu	17.82	0.05	2060	0
225	Aaron Doll:0	Aristotle	18.65	0.56	118	0
226	Aaron Doll:1	Aristotle	24.12	1.27	123	0
227	Aristotle:1	Aristotle	26.77	9.69	103	0
228	Aristotle:0	Aristotle	36.37	15.00	101	1

SatSolvers Ranklist

Generators Ranklist