SatSolvers Ranklist Generators Ranklist

Stats for satsolver: bigwig

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 bigwig 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 bigwig 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: bigwig
Rank: 42 / 118
Average Score: 6.69
Median Score: 0.60
Description: Basic walksat. One possible improvement is that it decides whether or not todo walksat or pick a random unsatisfied clause beforechecking to see if it's satisfiable... therefore reducing the amount of data it needs to keep track of while check if satisfiable.
Generator Best solver Time taken Best time Unsat Best unsat
1Bebe Shi:1 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3bigwig:1 KingBach 0.00 0.00 0 0
4Bebe Shi:0 KingBach 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6Ravi Tandon:0 KingBach 0.00 0.00 0 0
7K.L.:1 KingBach 0.00 0.00 0 0
8Miranda:1 cat 0.00 0.00 0 0
9Joshua Zimmer:1 haoyu 0.00 0.00 0 0
10Joshua Zimmer:0 haoyu 0.00 0.00 0 0
11R. A. B.:1 cat 0.00 0.00 0 0
12Jonathan Kwok:1 KingBach 0.01 0.00 0 0
13Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
14K.L.:0 haoyu 0.01 0.00 0 0
15Miranda:0 cat 0.01 0.00 0 0
16Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
17Happy:1 KingBach 0.01 0.00 0 0
18David Paulk:0 cat 0.01 0.00 0 0
19David Paulk:1 Bar Shabtai 0.01 0.00 0 0
20Solving For Clauses:1 haoyu 0.01 0.00 0 0
21BMJ:0 Elphaba 0.01 0.00 0 0
22Tree Prophet:0 haoyu 0.01 0.00 0 0
23BMJ:1 burrito 0.01 0.00 0 0
24Gewang:0 Jonathan Kwok 0.01 0.00 0 0
25Blam:0 Elphaba 0.01 0.00 0 0
26Happy:0 haoyu 0.01 0.00 0 0
27Gewang:1 Jonathan Kwok 0.01 0.00 0 0
28Blam:1 Elphaba 0.02 0.00 0 0
29haoyu:1 Anon5 0.02 0.01 0 0
30cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
31The Kraken:0 haoyu 0.03 0.00 0 0
32The Kraken:1 haoyu 0.03 0.00 0 0
33Scheduling Generator 203:0 jgs 0.03 0.01 0 0
34Tree Prophet:1 haoyu 0.03 0.00 0 0
35Mickey Mouse:1 haoyu 0.03 0.01 0 0
36R. A. B.:0 Nihar the Great 0.03 0.00 0 0
37Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
38bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
390108:1 haoyu 0.04 0.01 0 0
40Jameh:0 haoyu 0.04 0.01 0 0
41cmF5a3ly:1 Nihar the Great 0.04 0.00 0 0
42Jameh:1 haoyu 0.04 0.01 0 0
43Jordan Ash:1 Bar Shabtai 0.04 0.01 0 0
44vluu:1 Nihar the Great 0.04 0.02 0 0
45Daffy Duck:1 haoyu 0.04 0.00 0 0
46haoyu:0 KingBach 0.04 0.01 0 0
47weezy:0 Bar Shabtai 0.04 0.01 0 0
48The Whitman Whale:0 bigwig 0.04 0.04 0 0
49vluu:0 Nihar the Great 0.04 0.01 0 0
50Mike Honcho:0 Miranda 0.04 0.01 0 0
51Qinlan Shen:0 Bar Shabtai 0.05 0.01 0 0
52Mike Honcho:1 Jessie Chen 0.05 0.01 0 0
53Tom T:0 EC 0.05 0.02 0 0
54George Okeowo:1 Andrew Grasso 0.05 0.01 0 0
55Scheduling Generator 203:1 Jameh 0.05 0.02 0 0
56Dr Roberto:0 Andrew Grasso 0.05 0.03 0 0
57Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
58Quite Satisfied:0 haoyu 0.06 0.00 0 0
59Daffy Duck:0 Andrew Werner 0.06 0.00 0 0
60Tiny Wings:1 haoyu 0.06 0.01 0 0
61The Whitman Whale:1 Andrew Grasso 0.06 0.03 0 0
62George Okeowo:0 Andrew Grasso 0.06 0.01 0 0
63Ytterbium:1 Nihar the Great 0.06 0.02 0 0
64Tom T:1 Andrew Werner 0.06 0.02 0 0
65Boomshanka:1 Bar Shabtai 0.06 0.01 0 0
66weezy:1 Bar Shabtai 0.06 0.01 0 0
67bchouGenerator:0 haoyu 0.06 0.00 0 0
68totallyOnFallBreak:1 Nikhilesh Sigatapu 0.07 0.01 0 0
69Bob Dondero:1 Mickey Mouse 0.07 0.03 0 0
70AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.07 0.00 0 0
71totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
72cat:0 haoyu 0.08 0.03 0 0
73cat:1 haoyu 0.08 0.03 0 0
74Boomshanka:0 haoyu 0.09 0.01 0 0
75kt4124:0 haoyu 0.09 0.03 0 0
76Tiny Wings:0 haoyu 0.09 0.02 0 0
77bfang:1 haoyu 0.09 0.04 0 0
78Bob Dondero:0 Andrew Grasso 0.10 0.02 0 0
79kt4124:1 haoyu 0.11 0.04 0 0
80DinnerPartyPlannerBM:1 Nihar the Great 0.11 0.06 0 0
81Sprt:1 haoyu 0.11 0.05 0 0
82Dr Roberto:1 Andrew Grasso 0.12 0.02 0 0
83DeeEmEm:1 haoyu 0.12 0.02 0 0
84Sunny:0 Green "The Bean" Choi 0.14 0.02 0 0
85Keji Xu:1 Nihar the Great 0.15 0.04 0 0
86Lil Thug:1 Andrew Grasso 0.16 0.03 0 0
87Nikhilesh Sigatapu:0 haoyu 0.17 0.03 0 0
88Sprt:0 Aristotle 0.17 0.11 0 0
89Alex Fish:0 haoyu 0.18 0.01 0 0
90Lil Thug:0 Andrew Grasso 0.18 0.03 0 0
91bfang:0 haoyu 0.18 0.04 0 0
92Janie Gu:0 Glenn Fisher 0.18 0.07 0 0
93Lisa Kim:1 Bar Shabtai 0.18 0.06 0 0
94Lisa Kim:0 Aristotle 0.20 0.07 0 0
95dfshasdsf12:1 Nihar the Great 0.20 0.11 0 0
96DinnerPartyPlannerBM:0 Aristotle 0.21 0.11 0 0
97Keji Xu:0 Nihar the Great 0.23 0.03 0 0
98Khoa:1 Aristotle 0.27 0.09 0 0
99Tao:0 Bar Shabtai 0.28 0.02 0 0
100Khoa:0 haoyu 0.30 0.09 0 0
101Janie Gu:1 Jonathan Kwok 0.33 0.07 0 0
102Sally Smith:0 haoyu 0.34 0.04 0 0
103Jordan Ash:0 EC 0.35 0.03 0 0
104Nikhilesh Sigatapu:1 haoyu 0.40 0.04 0 0
105nupog:0 Aristotle 0.42 0.13 0 0
106Batman:1 haoyu 0.43 0.04 0 0
107nupog:1 Aristotle 0.47 0.12 0 0
108Sunny:1 jabreezy 0.47 0.01 0 0
109CAPS LOCK:0 Aristotle 0.52 0.20 0 0
110Samuel Jerome:0 haoyu 0.56 0.03 0 0
111Nihar the Great:0 Aristotle 0.57 0.23 0 0
112Nihar the Great:1 Aristotle 0.57 0.25 0 0
113Batman:0 haoyu 0.58 0.04 0 0
114dfshasdsf12:0 haoyu 0.60 0.09 0 0
115Aaron H:1 Aristotle 0.64 0.11 0 0
116AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.94 0.01 0 0
117Bar Shabtai:1 haoyu 1.05 0.12 0 0
118Tao:1 Aristotle 1.06 0.07 0 0
119Sally Smith:1 haoyu 1.27 0.04 0 0
120Aaron H:0 Aristotle 1.27 0.11 0 0
121CAPS LOCK:1 Aristotle 1.27 0.25 0 0
122Alex Fish:1 haoyu 1.45 0.02 0 0
123Linda:0 Andrew Grasso 2.49 0.01 0 0
124jabreezy:0 Mercury 2.86 0.09 0 0
125jabreezy:1 Mercury 2.93 0.10 0 0
126Brendan Wright:0 haoyu 3.51 0.10 0 0
127Samuel Jerome:1 haoyu 5.26 0.03 0 0
128Anon_K_P:0 haoyu 6.87 0.02 0 0
129KingBach:1 haoyu 7.18 0.04 0 0
130Mercury:1 haoyu 7.74 0.05 0 0
131KingBach:0 haoyu 8.27 0.06 0 0
132T. Capote:1 haoyu 15.00 0.00 2 2
133Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
134Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
135Brendan Wright:1 Deric Cheng 15.00 0.10 2 0
136Qinlan Shen:1 R. A. B. 15.00 9.00 3 1
137T. Capote:0 haoyu 15.00 0.00 3 2
138Jessie Chen:0 Joel Faron 15.00 0.13 4 1
139Quite Satisfied:1 Joel Faron 15.00 2.11 4 1
140CookieMonster:0 CookieMonster 15.00 0.82 4 0
141Jessie Chen:1 Joel Faron 15.00 0.12 5 1
142CookieMonster:1 CookieMonster 15.00 1.10 5 0
143soccer:0 haoyu 15.00 0.04 8 0
1440108:0 jgs 15.00 14.98 8 1
145soccer:1 haoyu 15.00 0.04 10 0
146DeeEmEm:0 CAPS LOCK 15.00 13.00 10 1
147Charliezsc:0 jgs 15.00 14.98 12 1
148Anon_K_P:1 Aristotle 15.00 0.03 14 0
149Valya Barboy:1 Shaheed Chagani 15.00 0.18 15 0
150David H.:0 AFC 15.00 0.28 15 0
151Sabar Dasgupta:1 Aaron Doll 15.00 0.17 15 0
152Valya Barboy:0 Aristotle 15.00 0.06 15 0
153Anon5:1 Green "The Bean" Choi 15.00 0.07 16 0
154Anon5:0 haoyu 15.00 0.05 16 0
155John Whelchel:0 haoyu 15.00 0.06 16 0
156Mercury:0 haoyu 15.00 0.05 17 0
157John Whelchel:1 haoyu 15.00 0.11 19 0
158AFC:0 CookieMonster 15.00 0.34 19 0
159Andrew Werner:0 Aaron Doll 15.00 0.33 20 0
160Charliezsc:1 haoyu 15.00 0.07 25 0
161SuperFan:1 jgs 15.00 14.98 25 4
162EC:1 haoyu 15.00 0.03 27 0
163Andys:0 Aristotle 15.00 0.12 28 0
164Yacob Y.:0 haoyu 15.00 0.06 30 0
165Andrew Werner:1 haoyu 15.00 0.11 30 0
166David H.:1 DeeEmEm 15.00 0.33 31 0
167spl:1 haoyu 15.00 0.06 32 0
168EC:0 haoyu 15.00 0.03 32 0
169Andys:1 Aristotle 15.00 0.13 33 0
170Sabar Dasgupta:0 spl 15.00 0.23 34 0
171jgs:0 Aristotle 15.00 0.12 41 0
172Yacob Y.:1 Aristotle 15.00 15.00 41 1
173Shaheed Chagani:0 Aristotle 15.00 0.17 42 0
174Fanny:1 Aristotle 15.00 0.12 47 0
175Andrew Grasso:0 Aaron Doll 15.00 0.18 48 0
176SuperFan:0 jgs 15.00 14.98 53 4
177ebp:0 haoyu 15.00 0.04 54 0
178spl:0 Elphaba 15.00 0.09 57 0
179Mike Hunt:1 Aristotle 15.00 0.29 58 0
180Supahaka:0 Andrew Werner 15.00 15.00 58 35
181Shaheed Chagani:1 Aristotle 15.00 0.11 59 0
182AFC:1 Aristotle 15.00 0.16 59 0
183Glenn Fisher:0 Elphaba 15.00 0.02 60 0
184Andrew Grasso:1 Shaheed Chagani 15.00 0.15 60 0
185Supahaka:1 Joel Faron 15.00 15.00 60 35
186Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 62 0
187Dusty:0 CookieMonster 15.00 1.39 63 0
188Yan Wu:0 haoyu 15.00 0.05 64 0
189Mike Hunt:0 Aristotle 15.00 0.27 65 0
190Walter Little:1 haoyu 15.00 0.03 67 0
191Mr. Blobby:1 dusty 15.00 0.12 68 0
192Walter Little:0 haoyu 15.00 0.04 69 0
193ebp:1 haoyu 15.00 0.04 72 0
194Glenn Fisher:1 jabreezy 15.00 0.09 77 0
195Absurdity:1 Aristotle 15.00 0.18 78 0
196Dusty:1 Shaheed Chagani 15.00 0.22 79 0
197Fanny:0 Aristotle 15.00 0.10 93 0
198Absurdity:0 Aristotle 15.00 0.23 110 0
199NA:1 Elphaba 15.00 0.04 111 0
200NA:0 haoyu 15.00 0.03 113 0
201Matt Haake:0 haoyu 15.00 0.05 132 0
202Ben Chen:1 spl 15.00 0.20 149 0
203Matt Haake:1 haoyu 15.00 0.05 167 0
204Ben Chen:0 Elphaba 15.00 0.07 178 0
20513a:1 Aaron Doll 15.00 15.00 183 29
206snowflakes:1 haoyu 15.00 0.03 203 0
207Yan Wu:1 haoyu 15.00 0.04 212 0
208snowflakes:0 haoyu 15.00 0.03 345 0
209David Lackey:1 Bar Shabtai 15.00 0.03 609 0
210BH:1 haoyu 15.00 0.05 697 0
211David Lackey:0 Anon5 15.00 0.03 1080 0
212BH:0 haoyu 15.00 0.07 1548 0
213burrito:0 haoyu 15.00 0.09 2656 0
214Deric Cheng:1 jgs 15.00 14.98 34 1
215jgs:1 haoyu 15.00 0.18 35 0
216Deric Cheng:0 jgs 15.00 14.99 36 1
217burrito:1 haoyu 15.00 0.10 3470 0
21813a:0 Aaron Doll 15.00 15.00 196 21
219Linda:1 Andrew Grasso 15.00 0.02 1732 0
220Elphaba:0 Aristotle 15.00 0.24 30 0
221Elphaba:1 Aristotle 15.01 0.22 53 0
222Aaron Doll:0 Aristotle 15.01 0.56 119 0
223Aaron Doll:1 Aristotle 15.01 1.27 102 0
224Matt Goldsmith:1 Happy 15.01 0.03 320331 0
225Aristotle:0 Aristotle 15.02 15.00 66 1
226Bar Shabtai:0 Aaron Doll 15.02 15.01 90 1
227Aristotle:1 Aristotle 15.06 9.69 78 0
228Matt Goldsmith:0 Nihar the Great 15.07 0.03 367756 0


SatSolvers Ranklist Generators Ranklist