Stats for satsolver: Nihar the Great

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 Nihar the Great 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 Nihar the Great 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:	Nihar the Great
Rank:	62 / 118
Average Score:	9.32
Median Score:	15.00
Description:	This solver uses a modified version of WalkSAT to solve the problem. With every iteration, it picks a random variable in an unsolved clause and checks to see if flipping it will benefit. If so, it flips it. Also, all variables are initially set to false

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

SatSolvers Ranklist

Generators Ranklist