Stats for satsolver: Janie Gu

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 Janie Gu 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 Janie Gu 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:	Janie Gu
Rank:	14 / 118
Average Score:	4.92
Median Score:	0.57
Description:	This sat-solver is a variant of the WalkSAT algorithm that uses an adaptive mechanism to dynamically adjust the probability of random walk.

	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:0	KingBach	0.00	0.00	0	0
4	Bebe Shi:1	KingBach	0.00	0.00	0	0
5	K.L.:1	KingBach	0.00	0.00	0	0
6	Miranda:1	cat	0.00	0.00	0	0
7	Bebe Shi:0	KingBach	0.00	0.00	0	0
8	BMJ:0	Elphaba	0.00	0.00	0	0
9	Ravi Tandon:1	KingBach	0.00	0.00	0	0
10	Miranda:0	cat	0.00	0.00	0	0
11	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
12	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
13	Solving For Clauses:1	haoyu	0.01	0.00	0	0
14	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
15	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
16	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
17	Happy:1	KingBach	0.01	0.00	0	0
18	K.L.:0	haoyu	0.01	0.00	0	0
19	bchouGenerator:0	haoyu	0.01	0.00	0	0
20	Tree Prophet:0	haoyu	0.01	0.00	0	0
21	R. A. B.:1	cat	0.01	0.00	0	0
22	bchouGenerator:1	Jonathan Kwok	0.01	0.01	0	0
23	haoyu:1	Anon5	0.01	0.01	0	0
24	Blam:1	Elphaba	0.01	0.00	0	0
25	Daffy Duck:1	haoyu	0.01	0.00	0	0
26	BMJ:1	burrito	0.01	0.00	0	0
27	Quite Satisfied:0	haoyu	0.01	0.00	0	0
28	Jordan Ash:1	Bar Shabtai	0.02	0.01	0	0
29	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
30	Blam:0	Elphaba	0.02	0.00	0	0
31	haoyu:0	KingBach	0.02	0.01	0	0
32	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
33	The Kraken:1	haoyu	0.02	0.00	0	0
34	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
35	The Kraken:0	haoyu	0.02	0.00	0	0
36	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
37	David Paulk:0	cat	0.02	0.00	0	0
38	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
39	Mike Honcho:0	Miranda	0.02	0.01	0	0
40	Happy:0	haoyu	0.02	0.00	0	0
41	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
42	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
43	David Paulk:1	Bar Shabtai	0.03	0.00	0	0
44	Tom T:0	EC	0.03	0.02	0	0
45	R. A. B.:0	Nihar the Great	0.03	0.00	0	0
46	Qinlan Shen:0	Bar Shabtai	0.03	0.01	0	0
47	Mickey Mouse:1	haoyu	0.03	0.01	0	0
48	Tree Prophet:1	haoyu	0.03	0.00	0	0
49	weezy:1	Bar Shabtai	0.04	0.01	0	0
50	Mickey Mouse:0	Bar Shabtai	0.04	0.01	0	0
51	Tom T:1	Andrew Werner	0.04	0.02	0	0
52	0108:1	haoyu	0.04	0.01	0	0
53	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
54	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.04	0.01	0	0
55	Boomshanka:1	Bar Shabtai	0.05	0.01	0	0
56	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.05	0.00	0	0
57	Tiny Wings:1	haoyu	0.05	0.01	0	0
58	Jameh:0	haoyu	0.05	0.01	0	0
59	Dr Roberto:1	Andrew Grasso	0.05	0.02	0	0
60	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.05	0.01	0	0
61	weezy:0	Bar Shabtai	0.06	0.01	0	0
62	Sunny:1	jabreezy	0.06	0.01	0	0
63	vluu:0	Nihar the Great	0.06	0.01	0	0
64	Alex Fish:1	haoyu	0.06	0.02	0	0
65	Sunny:0	Green "The Bean" Choi	0.06	0.02	0	0
66	David Lackey:1	Bar Shabtai	0.06	0.03	0	0
67	Jordan Ash:0	EC	0.06	0.03	0	0
68	David Lackey:0	Anon5	0.07	0.03	0	0
69	Boomshanka:0	haoyu	0.07	0.01	0	0
70	Keji Xu:0	Nihar the Great	0.07	0.03	0	0
71	vluu:1	Nihar the Great	0.07	0.02	0	0
72	Ytterbium:0	Andrew Grasso	0.07	0.02	0	0
73	Tiny Wings:0	haoyu	0.09	0.02	0	0
74	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.09	0.01	0	0
75	Nikhilesh Sigatapu:1	haoyu	0.10	0.04	0	0
76	DeeEmEm:1	haoyu	0.10	0.02	0	0
77	Nikhilesh Sigatapu:0	haoyu	0.10	0.03	0	0
78	The Whitman Whale:1	Andrew Grasso	0.10	0.03	0	0
79	Jameh:1	haoyu	0.11	0.01	0	0
80	The Whitman Whale:0	bigwig	0.11	0.04	0	0
81	Keji Xu:1	Nihar the Great	0.11	0.04	0	0
82	cat:0	haoyu	0.11	0.03	0	0
83	cat:1	haoyu	0.11	0.03	0	0
84	Alex Fish:0	haoyu	0.12	0.01	0	0
85	Janie Gu:1	Jonathan Kwok	0.13	0.07	0	0
86	Tao:1	Aristotle	0.15	0.07	0	0
87	Ytterbium:1	Nihar the Great	0.15	0.02	0	0
88	Fanny:0	Aristotle	0.16	0.10	0	0
89	George Okeowo:1	Andrew Grasso	0.17	0.01	0	0
90	George Okeowo:0	Andrew Grasso	0.19	0.01	0	0
91	Dr Roberto:0	Andrew Grasso	0.20	0.03	0	0
92	Samuel Jerome:0	haoyu	0.21	0.03	0	0
93	Lisa Kim:1	Bar Shabtai	0.22	0.06	0	0
94	Bob Dondero:1	Mickey Mouse	0.24	0.03	0	0
95	Anon_K_P:1	Aristotle	0.25	0.03	0	0
96	Lisa Kim:0	Aristotle	0.26	0.07	0	0
97	Linda:0	Andrew Grasso	0.27	0.01	0	0
98	kt4124:0	haoyu	0.27	0.03	0	0
99	Matt Haake:1	haoyu	0.29	0.05	0	0
100	Glenn Fisher:0	Elphaba	0.31	0.02	0	0
101	Bob Dondero:0	Andrew Grasso	0.32	0.02	0	0
102	Samuel Jerome:1	haoyu	0.35	0.03	0	0
103	bfang:0	haoyu	0.35	0.04	0	0
104	Mercury:1	haoyu	0.39	0.05	0	0
105	Sally Smith:1	haoyu	0.40	0.04	0	0
106	Yan Wu:0	haoyu	0.41	0.05	0	0
107	Matt Haake:0	haoyu	0.41	0.05	0	0
108	Tao:0	Bar Shabtai	0.47	0.02	0	0
109	kt4124:1	haoyu	0.47	0.04	0	0
110	Batman:0	haoyu	0.50	0.04	0	0
111	Sally Smith:0	haoyu	0.51	0.04	0	0
112	KingBach:1	haoyu	0.52	0.04	0	0
113	bfang:1	haoyu	0.56	0.04	0	0
114	Janie Gu:0	Glenn Fisher	0.57	0.07	0	0
115	Anon_K_P:0	haoyu	0.58	0.02	0	0
116	Linda:1	Andrew Grasso	0.60	0.02	0	0
117	Yan Wu:1	haoyu	0.60	0.04	0	0
118	Batman:1	haoyu	0.63	0.04	0	0
119	Valya Barboy:0	Aristotle	0.70	0.06	0	0
120	Khoa:0	haoyu	0.80	0.09	0	0
121	Sprt:1	haoyu	0.82	0.05	0	0
122	KingBach:0	haoyu	0.86	0.06	0	0
123	Brendan Wright:0	haoyu	0.87	0.10	0	0
124	Khoa:1	Aristotle	0.89	0.09	0	0
125	Mercury:0	haoyu	0.97	0.05	0	0
126	Anon5:1	Green "The Bean" Choi	1.00	0.07	0	0
127	Brendan Wright:1	Deric Cheng	1.26	0.10	0	0
128	burrito:0	haoyu	1.46	0.09	0	0
129	Mr. Blobby:0	Green "The Bean" Choi	1.47	0.14	0	0
130	Ben Chen:1	spl	1.55	0.20	0	0
131	soccer:0	haoyu	1.77	0.04	0	0
132	DinnerPartyPlannerBM:1	Nihar the Great	1.87	0.06	0	0
133	Yacob Y.:0	haoyu	2.02	0.06	0	0
134	EC:1	haoyu	2.10	0.03	0	0
135	soccer:1	haoyu	2.27	0.04	0	0
136	NA:1	Elphaba	2.36	0.04	0	0
137	Ben Chen:0	Elphaba	2.37	0.07	0	0
138	Sabar Dasgupta:1	Aaron Doll	2.52	0.17	0	0
139	dfshasdsf12:0	haoyu	2.63	0.09	0	0
140	Aaron H:0	Aristotle	2.72	0.11	0	0
141	Fanny:1	Aristotle	2.91	0.12	0	0
142	Sabar Dasgupta:0	spl	3.27	0.23	0	0
143	ebp:1	haoyu	3.41	0.04	0	0
144	Lil Thug:1	Andrew Grasso	3.51	0.03	0	0
145	Sprt:0	Aristotle	3.53	0.11	0	0
146	Lil Thug:0	Andrew Grasso	3.57	0.03	0	0
147	Aaron H:1	Aristotle	3.69	0.11	0	0
148	Mike Hunt:1	Aristotle	3.91	0.29	0	0
149	John Whelchel:0	haoyu	4.00	0.06	0	0
150	Anon5:0	haoyu	4.26	0.05	0	0
151	Mr. Blobby:1	dusty	4.54	0.12	0	0
152	dfshasdsf12:1	Nihar the Great	4.84	0.11	0	0
153	Walter Little:1	haoyu	4.86	0.03	0	0
154	Walter Little:0	haoyu	4.90	0.04	0	0
155	Glenn Fisher:1	jabreezy	5.13	0.09	0	0
156	ebp:0	haoyu	5.25	0.04	0	0
157	Mike Hunt:0	Aristotle	5.44	0.27	0	0
158	Andys:1	Aristotle	5.57	0.13	0	0
159	Andys:0	Aristotle	5.58	0.12	0	0
160	DinnerPartyPlannerBM:0	Aristotle	6.57	0.11	0	0
161	CAPS LOCK:0	Aristotle	8.52	0.20	0	0
162	BH:0	haoyu	9.00	0.07	0	0
163	jabreezy:1	Mercury	9.34	0.10	0	0
164	jabreezy:0	Mercury	9.77	0.09	0	0
165	Charliezsc:1	haoyu	10.10	0.07	0	0
166	BH:1	haoyu	10.87	0.05	0	0
167	nupog:0	Aristotle	12.58	0.13	0	0
168	nupog:1	Aristotle	13.12	0.12	0	0
169	Andrew Werner:1	haoyu	13.26	0.11	0	0
170	Andrew Werner:0	Aaron Doll	14.70	0.33	0	0
171	T. Capote:0	haoyu	15.00	0.00	2	2
172	T. Capote:1	haoyu	15.00	0.00	2	2
173	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
174	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
175	CookieMonster:0	CookieMonster	15.00	0.82	1	0
176	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
177	Jessie Chen:0	Joel Faron	15.00	0.13	3	1
178	DeeEmEm:0	CAPS LOCK	15.00	13.00	3	1
179	CookieMonster:1	CookieMonster	15.00	1.10	3	0
180	Valya Barboy:1	Shaheed Chagani	15.00	0.18	4	0
181	0108:0	jgs	15.00	14.98	4	1
182	David H.:1	DeeEmEm	15.00	0.33	6	0
183	Qinlan Shen:1	R. A. B.	15.00	9.00	6	1
184	Quite Satisfied:1	Joel Faron	15.00	2.11	6	1
185	spl:0	Elphaba	15.00	0.09	6	0
186	EC:0	haoyu	15.00	0.03	7	0
187	spl:1	haoyu	15.00	0.06	9	0
188	David H.:0	AFC	15.00	0.28	11	0
189	SuperFan:1	jgs	15.00	14.98	13	4
190	AFC:0	CookieMonster	15.00	0.34	14	0
191	Andrew Grasso:0	Aaron Doll	15.00	0.18	15	0
192	Dusty:0	CookieMonster	15.00	1.39	16	0
193	SuperFan:0	jgs	15.00	14.98	19	4
194	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	19	0
195	Dusty:1	Shaheed Chagani	15.00	0.22	22	0
196	snowflakes:1	haoyu	15.00	0.03	28	0
197	NA:0	haoyu	15.00	0.03	37	0
198	snowflakes:0	haoyu	15.00	0.03	39	0
199	Supahaka:0	Andrew Werner	15.00	15.00	46	35
200	Supahaka:1	Joel Faron	15.00	15.00	56	35
201	AFC:1	Aristotle	15.00	0.16	10	0
202	Bar Shabtai:1	haoyu	15.00	0.12	16	0
203	John Whelchel:1	haoyu	15.00	0.11	2	0
204	Yacob Y.:1	Aristotle	15.00	15.00	9	1
205	Absurdity:1	Aristotle	15.00	0.18	13	0
206	13a:0	Aaron Doll	15.00	15.00	74482	21
207	Charliezsc:0	jgs	15.00	14.98	2	1
208	jgs:1	haoyu	15.00	0.18	1639	0
209	Nihar the Great:0	Aristotle	15.00	0.23	19216	0
210	Nihar the Great:1	Aristotle	15.01	0.25	18494	0
211	Shaheed Chagani:0	Aristotle	15.01	0.17	5	0
212	Absurdity:0	Aristotle	15.01	0.23	9	0
213	Shaheed Chagani:1	Aristotle	15.01	0.11	6	0
214	Aaron Doll:1	Aristotle	15.01	1.27	284931	0
215	Elphaba:0	Aristotle	15.01	0.24	10935	0
216	13a:1	Aaron Doll	15.02	15.00	75861	29
217	CAPS LOCK:1	Aristotle	15.03	0.25	10	0
218	Elphaba:1	Aristotle	15.03	0.22	24000	0
219	Matt Goldsmith:1	Happy	15.05	0.03	503985	0
220	Bar Shabtai:0	Aaron Doll	15.05	15.01	295621	1
221	Aaron Doll:0	Aristotle	15.05	0.56	240613	0
222	Deric Cheng:1	jgs	15.07	14.98	3	1
223	burrito:1	haoyu	15.10	0.10	2	0
224	Deric Cheng:0	jgs	15.11	14.99	1	1
225	jgs:0	Aristotle	15.12	0.12	5	0
226	Matt Goldsmith:0	Nihar the Great	15.12	0.03	504820	0
227	Aristotle:0	Aristotle	15.19	15.00	725425	1
228	Aristotle:1	Aristotle	15.28	9.69	730869	0

SatSolvers Ranklist

Generators Ranklist