Stats for satsolver: Gewang

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 Gewang 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 Gewang 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:	Gewang
Rank:	93 / 118
Average Score:	15.98
Median Score:	15.02
Description:	When time runs out, the SAT-solver will return the best random model it generates

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.01	0.00	0	0
3	Ravi Tandon:0	KingBach	0.01	0.00	0	0
4	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
5	Happy:1	KingBach	0.01	0.00	0	0
6	Bebe Shi:0	KingBach	0.01	0.00	0	0
7	BMJ:1	burrito	0.01	0.00	0	0
8	Ravi Tandon:1	KingBach	0.01	0.00	0	0
9	Bebe Shi:1	KingBach	0.02	0.00	0	0
10	K.L.:1	KingBach	0.02	0.00	0	0
11	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
12	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
13	BMJ:0	Elphaba	0.02	0.00	0	0
14	Daffy Duck:1	haoyu	0.02	0.00	0	0
15	Miranda:0	cat	0.02	0.00	0	0
16	Mike Honcho:0	Miranda	0.02	0.01	0	0
17	Solving For Clauses:1	haoyu	0.02	0.00	0	0
18	Miranda:1	cat	0.02	0.00	0	0
19	Joshua Zimmer:1	haoyu	0.03	0.00	0	0
20	K.L.:0	haoyu	0.03	0.00	0	0
21	Happy:0	haoyu	0.03	0.00	0	0
22	Joshua Zimmer:0	haoyu	0.03	0.00	0	0
23	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
24	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
25	R. A. B.:1	cat	0.03	0.00	0	0
26	Daffy Duck:0	Andrew Werner	0.04	0.00	0	0
27	bchouGenerator:0	haoyu	0.04	0.00	0	0
28	haoyu:0	KingBach	0.04	0.01	0	0
29	haoyu:1	Anon5	0.04	0.01	0	0
30	Gewang:1	Jonathan Kwok	0.08	0.00	0	0
31	Gewang:0	Jonathan Kwok	0.09	0.00	0	0
32	Blam:0	Elphaba	0.13	0.00	0	0
33	Tree Prophet:0	haoyu	0.13	0.00	0	0
34	Scheduling Generator 203:0	jgs	0.14	0.01	0	0
35	The Kraken:1	haoyu	0.16	0.00	0	0
36	Blam:1	Elphaba	0.17	0.00	0	0
37	Quite Satisfied:0	haoyu	0.19	0.00	0	0
38	Jordan Ash:1	Bar Shabtai	0.20	0.01	0	0
39	Qinlan Shen:0	Bar Shabtai	0.26	0.01	0	0
40	Tom T:1	Andrew Werner	0.27	0.02	0	0
41	The Kraken:0	haoyu	0.37	0.00	0	0
42	David Paulk:0	cat	0.38	0.00	0	0
43	Tom T:0	EC	0.38	0.02	0	0
44	Scheduling Generator 203:1	Jameh	0.39	0.02	0	0
45	David Paulk:1	Bar Shabtai	0.42	0.00	0	0
46	David Lackey:0	Anon5	0.46	0.03	0	0
47	R. A. B.:0	Nihar the Great	0.54	0.00	0	0
48	0108:1	haoyu	0.73	0.01	0	0
49	Dr Roberto:1	Andrew Grasso	0.73	0.02	0	0
50	Sunny:1	jabreezy	0.89	0.01	0	0
51	Bob Dondero:1	Mickey Mouse	0.98	0.03	0	0
52	David Lackey:1	Bar Shabtai	1.01	0.03	0	0
53	Jordan Ash:0	EC	1.05	0.03	0	0
54	Dr Roberto:0	Andrew Grasso	1.28	0.03	0	0
55	weezy:1	Bar Shabtai	1.41	0.01	0	0
56	Bob Dondero:0	Andrew Grasso	1.47	0.02	0	0
57	Mickey Mouse:0	Bar Shabtai	1.52	0.01	0	0
58	Tree Prophet:1	haoyu	1.54	0.00	0	0
59	Mickey Mouse:1	haoyu	1.70	0.01	0	0
60	weezy:0	Bar Shabtai	1.80	0.01	0	0
61	cmF5a3ly:0	Nihar the Great	1.85	0.00	0	0
62	Tiny Wings:1	haoyu	2.53	0.01	0	0
63	Alex Fish:1	haoyu	2.93	0.02	0	0
64	cmF5a3ly:1	Nihar the Great	3.05	0.00	0	0
65	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	3.68	0.00	0	0
66	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	3.87	0.01	0	0
67	Jameh:0	haoyu	5.09	0.01	0	0
68	Linda:0	Andrew Grasso	5.36	0.01	0	0
69	Tiny Wings:0	haoyu	6.26	0.02	0	0
70	Sunny:0	Green "The Bean" Choi	6.74	0.02	0	0
71	Alex Fish:0	haoyu	6.85	0.01	0	0
72	Boomshanka:1	Bar Shabtai	7.06	0.01	0	0
73	Anon_K_P:1	Aristotle	8.07	0.03	0	0
74	Anon_K_P:0	haoyu	8.79	0.02	0	0
75	Keji Xu:0	Nihar the Great	8.87	0.03	0	0
76	Keji Xu:1	Nihar the Great	9.39	0.04	0	0
77	Tao:1	Aristotle	9.80	0.07	0	0
78	The Whitman Whale:0	bigwig	11.39	0.04	0	0
79	The Whitman Whale:1	Andrew Grasso	13.01	0.03	0	0
80	Linda:1	Andrew Grasso	14.98	0.02	0	0
81	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
82	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
83	DeeEmEm:1	haoyu	15.00	0.02	1	0
84	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
85	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
86	T. Capote:0	haoyu	15.00	0.00	2	2
87	DeeEmEm:0	CAPS LOCK	15.00	13.00	2	1
88	T. Capote:1	haoyu	15.00	0.00	2	2
89	kt4124:0	haoyu	15.00	0.03	808	0
90	Anon5:1	Green "The Bean" Choi	15.00	0.07	2	0
91	Valya Barboy:1	Shaheed Chagani	15.00	0.18	3	0
92	SuperFan:1	jgs	15.00	14.98	5	4
93	SuperFan:0	jgs	15.00	14.98	6	4
94	vluu:1	Nihar the Great	15.00	0.02	267	0
95	Valya Barboy:0	Aristotle	15.00	0.06	3	0
96	Supahaka:1	Joel Faron	15.00	15.00	35	35
97	Boomshanka:0	haoyu	15.00	0.01	1	0
98	0108:0	jgs	15.00	14.98	1	1
99	Janie Gu:1	Jonathan Kwok	15.00	0.07	3	0
100	Supahaka:0	Andrew Werner	15.00	15.00	35	35
101	David H.:0	AFC	15.01	0.28	3	0
102	Matt Haake:1	haoyu	15.01	0.05	64	0
103	Dusty:1	Shaheed Chagani	15.01	0.22	16	0
104	Andrew Werner:0	Aaron Doll	15.01	0.33	30345	0
105	David H.:1	DeeEmEm	15.01	0.33	3	0
106	Janie Gu:0	Glenn Fisher	15.01	0.07	4	0
107	Andrew Grasso:0	Aaron Doll	15.01	0.18	14	0
108	CookieMonster:0	CookieMonster	15.01	0.82	1420	0
109	Dusty:0	CookieMonster	15.01	1.39	22	0
110	Anon5:0	haoyu	15.02	0.05	6	0
111	Andrew Grasso:1	Shaheed Chagani	15.02	0.15	13	0
112	NA:1	Elphaba	15.02	0.04	514	0
113	Ytterbium:1	Nihar the Great	15.02	0.02	1819	0
114	Nikhilesh Sigatapu:0	haoyu	15.02	0.03	2	0
115	vluu:0	Nihar the Great	15.02	0.01	47	0
116	ebp:1	haoyu	15.02	0.04	8098	0
117	Yan Wu:0	haoyu	15.02	0.05	39	0
118	Jameh:1	haoyu	15.02	0.01	136	0
119	Mark S. Fillmore:1	Supahaka	15.02	0.04	552	79
120	cat:0	haoyu	15.02	0.03	313	0
121	Samuel Jerome:0	haoyu	15.02	0.03	25	0
122	Yan Wu:1	haoyu	15.02	0.04	24	0
123	AFC:0	CookieMonster	15.03	0.34	1196	0
124	Tao:0	Bar Shabtai	15.03	0.02	1	0
125	Nikhilesh Sigatapu:1	haoyu	15.03	0.04	4	0
126	EC:0	haoyu	15.03	0.03	502	0
127	Ytterbium:0	Andrew Grasso	15.03	0.02	10	0
128	cat:1	haoyu	15.03	0.03	24	0
129	CookieMonster:1	CookieMonster	15.03	1.10	1220	0
130	Matt Haake:0	haoyu	15.03	0.05	96	0
131	Walter Little:0	haoyu	15.03	0.04	3435	0
132	Brendan Wright:1	Deric Cheng	15.04	0.10	2	0
133	Fanny:0	Aristotle	15.04	0.10	20	0
134	EC:1	haoyu	15.04	0.03	443	0
135	NA:0	haoyu	15.04	0.03	581	0
136	Samuel Jerome:1	haoyu	15.04	0.03	191	0
137	Glenn Fisher:1	jabreezy	15.04	0.09	1054	0
138	Fanny:1	Aristotle	15.05	0.12	30	0
139	snowflakes:1	haoyu	15.05	0.03	858	0
140	Ben Chen:0	Elphaba	15.06	0.07	3308	0
141	Lisa Kim:0	Aristotle	15.06	0.07	3305	0
142	kt4124:1	haoyu	15.07	0.04	714	0
143	George Okeowo:0	Andrew Grasso	15.07	0.01	3526	0
144	Glenn Fisher:0	Elphaba	15.07	0.02	1231	0
145	Sally Smith:1	haoyu	15.07	0.04	2343	0
146	AFC:1	Aristotle	15.08	0.16	1375	0
147	Brendan Wright:0	haoyu	15.08	0.10	1	0
148	snowflakes:0	haoyu	15.09	0.03	1303	0
149	Mr. Blobby:0	Green "The Bean" Choi	15.10	0.14	1942	0
150	Mark S. Fillmore:0	Supahaka	15.11	0.01	1296	116
151	Walter Little:1	haoyu	15.11	0.03	3588	0
152	Mr. Blobby:1	dusty	15.11	0.12	1933	0
153	soccer:0	haoyu	15.12	0.04	6211	0
154	Lisa Kim:1	Bar Shabtai	15.12	0.06	2705	0
155	KingBach:1	haoyu	15.13	0.04	11799	0
156	Ben Chen:1	spl	15.13	0.20	3565	0
157	bfang:1	haoyu	15.16	0.04	7017	0
158	DinnerPartyPlannerBM:1	Nihar the Great	15.16	0.06	23214	0
159	Mercury:1	haoyu	15.17	0.05	5981	0
160	Sally Smith:0	haoyu	15.17	0.04	2204	0
161	jabreezy:0	Mercury	15.19	0.09	5519	0
162	Mercury:0	haoyu	15.19	0.05	7933	0
163	spl:0	Elphaba	15.19	0.09	3283	0
164	jabreezy:1	Mercury	15.20	0.10	5460	0
165	bfang:0	haoyu	15.20	0.04	6563	0
166	Batman:0	haoyu	15.23	0.04	9887	0
167	KingBach:0	haoyu	15.23	0.06	12563	0
168	Yacob Y.:1	Aristotle	15.24	15.00	9986	1
169	Yacob Y.:0	haoyu	15.27	0.06	8981	0
170	Batman:1	haoyu	15.27	0.04	8733	0
171	spl:1	haoyu	15.28	0.06	3152	0
172	Absurdity:0	Aristotle	15.28	0.23	10218	0
173	soccer:1	haoyu	15.29	0.04	5516	0
174	George Okeowo:1	Andrew Grasso	15.34	0.01	3363	0
175	ebp:0	haoyu	15.34	0.04	8303	0
176	Deric Cheng:1	jgs	15.35	14.98	57630	1
177	Absurdity:1	Aristotle	15.38	0.18	10078	0
178	Charliezsc:0	jgs	15.41	14.98	12226	1
179	Sabar Dasgupta:0	spl	15.42	0.23	13357	0
180	John Whelchel:0	haoyu	15.47	0.06	31321	0
181	Khoa:1	Aristotle	15.50	0.09	8083	0
182	Sprt:1	haoyu	15.50	0.05	12719	0
183	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.56	0.01	2710	0
184	Khoa:0	haoyu	15.65	0.09	7253	0
185	Andys:1	Aristotle	15.72	0.13	31684	0
186	Charliezsc:1	haoyu	15.84	0.07	16033	0
187	Andys:0	Aristotle	15.95	0.12	30468	0
188	Sabar Dasgupta:1	Aaron Doll	16.03	0.17	14801	0
189	John Whelchel:1	haoyu	16.14	0.11	30769	0
190	burrito:0	haoyu	16.25	0.09	23904	0
191	Mike Hunt:1	Aristotle	16.26	0.29	22830	0
192	dfshasdsf12:1	Nihar the Great	16.27	0.11	31085	0
193	Aaron H:1	Aristotle	16.37	0.11	27732	0
194	dfshasdsf12:0	haoyu	16.46	0.09	19690	0
195	Mike Hunt:0	Aristotle	16.55	0.27	23280	0
196	burrito:1	haoyu	16.58	0.10	44645	0
197	jgs:0	Aristotle	16.73	0.12	57678	0
198	BH:0	haoyu	16.75	0.07	19855	0
199	Aaron H:0	Aristotle	16.82	0.11	26751	0
200	Shaheed Chagani:0	Aristotle	16.86	0.17	33155	0
201	BH:1	haoyu	17.02	0.05	20116	0
202	Andrew Werner:1	haoyu	17.23	0.11	30270	0
203	Lil Thug:0	Andrew Grasso	17.35	0.03	32551	0
204	totallyOnFallBreak:0	Nikhilesh Sigatapu	17.47	0.01	1885	0
205	DinnerPartyPlannerBM:0	Aristotle	17.63	0.11	45392	0
206	Lil Thug:1	Andrew Grasso	18.32	0.03	31121	0
207	nupog:1	Aristotle	18.43	0.12	4927	0
208	nupog:0	Aristotle	18.54	0.13	4956	0
209	Sprt:0	Aristotle	18.72	0.11	27401	0
210	Deric Cheng:0	jgs	19.71	14.99	61414	1
211	CAPS LOCK:0	Aristotle	20.30	0.20	43406	0
212	CAPS LOCK:1	Aristotle	22.38	0.25	73161	0
213	Bar Shabtai:1	haoyu	22.77	0.12	54866	0
214	jgs:1	haoyu	25.32	0.18	52775	0
215	Elphaba:1	Aristotle	25.37	0.22	108292	0
216	Elphaba:0	Aristotle	26.44	0.24	123641	0
217	Shaheed Chagani:1	Aristotle	28.28	0.11	35357	0
218	13a:1	Aaron Doll	38.64	15.00	125196	29
219	13a:0	Aaron Doll	48.69	15.00	126171	21
220	Nihar the Great:0	Aristotle	91.78	0.23	126044	0
221	Aaron Doll:0	Aristotle	107.64	0.56	289625	0
222	Nihar the Great:1	Aristotle	112.56	0.25	112081	0
223	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
224	Aristotle:1	Aristotle	-	9.69	-	0
225	Aaron Doll:1	Aristotle	-	1.27	-	0
226	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
227	Aristotle:0	Aristotle	-	15.00	-	1
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist