SatSolvers Ranklist Generators Ranklist

Stats for satsolver: weezy

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 weezy 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 weezy 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: weezy
Rank: 75 / 118
Average Score: 11.50
Median Score: 15.00
Description: This SatSolver implements a version of WalkSAT similar to that described in the Russell and Norvig text.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2Miranda:1 cat 0.01 0.00 0 0
3bigwig:1 KingBach 0.01 0.00 0 0
4Bebe Shi:1 KingBach 0.01 0.00 0 0
5Miranda:0 cat 0.01 0.00 0 0
6Ravi Tandon:0 KingBach 0.01 0.00 0 0
7Ravi Tandon:1 KingBach 0.01 0.00 0 0
8K.L.:1 KingBach 0.01 0.00 0 0
9Bebe Shi:0 KingBach 0.01 0.00 0 0
10Joshua Zimmer:1 haoyu 0.01 0.00 0 0
11R. A. B.:1 cat 0.01 0.00 0 0
12Mike Honcho:0 Miranda 0.02 0.01 0 0
13BMJ:1 burrito 0.02 0.00 0 0
14Solving For Clauses:1 haoyu 0.03 0.00 0 0
15Solving For Clauses:0 Glenn Fisher 0.03 0.00 0 0
16Happy:1 KingBach 0.03 0.00 0 0
17Jonathan Kwok:0 Elphaba 0.03 0.00 0 0
18Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
19Jonathan Kwok:1 KingBach 0.04 0.00 0 0
20Joshua Zimmer:0 haoyu 0.05 0.00 0 0
21K.L.:0 haoyu 0.05 0.00 0 0
22cmF5a3ly:0 Nihar the Great 0.06 0.00 0 0
23Blam:1 Elphaba 0.06 0.00 0 0
24cmF5a3ly:1 Nihar the Great 0.07 0.00 0 0
25David Paulk:1 Bar Shabtai 0.07 0.00 0 0
26BMJ:0 Elphaba 0.07 0.00 0 0
27Blam:0 Elphaba 0.09 0.00 0 0
28Tree Prophet:0 haoyu 0.09 0.00 0 0
29David Paulk:0 cat 0.09 0.00 0 0
30bchouGenerator:0 haoyu 0.11 0.00 0 0
31Daffy Duck:0 Andrew Werner 0.11 0.00 0 0
32Happy:0 haoyu 0.14 0.00 0 0
33Gewang:0 Jonathan Kwok 0.20 0.00 0 0
34R. A. B.:0 Nihar the Great 0.20 0.00 0 0
35Daffy Duck:1 haoyu 0.21 0.00 0 0
36haoyu:1 Anon5 0.25 0.01 0 0
37haoyu:0 KingBach 0.31 0.01 0 0
38The Kraken:1 haoyu 0.31 0.00 0 0
39The Kraken:0 haoyu 0.36 0.00 0 0
40Gewang:1 Jonathan Kwok 0.39 0.00 0 0
41Tree Prophet:1 haoyu 0.43 0.00 0 0
42bchouGenerator:1 Jonathan Kwok 0.45 0.01 0 0
43Jordan Ash:1 Bar Shabtai 0.51 0.01 0 0
44Mickey Mouse:1 haoyu 0.82 0.01 0 0
45Jameh:0 haoyu 1.02 0.01 0 0
46Mickey Mouse:0 Bar Shabtai 1.54 0.01 0 0
47weezy:0 Bar Shabtai 1.66 0.01 0 0
48weezy:1 Bar Shabtai 1.90 0.01 0 0
49Sunny:1 jabreezy 1.94 0.01 0 0
50Scheduling Generator 203:0 jgs 3.28 0.01 0 0
51Quite Satisfied:0 haoyu 3.73 0.00 0 0
52Qinlan Shen:0 Bar Shabtai 3.74 0.01 0 0
53Jameh:1 haoyu 4.45 0.01 0 0
54vluu:1 Nihar the Great 4.47 0.02 0 0
55Ytterbium:0 Andrew Grasso 6.14 0.02 0 0
56vluu:0 Nihar the Great 10.52 0.01 0 0
57totallyOnFallBreak:1 Nikhilesh Sigatapu 10.58 0.01 0 0
58The Whitman Whale:1 Andrew Grasso 12.70 0.03 0 0
59Boomshanka:0 haoyu 12.78 0.01 0 0
60Tom T:1 Andrew Werner 15.00 0.02 1 0
61totallyOnFallBreak:0 Nikhilesh Sigatapu 15.00 0.01 1 0
62Scheduling Generator 203:1 Jameh 15.00 0.02 2 0
63Tiny Wings:1 haoyu 15.00 0.01 2 0
64Tom T:0 EC 15.00 0.02 2 0
65T. Capote:0 haoyu 15.00 0.00 2 2
66T. Capote:1 haoyu 15.00 0.00 2 2
67Boomshanka:1 Bar Shabtai 15.00 0.01 2 0
68Keji Xu:1 Nihar the Great 15.00 0.04 3 0
69Quite Satisfied:1 Joel Faron 15.00 2.11 4 1
70Tao:1 Aristotle 15.00 0.07 5 0
71Sunny:0 Green "The Bean" Choi 15.00 0.02 5 0
72DeeEmEm:1 haoyu 15.00 0.02 5 0
73cat:0 haoyu 15.00 0.03 5 0
74Tiny Wings:0 haoyu 15.00 0.02 5 0
750108:1 haoyu 15.00 0.01 5 0
76cat:1 haoyu 15.00 0.03 6 0
77Jessie Chen:1 Joel Faron 15.00 0.12 6 1
78Ytterbium:1 Nihar the Great 15.00 0.02 6 0
79DeeEmEm:0 CAPS LOCK 15.00 13.00 6 1
80The Whitman Whale:0 bigwig 15.00 0.04 7 0
81Jordan Ash:0 EC 15.00 0.03 7 0
82AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 8 0
83George Okeowo:1 Andrew Grasso 15.00 0.01 8 0
84Jessie Chen:0 Joel Faron 15.00 0.13 8 1
85Qinlan Shen:1 R. A. B. 15.00 9.00 8 1
86Keji Xu:0 Nihar the Great 15.00 0.03 8 0
87Tao:0 Bar Shabtai 15.00 0.02 8 0
88Dr Roberto:1 Andrew Grasso 15.00 0.02 9 0
89George Okeowo:0 Andrew Grasso 15.00 0.01 9 0
90David H.:1 DeeEmEm 15.00 0.33 10 0
91AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 10 0
92Anon5:1 Green "The Bean" Choi 15.00 0.07 11 0
93Alex Fish:0 haoyu 15.00 0.01 11 0
94Alex Fish:1 haoyu 15.00 0.02 11 0
95Anon_K_P:1 Aristotle 15.00 0.03 12 0
96Janie Gu:0 Glenn Fisher 15.00 0.07 13 0
97Nikhilesh Sigatapu:1 haoyu 15.00 0.04 13 0
98Nikhilesh Sigatapu:0 haoyu 15.00 0.03 13 0
99David H.:0 AFC 15.00 0.28 14 0
100Lisa Kim:1 Bar Shabtai 15.00 0.06 15 0
1010108:0 jgs 15.00 14.98 15 1
102EC:0 haoyu 15.00 0.03 16 0
103Anon_K_P:0 haoyu 15.00 0.02 17 0
104Valya Barboy:1 Shaheed Chagani 15.00 0.18 17 0
105SuperFan:1 jgs 15.00 14.98 17 4
106Janie Gu:1 Jonathan Kwok 15.00 0.07 17 0
107Valya Barboy:0 Aristotle 15.00 0.06 18 0
108kt4124:0 haoyu 15.00 0.03 19 0
109Lisa Kim:0 Aristotle 15.00 0.07 20 0
110Mercury:0 haoyu 15.00 0.05 21 0
111CookieMonster:0 CookieMonster 15.00 0.82 21 0
112Samuel Jerome:0 haoyu 15.00 0.03 21 0
113Anon5:0 haoyu 15.00 0.05 23 0
114Mercury:1 haoyu 15.00 0.05 24 0
115AFC:1 Aristotle 15.00 0.16 24 0
116CookieMonster:1 CookieMonster 15.00 1.10 24 0
117AFC:0 CookieMonster 15.00 0.34 24 0
118EC:1 haoyu 15.00 0.03 30 0
119Samuel Jerome:1 haoyu 15.00 0.03 33 0
120soccer:0 haoyu 15.00 0.04 34 0
121SuperFan:0 jgs 15.00 14.98 36 4
122kt4124:1 haoyu 15.00 0.04 39 0
123Fanny:1 Aristotle 15.00 0.12 40 0
124Andrew Grasso:1 Shaheed Chagani 15.00 0.15 42 0
125soccer:1 haoyu 15.00 0.04 43 0
126bfang:1 haoyu 15.00 0.04 44 0
127Andrew Grasso:0 Aaron Doll 15.00 0.18 44 0
128Dusty:1 Shaheed Chagani 15.00 0.22 45 0
129Mr. Blobby:1 dusty 15.00 0.12 47 0
130David Lackey:1 Bar Shabtai 15.00 0.03 48 0
131Dusty:0 CookieMonster 15.00 1.39 49 0
132Supahaka:1 Joel Faron 15.00 15.00 49 35
133jabreezy:0 Mercury 15.00 0.09 50 0
134Batman:0 haoyu 15.00 0.04 50 0
135Fanny:0 Aristotle 15.00 0.10 51 0
136Supahaka:0 Andrew Werner 15.00 15.00 51 35
137Yan Wu:1 haoyu 15.00 0.04 51 0
138bfang:0 haoyu 15.00 0.04 53 0
139Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 54 0
140jabreezy:1 Mercury 15.00 0.10 55 0
141Brendan Wright:1 Deric Cheng 15.00 0.10 56 0
142Ben Chen:0 Elphaba 15.00 0.07 57 0
143Glenn Fisher:0 Elphaba 15.00 0.02 58 0
144Glenn Fisher:1 jabreezy 15.00 0.09 62 0
145Yacob Y.:0 haoyu 15.00 0.06 66 0
146Batman:1 haoyu 15.00 0.04 68 0
147Linda:0 Andrew Grasso 15.00 0.01 68 0
148Dr Roberto:0 Andrew Grasso 15.00 0.03 68 0
149Sally Smith:0 haoyu 15.00 0.04 75 0
150Walter Little:0 haoyu 15.00 0.04 78 0
151Mark S. Fillmore:1 Supahaka 15.00 0.04 80 79
152David Lackey:0 Anon5 15.00 0.03 84 0
153Yan Wu:0 haoyu 15.00 0.05 84 0
154Walter Little:1 haoyu 15.00 0.03 85 0
155Ben Chen:1 spl 15.00 0.20 87 0
156Matt Haake:0 haoyu 15.00 0.05 100 0
157NA:1 Elphaba 15.00 0.04 102 0
158Matt Haake:1 haoyu 15.00 0.05 102 0
159Charliezsc:0 jgs 15.00 14.98 111 1
160Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
161NA:0 haoyu 15.00 0.03 116 0
162Yacob Y.:1 Aristotle 15.00 15.00 116 1
163KingBach:1 haoyu 15.00 0.04 128 0
164KingBach:0 haoyu 15.00 0.06 133 0
165snowflakes:1 haoyu 15.00 0.03 134 0
166snowflakes:0 haoyu 15.00 0.03 136 0
167spl:1 haoyu 15.00 0.06 136 0
168spl:0 Elphaba 15.00 0.09 182 0
169Absurdity:0 Aristotle 15.00 0.23 187 0
170Khoa:0 haoyu 15.00 0.09 194 0
171Khoa:1 Aristotle 15.00 0.09 198 0
172Absurdity:1 Aristotle 15.00 0.18 206 0
173Charliezsc:1 haoyu 15.00 0.07 282 0
174Sprt:1 haoyu 15.00 0.05 300 0
175ebp:1 haoyu 15.00 0.04 348 0
176ebp:0 haoyu 15.00 0.04 367 0
177Sabar Dasgupta:0 spl 15.00 0.23 423 0
178Linda:1 Andrew Grasso 15.00 0.02 508 0
179Sabar Dasgupta:1 Aaron Doll 15.00 0.17 526 0
180burrito:0 haoyu 15.00 0.09 1308 0
181Andys:1 Aristotle 15.00 0.13 2254 0
182DinnerPartyPlannerBM:1 Nihar the Great 15.00 0.06 2674 0
183Andys:0 Aristotle 15.00 0.12 2870 0
184John Whelchel:1 haoyu 15.00 0.11 3195 0
185dfshasdsf12:0 haoyu 15.00 0.09 3661 0
186nupog:1 Aristotle 15.00 0.12 4180 0
187nupog:0 Aristotle 15.00 0.13 4209 0
188Mike Hunt:1 Aristotle 15.00 0.29 4307 0
189Mike Hunt:0 Aristotle 15.00 0.27 4827 0
190Aaron H:0 Aristotle 15.00 0.11 4834 0
191Andrew Werner:1 haoyu 15.00 0.11 5943 0
192Aaron H:1 Aristotle 15.00 0.11 6369 0
193Sprt:0 Aristotle 15.00 0.11 6469 0
194BH:0 haoyu 15.00 0.07 6523 0
195BH:1 haoyu 15.00 0.05 6650 0
196Lil Thug:0 Andrew Grasso 15.00 0.03 7472 0
197Lil Thug:1 Andrew Grasso 15.00 0.03 7712 0
198Shaheed Chagani:0 Aristotle 15.00 0.17 20739 0
199Deric Cheng:0 jgs 15.00 14.99 24522 1
200jgs:0 Aristotle 15.00 0.12 33057 0
201Bar Shabtai:1 haoyu 15.00 0.12 33672 0
202Bob Dondero:1 Mickey Mouse 15.00 0.03 7 0
203Sally Smith:1 haoyu 15.00 0.04 43 0
204Brendan Wright:0 haoyu 15.00 0.10 112 0
205Andrew Werner:0 Aaron Doll 15.00 0.33 6282 0
206dfshasdsf12:1 Nihar the Great 15.00 0.11 11837 0
207burrito:1 haoyu 15.00 0.10 14836 0
208Shaheed Chagani:1 Aristotle 15.00 0.11 19882 0
209DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 21897 0
210jgs:1 haoyu 15.00 0.18 36916 0
211John Whelchel:0 haoyu 15.00 0.06 4578 0
212Deric Cheng:1 jgs 15.00 14.98 27030 1
213CAPS LOCK:0 Aristotle 15.00 0.20 30569 0
214Bob Dondero:0 Andrew Grasso 15.00 0.02 7 0
215Nihar the Great:1 Aristotle 15.00 0.25 25501 0
21613a:0 Aaron Doll 15.01 15.00 112901 21
217Nihar the Great:0 Aristotle 15.01 0.23 25806 0
218Aaron Doll:1 Aristotle 15.01 1.27 353329 0
219Elphaba:1 Aristotle 15.01 0.22 88411 0
220CAPS LOCK:1 Aristotle 15.01 0.25 52132 0
221Aristotle:0 Aristotle 15.01 15.00 747848 1
222Matt Goldsmith:1 Happy 15.01 0.03 515765 0
22313a:1 Aaron Doll 15.02 15.00 106010 29
224Bar Shabtai:0 Aaron Doll 15.02 15.01 344538 1
225Aristotle:1 Aristotle 15.03 9.69 743788 0
226Aaron Doll:0 Aristotle 15.03 0.56 276339 0
227Elphaba:0 Aristotle 15.03 0.24 80771 0
228Matt Goldsmith:0 Nihar the Great 15.04 0.03 505909 0


SatSolvers Ranklist Generators Ranklist