Stats for satsolver: kt4124

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 kt4124 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 kt4124 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:	kt4124
Rank:	57 / 118
Average Score:	8.36
Median Score:	15.00
Description:	Variant of WalkSat and Novelty. With probability (1-p), flips either the symbol in a given clause that minimizes the number of unsatisfied clauses in the model, or the 2nd best symbol, based on the symbol's age. Otherwise, flips a random symbol in the clause.

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

SatSolvers Ranklist

Generators Ranklist