SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Sally Smith

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 Sally Smith 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 Sally Smith 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: Sally Smith
Rank: 111 / 118
Average Score: 37.95
Median Score: 15.00
Description: I implemented walksat as it is stated in the pseudocode in the textbook. I created a random model and then with probability p, flipped a randomly selected symbol in a randomly selected false clause. With probability (1-p), I flipped the symbol in the randomly selected false clause that maximizes the number of satisfied clauses. When time runs out, I return the best model I have.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Ravi Tandon:1 KingBach 0.00 0.00 0 0
4Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
5Bebe Shi:1 KingBach 0.01 0.00 0 0
6Solving For Clauses:1 haoyu 0.01 0.00 0 0
7Jonathan Kwok:1 KingBach 0.01 0.00 0 0
8K.L.:1 KingBach 0.01 0.00 0 0
9Ravi Tandon:0 KingBach 0.01 0.00 0 0
10Happy:1 KingBach 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12Bebe Shi:0 KingBach 0.01 0.00 0 0
13Miranda:1 cat 0.01 0.00 0 0
14K.L.:0 haoyu 0.01 0.00 0 0
15Joshua Zimmer:0 haoyu 0.02 0.00 0 0
16Daffy Duck:1 haoyu 0.02 0.00 0 0
17R. A. B.:1 cat 0.02 0.00 0 0
18Miranda:0 cat 0.03 0.00 0 0
19Jonathan Kwok:0 Elphaba 0.03 0.00 0 0
20haoyu:1 Anon5 0.03 0.01 0 0
21Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
22Gewang:0 Jonathan Kwok 0.04 0.00 0 0
23Blam:0 Elphaba 0.04 0.00 0 0
24Daffy Duck:0 Andrew Werner 0.05 0.00 0 0
25BMJ:1 burrito 0.05 0.00 0 0
26Blam:1 Elphaba 0.06 0.00 0 0
27haoyu:0 KingBach 0.06 0.01 0 0
28BMJ:0 Elphaba 0.06 0.00 0 0
29bchouGenerator:0 haoyu 0.07 0.00 0 0
30Gewang:1 Jonathan Kwok 0.07 0.00 0 0
31The Kraken:0 haoyu 0.09 0.00 0 0
32The Kraken:1 haoyu 0.12 0.00 0 0
33bchouGenerator:1 Jonathan Kwok 0.12 0.01 0 0
34David Paulk:0 cat 0.12 0.00 0 0
35Tree Prophet:0 haoyu 0.12 0.00 0 0
36Happy:0 haoyu 0.15 0.00 0 0
37Quite Satisfied:0 haoyu 0.15 0.00 0 0
38Scheduling Generator 203:0 jgs 0.15 0.01 0 0
39David Paulk:1 Bar Shabtai 0.18 0.00 0 0
40Tree Prophet:1 haoyu 0.22 0.00 0 0
41Tom T:0 EC 0.25 0.02 0 0
42Tom T:1 Andrew Werner 0.26 0.02 0 0
43Scheduling Generator 203:1 Jameh 0.26 0.02 0 0
44Mickey Mouse:0 Bar Shabtai 0.32 0.01 0 0
45Mickey Mouse:1 haoyu 0.37 0.01 0 0
46weezy:0 Bar Shabtai 0.44 0.01 0 0
47cmF5a3ly:0 Nihar the Great 0.46 0.00 0 0
48Jordan Ash:1 Bar Shabtai 0.49 0.01 0 0
49Mike Honcho:0 Miranda 0.51 0.01 0 0
50cmF5a3ly:1 Nihar the Great 0.51 0.00 0 0
51Qinlan Shen:0 Bar Shabtai 0.55 0.01 0 0
52weezy:1 Bar Shabtai 0.55 0.01 0 0
53Dr Roberto:0 Andrew Grasso 0.59 0.03 0 0
54Dr Roberto:1 Andrew Grasso 0.71 0.02 0 0
55R. A. B.:0 Nihar the Great 0.73 0.00 0 0
56Bob Dondero:0 Andrew Grasso 0.78 0.02 0 0
57Sunny:0 Green "The Bean" Choi 0.82 0.02 0 0
58Bob Dondero:1 Mickey Mouse 0.93 0.03 0 0
59Boomshanka:0 haoyu 1.28 0.01 0 0
60Tiny Wings:0 haoyu 1.42 0.02 0 0
61Tiny Wings:1 haoyu 1.61 0.01 0 0
62Jameh:0 haoyu 1.88 0.01 0 0
63Sunny:1 jabreezy 1.88 0.01 0 0
64Ytterbium:0 Andrew Grasso 2.39 0.02 0 0
65Keji Xu:1 Nihar the Great 2.45 0.04 0 0
66The Whitman Whale:0 bigwig 2.49 0.04 0 0
67The Whitman Whale:1 Andrew Grasso 2.53 0.03 0 0
68Linda:0 Andrew Grasso 2.75 0.01 0 0
69DeeEmEm:1 haoyu 2.85 0.02 0 0
70Keji Xu:0 Nihar the Great 3.09 0.03 0 0
71Janie Gu:1 Jonathan Kwok 3.21 0.07 0 0
72vluu:0 Nihar the Great 3.37 0.01 0 0
73vluu:1 Nihar the Great 3.42 0.02 0 0
74Janie Gu:0 Glenn Fisher 3.58 0.07 0 0
75cat:0 haoyu 3.91 0.03 0 0
76cat:1 haoyu 4.41 0.03 0 0
77Linda:1 Andrew Grasso 4.54 0.02 0 0
78Brendan Wright:0 haoyu 4.80 0.10 0 0
79Jameh:1 haoyu 9.95 0.01 0 0
80Boomshanka:1 Bar Shabtai 11.01 0.01 0 0
81Ytterbium:1 Nihar the Great 12.02 0.02 0 0
82Lisa Kim:1 Bar Shabtai 14.28 0.06 0 0
83T. Capote:0 haoyu 15.00 0.00 2 2
84Qinlan Shen:1 R. A. B. 15.00 9.00 3 1
85DeeEmEm:0 CAPS LOCK 15.00 13.00 4 1
86T. Capote:1 haoyu 15.00 0.00 4 2
87Jessie Chen:1 Joel Faron 15.00 0.12 5 1
88Quite Satisfied:1 Joel Faron 15.00 2.11 6 1
890108:0 jgs 15.00 14.98 6 1
90AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 7 0
91Alex Fish:1 haoyu 15.00 0.02 7 0
92Jordan Ash:0 EC 15.00 0.03 7 0
93Nikhilesh Sigatapu:0 haoyu 15.00 0.03 8 0
94Jessie Chen:0 Joel Faron 15.00 0.13 10 1
95AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 10 0
96David H.:0 AFC 15.00 0.28 15 0
97Anon_K_P:1 Aristotle 15.00 0.03 15 0
98Anon5:1 Green "The Bean" Choi 15.00 0.07 16 0
99Valya Barboy:1 Shaheed Chagani 15.00 0.18 16 0
100CookieMonster:1 CookieMonster 15.00 1.10 19 0
101Samuel Jerome:0 haoyu 15.00 0.03 19 0
102David H.:1 DeeEmEm 15.00 0.33 20 0
103AFC:1 Aristotle 15.00 0.16 21 0
104SuperFan:1 jgs 15.00 14.98 27 4
105SuperFan:0 jgs 15.00 14.98 28 4
106David Lackey:0 Anon5 15.00 0.03 46 0
107Dusty:0 CookieMonster 15.00 1.39 49 0
108Supahaka:1 Joel Faron 15.00 15.00 49 35
109Andrew Grasso:1 Shaheed Chagani 15.00 0.15 50 0
110Mr. Blobby:1 dusty 15.00 0.12 71 0
111George Okeowo:0 Andrew Grasso 15.00 0.01 1049 0
112soccer:0 haoyu 15.00 0.04 1098 0
113jabreezy:0 Mercury 15.00 0.09 1848 0
114Alex Fish:0 haoyu 15.00 0.01 7 0
1150108:1 haoyu 15.00 0.01 8 0
116Anon_K_P:0 haoyu 15.00 0.02 16 0
117Valya Barboy:0 Aristotle 15.00 0.06 19 0
118Anon5:0 haoyu 15.00 0.05 23 0
119Supahaka:0 Andrew Werner 15.00 15.00 52 35
120Dusty:1 Shaheed Chagani 15.00 0.22 54 0
121Andrew Grasso:0 Aaron Doll 15.00 0.18 54 0
122David Lackey:1 Bar Shabtai 15.00 0.03 63 0
123Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 73 0
124Walter Little:0 haoyu 15.00 0.04 100 0
125Matt Haake:1 haoyu 15.00 0.05 116 0
126kt4124:1 haoyu 15.00 0.04 122 0
127spl:1 haoyu 15.00 0.06 990 0
128Lisa Kim:0 Aristotle 15.00 0.07 4 0
129EC:1 haoyu 15.00 0.03 15 0
130CookieMonster:0 CookieMonster 15.00 0.82 21 0
131Glenn Fisher:1 jabreezy 15.00 0.09 52 0
132kt4124:0 haoyu 15.00 0.03 150 0
133snowflakes:1 haoyu 15.00 0.03 151 0
134snowflakes:0 haoyu 15.00 0.03 160 0
135Tao:1 Aristotle 15.00 0.07 7 0
136AFC:0 CookieMonster 15.00 0.34 24 0
137Fanny:1 Aristotle 15.00 0.12 38 0
138Glenn Fisher:0 Elphaba 15.00 0.02 57 0
139Matt Haake:0 haoyu 15.00 0.05 108 0
140NA:0 haoyu 15.00 0.03 111 0
141NA:1 Elphaba 15.00 0.04 112 0
142Nikhilesh Sigatapu:1 haoyu 15.01 0.04 15 0
143bfang:1 haoyu 15.01 0.04 54 0
144Ben Chen:1 spl 15.01 0.20 77 0
145Mark S. Fillmore:1 Supahaka 15.01 0.04 79 79
146Yan Wu:0 haoyu 15.01 0.05 80 0
147EC:0 haoyu 15.01 0.03 19 0
148Samuel Jerome:1 haoyu 15.01 0.03 19 0
149Ben Chen:0 Elphaba 15.01 0.07 77 0
150Khoa:1 Aristotle 15.01 0.09 5943 0
151Mercury:0 haoyu 15.01 0.05 13 0
152George Okeowo:1 Andrew Grasso 15.01 0.01 264 0
153Walter Little:1 haoyu 15.01 0.03 65 0
154Batman:1 haoyu 15.01 0.04 4185 0
155Sabar Dasgupta:0 spl 15.01 0.23 11155 0
156Tao:0 Bar Shabtai 15.01 0.02 4 0
157Mercury:1 haoyu 15.01 0.05 21 0
158Mark S. Fillmore:0 Supahaka 15.01 0.01 828 116
159Charliezsc:0 jgs 15.01 14.98 6089 1
160ebp:1 haoyu 15.01 0.04 6126 0
161Khoa:0 haoyu 15.01 0.09 6612 0
162soccer:1 haoyu 15.02 0.04 1126 0
163Yacob Y.:1 Aristotle 15.02 15.00 4810 1
164Sally Smith:1 haoyu 15.02 0.04 2 0
165Absurdity:1 Aristotle 15.02 0.18 5891 0
166Fanny:0 Aristotle 15.02 0.10 35 0
167Sprt:1 haoyu 15.02 0.05 9334 0
168jabreezy:1 Mercury 15.02 0.10 1758 0
169Charliezsc:1 haoyu 15.02 0.07 9866 0
170Sally Smith:0 haoyu 15.02 0.04 4 0
171Absurdity:0 Aristotle 15.02 0.23 5936 0
172Yacob Y.:0 haoyu 15.03 0.06 2429 0
173Brendan Wright:1 Deric Cheng 15.03 0.10 5 0
174spl:0 Elphaba 15.03 0.09 1641 0
175Yan Wu:1 haoyu 15.03 0.04 57 0
176Sabar Dasgupta:1 Aaron Doll 15.03 0.17 12102 0
177KingBach:1 haoyu 15.03 0.04 4024 0
178bfang:0 haoyu 15.04 0.04 1685 0
179Batman:0 haoyu 15.04 0.04 4449 0
180KingBach:0 haoyu 15.06 0.06 4264 0
181ebp:0 haoyu 15.06 0.04 6788 0
182Andys:0 Aristotle - 0.12 - 0
183DinnerPartyPlannerBM:1 Nihar the Great - 0.06 - 0
184Elphaba:1 Aristotle - 0.22 - 0
185Bar Shabtai:1 haoyu - 0.12 - 0
186nupog:1 Aristotle - 0.12 - 0
187Aaron H:0 Aristotle - 0.11 - 0
188Shaheed Chagani:0 Aristotle - 0.17 - 0
189Matt Goldsmith:0 Nihar the Great - 0.03 - 0
190Aristotle:1 Aristotle - 9.69 - 0
191Lil Thug:0 Andrew Grasso - 0.03 - 0
192Andys:1 Aristotle - 0.13 - 0
193Aaron H:1 Aristotle - 0.11 - 0
194jgs:1 haoyu - 0.18 - 0
195John Whelchel:1 haoyu - 0.11 - 0
196Andrew Werner:0 Aaron Doll - 0.33 - 0
197dfshasdsf12:1 Nihar the Great - 0.11 - 0
198DinnerPartyPlannerBM:0 Aristotle - 0.11 - 0
199Mike Hunt:0 Aristotle - 0.27 - 0
200Mike Hunt:1 Aristotle - 0.29 - 0
201Aaron Doll:0 Aristotle - 0.56 - 0
202burrito:1 haoyu - 0.10 - 0
203Shaheed Chagani:1 Aristotle - 0.11 - 0
204Deric Cheng:1 jgs - 14.98 - 1
205Lil Thug:1 Andrew Grasso - 0.03 - 0
20613a:0 Aaron Doll - 15.00 - 21
207Elphaba:0 Aristotle - 0.24 - 0
208John Whelchel:0 haoyu - 0.06 - 0
209Andrew Werner:1 haoyu - 0.11 - 0
210dfshasdsf12:0 haoyu - 0.09 - 0
211BH:0 haoyu - 0.07 - 0
212Aaron Doll:1 Aristotle - 1.27 - 0
213totallyOnFallBreak:1 Nikhilesh Sigatapu - 0.01 - 0
214Deric Cheng:0 jgs - 14.99 - 1
215jgs:0 Aristotle - 0.12 - 0
216Nihar the Great:0 Aristotle - 0.23 - 0
217CAPS LOCK:1 Aristotle - 0.25 - 0
218burrito:0 haoyu - 0.09 - 0
219Bar Shabtai:0 Aaron Doll - 15.01 - 1
220nupog:0 Aristotle - 0.13 - 0
221Aristotle:0 Aristotle - 15.00 - 1
22213a:1 Aaron Doll - 15.00 - 29
223BH:1 haoyu - 0.05 - 0
224totallyOnFallBreak:0 Nikhilesh Sigatapu - 0.01 - 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