SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Glenn Fisher

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 Glenn Fisher 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 Glenn Fisher 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: Glenn Fisher
Rank: 11 / 118
Average Score: 4.58
Median Score: 0.34
Description: This SAT solver implements WalkSAT but improves upon the initial assignment of symbols using the pure symbol and unit clause heuristics described in Russell/Norvig p. 260.
Generator Best solver Time taken Best time Unsat Best unsat
1Bebe Shi:1 KingBach 0.00 0.00 0 0
2K.L.:1 KingBach 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4David Paulk:0 cat 0.00 0.00 0 0
5Miranda:1 cat 0.00 0.00 0 0
6bigwig:1 KingBach 0.00 0.00 0 0
7Ravi Tandon:1 KingBach 0.00 0.00 0 0
8Miranda:0 cat 0.00 0.00 0 0
9Ravi Tandon:0 KingBach 0.00 0.00 0 0
10BMJ:1 burrito 0.00 0.00 0 0
11Happy:1 KingBach 0.00 0.00 0 0
12Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
13BMJ:0 Elphaba 0.00 0.00 0 0
14Bebe Shi:0 KingBach 0.00 0.00 0 0
15R. A. B.:1 cat 0.00 0.00 0 0
16Jonathan Kwok:1 KingBach 0.00 0.00 0 0
17K.L.:0 haoyu 0.00 0.00 0 0
18Solving For Clauses:0 Glenn Fisher 0.00 0.00 0 0
19Tree Prophet:0 haoyu 0.00 0.00 0 0
20Joshua Zimmer:0 haoyu 0.00 0.00 0 0
21David Paulk:1 Bar Shabtai 0.00 0.00 0 0
22Blam:1 Elphaba 0.00 0.00 0 0
23Solving For Clauses:1 haoyu 0.00 0.00 0 0
24Joshua Zimmer:1 haoyu 0.00 0.00 0 0
25Blam:0 Elphaba 0.01 0.00 0 0
26Quite Satisfied:0 haoyu 0.01 0.00 0 0
27Tree Prophet:1 haoyu 0.01 0.00 0 0
28Gewang:1 Jonathan Kwok 0.01 0.00 0 0
29bchouGenerator:0 haoyu 0.01 0.00 0 0
30Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
31The Kraken:1 haoyu 0.01 0.00 0 0
32George Okeowo:1 Andrew Grasso 0.01 0.01 0 0
33Jordan Ash:1 Bar Shabtai 0.01 0.01 0 0
34Gewang:0 Jonathan Kwok 0.01 0.00 0 0
35R. A. B.:0 Nihar the Great 0.01 0.00 0 0
36George Okeowo:0 Andrew Grasso 0.01 0.01 0 0
37haoyu:1 Anon5 0.01 0.01 0 0
38Qinlan Shen:0 Bar Shabtai 0.01 0.01 0 0
39Daffy Duck:1 haoyu 0.01 0.00 0 0
40bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
41Mickey Mouse:1 haoyu 0.01 0.01 0 0
42The Kraken:0 haoyu 0.01 0.00 0 0
43haoyu:0 KingBach 0.01 0.01 0 0
44cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
45totallyOnFallBreak:1 Nikhilesh Sigatapu 0.01 0.01 0 0
46cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
47Boomshanka:1 Bar Shabtai 0.02 0.01 0 0
48Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
49totallyOnFallBreak:0 Nikhilesh Sigatapu 0.02 0.01 0 0
50Happy:0 haoyu 0.02 0.00 0 0
51weezy:1 Bar Shabtai 0.02 0.01 0 0
52weezy:0 Bar Shabtai 0.02 0.01 0 0
53Tiny Wings:1 haoyu 0.03 0.01 0 0
54Jameh:0 haoyu 0.03 0.01 0 0
55Scheduling Generator 203:1 Jameh 0.03 0.02 0 0
56Scheduling Generator 203:0 jgs 0.03 0.01 0 0
57Tom T:1 Andrew Werner 0.03 0.02 0 0
58Tom T:0 EC 0.04 0.02 0 0
59Tiny Wings:0 haoyu 0.04 0.02 0 0
60vluu:0 Nihar the Great 0.04 0.01 0 0
61Ytterbium:0 Andrew Grasso 0.04 0.02 0 0
62David Lackey:0 Anon5 0.04 0.03 0 0
63Alex Fish:0 haoyu 0.04 0.01 0 0
64Jameh:1 haoyu 0.04 0.01 0 0
65Alex Fish:1 haoyu 0.04 0.02 0 0
66Jordan Ash:0 EC 0.04 0.03 0 0
67vluu:1 Nihar the Great 0.04 0.02 0 0
68DeeEmEm:1 haoyu 0.04 0.02 0 0
69Anon_K_P:0 haoyu 0.05 0.02 0 0
70AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.06 0.01 0 0
71Nikhilesh Sigatapu:0 haoyu 0.06 0.03 0 0
72The Whitman Whale:0 bigwig 0.06 0.04 0 0
73The Whitman Whale:1 Andrew Grasso 0.06 0.03 0 0
74Tao:0 Bar Shabtai 0.06 0.02 0 0
75Janie Gu:0 Glenn Fisher 0.07 0.07 0 0
76cat:1 haoyu 0.07 0.03 0 0
77Mike Honcho:0 Miranda 0.07 0.01 0 0
78Ytterbium:1 Nihar the Great 0.07 0.02 0 0
79Boomshanka:0 haoyu 0.07 0.01 0 0
80Dr Roberto:1 Andrew Grasso 0.07 0.02 0 0
81Mike Honcho:1 Jessie Chen 0.07 0.01 0 0
820108:1 haoyu 0.07 0.01 0 0
83Bob Dondero:1 Mickey Mouse 0.08 0.03 0 0
84cat:0 haoyu 0.08 0.03 0 0
85Tao:1 Aristotle 0.09 0.07 0 0
86Nikhilesh Sigatapu:1 haoyu 0.11 0.04 0 0
87Samuel Jerome:1 haoyu 0.11 0.03 0 0
88Keji Xu:1 Nihar the Great 0.11 0.04 0 0
89Dr Roberto:0 Andrew Grasso 0.11 0.03 0 0
90Lisa Kim:1 Bar Shabtai 0.12 0.06 0 0
91Lisa Kim:0 Aristotle 0.12 0.07 0 0
92David Lackey:1 Bar Shabtai 0.12 0.03 0 0
93Fanny:1 Aristotle 0.12 0.12 0 0
94kt4124:0 haoyu 0.14 0.03 0 0
95Brendan Wright:1 Deric Cheng 0.14 0.10 0 0
96Keji Xu:0 Nihar the Great 0.14 0.03 0 0
97Samuel Jerome:0 haoyu 0.15 0.03 0 0
98EC:1 haoyu 0.15 0.03 0 0
99Linda:0 Andrew Grasso 0.17 0.01 0 0
100AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.17 0.00 0 0
101Bob Dondero:0 Andrew Grasso 0.17 0.02 0 0
102kt4124:1 haoyu 0.19 0.04 0 0
103bfang:0 haoyu 0.21 0.04 0 0
104Janie Gu:1 Jonathan Kwok 0.22 0.07 0 0
105Mercury:1 haoyu 0.23 0.05 0 0
106KingBach:1 haoyu 0.27 0.04 0 0
107Yan Wu:0 haoyu 0.28 0.05 0 0
108Linda:1 Andrew Grasso 0.28 0.02 0 0
109Sally Smith:1 haoyu 0.31 0.04 0 0
110Anon5:1 Green "The Bean" Choi 0.31 0.07 0 0
111Batman:0 haoyu 0.32 0.04 0 0
112Anon_K_P:1 Aristotle 0.33 0.03 0 0
113Matt Haake:0 haoyu 0.34 0.05 0 0
114Mercury:0 haoyu 0.34 0.05 0 0
115Batman:1 haoyu 0.35 0.04 0 0
116KingBach:0 haoyu 0.36 0.06 0 0
117Sally Smith:0 haoyu 0.40 0.04 0 0
118Khoa:1 Aristotle 0.41 0.09 0 0
119Yan Wu:1 haoyu 0.42 0.04 0 0
120Sprt:1 haoyu 0.42 0.05 0 0
121Khoa:0 haoyu 0.43 0.09 0 0
122Fanny:0 Aristotle 0.52 0.10 0 0
123Valya Barboy:0 Aristotle 0.55 0.06 0 0
124bfang:1 haoyu 0.57 0.04 0 0
125Yacob Y.:0 haoyu 0.64 0.06 0 0
126snowflakes:0 haoyu 0.65 0.03 0 0
127Matt Haake:1 haoyu 0.66 0.05 0 0
128Glenn Fisher:0 Elphaba 0.73 0.02 0 0
129Sabar Dasgupta:0 spl 0.80 0.23 0 0
130soccer:0 haoyu 0.90 0.04 0 0
131Sabar Dasgupta:1 Aaron Doll 0.93 0.17 0 0
132Sunny:1 jabreezy 0.95 0.01 0 0
133burrito:0 haoyu 0.96 0.09 0 0
134DinnerPartyPlannerBM:1 Nihar the Great 0.96 0.06 0 0
135dfshasdsf12:0 haoyu 1.10 0.09 0 0
136Anon5:0 haoyu 1.30 0.05 0 0
137EC:0 haoyu 1.32 0.03 0 0
138soccer:1 haoyu 1.59 0.04 0 0
139Sprt:0 Aristotle 1.85 0.11 0 0
140Aaron H:1 Aristotle 1.89 0.11 0 0
141Lil Thug:1 Andrew Grasso 2.06 0.03 0 0
142Lil Thug:0 Andrew Grasso 2.09 0.03 0 0
143Mr. Blobby:1 dusty 2.22 0.12 0 0
144Charliezsc:1 haoyu 2.22 0.07 0 0
145Sunny:0 Green "The Bean" Choi 2.37 0.02 0 0
146snowflakes:1 haoyu 2.44 0.03 0 0
147dfshasdsf12:1 Nihar the Great 2.45 0.11 0 0
148burrito:1 haoyu 2.90 0.10 0 0
149Andrew Grasso:0 Aaron Doll 3.10 0.18 0 0
150Aaron H:0 Aristotle 3.18 0.11 0 0
151Brendan Wright:0 haoyu 3.27 0.10 0 0
152DinnerPartyPlannerBM:0 Aristotle 3.49 0.11 0 0
153Ben Chen:1 spl 4.14 0.20 0 0
154Mr. Blobby:0 Green "The Bean" Choi 4.25 0.14 0 0
155John Whelchel:0 haoyu 4.62 0.06 0 0
156Mike Hunt:0 Aristotle 4.94 0.27 0 0
157Andrew Werner:0 Aaron Doll 5.53 0.33 0 0
158jgs:1 haoyu 6.01 0.18 0 0
159David H.:0 AFC 6.63 0.28 0 0
160Glenn Fisher:1 jabreezy 7.25 0.09 0 0
161jabreezy:1 Mercury 7.45 0.10 0 0
162CAPS LOCK:0 Aristotle 7.81 0.20 0 0
163Ben Chen:0 Elphaba 8.07 0.07 0 0
164BH:1 haoyu 8.07 0.05 0 0
165Andys:1 Aristotle 8.17 0.13 0 0
166Mike Hunt:1 Aristotle 8.42 0.29 0 0
167jabreezy:0 Mercury 8.47 0.09 0 0
168nupog:1 Aristotle 9.45 0.12 0 0
169nupog:0 Aristotle 9.59 0.13 0 0
170BH:0 haoyu 9.69 0.07 0 0
171Andys:0 Aristotle 10.11 0.12 0 0
172Walter Little:1 haoyu 10.85 0.03 0 0
173jgs:0 Aristotle 11.26 0.12 0 0
174Bar Shabtai:1 haoyu 13.31 0.12 0 0
175Elphaba:1 Aristotle 13.57 0.22 0 0
176Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
177T. Capote:0 haoyu 15.00 0.00 2 2
178T. Capote:1 haoyu 15.00 0.00 2 2
179Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
180Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
181CookieMonster:1 CookieMonster 15.00 1.10 1 0
182Quite Satisfied:1 Joel Faron 15.00 2.11 2 1
183CookieMonster:0 CookieMonster 15.00 0.82 2 0
184DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
185Jessie Chen:0 Joel Faron 15.00 0.13 3 1
186ebp:0 haoyu 15.00 0.04 3 0
187Jessie Chen:1 Joel Faron 15.00 0.12 3 1
1880108:0 jgs 15.00 14.98 3 1
189Walter Little:0 haoyu 15.00 0.04 6 0
190Valya Barboy:1 Shaheed Chagani 15.00 0.18 6 0
191David H.:1 DeeEmEm 15.00 0.33 10 0
192Dusty:0 CookieMonster 15.00 1.39 10 0
193Dusty:1 Shaheed Chagani 15.00 0.22 11 0
194SuperFan:0 jgs 15.00 14.98 12 4
195AFC:0 CookieMonster 15.00 0.34 12 0
196Andrew Grasso:1 Shaheed Chagani 15.00 0.15 14 0
197SuperFan:1 jgs 15.00 14.98 21 4
198spl:0 Elphaba 15.00 0.09 26 0
199spl:1 haoyu 15.00 0.06 26 0
200NA:1 Elphaba 15.00 0.04 33 0
201NA:0 haoyu 15.00 0.03 40 0
202Supahaka:1 Joel Faron 15.00 15.00 55 35
203Supahaka:0 Andrew Werner 15.00 15.00 64 35
204Shaheed Chagani:1 Aristotle 15.00 0.11 65 0
205Nihar the Great:1 Aristotle 15.00 0.25 20240 0
206Aaron Doll:0 Aristotle 15.00 0.56 187022 0
207AFC:1 Aristotle 15.00 0.16 8 0
208Absurdity:1 Aristotle 15.00 0.18 9 0
209John Whelchel:1 haoyu 15.00 0.11 3 0
210Charliezsc:0 jgs 15.00 14.98 9 1
211Absurdity:0 Aristotle 15.00 0.23 10 0
212ebp:1 haoyu 15.00 0.04 15 0
213Yacob Y.:1 Aristotle 15.00 15.00 12 1
214Shaheed Chagani:0 Aristotle 15.00 0.17 86 0
21513a:0 Aaron Doll 15.00 15.00 13171 21
21613a:1 Aaron Doll 15.01 15.00 13239 29
217Nihar the Great:0 Aristotle 15.01 0.23 21034 0
218Bar Shabtai:0 Aaron Doll 15.03 15.01 240257 1
219Andrew Werner:1 haoyu 15.03 0.11 8 0
220Aaron Doll:1 Aristotle 15.05 1.27 239335 0
221Matt Goldsmith:0 Nihar the Great 15.06 0.03 504173 0
222Aristotle:1 Aristotle 15.06 9.69 678153 0
223Deric Cheng:0 jgs 15.07 14.99 2 1
224Aristotle:0 Aristotle 15.09 15.00 698238 1
225Deric Cheng:1 jgs 15.13 14.98 2 1
226Matt Goldsmith:1 Happy 15.14 0.03 507884 0
227CAPS LOCK:1 Aristotle 15.15 0.25 0 0
228Elphaba:0 Aristotle 15.24 0.24 6 0


SatSolvers Ranklist Generators Ranklist