SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Andys

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 Andys 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 Andys 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: Andys
Rank: 18 / 118
Average Score: 5.11
Median Score: 0.58
Description: Variant of WalkSAT, with varying probability of flipping
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:1 KingBach 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4bigwig:1 KingBach 0.00 0.00 0 0
5Bebe Shi:0 KingBach 0.00 0.00 0 0
6Ravi Tandon:0 KingBach 0.00 0.00 0 0
7BMJ:1 burrito 0.00 0.00 0 0
8K.L.:1 KingBach 0.00 0.00 0 0
9Miranda:0 cat 0.00 0.00 0 0
10Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
11Miranda:1 cat 0.01 0.00 0 0
12Solving For Clauses:1 haoyu 0.01 0.00 0 0
13Jonathan Kwok:1 KingBach 0.01 0.00 0 0
14haoyu:0 KingBach 0.01 0.01 0 0
15Blam:0 Elphaba 0.01 0.00 0 0
16Joshua Zimmer:0 haoyu 0.01 0.00 0 0
17bchouGenerator:0 haoyu 0.01 0.00 0 0
18BMJ:0 Elphaba 0.01 0.00 0 0
19haoyu:1 Anon5 0.01 0.01 0 0
20Joshua Zimmer:1 haoyu 0.01 0.00 0 0
21R. A. B.:1 cat 0.01 0.00 0 0
22Daffy Duck:1 haoyu 0.01 0.00 0 0
23Blam:1 Elphaba 0.01 0.00 0 0
24Tree Prophet:0 haoyu 0.01 0.00 0 0
25Happy:1 KingBach 0.01 0.00 0 0
26bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
27Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
28K.L.:0 haoyu 0.01 0.00 0 0
29Quite Satisfied:0 haoyu 0.01 0.00 0 0
30Happy:0 haoyu 0.01 0.00 0 0
31Gewang:0 Jonathan Kwok 0.01 0.00 0 0
32The Kraken:0 haoyu 0.02 0.00 0 0
33Gewang:1 Jonathan Kwok 0.02 0.00 0 0
34David Paulk:0 cat 0.02 0.00 0 0
35Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
36Tree Prophet:1 haoyu 0.02 0.00 0 0
37The Kraken:1 haoyu 0.03 0.00 0 0
38David Paulk:1 Bar Shabtai 0.03 0.00 0 0
39Mike Honcho:0 Miranda 0.03 0.01 0 0
40cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
41Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
42Daffy Duck:0 Andrew Werner 0.03 0.00 0 0
43Tom T:0 EC 0.03 0.02 0 0
44Scheduling Generator 203:0 jgs 0.03 0.01 0 0
45Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
46R. A. B.:0 Nihar the Great 0.03 0.00 0 0
47cmF5a3ly:1 Nihar the Great 0.04 0.00 0 0
48Mickey Mouse:1 haoyu 0.04 0.01 0 0
49Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
50weezy:0 Bar Shabtai 0.04 0.01 0 0
51Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
52weezy:1 Bar Shabtai 0.04 0.01 0 0
53Boomshanka:1 Bar Shabtai 0.05 0.01 0 0
54Tom T:1 Andrew Werner 0.05 0.02 0 0
55Jordan Ash:0 EC 0.05 0.03 0 0
56Tiny Wings:1 haoyu 0.05 0.01 0 0
57Jameh:0 haoyu 0.05 0.01 0 0
58Alex Fish:1 haoyu 0.06 0.02 0 0
590108:1 haoyu 0.06 0.01 0 0
60David Lackey:1 Bar Shabtai 0.07 0.03 0 0
61Dr Roberto:0 Andrew Grasso 0.07 0.03 0 0
62Sunny:0 Green "The Bean" Choi 0.07 0.02 0 0
63totallyOnFallBreak:0 Nikhilesh Sigatapu 0.08 0.01 0 0
64Boomshanka:0 haoyu 0.08 0.01 0 0
65vluu:1 Nihar the Great 0.08 0.02 0 0
66vluu:0 Nihar the Great 0.09 0.01 0 0
67David Lackey:0 Anon5 0.09 0.03 0 0
68Tiny Wings:0 haoyu 0.09 0.02 0 0
69AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.09 0.01 0 0
70Ytterbium:0 Andrew Grasso 0.10 0.02 0 0
71Keji Xu:1 Nihar the Great 0.10 0.04 0 0
72Dr Roberto:1 Andrew Grasso 0.10 0.02 0 0
73Keji Xu:0 Nihar the Great 0.11 0.03 0 0
74totallyOnFallBreak:1 Nikhilesh Sigatapu 0.11 0.01 0 0
75The Whitman Whale:0 bigwig 0.11 0.04 0 0
76Jameh:1 haoyu 0.11 0.01 0 0
77Janie Gu:1 Jonathan Kwok 0.12 0.07 0 0
78cat:1 haoyu 0.12 0.03 0 0
79Janie Gu:0 Glenn Fisher 0.12 0.07 0 0
80Sunny:1 jabreezy 0.12 0.01 0 0
81DeeEmEm:1 haoyu 0.13 0.02 0 0
82Anon_K_P:1 Aristotle 0.13 0.03 0 0
83cat:0 haoyu 0.15 0.03 0 0
84Alex Fish:0 haoyu 0.16 0.01 0 0
85Nikhilesh Sigatapu:1 haoyu 0.16 0.04 0 0
86Tao:0 Bar Shabtai 0.17 0.02 0 0
87Nikhilesh Sigatapu:0 haoyu 0.18 0.03 0 0
88Bob Dondero:1 Mickey Mouse 0.18 0.03 0 0
89Linda:0 Andrew Grasso 0.18 0.01 0 0
90The Whitman Whale:1 Andrew Grasso 0.19 0.03 0 0
91George Okeowo:0 Andrew Grasso 0.21 0.01 0 0
92Lisa Kim:1 Bar Shabtai 0.22 0.06 0 0
93Ytterbium:1 Nihar the Great 0.22 0.02 0 0
94Samuel Jerome:0 haoyu 0.23 0.03 0 0
95Samuel Jerome:1 haoyu 0.24 0.03 0 0
96George Okeowo:1 Andrew Grasso 0.27 0.01 0 0
97kt4124:0 haoyu 0.29 0.03 0 0
98Lisa Kim:0 Aristotle 0.32 0.07 0 0
99Glenn Fisher:0 Elphaba 0.33 0.02 0 0
100Anon_K_P:0 haoyu 0.33 0.02 0 0
101Mercury:0 haoyu 0.36 0.05 0 0
102Bob Dondero:0 Andrew Grasso 0.40 0.02 0 0
103Yan Wu:0 haoyu 0.41 0.05 0 0
104Brendan Wright:1 Deric Cheng 0.41 0.10 0 0
105bfang:1 haoyu 0.42 0.04 0 0
106Matt Haake:1 haoyu 0.46 0.05 0 0
107Sally Smith:1 haoyu 0.46 0.04 0 0
108AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.46 0.00 0 0
109bfang:0 haoyu 0.47 0.04 0 0
110Tao:1 Aristotle 0.49 0.07 0 0
111kt4124:1 haoyu 0.50 0.04 0 0
112Sally Smith:0 haoyu 0.51 0.04 0 0
113Mercury:1 haoyu 0.54 0.05 0 0
114Matt Haake:0 haoyu 0.58 0.05 0 0
115Fanny:1 Aristotle 0.63 0.12 0 0
116Linda:1 Andrew Grasso 0.65 0.02 0 0
117Batman:0 haoyu 0.66 0.04 0 0
118KingBach:1 haoyu 0.74 0.04 0 0
119soccer:0 haoyu 0.74 0.04 0 0
120KingBach:0 haoyu 0.75 0.06 0 0
121Yan Wu:1 haoyu 0.75 0.04 0 0
122Batman:1 haoyu 0.77 0.04 0 0
123Khoa:0 haoyu 1.03 0.09 0 0
124Sprt:1 haoyu 1.06 0.05 0 0
125Khoa:1 Aristotle 1.20 0.09 0 0
126EC:1 haoyu 1.34 0.03 0 0
127soccer:1 haoyu 1.39 0.04 0 0
128Yacob Y.:0 haoyu 1.40 0.06 0 0
129Glenn Fisher:1 jabreezy 1.42 0.09 0 0
130Fanny:0 Aristotle 1.66 0.10 0 0
131Ben Chen:0 Elphaba 1.77 0.07 0 0
132burrito:0 haoyu 2.00 0.09 0 0
133Sabar Dasgupta:0 spl 2.18 0.23 0 0
134snowflakes:1 haoyu 2.20 0.03 0 0
135Charliezsc:1 haoyu 2.50 0.07 0 0
136DinnerPartyPlannerBM:1 Nihar the Great 2.65 0.06 0 0
137Brendan Wright:0 haoyu 3.17 0.10 0 0
138Aaron H:1 Aristotle 3.29 0.11 0 0
139dfshasdsf12:0 haoyu 3.57 0.09 0 0
140Sabar Dasgupta:1 Aaron Doll 3.57 0.17 0 0
141Lil Thug:1 Andrew Grasso 3.88 0.03 0 0
142Aaron H:0 Aristotle 3.92 0.11 0 0
143Lil Thug:0 Andrew Grasso 4.09 0.03 0 0
144Anon5:1 Green "The Bean" Choi 4.40 0.07 0 0
145Mr. Blobby:0 Green "The Bean" Choi 4.41 0.14 0 0
146Mr. Blobby:1 dusty 4.75 0.12 0 0
147Ben Chen:1 spl 5.07 0.20 0 0
148Andys:0 Aristotle 5.33 0.12 0 0
149ebp:1 haoyu 5.42 0.04 0 0
150Andrew Werner:1 haoyu 5.77 0.11 0 0
151Sprt:0 Aristotle 5.78 0.11 0 0
152Mike Hunt:0 Aristotle 6.40 0.27 0 0
153Valya Barboy:1 Shaheed Chagani 6.81 0.18 0 0
154ebp:0 haoyu 7.40 0.04 0 0
155jabreezy:0 Mercury 7.72 0.09 0 0
156NA:1 Elphaba 8.13 0.04 0 0
157John Whelchel:0 haoyu 8.35 0.06 0 0
158CAPS LOCK:0 Aristotle 8.38 0.20 0 0
159BH:1 haoyu 9.26 0.05 0 0
160Mike Hunt:1 Aristotle 9.47 0.29 0 0
161Andys:1 Aristotle 9.57 0.13 0 0
162Walter Little:1 haoyu 9.68 0.03 0 0
163John Whelchel:1 haoyu 9.71 0.11 0 0
164Andrew Werner:0 Aaron Doll 9.91 0.33 0 0
165jabreezy:1 Mercury 10.13 0.10 0 0
166DinnerPartyPlannerBM:0 Aristotle 10.25 0.11 0 0
167BH:0 haoyu 11.03 0.07 0 0
168dfshasdsf12:1 Nihar the Great 12.16 0.11 0 0
169snowflakes:0 haoyu 13.99 0.03 0 0
170David H.:1 DeeEmEm 15.00 0.33 1 0
171Jessie Chen:0 Joel Faron 15.00 0.13 1 1
172Walter Little:0 haoyu 15.00 0.04 1 0
173Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
174Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
175Jessie Chen:1 Joel Faron 15.00 0.12 1 1
176David H.:0 AFC 15.00 0.28 1 0
177CookieMonster:0 CookieMonster 15.00 0.82 1 0
178DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1790108:0 jgs 15.00 14.98 1 1
180Andrew Grasso:0 Aaron Doll 15.00 0.18 1 0
181Valya Barboy:0 Aristotle 15.00 0.06 1 0
182T. Capote:0 haoyu 15.00 0.00 2 2
183spl:1 haoyu 15.00 0.06 2 0
184T. Capote:1 haoyu 15.00 0.00 2 2
185spl:0 Elphaba 15.00 0.09 3 0
186Andrew Grasso:1 Shaheed Chagani 15.00 0.15 3 0
187NA:0 haoyu 15.00 0.03 3 0
188Dusty:0 CookieMonster 15.00 1.39 4 0
189SuperFan:0 jgs 15.00 14.98 4 4
190SuperFan:1 jgs 15.00 14.98 4 4
191Dusty:1 Shaheed Chagani 15.00 0.22 5 0
192Supahaka:1 Joel Faron 15.00 15.00 36 35
193Supahaka:0 Andrew Werner 15.00 15.00 37 35
194Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
195Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
196Shaheed Chagani:1 Aristotle 15.00 0.11 3319 0
197Shaheed Chagani:0 Aristotle 15.00 0.17 7937 0
198Anon5:0 haoyu 15.00 0.05 1 0
199Charliezsc:0 jgs 15.00 14.98 1 1
200AFC:1 Aristotle 15.00 0.16 1 0
201EC:0 haoyu 15.00 0.03 1 0
202nupog:1 Aristotle 15.00 0.12 21 0
203CookieMonster:1 CookieMonster 15.00 1.10 1 0
204Absurdity:0 Aristotle 15.00 0.23 1 0
205AFC:0 CookieMonster 15.00 0.34 2 0
206nupog:0 Aristotle 15.00 0.13 82 0
207Absurdity:1 Aristotle 15.00 0.18 1 0
208jgs:0 Aristotle 15.00 0.12 86 0
209Nihar the Great:0 Aristotle 15.00 0.23 20401 0
210Elphaba:0 Aristotle 15.00 0.24 25739 0
211jgs:1 haoyu 15.01 0.18 378 0
21213a:0 Aaron Doll 15.01 15.00 76170 21
213Nihar the Great:1 Aristotle 15.01 0.25 22020 0
214Yacob Y.:1 Aristotle 15.01 15.00 7 1
21513a:1 Aaron Doll 15.02 15.00 79355 29
216Elphaba:1 Aristotle 15.04 0.22 36606 0
217CAPS LOCK:1 Aristotle 15.04 0.25 614 0
218Aaron Doll:1 Aristotle 15.04 1.27 319855 0
219Bar Shabtai:1 haoyu 15.04 0.12 48 0
220Bar Shabtai:0 Aaron Doll 15.06 15.01 317558 1
221Deric Cheng:0 jgs 15.10 14.99 1 1
222burrito:1 haoyu 15.11 0.10 4 0
223Matt Goldsmith:1 Happy 15.11 0.03 510544 0
224Aaron Doll:0 Aristotle 15.11 0.56 252142 0
225Aristotle:1 Aristotle 15.12 9.69 718153 0
226Deric Cheng:1 jgs 15.12 14.98 1 1
227Aristotle:0 Aristotle 15.15 15.00 751896 1
228Matt Goldsmith:0 Nihar the Great 15.21 0.03 510713 0


SatSolvers Ranklist Generators Ranklist