SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Aaron Doll

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 Aaron Doll 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 Aaron Doll 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: Aaron Doll
Rank: 1 / 118
Average Score: 2.32
Median Score: 0.16
Description: This is an efficient implementation of Walksat, with a p valueof .25. This probabilistically sets the starting values basedon the number of times a variable's sign is true.
Generator Best solver Time taken Best time Unsat Best unsat
1K.L.:1 KingBach 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Bebe Shi:0 KingBach 0.00 0.00 0 0
4Bebe Shi:1 KingBach 0.00 0.00 0 0
5bigwig:0 Andrew Werner 0.00 0.00 0 0
6Ravi Tandon:1 KingBach 0.00 0.00 0 0
7Ravi Tandon:0 KingBach 0.01 0.00 0 0
8Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
9K.L.:0 haoyu 0.01 0.00 0 0
10Joshua Zimmer:0 haoyu 0.01 0.00 0 0
11Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
12Tree Prophet:0 haoyu 0.01 0.00 0 0
13Miranda:1 cat 0.01 0.00 0 0
14Joshua Zimmer:1 haoyu 0.01 0.00 0 0
15R. A. B.:1 cat 0.01 0.00 0 0
16Jonathan Kwok:1 KingBach 0.01 0.00 0 0
17Miranda:0 cat 0.01 0.00 0 0
18David Paulk:0 cat 0.01 0.00 0 0
19The Kraken:1 haoyu 0.01 0.00 0 0
20bchouGenerator:0 haoyu 0.01 0.00 0 0
21David Paulk:1 Bar Shabtai 0.01 0.00 0 0
22Blam:1 Elphaba 0.01 0.00 0 0
23Gewang:0 Jonathan Kwok 0.01 0.00 0 0
24haoyu:1 Anon5 0.01 0.01 0 0
25Gewang:1 Jonathan Kwok 0.01 0.00 0 0
26Happy:1 KingBach 0.02 0.00 0 0
27haoyu:0 KingBach 0.02 0.01 0 0
28The Kraken:0 haoyu 0.02 0.00 0 0
29BMJ:1 burrito 0.03 0.00 0 0
30Solving For Clauses:0 Glenn Fisher 0.03 0.00 0 0
31Solving For Clauses:1 haoyu 0.03 0.00 0 0
32Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
33R. A. B.:0 Nihar the Great 0.03 0.00 0 0
34Quite Satisfied:0 haoyu 0.03 0.00 0 0
35Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
36Mickey Mouse:1 haoyu 0.03 0.01 0 0
37Happy:0 haoyu 0.03 0.00 0 0
38bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
39BMJ:0 Elphaba 0.04 0.00 0 0
40Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
41weezy:1 Bar Shabtai 0.04 0.01 0 0
42weezy:0 Bar Shabtai 0.05 0.01 0 0
43cmF5a3ly:1 Nihar the Great 0.06 0.00 0 0
44Blam:0 Elphaba 0.06 0.00 0 0
45vluu:0 Nihar the Great 0.06 0.01 0 0
46Jameh:0 haoyu 0.06 0.01 0 0
47cmF5a3ly:0 Nihar the Great 0.06 0.00 0 0
48Daffy Duck:1 haoyu 0.06 0.00 0 0
49George Okeowo:1 Andrew Grasso 0.06 0.01 0 0
50Boomshanka:1 Bar Shabtai 0.06 0.01 0 0
51cat:1 haoyu 0.06 0.03 0 0
52Boomshanka:0 haoyu 0.06 0.01 0 0
53Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
54Tiny Wings:0 haoyu 0.07 0.02 0 0
55Tree Prophet:1 haoyu 0.07 0.00 0 0
56vluu:1 Nihar the Great 0.07 0.02 0 0
57cat:0 haoyu 0.07 0.03 0 0
58George Okeowo:0 Andrew Grasso 0.07 0.01 0 0
59Ytterbium:1 Nihar the Great 0.07 0.02 0 0
60Tiny Wings:1 haoyu 0.07 0.01 0 0
61Jordan Ash:0 EC 0.07 0.03 0 0
62Anon_K_P:0 haoyu 0.07 0.02 0 0
63Keji Xu:0 Nihar the Great 0.07 0.03 0 0
64The Whitman Whale:0 bigwig 0.08 0.04 0 0
65Nikhilesh Sigatapu:1 haoyu 0.08 0.04 0 0
66Jameh:1 haoyu 0.08 0.01 0 0
67Keji Xu:1 Nihar the Great 0.08 0.04 0 0
68Lisa Kim:1 Bar Shabtai 0.08 0.06 0 0
690108:1 haoyu 0.08 0.01 0 0
70Scheduling Generator 203:0 jgs 0.09 0.01 0 0
71Alex Fish:1 haoyu 0.09 0.02 0 0
72totallyOnFallBreak:0 Nikhilesh Sigatapu 0.09 0.01 0 0
73Tao:1 Aristotle 0.09 0.07 0 0
74AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.10 0.01 0 0
75Samuel Jerome:1 haoyu 0.10 0.03 0 0
76Lisa Kim:0 Aristotle 0.10 0.07 0 0
77totallyOnFallBreak:1 Nikhilesh Sigatapu 0.10 0.01 0 0
78Glenn Fisher:0 Elphaba 0.10 0.02 0 0
79Scheduling Generator 203:1 Jameh 0.10 0.02 0 0
80Batman:1 haoyu 0.10 0.04 0 0
81kt4124:1 haoyu 0.10 0.04 0 0
82Anon_K_P:1 Aristotle 0.10 0.03 0 0
83Batman:0 haoyu 0.11 0.04 0 0
84kt4124:0 haoyu 0.11 0.03 0 0
85bfang:1 haoyu 0.11 0.04 0 0
86Khoa:0 haoyu 0.11 0.09 0 0
87DeeEmEm:1 haoyu 0.11 0.02 0 0
88Janie Gu:1 Jonathan Kwok 0.11 0.07 0 0
89Mercury:1 haoyu 0.12 0.05 0 0
90Sprt:1 haoyu 0.12 0.05 0 0
91David Lackey:0 Anon5 0.12 0.03 0 0
92Matt Haake:1 haoyu 0.12 0.05 0 0
93Mercury:0 haoyu 0.13 0.05 0 0
94bfang:0 haoyu 0.13 0.04 0 0
95Alex Fish:0 haoyu 0.13 0.01 0 0
96The Whitman Whale:1 Andrew Grasso 0.13 0.03 0 0
97Nikhilesh Sigatapu:0 haoyu 0.13 0.03 0 0
98KingBach:1 haoyu 0.13 0.04 0 0
99Khoa:1 Aristotle 0.14 0.09 0 0
100AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.14 0.00 0 0
101Tom T:1 Andrew Werner 0.14 0.02 0 0
102Yacob Y.:0 haoyu 0.14 0.06 0 0
103Charliezsc:1 haoyu 0.14 0.07 0 0
104dfshasdsf12:0 haoyu 0.14 0.09 0 0
105Sprt:0 Aristotle 0.14 0.11 0 0
106Tom T:0 EC 0.14 0.02 0 0
107Janie Gu:0 Glenn Fisher 0.15 0.07 0 0
108Samuel Jerome:0 haoyu 0.15 0.03 0 0
109Tao:0 Bar Shabtai 0.15 0.02 0 0
110Matt Haake:0 haoyu 0.15 0.05 0 0
111dfshasdsf12:1 Nihar the Great 0.15 0.11 0 0
112Mr. Blobby:0 Green "The Bean" Choi 0.16 0.14 0 0
113David Lackey:1 Bar Shabtai 0.16 0.03 0 0
114soccer:1 haoyu 0.16 0.04 0 0
115soccer:0 haoyu 0.17 0.04 0 0
116Lil Thug:0 Andrew Grasso 0.17 0.03 0 0
117Sunny:0 Green "The Bean" Choi 0.17 0.02 0 0
118DinnerPartyPlannerBM:1 Nihar the Great 0.17 0.06 0 0
119Sally Smith:0 haoyu 0.17 0.04 0 0
120Lil Thug:1 Andrew Grasso 0.17 0.03 0 0
121Sabar Dasgupta:1 Aaron Doll 0.17 0.17 0 0
122Aaron H:1 Aristotle 0.18 0.11 0 0
123Aaron H:0 Aristotle 0.18 0.11 0 0
124Andrew Grasso:0 Aaron Doll 0.18 0.18 0 0
125burrito:0 haoyu 0.19 0.09 0 0
126Anon5:1 Green "The Bean" Choi 0.19 0.07 0 0
127Andys:0 Aristotle 0.20 0.12 0 0
128Yan Wu:0 haoyu 0.20 0.05 0 0
129Linda:0 Andrew Grasso 0.20 0.01 0 0
130Sally Smith:1 haoyu 0.20 0.04 0 0
131Sunny:1 jabreezy 0.20 0.01 0 0
132DinnerPartyPlannerBM:0 Aristotle 0.21 0.11 0 0
133Andrew Grasso:1 Shaheed Chagani 0.21 0.15 0 0
134Andrew Werner:1 haoyu 0.22 0.11 0 0
135Dr Roberto:0 Andrew Grasso 0.22 0.03 0 0
136Dr Roberto:1 Andrew Grasso 0.23 0.02 0 0
137Yan Wu:1 haoyu 0.26 0.04 0 0
138John Whelchel:0 haoyu 0.27 0.06 0 0
139burrito:1 haoyu 0.27 0.10 0 0
140Valya Barboy:0 Aristotle 0.28 0.06 0 0
141Ben Chen:1 spl 0.29 0.20 0 0
142Bar Shabtai:1 haoyu 0.30 0.12 0 0
143Linda:1 Andrew Grasso 0.32 0.02 0 0
144Dusty:1 Shaheed Chagani 0.32 0.22 0 0
145BH:1 haoyu 0.32 0.05 0 0
146ebp:1 haoyu 0.33 0.04 0 0
147Andrew Werner:0 Aaron Doll 0.33 0.33 0 0
148BH:0 haoyu 0.34 0.07 0 0
149jgs:0 Aristotle 0.35 0.12 0 0
150nupog:1 Aristotle 0.35 0.12 0 0
151nupog:0 Aristotle 0.37 0.13 0 0
152Mike Hunt:0 Aristotle 0.37 0.27 0 0
153CAPS LOCK:0 Aristotle 0.38 0.20 0 0
154Absurdity:1 Aristotle 0.39 0.18 0 0
155jgs:1 haoyu 0.40 0.18 0 0
156KingBach:0 haoyu 0.40 0.06 0 0
157ebp:0 haoyu 0.41 0.04 0 0
158Ben Chen:0 Elphaba 0.43 0.07 0 0
159Bob Dondero:1 Mickey Mouse 0.45 0.03 0 0
160Elphaba:1 Aristotle 0.47 0.22 0 0
161EC:1 haoyu 0.47 0.03 0 0
162snowflakes:0 haoyu 0.49 0.03 0 0
163Sabar Dasgupta:0 spl 0.50 0.23 0 0
164Bob Dondero:0 Andrew Grasso 0.50 0.02 0 0
165Mike Hunt:1 Aristotle 0.51 0.29 0 0
166Andys:1 Aristotle 0.52 0.13 0 0
167Valya Barboy:1 Shaheed Chagani 0.52 0.18 0 0
168Walter Little:0 haoyu 0.53 0.04 0 0
169David H.:0 AFC 0.55 0.28 0 0
170Absurdity:0 Aristotle 0.58 0.23 0 0
171jabreezy:0 Mercury 0.60 0.09 0 0
172Elphaba:0 Aristotle 0.62 0.24 0 0
173CAPS LOCK:1 Aristotle 0.63 0.25 0 0
174snowflakes:1 haoyu 0.65 0.03 0 0
175Mike Honcho:0 Miranda 0.69 0.01 0 0
176jabreezy:1 Mercury 0.73 0.10 0 0
177Nihar the Great:1 Aristotle 0.78 0.25 0 0
178Nihar the Great:0 Aristotle 0.88 0.23 0 0
179John Whelchel:1 haoyu 0.92 0.11 0 0
180Mike Honcho:1 Jessie Chen 1.05 0.01 0 0
181Walter Little:1 haoyu 1.11 0.03 0 0
182AFC:1 Aristotle 1.20 0.16 0 0
183NA:0 haoyu 1.25 0.03 0 0
184Glenn Fisher:1 jabreezy 1.49 0.09 0 0
185Dusty:0 CookieMonster 1.52 1.39 0 0
186Anon5:0 haoyu 1.54 0.05 0 0
187Aaron Doll:0 Aristotle 1.55 0.56 0 0
188NA:1 Elphaba 1.58 0.04 0 0
189David H.:1 DeeEmEm 2.12 0.33 0 0
190EC:0 haoyu 2.65 0.03 0 0
191Fanny:1 Aristotle 3.21 0.12 0 0
192Shaheed Chagani:1 Aristotle 3.80 0.11 0 0
193AFC:0 CookieMonster 4.04 0.34 0 0
194Aaron Doll:1 Aristotle 4.62 1.27 0 0
195Brendan Wright:1 Deric Cheng 5.00 0.10 0 0
196Shaheed Chagani:0 Aristotle 5.38 0.17 0 0
197Brendan Wright:0 haoyu 5.69 0.10 0 0
198Fanny:0 Aristotle 5.95 0.10 0 0
199Mr. Blobby:1 dusty 6.72 0.12 0 0
200Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
201Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
2020108:0 jgs 15.00 14.98 1 1
203Charliezsc:0 jgs 15.00 14.98 2 1
204Jessie Chen:1 Joel Faron 15.00 0.12 2 1
205Deric Cheng:1 jgs 15.00 14.98 2 1
206T. Capote:0 haoyu 15.00 0.00 2 2
207CookieMonster:0 CookieMonster 15.00 0.82 2 0
208DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
209CookieMonster:1 CookieMonster 15.00 1.10 2 0
210T. Capote:1 haoyu 15.00 0.00 2 2
211Jessie Chen:0 Joel Faron 15.00 0.13 3 1
212SuperFan:1 jgs 15.00 14.98 5 4
213spl:0 Elphaba 15.00 0.09 7 0
214spl:1 haoyu 15.00 0.06 9 0
215SuperFan:0 jgs 15.00 14.98 10 4
216Yacob Y.:1 Aristotle 15.00 15.00 10 1
21713a:1 Aaron Doll 15.00 15.00 29 29
218Supahaka:1 Joel Faron 15.00 15.00 48 35
219Supahaka:0 Andrew Werner 15.00 15.00 50 35
220Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
221Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
222Deric Cheng:0 jgs 15.00 14.99 2 1
22313a:0 Aaron Doll 15.00 15.00 21 21
224Aristotle:1 Aristotle 15.00 9.69 6 0
225Bar Shabtai:0 Aaron Doll 15.01 15.01 1 1
226Aristotle:0 Aristotle 15.01 15.00 3 1
227Matt Goldsmith:1 Happy 15.01 0.03 160477 0
228Matt Goldsmith:0 Nihar the Great 15.02 0.03 162237 0


SatSolvers Ranklist Generators Ranklist