SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist