Stats for satsolver: cjt

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 cjt 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 cjt 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:	cjt
Rank:	104 / 118
Average Score:	23.72
Median Score:	22.50
Description:	This sat-solver generates models using the WalkSat algorithm.

	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.01	0.00	0	0
4	Ravi Tandon:0	KingBach	0.01	0.00	0	0
5	K.L.:1	KingBach	0.01	0.00	0	0
6	Solving For Clauses:1	haoyu	0.02	0.00	0	0
7	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
8	Bebe Shi:1	KingBach	0.02	0.00	0	0
9	BMJ:1	burrito	0.02	0.00	0	0
10	Bebe Shi:0	KingBach	0.02	0.00	0	0
11	Miranda:0	cat	0.02	0.00	0	0
12	Happy:0	haoyu	0.02	0.00	0	0
13	K.L.:0	haoyu	0.03	0.00	0	0
14	Joshua Zimmer:0	haoyu	0.03	0.00	0	0
15	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
16	Miranda:1	cat	0.03	0.00	0	0
17	Joshua Zimmer:1	haoyu	0.03	0.00	0	0
18	Happy:1	KingBach	0.03	0.00	0	0
19	BMJ:0	Elphaba	0.04	0.00	0	0
20	R. A. B.:1	cat	0.04	0.00	0	0
21	Gewang:0	Jonathan Kwok	0.04	0.00	0	0
22	Jonathan Kwok:1	KingBach	0.05	0.00	0	0
23	Quite Satisfied:0	haoyu	0.06	0.00	0	0
24	bchouGenerator:0	haoyu	0.06	0.00	0	0
25	Jonathan Kwok:0	Elphaba	0.06	0.00	0	0
26	Blam:1	Elphaba	0.07	0.00	0	0
27	haoyu:0	KingBach	0.09	0.01	0	0
28	Scheduling Generator 203:0	jgs	0.09	0.01	0	0
29	Daffy Duck:1	haoyu	0.09	0.00	0	0
30	Gewang:1	Jonathan Kwok	0.10	0.00	0	0
31	haoyu:1	Anon5	0.10	0.01	0	0
32	Blam:0	Elphaba	0.12	0.00	0	0
33	Daffy Duck:0	Andrew Werner	0.15	0.00	0	0
34	David Paulk:1	Bar Shabtai	0.15	0.00	0	0
35	David Paulk:0	cat	0.15	0.00	0	0
36	The Kraken:1	haoyu	0.16	0.00	0	0
37	Tree Prophet:0	haoyu	0.17	0.00	0	0
38	Jordan Ash:1	Bar Shabtai	0.18	0.01	0	0
39	The Kraken:0	haoyu	0.18	0.00	0	0
40	Tom T:0	EC	0.20	0.02	0	0
41	Tom T:1	Andrew Werner	0.22	0.02	0	0
42	Qinlan Shen:0	Bar Shabtai	0.27	0.01	0	0
43	Scheduling Generator 203:1	Jameh	0.28	0.02	0	0
44	Boomshanka:0	haoyu	0.29	0.01	0	0
45	Sunny:1	jabreezy	0.31	0.01	0	0
46	Tree Prophet:1	haoyu	0.31	0.00	0	0
47	R. A. B.:0	Nihar the Great	0.34	0.00	0	0
48	Mickey Mouse:0	Bar Shabtai	0.43	0.01	0	0
49	weezy:0	Bar Shabtai	0.48	0.01	0	0
50	weezy:1	Bar Shabtai	0.53	0.01	0	0
51	Mickey Mouse:1	haoyu	0.56	0.01	0	0
52	Tiny Wings:1	haoyu	0.72	0.01	0	0
53	cmF5a3ly:1	Nihar the Great	0.85	0.00	0	0
54	Bob Dondero:0	Andrew Grasso	1.01	0.02	0	0
55	Bob Dondero:1	Mickey Mouse	1.17	0.03	0	0
56	cmF5a3ly:0	Nihar the Great	1.35	0.00	0	0
57	Jameh:0	haoyu	1.57	0.01	0	0
58	Dr Roberto:0	Andrew Grasso	2.56	0.03	0	0
59	Linda:0	Andrew Grasso	3.12	0.01	0	0
60	Mike Honcho:0	Miranda	3.32	0.01	0	0
61	Ytterbium:0	Andrew Grasso	3.50	0.02	0	0
62	Tiny Wings:0	haoyu	3.54	0.02	0	0
63	Boomshanka:1	Bar Shabtai	3.55	0.01	0	0
64	Linda:1	Andrew Grasso	3.70	0.02	0	0
65	The Whitman Whale:1	Andrew Grasso	4.15	0.03	0	0
66	vluu:0	Nihar the Great	4.24	0.01	0	0
67	Mike Honcho:1	Jessie Chen	4.31	0.01	0	0
68	cat:0	haoyu	4.48	0.03	0	0
69	vluu:1	Nihar the Great	4.63	0.02	0	0
70	cat:1	haoyu	6.02	0.03	0	0
71	Sunny:0	Green "The Bean" Choi	6.37	0.02	0	0
72	Jameh:1	haoyu	8.43	0.01	0	0
73	Alex Fish:0	haoyu	8.52	0.01	0	0
74	DeeEmEm:1	haoyu	11.47	0.02	0	0
75	Janie Gu:1	Jonathan Kwok	12.05	0.07	0	0
76	Keji Xu:1	Nihar the Great	12.63	0.04	0	0
77	Ytterbium:1	Nihar the Great	13.65	0.02	0	0
78	0108:1	haoyu	14.95	0.01	0	0
79	The Whitman Whale:0	bigwig	15.31	0.04	0	0
80	Quite Satisfied:1	Joel Faron	15.54	2.11	6	1
81	Janie Gu:0	Glenn Fisher	15.62	0.07	0	0
82	Jessie Chen:0	Joel Faron	15.64	0.13	6	1
83	SuperFan:0	jgs	16.26	14.98	25	4
84	SuperFan:1	jgs	16.43	14.98	24	4
85	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	17.05	0.00	7	0
86	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	17.53	0.01	9	0
87	DeeEmEm:0	CAPS LOCK	19.39	13.00	7	1
88	David H.:0	AFC	19.85	0.28	18	0
89	Jordan Ash:0	EC	20.23	0.03	15	0
90	Alex Fish:1	haoyu	21.13	0.02	7	0
91	David H.:1	DeeEmEm	21.70	0.33	20	0
92	Tao:1	Aristotle	22.50	0.07	6	0
93	Brendan Wright:1	Deric Cheng	22.50	0.10	6	0
94	totallyOnFallBreak:0	Nikhilesh Sigatapu	22.50	0.01	6	0
95	Lisa Kim:0	Aristotle	22.50	0.07	7	0
96	Lisa Kim:1	Bar Shabtai	22.50	0.06	8	0
97	Keji Xu:0	Nihar the Great	22.50	0.03	8	0
98	Sally Smith:1	haoyu	22.50	0.04	8	0
99	Sally Smith:0	haoyu	22.50	0.04	9	0
100	0108:0	jgs	22.50	14.98	11	1
101	Tao:0	Bar Shabtai	22.50	0.02	13	0
102	Anon5:0	haoyu	22.50	0.05	15	0
103	Valya Barboy:1	Shaheed Chagani	22.50	0.18	16	0
104	Anon_K_P:1	Aristotle	22.50	0.03	16	0
105	Valya Barboy:0	Aristotle	22.50	0.06	16	0
106	Nikhilesh Sigatapu:0	haoyu	22.50	0.03	17	0
107	Anon_K_P:0	haoyu	22.50	0.02	18	0
108	totallyOnFallBreak:1	Nikhilesh Sigatapu	22.50	0.01	18	0
109	Nikhilesh Sigatapu:1	haoyu	22.50	0.04	18	0
110	Samuel Jerome:0	haoyu	22.50	0.03	19	0
111	EC:1	haoyu	22.50	0.03	21	0
112	CookieMonster:0	CookieMonster	22.50	0.82	21	0
113	Anon5:1	Green "The Bean" Choi	22.50	0.07	23	0
114	CookieMonster:1	CookieMonster	22.50	1.10	23	0
115	EC:0	haoyu	22.50	0.03	29	0
116	AFC:1	Aristotle	22.50	0.16	31	0
117	AFC:0	CookieMonster	22.50	0.34	34	0
118	Mercury:1	haoyu	22.50	0.05	43	0
119	Andrew Grasso:0	Aaron Doll	22.50	0.18	44	0
120	Dusty:1	Shaheed Chagani	22.50	0.22	46	0
121	Mr. Blobby:0	Green "The Bean" Choi	22.50	0.14	48	0
122	Glenn Fisher:0	Elphaba	22.50	0.02	49	0
123	Yan Wu:1	haoyu	22.50	0.04	49	0
124	Samuel Jerome:1	haoyu	22.50	0.03	50	0
125	Andrew Grasso:1	Shaheed Chagani	22.50	0.15	50	0
126	Supahaka:0	Andrew Werner	22.50	15.00	50	35
127	Fanny:1	Aristotle	22.50	0.12	50	0
128	Supahaka:1	Joel Faron	22.50	15.00	52	35
129	Dusty:0	CookieMonster	22.50	1.39	55	0
130	Fanny:0	Aristotle	22.50	0.10	58	0
131	Mr. Blobby:1	dusty	22.50	0.12	59	0
132	Ben Chen:0	Elphaba	22.50	0.07	61	0
133	Yan Wu:0	haoyu	22.50	0.05	71	0
134	Ben Chen:1	spl	22.50	0.20	71	0
135	Walter Little:1	haoyu	22.50	0.03	73	0
136	Walter Little:0	haoyu	22.50	0.04	74	0
137	Glenn Fisher:1	jabreezy	22.50	0.09	74	0
138	Mark S. Fillmore:1	Supahaka	22.50	0.04	81	79
139	David Lackey:1	Bar Shabtai	22.50	0.03	81	0
140	David Lackey:0	Anon5	22.50	0.03	85	0
141	NA:1	Elphaba	22.50	0.04	98	0
142	kt4124:1	haoyu	22.50	0.04	108	0
143	NA:0	haoyu	22.50	0.03	114	0
144	Matt Haake:1	haoyu	22.50	0.05	116	0
145	Matt Haake:0	haoyu	22.50	0.05	123	0
146	snowflakes:0	haoyu	22.50	0.03	133	0
147	Mercury:0	haoyu	22.50	0.05	137	0
148	kt4124:0	haoyu	22.50	0.03	145	0
149	snowflakes:1	haoyu	22.50	0.03	149	0
150	George Okeowo:0	Andrew Grasso	22.50	0.01	896	0
151	Mark S. Fillmore:0	Supahaka	22.50	0.01	1012	116
152	George Okeowo:1	Andrew Grasso	22.50	0.01	1017	0
153	spl:0	Elphaba	22.50	0.09	1637	0
154	bfang:0	haoyu	22.50	0.04	1902	0
155	spl:1	haoyu	22.50	0.06	2097	0
156	soccer:0	haoyu	22.50	0.04	2452	0
157	bfang:1	haoyu	22.50	0.04	2478	0
158	jabreezy:1	Mercury	22.50	0.10	2652	0
159	jabreezy:0	Mercury	22.50	0.09	2710	0
160	soccer:1	haoyu	22.50	0.04	2874	0
161	Yacob Y.:0	haoyu	22.50	0.06	5240	0
162	Batman:1	haoyu	22.50	0.04	5335	0
163	KingBach:1	haoyu	22.50	0.04	5671	0
164	KingBach:0	haoyu	22.50	0.06	5935	0
165	Batman:0	haoyu	22.50	0.04	5949	0
166	Yacob Y.:1	Aristotle	22.50	15.00	6793	1
167	Khoa:0	haoyu	22.50	0.09	7066	0
168	ebp:1	haoyu	22.50	0.04	7144	0
169	Khoa:1	Aristotle	22.50	0.09	7446	0
170	ebp:0	haoyu	22.50	0.04	7453	0
171	Charliezsc:0	jgs	22.50	14.98	7852	1
172	Absurdity:1	Aristotle	22.50	0.18	7943	0
173	Absurdity:0	Aristotle	22.50	0.23	8805	0
174	Sprt:1	haoyu	22.50	0.05	10827	0
175	Charliezsc:1	haoyu	22.50	0.07	11020	0
176	Sabar Dasgupta:0	spl	22.50	0.23	12135	0
177	Sabar Dasgupta:1	Aaron Doll	22.50	0.17	13088	0
178	BH:1	haoyu	22.50	0.05	21403	0
179	burrito:0	haoyu	22.50	0.09	21507	0
180	DinnerPartyPlannerBM:1	Nihar the Great	22.50	0.06	22623	0
181	Mike Hunt:0	Aristotle	22.50	0.27	23000	0
182	Mike Hunt:1	Aristotle	22.50	0.29	23119	0
183	Aaron H:1	Aristotle	22.50	0.11	28977	0
184	Andrew Werner:0	Aaron Doll	22.50	0.33	29377	0
185	John Whelchel:1	haoyu	22.50	0.11	29674	0
186	dfshasdsf12:1	Nihar the Great	22.50	0.11	30065	0
187	Lil Thug:0	Andrew Grasso	22.50	0.03	30479	0
188	Andrew Werner:1	haoyu	22.50	0.11	31049	0
189	John Whelchel:0	haoyu	22.50	0.06	31101	0
190	Shaheed Chagani:0	Aristotle	22.50	0.17	36815	0
191	burrito:1	haoyu	22.50	0.10	45734	0
192	DinnerPartyPlannerBM:0	Aristotle	22.50	0.11	47122	0
193	Deric Cheng:0	jgs	22.50	14.99	55472	1
194	jgs:0	Aristotle	22.50	0.12	56855	0
195	BH:0	haoyu	22.50	0.07	19566	0
196	Aaron H:0	Aristotle	22.50	0.11	26940	0
197	Sprt:0	Aristotle	22.50	0.11	29217	0
198	Lil Thug:1	Andrew Grasso	22.50	0.03	29294	0
199	Andys:0	Aristotle	22.50	0.12	30876	0
200	Andys:1	Aristotle	22.50	0.13	31278	0
201	Bar Shabtai:1	haoyu	22.50	0.12	53298	0
202	Deric Cheng:1	jgs	22.50	14.98	57840	1
203	jgs:1	haoyu	22.50	0.18	60006	0
204	Brendan Wright:0	haoyu	22.50	0.10	5	0
205	dfshasdsf12:0	haoyu	22.50	0.09	20499	0
206	Shaheed Chagani:1	Aristotle	22.50	0.11	35929	0
207	CAPS LOCK:0	Aristotle	22.50	0.20	55409	0
208	CAPS LOCK:1	Aristotle	25.77	0.25	70727	0
209	nupog:1	Aristotle	35.59	0.12	5046	0
210	nupog:0	Aristotle	36.72	0.13	4985	0
211	Elphaba:0	Aristotle	37.50	0.24	107469	0
212	Elphaba:1	Aristotle	45.03	0.22	109377	0
213	13a:1	Aaron Doll	60.42	15.00	129372	29
214	13a:0	Aaron Doll	73.50	15.00	121668	21
215	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
216	Aristotle:1	Aristotle	-	9.69	-	0
217	Dr Roberto:1	Andrew Grasso	-	0.02	-	0
218	Qinlan Shen:1	R. A. B.	-	9.00	-	1
219	Aaron Doll:0	Aristotle	-	0.56	-	0
220	Jessie Chen:1	Joel Faron	-	0.12	-	1
221	T. Capote:0	haoyu	-	0.00	-	2
222	Aaron Doll:1	Aristotle	-	1.27	-	0
223	Nihar the Great:0	Aristotle	-	0.23	-	0
224	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
225	T. Capote:1	haoyu	-	0.00	-	2
226	Aristotle:0	Aristotle	-	15.00	-	1
227	Nihar the Great:1	Aristotle	-	0.25	-	0
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist