SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Alex Fish

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 Alex Fish 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 Alex Fish 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: Alex Fish
Rank: 89 / 118
Average Score: 14.90
Median Score: 15.00
Description: My algorithm is a vanilla version of WalkSat. In implementing the algorithm, I've made some slight improvements.Particularly, I avoid reevaluating each clause more than once when computing the set of false clauses and determining whether or not a false clause still exists.
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
4Bebe Shi:0 KingBach 0.00 0.00 0 0
5Ravi Tandon:0 KingBach 0.01 0.00 0 0
6Bebe Shi:1 KingBach 0.01 0.00 0 0
7Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
8BMJ:1 burrito 0.01 0.00 0 0
9Happy:1 KingBach 0.01 0.00 0 0
10Joshua Zimmer:1 haoyu 0.01 0.00 0 0
11Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
12Solving For Clauses:1 haoyu 0.01 0.00 0 0
13Daffy Duck:1 haoyu 0.01 0.00 0 0
14K.L.:1 KingBach 0.01 0.00 0 0
15Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
16K.L.:0 haoyu 0.01 0.00 0 0
17Miranda:0 cat 0.01 0.00 0 0
18Joshua Zimmer:0 haoyu 0.01 0.00 0 0
19BMJ:0 Elphaba 0.01 0.00 0 0
20Miranda:1 cat 0.01 0.00 0 0
21R. A. B.:1 cat 0.01 0.00 0 0
22bchouGenerator:0 haoyu 0.02 0.00 0 0
23Blam:1 Elphaba 0.02 0.00 0 0
24Jonathan Kwok:1 KingBach 0.02 0.00 0 0
25Mike Honcho:0 Miranda 0.03 0.01 0 0
26Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
27Gewang:1 Jonathan Kwok 0.03 0.00 0 0
28Blam:0 Elphaba 0.03 0.00 0 0
29haoyu:1 Anon5 0.03 0.01 0 0
30Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
31haoyu:0 KingBach 0.04 0.01 0 0
32bchouGenerator:1 Jonathan Kwok 0.05 0.01 0 0
33Gewang:0 Jonathan Kwok 0.06 0.00 0 0
34Happy:0 haoyu 0.06 0.00 0 0
35The Kraken:0 haoyu 0.06 0.00 0 0
36Scheduling Generator 203:0 jgs 0.07 0.01 0 0
37Tree Prophet:0 haoyu 0.07 0.00 0 0
38Quite Satisfied:0 haoyu 0.07 0.00 0 0
39The Kraken:1 haoyu 0.08 0.00 0 0
40Qinlan Shen:0 Bar Shabtai 0.10 0.01 0 0
41David Paulk:0 cat 0.13 0.00 0 0
42Bob Dondero:0 Andrew Grasso 0.13 0.02 0 0
43Tom T:1 Andrew Werner 0.15 0.02 0 0
44Tom T:0 EC 0.16 0.02 0 0
45Dr Roberto:1 Andrew Grasso 0.17 0.02 0 0
46David Paulk:1 Bar Shabtai 0.18 0.00 0 0
47Scheduling Generator 203:1 Jameh 0.21 0.02 0 0
480108:1 haoyu 0.26 0.01 0 0
49David Lackey:0 Anon5 0.28 0.03 0 0
50R. A. B.:0 Nihar the Great 0.29 0.00 0 0
51Tree Prophet:1 haoyu 0.33 0.00 0 0
52Boomshanka:0 haoyu 0.37 0.01 0 0
53Dr Roberto:0 Andrew Grasso 0.41 0.03 0 0
54Mickey Mouse:0 Bar Shabtai 0.46 0.01 0 0
55Mickey Mouse:1 haoyu 0.48 0.01 0 0
56weezy:1 Bar Shabtai 0.53 0.01 0 0
57weezy:0 Bar Shabtai 0.63 0.01 0 0
58David Lackey:1 Bar Shabtai 0.64 0.03 0 0
59Jordan Ash:0 EC 0.69 0.03 0 0
60cmF5a3ly:1 Nihar the Great 0.70 0.00 0 0
61cmF5a3ly:0 Nihar the Great 0.82 0.00 0 0
62AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.95 0.01 0 0
63Tiny Wings:0 haoyu 1.04 0.02 0 0
64Jameh:0 haoyu 1.42 0.01 0 0
65Bob Dondero:1 Mickey Mouse 1.65 0.03 0 0
66AARON BURR, DROPPIN' HAMILTONS:0 haoyu 1.66 0.00 0 0
67Tiny Wings:1 haoyu 1.92 0.01 0 0
68DeeEmEm:1 haoyu 1.92 0.02 0 0
69Linda:0 Andrew Grasso 2.33 0.01 0 0
70Alex Fish:1 haoyu 2.67 0.02 0 0
71The Whitman Whale:1 Andrew Grasso 2.72 0.03 0 0
72Tao:1 Aristotle 2.74 0.07 0 0
73Janie Gu:0 Glenn Fisher 2.77 0.07 0 0
74Alex Fish:0 haoyu 2.78 0.01 0 0
75Janie Gu:1 Jonathan Kwok 2.95 0.07 0 0
76The Whitman Whale:0 bigwig 3.20 0.04 0 0
77Boomshanka:1 Bar Shabtai 3.61 0.01 0 0
78Keji Xu:1 Nihar the Great 3.62 0.04 0 0
79Nikhilesh Sigatapu:1 haoyu 4.04 0.04 0 0
80Ytterbium:0 Andrew Grasso 4.16 0.02 0 0
81cat:1 haoyu 4.45 0.03 0 0
82Keji Xu:0 Nihar the Great 4.58 0.03 0 0
83vluu:0 Nihar the Great 5.03 0.01 0 0
84cat:0 haoyu 5.12 0.03 0 0
85Nikhilesh Sigatapu:0 haoyu 5.54 0.03 0 0
86vluu:1 Nihar the Great 5.62 0.02 0 0
87Tao:0 Bar Shabtai 6.71 0.02 0 0
88Samuel Jerome:0 haoyu 7.11 0.03 0 0
89Samuel Jerome:1 haoyu 7.20 0.03 0 0
90Linda:1 Andrew Grasso 7.22 0.02 0 0
91Jameh:1 haoyu 7.68 0.01 0 0
92Anon_K_P:0 haoyu 13.08 0.02 0 0
93Anon5:1 Green "The Bean" Choi 14.18 0.07 0 0
94Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
95Sunny:0 Green "The Bean" Choi 15.00 0.02 1 0
96Sunny:1 jabreezy 15.00 0.01 1 0
97Quite Satisfied:1 Joel Faron 15.00 2.11 2 1
98T. Capote:0 haoyu 15.00 0.00 2 2
99T. Capote:1 haoyu 15.00 0.00 2 2
100Jessie Chen:0 Joel Faron 15.00 0.13 3 1
101Jessie Chen:1 Joel Faron 15.00 0.12 3 1
102AFC:1 Aristotle 15.00 0.16 5 0
103David H.:1 DeeEmEm 15.00 0.33 7 0
104SuperFan:1 jgs 15.00 14.98 7 4
105SuperFan:0 jgs 15.00 14.98 12 4
106DeeEmEm:0 CAPS LOCK 15.00 13.00 3 1
107Supahaka:1 Joel Faron 15.00 15.00 37 35
108David H.:0 AFC 15.00 0.28 8 0
1090108:0 jgs 15.00 14.98 8 1
110Supahaka:0 Andrew Werner 15.00 15.00 35 35
111Dusty:1 Shaheed Chagani 15.00 0.22 17 0
112Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 47 0
113Matt Haake:0 haoyu 15.01 0.05 6 0
114Valya Barboy:0 Aristotle 15.01 0.06 7 0
115Fanny:0 Aristotle 15.01 0.10 2 0
116Dusty:0 CookieMonster 15.01 1.39 12 0
117NA:0 haoyu 15.01 0.03 37 0
118Brendan Wright:1 Deric Cheng 15.01 0.10 1 0
119Anon_K_P:1 Aristotle 15.01 0.03 3 0
120Valya Barboy:1 Shaheed Chagani 15.01 0.18 2 0
121EC:0 haoyu 15.01 0.03 4 0
122Andrew Grasso:1 Shaheed Chagani 15.01 0.15 11 0
123Ytterbium:1 Nihar the Great 15.02 0.02 468 0
124AFC:0 CookieMonster 15.02 0.34 5 0
125snowflakes:0 haoyu 15.02 0.03 68 0
126NA:1 Elphaba 15.02 0.04 39 0
127Mr. Blobby:1 dusty 15.02 0.12 311 0
128Khoa:1 Aristotle 15.02 0.09 7375 0
129Andrew Grasso:0 Aaron Doll 15.02 0.18 14 0
130Anon5:0 haoyu 15.02 0.05 6 0
131Fanny:1 Aristotle 15.02 0.12 2 0
132kt4124:0 haoyu 15.02 0.03 158 0
133Matt Haake:1 haoyu 15.03 0.05 11 0
134CookieMonster:1 CookieMonster 15.03 1.10 10 0
135EC:1 haoyu 15.03 0.03 6 0
136spl:1 haoyu 15.03 0.06 2647 0
137Glenn Fisher:0 Elphaba 15.04 0.02 40 0
138Mark S. Fillmore:1 Supahaka 15.04 0.04 124 79
139Glenn Fisher:1 jabreezy 15.04 0.09 40 0
140Lisa Kim:0 Aristotle 15.04 0.07 722 0
141soccer:1 haoyu 15.04 0.04 4615 0
142kt4124:1 haoyu 15.04 0.04 115 0
143Walter Little:0 haoyu 15.05 0.04 1015 0
144Mercury:1 haoyu 15.05 0.05 2136 0
145Batman:1 haoyu 15.05 0.04 6699 0
146Walter Little:1 haoyu 15.05 0.03 1478 0
147Yan Wu:1 haoyu 15.06 0.04 14 0
148snowflakes:1 haoyu 15.06 0.03 53 0
149Sally Smith:1 haoyu 15.06 0.04 11 0
150George Okeowo:0 Andrew Grasso 15.06 0.01 1651 0
151Mercury:0 haoyu 15.06 0.05 1855 0
152Lisa Kim:1 Bar Shabtai 15.07 0.06 295 0
153Absurdity:1 Aristotle 15.07 0.18 8743 0
154CookieMonster:0 CookieMonster 15.08 0.82 7 0
155Yan Wu:0 haoyu 15.08 0.05 14 0
156Mark S. Fillmore:0 Supahaka 15.11 0.01 1186 116
157Ben Chen:0 Elphaba 15.11 0.07 864 0
158Yacob Y.:0 haoyu 15.12 0.06 6810 0
159Absurdity:0 Aristotle 15.12 0.23 9530 0
160Sally Smith:0 haoyu 15.12 0.04 119 0
161Brendan Wright:0 haoyu 15.13 0.10 3 0
162Ben Chen:1 spl 15.13 0.20 1709 0
163bfang:1 haoyu 15.14 0.04 4126 0
164Sabar Dasgupta:1 Aaron Doll 15.15 0.17 12961 0
165KingBach:1 haoyu 15.15 0.04 9960 0
166Yacob Y.:1 Aristotle 15.15 15.00 8648 1
167bfang:0 haoyu 15.15 0.04 3242 0
168burrito:0 haoyu 15.17 0.09 21610 0
169jabreezy:1 Mercury 15.19 0.10 3738 0
170dfshasdsf12:0 haoyu 15.19 0.09 19698 0
171ebp:0 haoyu 15.20 0.04 7390 0
172George Okeowo:1 Andrew Grasso 15.22 0.01 2284 0
173spl:0 Elphaba 15.23 0.09 2840 0
174John Whelchel:1 haoyu 15.24 0.11 32169 0
175jabreezy:0 Mercury 15.24 0.09 3987 0
176ebp:1 haoyu 15.25 0.04 8277 0
177soccer:0 haoyu 15.31 0.04 5122 0
178Batman:0 haoyu 15.32 0.04 7675 0
179Charliezsc:0 jgs 15.33 14.98 9371 1
180KingBach:0 haoyu 15.37 0.06 8332 0
181Sprt:1 haoyu 15.43 0.05 11622 0
182Sprt:0 Aristotle 15.48 0.11 28838 0
183Lil Thug:0 Andrew Grasso 15.53 0.03 28990 0
184Khoa:0 haoyu 15.54 0.09 7053 0
185Sabar Dasgupta:0 spl 15.60 0.23 13022 0
186Deric Cheng:1 jgs 15.62 14.98 57190 1
187Charliezsc:1 haoyu 15.64 0.07 13370 0
188CAPS LOCK:0 Aristotle 15.89 0.20 42977 0
189totallyOnFallBreak:0 Nikhilesh Sigatapu 15.99 0.01 632 0
190Andys:1 Aristotle 16.07 0.13 28061 0
191Aaron H:1 Aristotle 16.13 0.11 26950 0
192BH:0 haoyu 16.16 0.07 19498 0
193totallyOnFallBreak:1 Nikhilesh Sigatapu 16.26 0.01 1300 0
194BH:1 haoyu 16.35 0.05 20748 0
195Aaron H:0 Aristotle 16.44 0.11 27686 0
196DinnerPartyPlannerBM:1 Nihar the Great 16.61 0.06 23119 0
197Mike Hunt:0 Aristotle 16.68 0.27 22802 0
198John Whelchel:0 haoyu 16.69 0.06 30329 0
199Andys:0 Aristotle 16.83 0.12 30535 0
200jgs:0 Aristotle 16.84 0.12 55287 0
201Mike Hunt:1 Aristotle 16.87 0.29 23129 0
202Andrew Werner:0 Aaron Doll 17.30 0.33 28901 0
203Andrew Werner:1 haoyu 17.30 0.11 29428 0
204Shaheed Chagani:1 Aristotle 17.34 0.11 35949 0
205nupog:1 Aristotle 17.73 0.12 5022 0
206Lil Thug:1 Andrew Grasso 18.24 0.03 28399 0
207jgs:1 haoyu 18.66 0.18 54906 0
208nupog:0 Aristotle 18.92 0.13 5123 0
209Shaheed Chagani:0 Aristotle 19.06 0.17 34664 0
210DinnerPartyPlannerBM:0 Aristotle 19.49 0.11 48747 0
211dfshasdsf12:1 Nihar the Great 19.62 0.11 31344 0
212Deric Cheng:0 jgs 19.78 14.99 56060 1
213Bar Shabtai:1 haoyu 19.93 0.12 54133 0
214burrito:1 haoyu 21.99 0.10 48259 0
215Elphaba:1 Aristotle 22.31 0.22 110252 0
216CAPS LOCK:1 Aristotle 23.34 0.25 69282 0
217Elphaba:0 Aristotle 26.12 0.24 116715 0
21813a:0 Aaron Doll 37.67 15.00 121574 21
21913a:1 Aaron Doll 44.12 15.00 125222 29
220Nihar the Great:1 Aristotle 86.58 0.25 96007 0
221Nihar the Great:0 Aristotle 108.20 0.23 111943 0
222Aaron Doll:0 Aristotle 116.90 0.56 278718 0
223Aaron Doll:1 Aristotle 136.32 1.27 339809 0
224Matt Goldsmith:0 Nihar the Great - 0.03 - 0
225Aristotle:1 Aristotle - 9.69 - 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