Stats for satsolver: Nikhilesh Sigatapu

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 Nikhilesh Sigatapu 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 Nikhilesh Sigatapu 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:	Nikhilesh Sigatapu
Rank:	107 / 118
Average Score:	27.00
Median Score:	0.89
Description:	DPLL with unit propagation, pure literal elimination. Picks most frequently occuring variable to try true/false for backtracking each time

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

SatSolvers Ranklist

Generators Ranklist