SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Andrew Grasso

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 Andrew Grasso 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 Andrew Grasso 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: Andrew Grasso
Rank: 26 / 118
Average Score: 5.33
Median Score: 0.34
Description: Implements WALKSAT
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:0 KingBach 0.00 0.00 0 0
4David Paulk:1 Bar Shabtai 0.00 0.00 0 0
5Jonathan Kwok:1 KingBach 0.00 0.00 0 0
6Happy:1 KingBach 0.00 0.00 0 0
7Miranda:1 cat 0.00 0.00 0 0
8R. A. B.:0 Nihar the Great 0.00 0.00 0 0
9Ravi Tandon:1 KingBach 0.00 0.00 0 0
10Miranda:0 cat 0.00 0.00 0 0
11R. A. B.:1 cat 0.00 0.00 0 0
12K.L.:1 KingBach 0.00 0.00 0 0
13David Paulk:0 cat 0.00 0.00 0 0
14cmF5a3ly:1 Nihar the Great 0.00 0.00 0 0
15Bebe Shi:0 KingBach 0.00 0.00 0 0
16cmF5a3ly:0 Nihar the Great 0.00 0.00 0 0
17Bebe Shi:1 KingBach 0.00 0.00 0 0
18Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
19BMJ:0 Elphaba 0.00 0.00 0 0
20Solving For Clauses:0 Glenn Fisher 0.00 0.00 0 0
21Tree Prophet:0 haoyu 0.00 0.00 0 0
22George Okeowo:1 Andrew Grasso 0.01 0.01 0 0
23Joshua Zimmer:1 haoyu 0.01 0.00 0 0
24George Okeowo:0 Andrew Grasso 0.01 0.01 0 0
25Joshua Zimmer:0 haoyu 0.01 0.00 0 0
26Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
27Solving For Clauses:1 haoyu 0.01 0.00 0 0
28Gewang:1 Jonathan Kwok 0.01 0.00 0 0
29haoyu:1 Anon5 0.01 0.01 0 0
30Gewang:0 Jonathan Kwok 0.01 0.00 0 0
31Daffy Duck:1 haoyu 0.01 0.00 0 0
32K.L.:0 haoyu 0.01 0.00 0 0
33Linda:0 Andrew Grasso 0.01 0.01 0 0
34bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
35bchouGenerator:0 haoyu 0.01 0.00 0 0
36Quite Satisfied:0 haoyu 0.01 0.00 0 0
37Qinlan Shen:0 Bar Shabtai 0.01 0.01 0 0
38Linda:1 Andrew Grasso 0.02 0.02 0 0
39Ytterbium:0 Andrew Grasso 0.02 0.02 0 0
40Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
41haoyu:0 KingBach 0.02 0.01 0 0
42Blam:0 Elphaba 0.02 0.00 0 0
43The Kraken:0 haoyu 0.02 0.00 0 0
44BMJ:1 burrito 0.02 0.00 0 0
45Bob Dondero:0 Andrew Grasso 0.02 0.02 0 0
46Mickey Mouse:1 haoyu 0.02 0.01 0 0
47Scheduling Generator 203:0 jgs 0.02 0.01 0 0
48weezy:1 Bar Shabtai 0.02 0.01 0 0
49The Kraken:1 haoyu 0.02 0.00 0 0
50Dr Roberto:1 Andrew Grasso 0.02 0.02 0 0
51weezy:0 Bar Shabtai 0.02 0.01 0 0
52Blam:1 Elphaba 0.02 0.00 0 0
53Tom T:0 EC 0.02 0.02 0 0
54vluu:0 Nihar the Great 0.03 0.01 0 0
55Lil Thug:0 Andrew Grasso 0.03 0.03 0 0
56vluu:1 Nihar the Great 0.03 0.02 0 0
57Happy:0 haoyu 0.03 0.00 0 0
58Jameh:0 haoyu 0.03 0.01 0 0
59Dr Roberto:0 Andrew Grasso 0.03 0.03 0 0
60Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
61Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
62The Whitman Whale:1 Andrew Grasso 0.03 0.03 0 0
63Lil Thug:1 Andrew Grasso 0.03 0.03 0 0
64Mike Honcho:0 Miranda 0.03 0.01 0 0
65totallyOnFallBreak:1 Nikhilesh Sigatapu 0.03 0.01 0 0
66Jordan Ash:1 Bar Shabtai 0.04 0.01 0 0
67Ytterbium:1 Nihar the Great 0.04 0.02 0 0
68Tom T:1 Andrew Werner 0.04 0.02 0 0
69Bob Dondero:1 Mickey Mouse 0.04 0.03 0 0
70Scheduling Generator 203:1 Jameh 0.05 0.02 0 0
71Jameh:1 haoyu 0.05 0.01 0 0
72Glenn Fisher:0 Elphaba 0.05 0.02 0 0
73Tao:0 Bar Shabtai 0.05 0.02 0 0
74totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
75Nikhilesh Sigatapu:0 haoyu 0.05 0.03 0 0
76David Lackey:1 Bar Shabtai 0.05 0.03 0 0
77Tree Prophet:1 haoyu 0.05 0.00 0 0
78AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.06 0.00 0 0
79cat:1 haoyu 0.06 0.03 0 0
80David Lackey:0 Anon5 0.07 0.03 0 0
81cat:0 haoyu 0.07 0.03 0 0
82Boomshanka:0 haoyu 0.07 0.01 0 0
83Lisa Kim:1 Bar Shabtai 0.08 0.06 0 0
84Anon_K_P:0 haoyu 0.08 0.02 0 0
85Jordan Ash:0 EC 0.08 0.03 0 0
86Alex Fish:1 haoyu 0.08 0.02 0 0
87The Whitman Whale:0 bigwig 0.09 0.04 0 0
88Tiny Wings:1 haoyu 0.09 0.01 0 0
89Keji Xu:0 Nihar the Great 0.09 0.03 0 0
90AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.10 0.01 0 0
91Tao:1 Aristotle 0.10 0.07 0 0
92Janie Gu:0 Glenn Fisher 0.11 0.07 0 0
93Matt Haake:0 haoyu 0.12 0.05 0 0
94Matt Goldsmith:1 Happy 0.12 0.03 0 0
95Tiny Wings:0 haoyu 0.12 0.02 0 0
96Lisa Kim:0 Aristotle 0.13 0.07 0 0
97Nikhilesh Sigatapu:1 haoyu 0.14 0.04 0 0
98Janie Gu:1 Jonathan Kwok 0.14 0.07 0 0
99Matt Goldsmith:0 Nihar the Great 0.14 0.03 0 0
1000108:1 haoyu 0.15 0.01 0 0
101kt4124:1 haoyu 0.15 0.04 0 0
102kt4124:0 haoyu 0.16 0.03 0 0
103Keji Xu:1 Nihar the Great 0.16 0.04 0 0
104Samuel Jerome:0 haoyu 0.17 0.03 0 0
105Sunny:1 jabreezy 0.18 0.01 0 0
106bfang:1 haoyu 0.21 0.04 0 0
107bfang:0 haoyu 0.23 0.04 0 0
108Yan Wu:0 haoyu 0.25 0.05 0 0
109soccer:0 haoyu 0.26 0.04 0 0
110Alex Fish:0 haoyu 0.29 0.01 0 0
111Anon_K_P:1 Aristotle 0.30 0.03 0 0
112Sprt:1 haoyu 0.32 0.05 0 0
113Sally Smith:1 haoyu 0.33 0.04 0 0
114Matt Haake:1 haoyu 0.34 0.05 0 0
115DeeEmEm:1 haoyu 0.35 0.02 0 0
116KingBach:1 haoyu 0.36 0.04 0 0
117Mercury:1 haoyu 0.40 0.05 0 0
118Batman:1 haoyu 0.40 0.04 0 0
119Samuel Jerome:1 haoyu 0.42 0.03 0 0
120Sally Smith:0 haoyu 0.42 0.04 0 0
121Sunny:0 Green "The Bean" Choi 0.42 0.02 0 0
122Batman:0 haoyu 0.45 0.04 0 0
123Khoa:1 Aristotle 0.47 0.09 0 0
124Khoa:0 haoyu 0.49 0.09 0 0
125Mercury:0 haoyu 0.77 0.05 0 0
126dfshasdsf12:0 haoyu 0.82 0.09 0 0
127DinnerPartyPlannerBM:1 Nihar the Great 0.89 0.06 0 0
128soccer:1 haoyu 0.89 0.04 0 0
129Sabar Dasgupta:0 spl 0.93 0.23 0 0
130KingBach:0 haoyu 0.98 0.06 0 0
131Sabar Dasgupta:1 Aaron Doll 0.98 0.17 0 0
132Brendan Wright:0 haoyu 1.01 0.10 0 0
133burrito:0 haoyu 1.27 0.09 0 0
134Valya Barboy:0 Aristotle 1.29 0.06 0 0
135Sprt:0 Aristotle 1.43 0.11 0 0
136Fanny:1 Aristotle 1.91 0.12 0 0
137Brendan Wright:1 Deric Cheng 2.27 0.10 0 0
138Yacob Y.:0 haoyu 2.31 0.06 0 0
139Valya Barboy:1 Shaheed Chagani 2.46 0.18 0 0
140Yan Wu:1 haoyu 2.61 0.04 0 0
141Anon5:1 Green "The Bean" Choi 2.68 0.07 0 0
142Ben Chen:0 Elphaba 2.72 0.07 0 0
143Mr. Blobby:1 dusty 3.25 0.12 0 0
144Ben Chen:1 spl 3.27 0.20 0 0
145Mr. Blobby:0 Green "The Bean" Choi 3.29 0.14 0 0
146Charliezsc:1 haoyu 3.39 0.07 0 0
147Andrew Grasso:0 Aaron Doll 5.26 0.18 0 0
148Fanny:0 Aristotle 5.93 0.10 0 0
149Walter Little:1 haoyu 7.04 0.03 0 0
150Aaron H:0 Aristotle 7.53 0.11 0 0
151Aaron H:1 Aristotle 7.81 0.11 0 0
152Walter Little:0 haoyu 8.63 0.04 0 0
153ebp:1 haoyu 8.71 0.04 0 0
154DinnerPartyPlannerBM:0 Aristotle 9.36 0.11 0 0
155dfshasdsf12:1 Nihar the Great 9.85 0.11 0 0
156Glenn Fisher:1 jabreezy 12.74 0.09 0 0
157Mike Hunt:0 Aristotle 14.12 0.27 0 0
158Jessie Chen:0 Joel Faron 15.00 0.13 1 1
159Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
160Charliezsc:0 jgs 15.00 14.98 1 1
161Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
162Jessie Chen:1 Joel Faron 15.00 0.12 1 1
163DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1640108:0 jgs 15.00 14.98 1 1
165T. Capote:0 haoyu 15.00 0.00 2 2
166T. Capote:1 haoyu 15.00 0.00 2 2
167SuperFan:0 jgs 15.00 14.98 4 4
168SuperFan:1 jgs 15.00 14.98 4 4
169Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
170Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
171David H.:1 DeeEmEm 15.00 0.33 1 0
172Dusty:1 Shaheed Chagani 15.00 0.22 1 0
173EC:1 haoyu 15.00 0.03 1 0
174Andys:1 Aristotle 15.00 0.13 1 0
175Anon5:0 haoyu 15.00 0.05 1 0
176Dusty:0 CookieMonster 15.00 1.39 1 0
177David H.:0 AFC 15.00 0.28 1 0
178Andrew Grasso:1 Shaheed Chagani 15.00 0.15 1 0
179CookieMonster:1 CookieMonster 15.00 1.10 1 0
180Absurdity:0 Aristotle 15.00 0.23 1 0
181snowflakes:1 haoyu 15.00 0.03 1 0
182snowflakes:0 haoyu 15.00 0.03 2 0
183AFC:1 Aristotle 15.00 0.16 2 0
184spl:1 haoyu 15.00 0.06 2 0
185EC:0 haoyu 15.00 0.03 2 0
186NA:1 Elphaba 15.00 0.04 3 0
187spl:0 Elphaba 15.00 0.09 3 0
188AFC:0 CookieMonster 15.00 0.34 3 0
189NA:0 haoyu 15.00 0.03 5 0
190jabreezy:0 Mercury 15.00 0.09 7 0
191ebp:0 haoyu 15.00 0.04 8 0
192Yacob Y.:1 Aristotle 15.00 15.00 8 1
193burrito:1 haoyu 15.00 0.10 14 0
194Bar Shabtai:1 haoyu 15.00 0.12 34 0
195Supahaka:0 Andrew Werner 15.00 15.00 37 35
196Supahaka:1 Joel Faron 15.00 15.00 37 35
197Elphaba:0 Aristotle 15.00 0.24 49 0
198jgs:1 haoyu 15.00 0.18 66 0
199nupog:0 Aristotle 15.00 0.13 1811 0
200jabreezy:1 Mercury 15.00 0.10 1 0
201CookieMonster:0 CookieMonster 15.00 0.82 1 0
202BH:0 haoyu 15.00 0.07 200 0
203nupog:1 Aristotle 15.00 0.12 1805 0
204Deric Cheng:0 jgs 15.00 14.99 26 1
20513a:0 Aaron Doll 15.00 15.00 143 21
20613a:1 Aaron Doll 15.00 15.00 145 29
207Shaheed Chagani:1 Aristotle 15.00 0.11 346 0
208BH:1 haoyu 15.01 0.05 61 0
209Deric Cheng:1 jgs 15.01 14.98 32 1
210jgs:0 Aristotle 15.01 0.12 70 0
211Shaheed Chagani:0 Aristotle 15.01 0.17 331 0
212Absurdity:1 Aristotle 15.01 0.18 1 0
213Nihar the Great:1 Aristotle 15.01 0.25 480 0
214Elphaba:1 Aristotle 15.01 0.22 47 0
215Andys:0 Aristotle 15.01 0.12 1 0
216Nihar the Great:0 Aristotle 15.01 0.23 475 0
217Andrew Werner:1 haoyu 15.01 0.11 1 0
218Aaron Doll:1 Aristotle 15.02 1.27 154 0
219CAPS LOCK:0 Aristotle 15.02 0.20 1109 0
220John Whelchel:1 haoyu 15.02 0.11 2 0
221Andrew Werner:0 Aaron Doll 15.03 0.33 1 0
222Mike Hunt:1 Aristotle 15.03 0.29 1 0
223John Whelchel:0 haoyu 15.03 0.06 1 0
224Bar Shabtai:0 Aaron Doll 15.03 15.01 511 1
225CAPS LOCK:1 Aristotle 15.04 0.25 1580 0
226Aristotle:0 Aristotle 15.04 15.00 120 1
227Aaron Doll:0 Aristotle 15.04 0.56 150 0
228Aristotle:1 Aristotle 15.08 9.69 120 0


SatSolvers Ranklist Generators Ranklist