SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Shaheed Chagani

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 Shaheed Chagani 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 Shaheed Chagani 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: Shaheed Chagani
Rank: 60 / 118
Average Score: 8.79
Median Score: 0.30
Description: WalkSAT with improvements like an adaptive value of p, an improved starting model and a faster way to calculate the number of Unsatisfied Clauses
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2Ravi Tandon:0 KingBach 0.00 0.00 0 0
3K.L.:1 KingBach 0.00 0.00 0 0
4Happy:1 KingBach 0.00 0.00 0 0
5bigwig:1 KingBach 0.00 0.00 0 0
6Bebe Shi:0 KingBach 0.00 0.00 0 0
7Bebe Shi:1 KingBach 0.01 0.00 0 0
8BMJ:0 Elphaba 0.01 0.00 0 0
9Ravi Tandon:1 KingBach 0.01 0.00 0 0
10Jonathan Kwok:1 KingBach 0.01 0.00 0 0
11BMJ:1 burrito 0.01 0.00 0 0
12K.L.:0 haoyu 0.01 0.00 0 0
13Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
14R. A. B.:1 cat 0.01 0.00 0 0
15Blam:1 Elphaba 0.01 0.00 0 0
16Joshua Zimmer:1 haoyu 0.01 0.00 0 0
17Daffy Duck:1 haoyu 0.01 0.00 0 0
18Happy:0 haoyu 0.01 0.00 0 0
19Blam:0 Elphaba 0.01 0.00 0 0
20Joshua Zimmer:0 haoyu 0.01 0.00 0 0
21haoyu:1 Anon5 0.02 0.01 0 0
22bchouGenerator:0 haoyu 0.02 0.00 0 0
23Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
24Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
25Tree Prophet:1 haoyu 0.03 0.00 0 0
26Miranda:1 cat 0.03 0.00 0 0
27bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
28Tree Prophet:0 haoyu 0.03 0.00 0 0
29Solving For Clauses:1 haoyu 0.03 0.00 0 0
30Gewang:0 Jonathan Kwok 0.03 0.00 0 0
31Gewang:1 Jonathan Kwok 0.03 0.00 0 0
32The Kraken:1 haoyu 0.04 0.00 0 0
33Quite Satisfied:0 haoyu 0.04 0.00 0 0
34The Kraken:0 haoyu 0.04 0.00 0 0
35R. A. B.:0 Nihar the Great 0.05 0.00 0 0
36Miranda:0 cat 0.05 0.00 0 0
37haoyu:0 KingBach 0.05 0.01 0 0
38David Paulk:1 Bar Shabtai 0.05 0.00 0 0
39Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
40David Paulk:0 cat 0.06 0.00 0 0
41Qinlan Shen:0 Bar Shabtai 0.06 0.01 0 0
42Jameh:0 haoyu 0.07 0.01 0 0
43Mickey Mouse:1 haoyu 0.07 0.01 0 0
44Jordan Ash:0 EC 0.07 0.03 0 0
45AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.07 0.01 0 0
46Mickey Mouse:0 Bar Shabtai 0.08 0.01 0 0
47Scheduling Generator 203:0 jgs 0.08 0.01 0 0
48DeeEmEm:1 haoyu 0.08 0.02 0 0
49Tom T:0 EC 0.09 0.02 0 0
50Alex Fish:1 haoyu 0.09 0.02 0 0
51Tiny Wings:1 haoyu 0.09 0.01 0 0
52weezy:1 Bar Shabtai 0.09 0.01 0 0
53weezy:0 Bar Shabtai 0.09 0.01 0 0
54Sunny:1 jabreezy 0.09 0.01 0 0
55Tom T:1 Andrew Werner 0.09 0.02 0 0
56Tiny Wings:0 haoyu 0.09 0.02 0 0
57Tao:1 Aristotle 0.10 0.07 0 0
580108:1 haoyu 0.10 0.01 0 0
59The Whitman Whale:0 bigwig 0.10 0.04 0 0
60David Lackey:1 Bar Shabtai 0.10 0.03 0 0
61Anon_K_P:0 haoyu 0.10 0.02 0 0
62Alex Fish:0 haoyu 0.10 0.01 0 0
63Keji Xu:0 Nihar the Great 0.10 0.03 0 0
64Scheduling Generator 203:1 Jameh 0.11 0.02 0 0
65Nikhilesh Sigatapu:1 haoyu 0.11 0.04 0 0
66The Whitman Whale:1 Andrew Grasso 0.11 0.03 0 0
67vluu:1 Nihar the Great 0.12 0.02 0 0
68Jameh:1 haoyu 0.12 0.01 0 0
69Anon_K_P:1 Aristotle 0.12 0.03 0 0
70Matt Haake:0 haoyu 0.12 0.05 0 0
71Tao:0 Bar Shabtai 0.13 0.02 0 0
72David Lackey:0 Anon5 0.13 0.03 0 0
73Nikhilesh Sigatapu:0 haoyu 0.13 0.03 0 0
74Ytterbium:0 Andrew Grasso 0.13 0.02 0 0
75vluu:0 Nihar the Great 0.14 0.01 0 0
76Samuel Jerome:0 haoyu 0.14 0.03 0 0
77cat:1 haoyu 0.15 0.03 0 0
78Andrew Grasso:1 Shaheed Chagani 0.15 0.15 0 0
79Samuel Jerome:1 haoyu 0.15 0.03 0 0
80Janie Gu:1 Jonathan Kwok 0.15 0.07 0 0
81Matt Haake:1 haoyu 0.16 0.05 0 0
82Keji Xu:1 Nihar the Great 0.16 0.04 0 0
83Janie Gu:0 Glenn Fisher 0.17 0.07 0 0
84kt4124:1 haoyu 0.17 0.04 0 0
85kt4124:0 haoyu 0.17 0.03 0 0
86Valya Barboy:1 Shaheed Chagani 0.18 0.18 0 0
87Glenn Fisher:0 Elphaba 0.18 0.02 0 0
88cat:0 haoyu 0.19 0.03 0 0
89AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.20 0.00 0 0
90Boomshanka:0 haoyu 0.20 0.01 0 0
91Mr. Blobby:0 Green "The Bean" Choi 0.21 0.14 0 0
92Lisa Kim:0 Aristotle 0.21 0.07 0 0
93Dusty:1 Shaheed Chagani 0.22 0.22 0 0
94Mr. Blobby:1 dusty 0.22 0.12 0 0
95Sunny:0 Green "The Bean" Choi 0.23 0.02 0 0
96Glenn Fisher:1 jabreezy 0.23 0.09 0 0
97Boomshanka:1 Bar Shabtai 0.23 0.01 0 0
98Lisa Kim:1 Bar Shabtai 0.24 0.06 0 0
99Ytterbium:1 Nihar the Great 0.24 0.02 0 0
100Linda:0 Andrew Grasso 0.25 0.01 0 0
101Yan Wu:0 haoyu 0.25 0.05 0 0
102Yan Wu:1 haoyu 0.26 0.04 0 0
103Dr Roberto:1 Andrew Grasso 0.26 0.02 0 0
104Andrew Grasso:0 Aaron Doll 0.26 0.18 0 0
105cmF5a3ly:1 Nihar the Great 0.27 0.00 0 0
106snowflakes:1 haoyu 0.28 0.03 0 0
107Mercury:1 haoyu 0.29 0.05 0 0
108cmF5a3ly:0 Nihar the Great 0.29 0.00 0 0
109Mercury:0 haoyu 0.29 0.05 0 0
110EC:0 haoyu 0.29 0.03 0 0
111snowflakes:0 haoyu 0.31 0.03 0 0
112EC:1 haoyu 0.36 0.03 0 0
113bfang:0 haoyu 0.36 0.04 0 0
114Dr Roberto:0 Andrew Grasso 0.38 0.03 0 0
115Sally Smith:0 haoyu 0.38 0.04 0 0
116NA:0 haoyu 0.38 0.03 0 0
117Valya Barboy:0 Aristotle 0.38 0.06 0 0
118Sally Smith:1 haoyu 0.38 0.04 0 0
119George Okeowo:1 Andrew Grasso 0.39 0.01 0 0
120bfang:1 haoyu 0.39 0.04 0 0
121Ben Chen:1 spl 0.41 0.20 0 0
122Anon5:1 Green "The Bean" Choi 0.41 0.07 0 0
123George Okeowo:0 Andrew Grasso 0.41 0.01 0 0
124Ben Chen:0 Elphaba 0.44 0.07 0 0
125NA:1 Elphaba 0.45 0.04 0 0
126Yacob Y.:0 haoyu 0.45 0.06 0 0
127soccer:1 haoyu 0.46 0.04 0 0
128Walter Little:0 haoyu 0.46 0.04 0 0
129Batman:0 haoyu 0.47 0.04 0 0
130AFC:1 Aristotle 0.48 0.16 0 0
131Batman:1 haoyu 0.48 0.04 0 0
132soccer:0 haoyu 0.49 0.04 0 0
133jabreezy:1 Mercury 0.50 0.10 0 0
134KingBach:1 haoyu 0.50 0.04 0 0
135KingBach:0 haoyu 0.51 0.06 0 0
136jabreezy:0 Mercury 0.51 0.09 0 0
137Linda:1 Andrew Grasso 0.51 0.02 0 0
138Walter Little:1 haoyu 0.53 0.03 0 0
139Bob Dondero:0 Andrew Grasso 0.56 0.02 0 0
140Fanny:0 Aristotle 0.60 0.10 0 0
141David H.:0 AFC 0.60 0.28 0 0
142Anon5:0 haoyu 0.67 0.05 0 0
143Bob Dondero:1 Mickey Mouse 0.71 0.03 0 0
144AFC:0 CookieMonster 0.74 0.34 0 0
145Khoa:0 haoyu 0.78 0.09 0 0
146Khoa:1 Aristotle 0.78 0.09 0 0
147Charliezsc:1 haoyu 0.82 0.07 0 0
148Sabar Dasgupta:1 Aaron Doll 0.89 0.17 0 0
149Sabar Dasgupta:0 spl 0.91 0.23 0 0
150Sprt:1 haoyu 0.96 0.05 0 0
151ebp:0 haoyu 1.01 0.04 0 0
152Fanny:1 Aristotle 1.02 0.12 0 0
153Absurdity:0 Aristotle 1.02 0.23 0 0
154ebp:1 haoyu 1.04 0.04 0 0
155David H.:1 DeeEmEm 1.07 0.33 0 0
156Dusty:0 CookieMonster 1.65 1.39 0 0
157burrito:0 haoyu 1.79 0.09 0 0
158Mike Hunt:0 Aristotle 1.99 0.27 0 0
159totallyOnFallBreak:0 Nikhilesh Sigatapu 2.11 0.01 0 0
160Mike Hunt:1 Aristotle 2.15 0.29 0 0
161DinnerPartyPlannerBM:1 Nihar the Great 2.19 0.06 0 0
162John Whelchel:0 haoyu 2.20 0.06 0 0
163totallyOnFallBreak:1 Nikhilesh Sigatapu 2.29 0.01 0 0
164Andys:1 Aristotle 2.35 0.13 0 0
165John Whelchel:1 haoyu 2.39 0.11 0 0
166Aaron H:0 Aristotle 2.49 0.11 0 0
167Absurdity:1 Aristotle 2.49 0.18 0 0
168Andys:0 Aristotle 2.61 0.12 0 0
169Aaron H:1 Aristotle 2.70 0.11 0 0
170Brendan Wright:0 haoyu 2.80 0.10 0 0
171BH:1 haoyu 2.85 0.05 0 0
172dfshasdsf12:0 haoyu 3.20 0.09 0 0
173Sprt:0 Aristotle 3.45 0.11 0 0
174Mike Honcho:1 Jessie Chen 3.48 0.01 0 0
175Mike Honcho:0 Miranda 3.66 0.01 0 0
176Andrew Werner:0 Aaron Doll 4.30 0.33 0 0
177Brendan Wright:1 Deric Cheng 4.35 0.10 0 0
178BH:0 haoyu 4.39 0.07 0 0
179Lil Thug:1 Andrew Grasso 4.44 0.03 0 0
180Lil Thug:0 Andrew Grasso 4.46 0.03 0 0
181Andrew Werner:1 haoyu 5.92 0.11 0 0
182burrito:1 haoyu 6.06 0.10 0 0
183DinnerPartyPlannerBM:0 Aristotle 6.06 0.11 0 0
184Bar Shabtai:1 haoyu 7.44 0.12 0 0
185dfshasdsf12:1 Nihar the Great 7.76 0.11 0 0
186CAPS LOCK:0 Aristotle 9.08 0.20 0 0
187nupog:0 Aristotle 10.27 0.13 0 0
188nupog:1 Aristotle 10.39 0.12 0 0
189jgs:0 Aristotle 10.70 0.12 0 0
190jgs:1 haoyu 13.11 0.18 0 0
191Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
192Charliezsc:0 jgs 15.00 14.98 1 1
193Deric Cheng:1 jgs 15.00 14.98 1 1
194Deric Cheng:0 jgs 15.00 14.99 1 1
195CookieMonster:0 CookieMonster 15.00 0.82 1 0
196CookieMonster:1 CookieMonster 15.00 1.10 1 0
197Quite Satisfied:1 Joel Faron 15.00 2.11 2 1
198T. Capote:0 haoyu 15.00 0.00 2 2
199T. Capote:1 haoyu 15.00 0.00 2 2
200Shaheed Chagani:1 Aristotle 15.00 0.11 3 0
201spl:0 Elphaba 15.00 0.09 3 0
202DeeEmEm:0 CAPS LOCK 15.00 13.00 3 1
203spl:1 haoyu 15.00 0.06 3 0
2040108:0 jgs 15.00 14.98 3 1
205Jessie Chen:0 Joel Faron 15.00 0.13 4 1
206Jessie Chen:1 Joel Faron 15.00 0.12 4 1
207SuperFan:1 jgs 15.00 14.98 8 4
208SuperFan:0 jgs 15.00 14.98 9 4
209Yacob Y.:1 Aristotle 15.00 15.00 13 1
210Supahaka:1 Joel Faron 15.00 15.00 37 35
211Supahaka:0 Andrew Werner 15.00 15.00 40 35
212Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
213Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
214CAPS LOCK:1 Aristotle 15.67 0.25 827 0
215Shaheed Chagani:0 Aristotle 15.76 0.17 448 0
216Elphaba:1 Aristotle 20.52 0.22 48 0
217Elphaba:0 Aristotle 25.26 0.24 50 0
21813a:0 Aaron Doll 37.61 15.00 575 21
21913a:1 Aaron Doll 50.98 15.00 640 29
220Nihar the Great:0 Aristotle 116.76 0.23 802 0
221Nihar the Great:1 Aristotle 128.75 0.25 811 0
222Matt Goldsmith:0 Nihar the Great - 0.03 - 0
223Aristotle:1 Aristotle - 9.69 - 0
224Aaron Doll:0 Aristotle - 0.56 - 0
225Aaron Doll:1 Aristotle - 1.27 - 0
226Bar Shabtai:0 Aaron Doll - 15.01 - 1
227Aristotle:0 Aristotle - 15.00 - 1
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist