SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Valya Barboy

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 Valya Barboy 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 Valya Barboy 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: Valya Barboy
Rank: 34 / 118
Average Score: 5.76
Median Score: 1.44
Description: Implements WalkSAT in order to try to find solutions to CNF sentences. Randomizes p, the probability with which it picks whether to flip a random symbol or the one that satisfies the most clauses.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3Happy:1 KingBach 0.00 0.00 0 0
4bigwig:1 KingBach 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6K.L.:1 KingBach 0.00 0.00 0 0
7Miranda:1 cat 0.00 0.00 0 0
8Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
9Bebe Shi:0 KingBach 0.00 0.00 0 0
10Miranda:0 cat 0.00 0.00 0 0
11BMJ:0 Elphaba 0.01 0.00 0 0
12Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
13Solving For Clauses:1 haoyu 0.01 0.00 0 0
14Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
15Joshua Zimmer:0 haoyu 0.01 0.00 0 0
16Jonathan Kwok:1 KingBach 0.01 0.00 0 0
17R. A. B.:1 cat 0.01 0.00 0 0
18bchouGenerator:0 haoyu 0.01 0.00 0 0
19Bebe Shi:1 KingBach 0.01 0.00 0 0
20Joshua Zimmer:1 haoyu 0.01 0.00 0 0
21K.L.:0 haoyu 0.01 0.00 0 0
22haoyu:1 Anon5 0.02 0.01 0 0
23BMJ:1 burrito 0.02 0.00 0 0
24David Paulk:0 cat 0.02 0.00 0 0
25Mike Honcho:0 Miranda 0.02 0.01 0 0
26Gewang:1 Jonathan Kwok 0.02 0.00 0 0
27Gewang:0 Jonathan Kwok 0.02 0.00 0 0
28Quite Satisfied:0 haoyu 0.02 0.00 0 0
29David Paulk:1 Bar Shabtai 0.02 0.00 0 0
30cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
31R. A. B.:0 Nihar the Great 0.03 0.00 0 0
32cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
33Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
34Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
35Tree Prophet:0 haoyu 0.04 0.00 0 0
36bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
37Scheduling Generator 203:0 jgs 0.04 0.01 0 0
38Daffy Duck:1 haoyu 0.04 0.00 0 0
39haoyu:0 KingBach 0.05 0.01 0 0
40weezy:1 Bar Shabtai 0.05 0.01 0 0
41Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
42Tree Prophet:1 haoyu 0.05 0.00 0 0
43The Kraken:0 haoyu 0.05 0.00 0 0
44Mickey Mouse:1 haoyu 0.05 0.01 0 0
45Tom T:1 Andrew Werner 0.06 0.02 0 0
46weezy:0 Bar Shabtai 0.06 0.01 0 0
47Tiny Wings:1 haoyu 0.06 0.01 0 0
48Boomshanka:1 Bar Shabtai 0.06 0.01 0 0
49Blam:0 Elphaba 0.07 0.00 0 0
50Jordan Ash:1 Bar Shabtai 0.07 0.01 0 0
51vluu:0 Nihar the Great 0.07 0.01 0 0
52Scheduling Generator 203:1 Jameh 0.07 0.02 0 0
53Blam:1 Elphaba 0.07 0.00 0 0
540108:1 haoyu 0.08 0.01 0 0
55Boomshanka:0 haoyu 0.09 0.01 0 0
56Keji Xu:1 Nihar the Great 0.09 0.04 0 0
57Ytterbium:0 Andrew Grasso 0.10 0.02 0 0
58The Kraken:1 haoyu 0.10 0.00 0 0
59vluu:1 Nihar the Great 0.10 0.02 0 0
60Happy:0 haoyu 0.10 0.00 0 0
61Jameh:0 haoyu 0.12 0.01 0 0
62David Lackey:1 Bar Shabtai 0.12 0.03 0 0
63David Lackey:0 Anon5 0.12 0.03 0 0
64Tom T:0 EC 0.13 0.02 0 0
65Jameh:1 haoyu 0.15 0.01 0 0
66cat:0 haoyu 0.15 0.03 0 0
67Ytterbium:1 Nihar the Great 0.17 0.02 0 0
68The Whitman Whale:1 Andrew Grasso 0.18 0.03 0 0
69Keji Xu:0 Nihar the Great 0.18 0.03 0 0
70totallyOnFallBreak:1 Nikhilesh Sigatapu 0.20 0.01 0 0
71cat:1 haoyu 0.20 0.03 0 0
72Alex Fish:1 haoyu 0.21 0.02 0 0
73totallyOnFallBreak:0 Nikhilesh Sigatapu 0.25 0.01 0 0
74AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.25 0.01 0 0
75George Okeowo:0 Andrew Grasso 0.25 0.01 0 0
76Dr Roberto:1 Andrew Grasso 0.27 0.02 0 0
77George Okeowo:1 Andrew Grasso 0.28 0.01 0 0
78Yan Wu:0 haoyu 0.31 0.05 0 0
79Lisa Kim:1 Bar Shabtai 0.31 0.06 0 0
80Lisa Kim:0 Aristotle 0.34 0.07 0 0
81Jordan Ash:0 EC 0.34 0.03 0 0
82Bob Dondero:1 Mickey Mouse 0.36 0.03 0 0
83Tiny Wings:0 haoyu 0.36 0.02 0 0
84The Whitman Whale:0 bigwig 0.37 0.04 0 0
85Sally Smith:0 haoyu 0.38 0.04 0 0
86Linda:0 Andrew Grasso 0.39 0.01 0 0
87Sally Smith:1 haoyu 0.39 0.04 0 0
88Nikhilesh Sigatapu:1 haoyu 0.41 0.04 0 0
89Sunny:1 jabreezy 0.43 0.01 0 0
90Janie Gu:1 Jonathan Kwok 0.44 0.07 0 0
91kt4124:0 haoyu 0.44 0.03 0 0
92Anon_K_P:1 Aristotle 0.46 0.03 0 0
93Linda:1 Andrew Grasso 0.55 0.02 0 0
94kt4124:1 haoyu 0.58 0.04 0 0
95bfang:1 haoyu 0.61 0.04 0 0
96Bob Dondero:0 Andrew Grasso 0.64 0.02 0 0
97Samuel Jerome:0 haoyu 0.65 0.03 0 0
98Samuel Jerome:1 haoyu 0.67 0.03 0 0
99KingBach:1 haoyu 0.67 0.04 0 0
100Batman:1 haoyu 0.70 0.04 0 0
101Nikhilesh Sigatapu:0 haoyu 0.77 0.03 0 0
102Matt Haake:0 haoyu 0.82 0.05 0 0
103Sprt:1 haoyu 0.83 0.05 0 0
104Matt Haake:1 haoyu 0.84 0.05 0 0
105AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.89 0.00 0 0
106Tao:1 Aristotle 0.99 0.07 0 0
107DeeEmEm:1 haoyu 1.00 0.02 0 0
108KingBach:0 haoyu 1.01 0.06 0 0
109Alex Fish:0 haoyu 1.08 0.01 0 0
110Mercury:0 haoyu 1.12 0.05 0 0
111Mercury:1 haoyu 1.23 0.05 0 0
112Sunny:0 Green "The Bean" Choi 1.36 0.02 0 0
113Yan Wu:1 haoyu 1.38 0.04 0 0
114Khoa:1 Aristotle 1.44 0.09 0 0
115soccer:1 haoyu 1.48 0.04 0 0
116Batman:0 haoyu 1.57 0.04 0 0
117Andrew Grasso:0 Aaron Doll 1.65 0.18 0 0
118DinnerPartyPlannerBM:1 Nihar the Great 1.73 0.06 0 0
119burrito:0 haoyu 1.79 0.09 0 0
120Ben Chen:0 Elphaba 1.95 0.07 0 0
121bfang:0 haoyu 2.01 0.04 0 0
122Glenn Fisher:0 Elphaba 2.06 0.02 0 0
123Dr Roberto:0 Andrew Grasso 2.14 0.03 0 0
124Anon_K_P:0 haoyu 2.15 0.02 0 0
125Khoa:0 haoyu 2.50 0.09 0 0
126dfshasdsf12:0 haoyu 2.51 0.09 0 0
127Sabar Dasgupta:1 Aaron Doll 2.55 0.17 0 0
128Lil Thug:1 Andrew Grasso 2.69 0.03 0 0
129Lil Thug:0 Andrew Grasso 2.77 0.03 0 0
130snowflakes:1 haoyu 3.00 0.03 0 0
131Fanny:0 Aristotle 3.26 0.10 0 0
132Sprt:0 Aristotle 3.51 0.11 0 0
133Fanny:1 Aristotle 3.52 0.12 0 0
134Mr. Blobby:1 dusty 3.97 0.12 0 0
135Aaron H:0 Aristotle 4.16 0.11 0 0
136soccer:0 haoyu 4.19 0.04 0 0
137Tao:0 Bar Shabtai 4.21 0.02 0 0
138Brendan Wright:0 haoyu 4.53 0.10 0 0
139Ben Chen:1 spl 4.84 0.20 0 0
140DinnerPartyPlannerBM:0 Aristotle 5.28 0.11 0 0
141Mr. Blobby:0 Green "The Bean" Choi 5.93 0.14 0 0
142ebp:0 haoyu 6.04 0.04 0 0
143Aaron H:1 Aristotle 6.12 0.11 0 0
144Andys:1 Aristotle 6.45 0.13 0 0
145Janie Gu:0 Glenn Fisher 6.63 0.07 0 0
146Anon5:0 haoyu 7.59 0.05 0 0
147dfshasdsf12:1 Nihar the Great 7.79 0.11 0 0
148Yacob Y.:0 haoyu 7.95 0.06 0 0
149NA:1 Elphaba 8.61 0.04 0 0
150BH:1 haoyu 8.73 0.05 0 0
151Walter Little:1 haoyu 9.64 0.03 0 0
152snowflakes:0 haoyu 10.29 0.03 0 0
153Mike Hunt:1 Aristotle 10.71 0.29 0 0
154BH:0 haoyu 10.84 0.07 0 0
155Sabar Dasgupta:0 spl 11.16 0.23 0 0
156Andrew Werner:0 Aaron Doll 11.41 0.33 0 0
157EC:1 haoyu 11.91 0.03 0 0
158burrito:1 haoyu 11.96 0.10 0 0
159nupog:1 Aristotle 13.44 0.12 0 0
160nupog:0 Aristotle 13.45 0.13 0 0
161CAPS LOCK:0 Aristotle 13.68 0.20 0 0
162Mike Hunt:0 Aristotle 15.00 0.27 0 0
163Anon5:1 Green "The Bean" Choi 15.00 0.07 1 0
164David H.:1 DeeEmEm 15.00 0.33 1 0
165Charliezsc:1 haoyu 15.00 0.07 1 0
166Jessie Chen:0 Joel Faron 15.00 0.13 1 1
167Walter Little:0 haoyu 15.00 0.04 1 0
168Valya Barboy:1 Shaheed Chagani 15.00 0.18 1 0
169Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
170Charliezsc:0 jgs 15.00 14.98 1 1
171Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
172Jessie Chen:1 Joel Faron 15.00 0.12 1 1
173Deric Cheng:1 jgs 15.00 14.98 1 1
174Andrew Grasso:1 Shaheed Chagani 15.00 0.15 1 0
175John Whelchel:0 haoyu 15.00 0.06 1 0
176Andrew Werner:1 haoyu 15.00 0.11 1 0
177CookieMonster:0 CookieMonster 15.00 0.82 1 0
178DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
179Brendan Wright:1 Deric Cheng 15.00 0.10 1 0
1800108:0 jgs 15.00 14.98 1 1
181CookieMonster:1 CookieMonster 15.00 1.10 1 0
182Glenn Fisher:1 jabreezy 15.00 0.09 1 0
183AFC:0 CookieMonster 15.00 0.34 1 0
184Valya Barboy:0 Aristotle 15.00 0.06 1 0
185Dusty:1 Shaheed Chagani 15.00 0.22 2 0
186David H.:0 AFC 15.00 0.28 2 0
187T. Capote:0 haoyu 15.00 0.00 2 2
188T. Capote:1 haoyu 15.00 0.00 2 2
189Dusty:0 CookieMonster 15.00 1.39 3 0
190spl:0 Elphaba 15.00 0.09 3 0
191Absurdity:1 Aristotle 15.00 0.18 3 0
192ebp:1 haoyu 15.00 0.04 3 0
193spl:1 haoyu 15.00 0.06 3 0
194Shaheed Chagani:1 Aristotle 15.00 0.11 4 0
195SuperFan:0 jgs 15.00 14.98 4 4
196SuperFan:1 jgs 15.00 14.98 4 4
197Yacob Y.:1 Aristotle 15.00 15.00 4 1
198jabreezy:1 Mercury 15.00 0.10 5 0
199jabreezy:0 Mercury 15.00 0.09 5 0
200jgs:1 haoyu 15.00 0.18 6 0
201NA:0 haoyu 15.00 0.03 6 0
202John Whelchel:1 haoyu 15.00 0.11 7 0
203Bar Shabtai:1 haoyu 15.00 0.12 21 0
204Supahaka:0 Andrew Werner 15.00 15.00 37 35
205Supahaka:1 Joel Faron 15.00 15.00 37 35
206Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
207Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
208Elphaba:1 Aristotle 15.00 0.22 3718 0
209Nihar the Great:0 Aristotle 15.00 0.23 20282 0
21013a:0 Aaron Doll 15.00 15.00 51035 21
211AFC:1 Aristotle 15.00 0.16 1 0
212EC:0 haoyu 15.00 0.03 1 0
213Absurdity:0 Aristotle 15.00 0.23 3 0
214Shaheed Chagani:0 Aristotle 15.00 0.17 6 0
215Nihar the Great:1 Aristotle 15.01 0.25 18317 0
216Matt Goldsmith:1 Happy 15.01 0.03 506630 0
21713a:1 Aaron Doll 15.01 15.00 41591 29
218Aaron Doll:1 Aristotle 15.01 1.27 268026 0
219Andys:0 Aristotle 15.01 0.12 1 0
220Elphaba:0 Aristotle 15.01 0.24 25873 0
221Bar Shabtai:0 Aaron Doll 15.02 15.01 285027 1
222Aristotle:1 Aristotle 15.02 9.69 711441 0
223CAPS LOCK:1 Aristotle 15.03 0.25 165 0
224Aaron Doll:0 Aristotle 15.05 0.56 198325 0
225Deric Cheng:0 jgs 15.06 14.99 1 1
226Aristotle:0 Aristotle 15.09 15.00 738026 1
227Matt Goldsmith:0 Nihar the Great 15.12 0.03 508036 0
228jgs:0 Aristotle 15.19 0.12 15 0


SatSolvers Ranklist Generators Ranklist