Stats for satsolver: Sabar Dasgupta

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 Sabar Dasgupta 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 Sabar Dasgupta 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:	Sabar Dasgupta
Rank:	22 / 118
Average Score:	5.18
Median Score:	0.54
Description:	Solves Sat problems using a variation of WALKSAT that saves the best model seen so that it can be returned if time elapses.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	bigwig:1	KingBach	0.00	0.00	0	0
4	Bebe Shi:0	KingBach	0.00	0.00	0	0
5	Bebe Shi:1	KingBach	0.00	0.00	0	0
6	Happy:1	KingBach	0.00	0.00	0	0
7	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
8	Ravi Tandon:1	KingBach	0.00	0.00	0	0
9	BMJ:1	burrito	0.00	0.00	0	0
10	K.L.:1	KingBach	0.00	0.00	0	0
11	Solving For Clauses:1	haoyu	0.01	0.00	0	0
12	Miranda:0	cat	0.01	0.00	0	0
13	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
14	Miranda:1	cat	0.01	0.00	0	0
15	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
16	Daffy Duck:1	haoyu	0.01	0.00	0	0
17	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
18	Blam:1	Elphaba	0.01	0.00	0	0
19	K.L.:0	haoyu	0.01	0.00	0	0
20	Daffy Duck:0	Andrew Werner	0.01	0.00	0	0
21	bchouGenerator:0	haoyu	0.01	0.00	0	0
22	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
23	haoyu:0	KingBach	0.01	0.01	0	0
24	Gewang:1	Jonathan Kwok	0.01	0.00	0	0
25	Tree Prophet:0	haoyu	0.01	0.00	0	0
26	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
27	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
28	R. A. B.:1	cat	0.02	0.00	0	0
29	BMJ:0	Elphaba	0.02	0.00	0	0
30	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
31	Blam:0	Elphaba	0.02	0.00	0	0
32	The Kraken:0	haoyu	0.02	0.00	0	0
33	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
34	Mickey Mouse:1	haoyu	0.02	0.01	0	0
35	Mike Honcho:0	Miranda	0.02	0.01	0	0
36	David Paulk:0	cat	0.02	0.00	0	0
37	Mickey Mouse:0	Bar Shabtai	0.02	0.01	0	0
38	The Kraken:1	haoyu	0.03	0.00	0	0
39	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
40	haoyu:1	Anon5	0.03	0.01	0	0
41	Tom T:0	EC	0.03	0.02	0	0
42	Quite Satisfied:0	haoyu	0.03	0.00	0	0
43	cmF5a3ly:1	Nihar the Great	0.03	0.00	0	0
44	weezy:0	Bar Shabtai	0.03	0.01	0	0
45	Happy:0	haoyu	0.03	0.00	0	0
46	Boomshanka:1	Bar Shabtai	0.03	0.01	0	0
47	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
48	Alex Fish:1	haoyu	0.04	0.02	0	0
49	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
50	weezy:1	Bar Shabtai	0.04	0.01	0	0
51	Tom T:1	Andrew Werner	0.04	0.02	0	0
52	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
53	Jordan Ash:1	Bar Shabtai	0.05	0.01	0	0
54	Jameh:0	haoyu	0.05	0.01	0	0
55	Ytterbium:0	Andrew Grasso	0.05	0.02	0	0
56	vluu:0	Nihar the Great	0.06	0.01	0	0
57	vluu:1	Nihar the Great	0.06	0.02	0	0
58	Tiny Wings:0	haoyu	0.06	0.02	0	0
59	Jameh:1	haoyu	0.07	0.01	0	0
60	Qinlan Shen:0	Bar Shabtai	0.07	0.01	0	0
61	0108:1	haoyu	0.07	0.01	0	0
62	cat:1	haoyu	0.08	0.03	0	0
63	cat:0	haoyu	0.09	0.03	0	0
64	Alex Fish:0	haoyu	0.09	0.01	0	0
65	Nikhilesh Sigatapu:1	haoyu	0.09	0.04	0	0
66	Sunny:0	Green "The Bean" Choi	0.09	0.02	0	0
67	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.09	0.01	0	0
68	David Lackey:0	Anon5	0.09	0.03	0	0
69	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.09	0.01	0	0
70	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.10	0.01	0	0
71	Boomshanka:0	haoyu	0.10	0.01	0	0
72	Tree Prophet:1	haoyu	0.10	0.00	0	0
73	Linda:0	Andrew Grasso	0.10	0.01	0	0
74	Keji Xu:0	Nihar the Great	0.12	0.03	0	0
75	Dr Roberto:1	Andrew Grasso	0.12	0.02	0	0
76	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
77	David Lackey:1	Bar Shabtai	0.12	0.03	0	0
78	Tiny Wings:1	haoyu	0.12	0.01	0	0
79	Samuel Jerome:0	haoyu	0.13	0.03	0	0
80	The Whitman Whale:0	bigwig	0.13	0.04	0	0
81	Jordan Ash:0	EC	0.14	0.03	0	0
82	Nikhilesh Sigatapu:0	haoyu	0.14	0.03	0	0
83	Keji Xu:1	Nihar the Great	0.14	0.04	0	0
84	George Okeowo:1	Andrew Grasso	0.15	0.01	0	0
85	George Okeowo:0	Andrew Grasso	0.15	0.01	0	0
86	Lisa Kim:1	Bar Shabtai	0.16	0.06	0	0
87	Fanny:1	Aristotle	0.18	0.12	0	0
88	Tao:1	Aristotle	0.20	0.07	0	0
89	Sunny:1	jabreezy	0.20	0.01	0	0
90	Dr Roberto:0	Andrew Grasso	0.21	0.03	0	0
91	The Whitman Whale:1	Andrew Grasso	0.21	0.03	0	0
92	Lisa Kim:0	Aristotle	0.23	0.07	0	0
93	Bob Dondero:0	Andrew Grasso	0.25	0.02	0	0
94	Janie Gu:1	Jonathan Kwok	0.25	0.07	0	0
95	kt4124:0	haoyu	0.26	0.03	0	0
96	kt4124:1	haoyu	0.27	0.04	0	0
97	Bob Dondero:1	Mickey Mouse	0.27	0.03	0	0
98	Tao:0	Bar Shabtai	0.27	0.02	0	0
99	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.28	0.00	0	0
100	Samuel Jerome:1	haoyu	0.29	0.03	0	0
101	Yan Wu:1	haoyu	0.30	0.04	0	0
102	Janie Gu:0	Glenn Fisher	0.31	0.07	0	0
103	DeeEmEm:1	haoyu	0.37	0.02	0	0
104	Anon_K_P:1	Aristotle	0.38	0.03	0	0
105	Matt Haake:0	haoyu	0.38	0.05	0	0
106	Sally Smith:1	haoyu	0.39	0.04	0	0
107	bfang:0	haoyu	0.40	0.04	0	0
108	Anon_K_P:0	haoyu	0.42	0.02	0	0
109	bfang:1	haoyu	0.42	0.04	0	0
110	Yan Wu:0	haoyu	0.43	0.05	0	0
111	Mercury:1	haoyu	0.43	0.05	0	0
112	Sally Smith:0	haoyu	0.44	0.04	0	0
113	KingBach:0	haoyu	0.53	0.06	0	0
114	Glenn Fisher:0	Elphaba	0.54	0.02	0	0
115	Linda:1	Andrew Grasso	0.56	0.02	0	0
116	Mercury:0	haoyu	0.59	0.05	0	0
117	KingBach:1	haoyu	0.62	0.04	0	0
118	Matt Haake:1	haoyu	0.66	0.05	0	0
119	Khoa:1	Aristotle	0.69	0.09	0	0
120	Batman:0	haoyu	0.72	0.04	0	0
121	Batman:1	haoyu	0.73	0.04	0	0
122	Yacob Y.:0	haoyu	0.74	0.06	0	0
123	Khoa:0	haoyu	0.81	0.09	0	0
124	Sprt:1	haoyu	0.88	0.05	0	0
125	soccer:1	haoyu	1.11	0.04	0	0
126	Andrew Grasso:0	Aaron Doll	1.38	0.18	0	0
127	Mr. Blobby:1	dusty	1.45	0.12	0	0
128	Brendan Wright:0	haoyu	1.53	0.10	0	0
129	soccer:0	haoyu	1.58	0.04	0	0
130	Ben Chen:0	Elphaba	1.90	0.07	0	0
131	Ben Chen:1	spl	2.13	0.20	0	0
132	DinnerPartyPlannerBM:1	Nihar the Great	2.19	0.06	0	0
133	Anon5:1	Green "The Bean" Choi	2.38	0.07	0	0
134	Mr. Blobby:0	Green "The Bean" Choi	2.46	0.14	0	0
135	snowflakes:0	haoyu	2.65	0.03	0	0
136	Sabar Dasgupta:1	Aaron Doll	2.65	0.17	0	0
137	Sprt:0	Aristotle	3.26	0.11	0	0
138	burrito:0	haoyu	3.32	0.09	0	0
139	Brendan Wright:1	Deric Cheng	3.40	0.10	0	0
140	Fanny:0	Aristotle	3.74	0.10	0	0
141	Sabar Dasgupta:0	spl	3.89	0.23	0	0
142	Valya Barboy:1	Shaheed Chagani	4.07	0.18	0	0
143	dfshasdsf12:0	haoyu	4.13	0.09	0	0
144	Walter Little:1	haoyu	4.25	0.03	0	0
145	Aaron H:1	Aristotle	5.49	0.11	0	0
146	Mike Hunt:0	Aristotle	6.04	0.27	0	0
147	Lil Thug:1	Andrew Grasso	6.44	0.03	0	0
148	EC:1	haoyu	6.82	0.03	0	0
149	Lil Thug:0	Andrew Grasso	6.86	0.03	0	0
150	DinnerPartyPlannerBM:0	Aristotle	7.01	0.11	0	0
151	CAPS LOCK:0	Aristotle	7.36	0.20	0	0
152	NA:1	Elphaba	7.63	0.04	0	0
153	ebp:0	haoyu	7.67	0.04	0	0
154	Valya Barboy:0	Aristotle	7.73	0.06	0	0
155	Charliezsc:1	haoyu	7.75	0.07	0	0
156	BH:1	haoyu	8.48	0.05	0	0
157	BH:0	haoyu	8.86	0.07	0	0
158	Aaron H:0	Aristotle	9.24	0.11	0	0
159	ebp:1	haoyu	9.28	0.04	0	0
160	Mike Hunt:1	Aristotle	9.49	0.29	0	0
161	Glenn Fisher:1	jabreezy	9.54	0.09	0	0
162	dfshasdsf12:1	Nihar the Great	10.13	0.11	0	0
163	jabreezy:0	Mercury	10.34	0.09	0	0
164	Andys:1	Aristotle	10.41	0.13	0	0
165	John Whelchel:1	haoyu	11.35	0.11	0	0
166	Walter Little:0	haoyu	12.19	0.04	0	0
167	nupog:1	Aristotle	12.33	0.12	0	0
168	nupog:0	Aristotle	12.80	0.13	0	0
169	jabreezy:1	Mercury	12.91	0.10	0	0
170	snowflakes:1	haoyu	13.60	0.03	0	0
171	EC:0	haoyu	14.49	0.03	0	0
172	burrito:1	haoyu	14.52	0.10	0	0
173	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
174	Dusty:1	Shaheed Chagani	15.00	0.22	1	0
175	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
176	Anon5:0	haoyu	15.00	0.05	1	0
177	Dusty:0	CookieMonster	15.00	1.39	1	0
178	Charliezsc:0	jgs	15.00	14.98	1	1
179	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
180	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
181	David H.:0	AFC	15.00	0.28	1	0
182	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	1	0
183	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
184	0108:0	jgs	15.00	14.98	1	1
185	CookieMonster:1	CookieMonster	15.00	1.10	1	0
186	David H.:1	DeeEmEm	15.00	0.33	2	0
187	T. Capote:0	haoyu	15.00	0.00	2	2
188	T. Capote:1	haoyu	15.00	0.00	2	2
189	spl:0	Elphaba	15.00	0.09	3	0
190	spl:1	haoyu	15.00	0.06	3	0
191	SuperFan:0	jgs	15.00	14.98	4	4
192	NA:0	haoyu	15.00	0.03	4	0
193	SuperFan:1	jgs	15.00	14.98	4	4
194	Supahaka:0	Andrew Werner	15.00	15.00	37	35
195	Supahaka:1	Joel Faron	15.00	15.00	37	35
196	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
197	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
198	AFC:1	Aristotle	15.00	0.16	1	0
199	Absurdity:0	Aristotle	15.00	0.23	2	0
200	Yacob Y.:1	Aristotle	15.00	15.00	7	1
201	AFC:0	CookieMonster	15.00	0.34	2	0
202	Shaheed Chagani:0	Aristotle	15.00	0.17	6	0
203	jgs:0	Aristotle	15.00	0.12	589	0
204	CookieMonster:0	CookieMonster	15.00	0.82	1	0
205	Bar Shabtai:0	Aaron Doll	15.00	15.01	319929	1
206	Nihar the Great:0	Aristotle	15.01	0.23	18031	0
207	Nihar the Great:1	Aristotle	15.01	0.25	17859	0
208	13a:0	Aaron Doll	15.01	15.00	69513	21
209	Aaron Doll:0	Aristotle	15.01	0.56	209721	0
210	CAPS LOCK:1	Aristotle	15.01	0.25	2	0
211	jgs:1	haoyu	15.01	0.18	788	0
212	Absurdity:1	Aristotle	15.01	0.18	1	0
213	Shaheed Chagani:1	Aristotle	15.01	0.11	4	0
214	Elphaba:0	Aristotle	15.01	0.24	1747	0
215	Elphaba:1	Aristotle	15.01	0.22	648	0
216	13a:1	Aaron Doll	15.02	15.00	45418	29
217	Matt Goldsmith:0	Nihar the Great	15.03	0.03	507931	0
218	Andrew Werner:1	haoyu	15.05	0.11	1	0
219	Deric Cheng:0	jgs	15.05	14.99	1	1
220	Aaron Doll:1	Aristotle	15.06	1.27	279602	0
221	Andys:0	Aristotle	15.06	0.12	4	0
222	John Whelchel:0	haoyu	15.06	0.06	1	0
223	Deric Cheng:1	jgs	15.07	14.98	1	1
224	Bar Shabtai:1	haoyu	15.10	0.12	23	0
225	Andrew Werner:0	Aaron Doll	15.12	0.33	2	0
226	Matt Goldsmith:1	Happy	15.14	0.03	509495	0
227	Aristotle:0	Aristotle	15.20	15.00	746289	1
228	Aristotle:1	Aristotle	15.21	9.69	730375	0

SatSolvers Ranklist

Generators Ranklist