SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist