Stats for satsolver: Ravi Tandon

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 Ravi Tandon 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 Ravi Tandon 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:	Ravi Tandon
Rank:	70 / 118
Average Score:	10.65
Median Score:	15.00
Description:	Implementation of a modified version of the WalkSat Solver.

	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	K.L.:1	KingBach	0.01	0.00	0	0
4	Ravi Tandon:0	KingBach	0.01	0.00	0	0
5	Happy:1	KingBach	0.01	0.00	0	0
6	Ravi Tandon:1	KingBach	0.01	0.00	0	0
7	R. A. B.:1	cat	0.01	0.00	0	0
8	Miranda:1	cat	0.01	0.00	0	0
9	Miranda:0	cat	0.01	0.00	0	0
10	Bebe Shi:1	KingBach	0.02	0.00	0	0
11	Bebe Shi:0	KingBach	0.02	0.00	0	0
12	Jonathan Kwok:0	Elphaba	0.02	0.00	0	0
13	Tree Prophet:0	haoyu	0.03	0.00	0	0
14	David Paulk:0	cat	0.03	0.00	0	0
15	Blam:1	Elphaba	0.04	0.00	0	0
16	Joshua Zimmer:0	haoyu	0.04	0.00	0	0
17	Gewang:0	Jonathan Kwok	0.05	0.00	0	0
18	K.L.:0	haoyu	0.05	0.00	0	0
19	Gewang:1	Jonathan Kwok	0.06	0.00	0	0
20	Solving For Clauses:1	haoyu	0.06	0.00	0	0
21	Joshua Zimmer:1	haoyu	0.06	0.00	0	0
22	BMJ:1	burrito	0.09	0.00	0	0
23	Solving For Clauses:0	Glenn Fisher	0.12	0.00	0	0
24	Mickey Mouse:1	haoyu	0.12	0.01	0	0
25	Daffy Duck:1	haoyu	0.13	0.00	0	0
26	weezy:0	Bar Shabtai	0.13	0.01	0	0
27	George Okeowo:0	Andrew Grasso	0.14	0.01	0	0
28	BMJ:0	Elphaba	0.15	0.00	0	0
29	Daffy Duck:0	Andrew Werner	0.16	0.00	0	0
30	Boomshanka:0	haoyu	0.16	0.01	0	0
31	George Okeowo:1	Andrew Grasso	0.16	0.01	0	0
32	cmF5a3ly:0	Nihar the Great	0.17	0.00	0	0
33	weezy:1	Bar Shabtai	0.18	0.01	0	0
34	cmF5a3ly:1	Nihar the Great	0.18	0.00	0	0
35	Ytterbium:0	Andrew Grasso	0.19	0.02	0	0
36	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.19	0.01	0	0
37	vluu:0	Nihar the Great	0.20	0.01	0	0
38	Boomshanka:1	Bar Shabtai	0.21	0.01	0	0
39	Mickey Mouse:0	Bar Shabtai	0.23	0.01	0	0
40	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.23	0.01	0	0
41	Ytterbium:1	Nihar the Great	0.27	0.02	0	0
42	Scheduling Generator 203:1	Jameh	0.29	0.02	0	0
43	Jonathan Kwok:1	KingBach	0.33	0.00	0	0
44	Linda:0	Andrew Grasso	0.34	0.01	0	0
45	Linda:1	Andrew Grasso	0.47	0.02	0	0
46	vluu:1	Nihar the Great	0.49	0.02	0	0
47	Dr Roberto:0	Andrew Grasso	0.50	0.03	0	0
48	Scheduling Generator 203:0	jgs	0.50	0.01	0	0
49	haoyu:1	Anon5	0.52	0.01	0	0
50	bchouGenerator:0	haoyu	0.58	0.00	0	0
51	Dr Roberto:1	Andrew Grasso	0.60	0.02	0	0
52	Tom T:0	EC	0.66	0.02	0	0
53	Bob Dondero:0	Andrew Grasso	0.69	0.02	0	0
54	Janie Gu:0	Glenn Fisher	0.69	0.07	0	0
55	Bob Dondero:1	Mickey Mouse	0.69	0.03	0	0
56	Tom T:1	Andrew Werner	0.73	0.02	0	0
57	Janie Gu:1	Jonathan Kwok	0.88	0.07	0	0
58	Happy:0	haoyu	1.56	0.00	0	0
59	Quite Satisfied:0	haoyu	1.61	0.00	0	0
60	Mike Honcho:0	Miranda	1.69	0.01	0	0
61	Tree Prophet:1	haoyu	2.39	0.00	0	0
62	haoyu:0	KingBach	2.72	0.01	0	0
63	Mike Honcho:1	Jessie Chen	3.54	0.01	0	0
64	Qinlan Shen:0	Bar Shabtai	3.63	0.01	0	0
65	Lil Thug:1	Andrew Grasso	4.24	0.03	0	0
66	bchouGenerator:1	Jonathan Kwok	4.83	0.01	0	0
67	Lil Thug:0	Andrew Grasso	6.36	0.03	0	0
68	dfshasdsf12:0	haoyu	6.53	0.09	0	0
69	The Kraken:0	haoyu	6.85	0.00	0	0
70	DinnerPartyPlannerBM:1	Nihar the Great	9.27	0.06	0	0
71	DinnerPartyPlannerBM:0	Aristotle	9.75	0.11	0	0
72	Jordan Ash:1	Bar Shabtai	11.64	0.01	0	0
73	Blam:0	Elphaba	14.48	0.00	0	0
74	The Kraken:1	haoyu	15.00	0.00	1	0
75	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
76	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
77	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
78	Tiny Wings:1	haoyu	15.00	0.01	2	0
79	Quite Satisfied:1	Joel Faron	15.00	2.11	2	1
80	T. Capote:0	haoyu	15.00	0.00	2	2
81	T. Capote:1	haoyu	15.00	0.00	2	2
82	Keji Xu:1	Nihar the Great	15.00	0.04	3	0
83	Tiny Wings:0	haoyu	15.00	0.02	3	0
84	Alex Fish:0	haoyu	15.00	0.01	4	0
85	cat:0	haoyu	15.00	0.03	4	0
86	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	5	0
87	The Whitman Whale:0	bigwig	15.00	0.04	5	0
88	Alex Fish:1	haoyu	15.00	0.02	5	0
89	0108:1	haoyu	15.00	0.01	5	0
90	Jordan Ash:0	EC	15.00	0.03	5	0
91	Tao:1	Aristotle	15.00	0.07	6	0
92	cat:1	haoyu	15.00	0.03	6	0
93	DeeEmEm:1	haoyu	15.00	0.02	6	0
94	DeeEmEm:0	CAPS LOCK	15.00	13.00	6	1
95	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	6	0
96	Batman:1	haoyu	15.00	0.04	7	0
97	The Whitman Whale:1	Andrew Grasso	15.00	0.03	7	0
98	Keji Xu:0	Nihar the Great	15.00	0.03	7	0
99	Batman:0	haoyu	15.00	0.04	7	0
100	Lisa Kim:1	Bar Shabtai	15.00	0.06	8	0
101	Tao:0	Bar Shabtai	15.00	0.02	8	0
102	Anon5:1	Green "The Bean" Choi	15.00	0.07	9	0
103	David H.:1	DeeEmEm	15.00	0.33	9	0
104	Valya Barboy:1	Shaheed Chagani	15.00	0.18	9	0
105	soccer:0	haoyu	15.00	0.04	10	0
106	0108:0	jgs	15.00	14.98	10	1
107	EC:1	haoyu	15.00	0.03	11	0
108	soccer:1	haoyu	15.00	0.04	11	0
109	David H.:0	AFC	15.00	0.28	11	0
110	Anon_K_P:1	Aristotle	15.00	0.03	11	0
111	Brendan Wright:1	Deric Cheng	15.00	0.10	11	0
112	Anon_K_P:0	haoyu	15.00	0.02	12	0
113	Lisa Kim:0	Aristotle	15.00	0.07	12	0
114	Valya Barboy:0	Aristotle	15.00	0.06	12	0
115	David Paulk:1	Bar Shabtai	15.00	0.00	13	0
116	Anon5:0	haoyu	15.00	0.05	13	0
117	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	13	0
118	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	13	0
119	EC:0	haoyu	15.00	0.03	13	0
120	KingBach:0	haoyu	15.00	0.06	14	0
121	Charliezsc:0	jgs	15.00	14.98	15	1
122	CookieMonster:0	CookieMonster	15.00	0.82	15	0
123	KingBach:1	haoyu	15.00	0.04	15	0
124	Sally Smith:1	haoyu	15.00	0.04	15	0
125	Charliezsc:1	haoyu	15.00	0.07	16	0
126	Sally Smith:0	haoyu	15.00	0.04	16	0
127	Samuel Jerome:0	haoyu	15.00	0.03	16	0
128	Samuel Jerome:1	haoyu	15.00	0.03	17	0
129	CookieMonster:1	CookieMonster	15.00	1.10	17	0
130	Mercury:0	haoyu	15.00	0.05	18	0
131	AFC:0	CookieMonster	15.00	0.34	18	0
132	Sunny:1	jabreezy	15.00	0.01	19	0
133	Sunny:0	Green "The Bean" Choi	15.00	0.02	20	0
134	Mercury:1	haoyu	15.00	0.05	20	0
135	AFC:1	Aristotle	15.00	0.16	20	0
136	burrito:0	haoyu	15.00	0.09	20	0
137	SuperFan:1	jgs	15.00	14.98	21	4
138	ebp:0	haoyu	15.00	0.04	24	0
139	SuperFan:0	jgs	15.00	14.98	24	4
140	ebp:1	haoyu	15.00	0.04	24	0
141	bfang:0	haoyu	15.00	0.04	24	0
142	bfang:1	haoyu	15.00	0.04	26	0
143	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	26	0
144	Andys:1	Aristotle	15.00	0.13	27	0
145	Sabar Dasgupta:0	spl	15.00	0.23	27	0
146	jabreezy:1	Mercury	15.00	0.10	28	0
147	jabreezy:0	Mercury	15.00	0.09	30	0
148	Yacob Y.:1	Aristotle	15.00	15.00	30	1
149	Sprt:1	haoyu	15.00	0.05	31	0
150	Yacob Y.:0	haoyu	15.00	0.06	31	0
151	Andrew Werner:0	Aaron Doll	15.00	0.33	33	0
152	spl:0	Elphaba	15.00	0.09	34	0
153	spl:1	haoyu	15.00	0.06	34	0
154	David Lackey:0	Anon5	15.00	0.03	35	0
155	R. A. B.:0	Nihar the Great	15.00	0.00	37	0
156	Yan Wu:0	haoyu	15.00	0.05	40	0
157	Khoa:1	Aristotle	15.00	0.09	41	0
158	Khoa:0	haoyu	15.00	0.09	45	0
159	Absurdity:1	Aristotle	15.00	0.18	45	0
160	Absurdity:0	Aristotle	15.00	0.23	47	0
161	David Lackey:1	Bar Shabtai	15.00	0.03	49	0
162	Aaron H:1	Aristotle	15.00	0.11	50	0
163	Jameh:0	haoyu	15.00	0.01	55	0
164	Mike Hunt:1	Aristotle	15.00	0.29	61	0
165	Mr. Blobby:1	dusty	15.00	0.12	61	0
166	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	62	0
167	jgs:1	haoyu	15.00	0.18	65	0
168	Ben Chen:0	Elphaba	15.00	0.07	65	0
169	Sprt:0	Aristotle	15.00	0.11	67	0
170	Ben Chen:1	spl	15.00	0.20	68	0
171	Glenn Fisher:1	jabreezy	15.00	0.09	70	0
172	Walter Little:0	haoyu	15.00	0.04	73	0
173	Walter Little:1	haoyu	15.00	0.03	75	0
174	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
175	Supahaka:1	Joel Faron	15.00	15.00	85	35
176	Glenn Fisher:0	Elphaba	15.00	0.02	88	0
177	Supahaka:0	Andrew Werner	15.00	15.00	92	35
178	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	94	0
179	Andrew Grasso:0	Aaron Doll	15.00	0.18	102	0
180	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
181	Jameh:1	haoyu	15.00	0.01	125	0
182	Dusty:0	CookieMonster	15.00	1.39	129	0
183	Dusty:1	Shaheed Chagani	15.00	0.22	136	0
184	Matt Haake:0	haoyu	15.00	0.05	163	0
185	Matt Haake:1	haoyu	15.00	0.05	168	0
186	kt4124:1	haoyu	15.00	0.04	207	0
187	NA:0	haoyu	15.00	0.03	210	0
188	kt4124:0	haoyu	15.00	0.03	211	0
189	NA:1	Elphaba	15.00	0.04	214	0
190	snowflakes:1	haoyu	15.00	0.03	221	0
191	snowflakes:0	haoyu	15.00	0.03	229	0
192	Shaheed Chagani:0	Aristotle	15.00	0.17	401	0
193	Fanny:1	Aristotle	15.00	0.12	776	0
194	nupog:0	Aristotle	15.00	0.13	1463	0
195	Nihar the Great:1	Aristotle	15.00	0.25	19008	0
196	Bar Shabtai:1	haoyu	15.00	0.12	13	0
197	Andys:0	Aristotle	15.00	0.12	26	0
198	Andrew Werner:1	haoyu	15.00	0.11	32	0
199	Mike Hunt:0	Aristotle	15.00	0.27	63	0
200	BH:0	haoyu	15.00	0.07	199	0
201	BH:1	haoyu	15.00	0.05	200	0
202	Fanny:0	Aristotle	15.00	0.10	1208	0
203	Elphaba:0	Aristotle	15.00	0.24	4461	0
204	13a:1	Aaron Doll	15.00	15.00	37469	29
205	Matt Goldsmith:0	Nihar the Great	15.00	0.03	504161	0
206	Brendan Wright:0	haoyu	15.00	0.10	16	0
207	John Whelchel:0	haoyu	15.00	0.06	24	0
208	Deric Cheng:1	jgs	15.00	14.98	28	1
209	Yan Wu:1	haoyu	15.00	0.04	33	0
210	Aaron H:0	Aristotle	15.00	0.11	53	0
211	Shaheed Chagani:1	Aristotle	15.00	0.11	389	0
212	Deric Cheng:0	jgs	15.00	14.99	32	1
213	jgs:0	Aristotle	15.00	0.12	64	0
214	dfshasdsf12:1	Nihar the Great	15.00	0.11	1768	0
215	John Whelchel:1	haoyu	15.01	0.11	24	0
216	burrito:1	haoyu	15.01	0.10	36	0
217	nupog:1	Aristotle	15.01	0.12	1453	0
218	Aristotle:0	Aristotle	15.01	15.00	751821	1
219	CAPS LOCK:0	Aristotle	15.01	0.20	213	0
220	Nihar the Great:0	Aristotle	15.01	0.23	18663	0
221	Elphaba:1	Aristotle	15.01	0.22	5874	0
222	13a:0	Aaron Doll	15.01	15.00	45000	21
223	Bar Shabtai:0	Aaron Doll	15.01	15.01	275525	1
224	CAPS LOCK:1	Aristotle	15.01	0.25	227	0
225	Aaron Doll:0	Aristotle	15.01	0.56	245627	0
226	Matt Goldsmith:1	Happy	15.01	0.03	498132	0
227	Aaron Doll:1	Aristotle	15.02	1.27	309392	0
228	Aristotle:1	Aristotle	15.03	9.69	712203	0

SatSolvers Ranklist

Generators Ranklist