SatSolvers Ranklist Generators Ranklist

Stats for satsolver: John Whelchel

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 John Whelchel 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 John Whelchel 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: John Whelchel
Rank: 28 / 118
Average Score: 5.44
Median Score: 0.68
Description: This is an implementation of the WalkSAT satisfiability algorithm. It flips a random symbol approximately 20% of the time based on my own personal experiments.It also initalizes the intial model to false/true valuesbased on the number of occurences of each symbol as atrue or false value in the CNF.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Ravi Tandon:0 KingBach 0.00 0.00 0 0
4R. A. B.:1 cat 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6Miranda:0 cat 0.00 0.00 0 0
7Bebe Shi:1 KingBach 0.00 0.00 0 0
8Miranda:1 cat 0.00 0.00 0 0
9Bebe Shi:0 KingBach 0.00 0.00 0 0
10Happy:1 KingBach 0.01 0.00 0 0
11BMJ:0 Elphaba 0.01 0.00 0 0
12David Paulk:0 cat 0.01 0.00 0 0
13BMJ:1 burrito 0.01 0.00 0 0
14K.L.:1 KingBach 0.01 0.00 0 0
15Blam:0 Elphaba 0.01 0.00 0 0
16Jonathan Kwok:1 KingBach 0.01 0.00 0 0
17Gewang:0 Jonathan Kwok 0.01 0.00 0 0
18Tree Prophet:0 haoyu 0.02 0.00 0 0
19Gewang:1 Jonathan Kwok 0.02 0.00 0 0
20Joshua Zimmer:1 haoyu 0.02 0.00 0 0
21Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
22Joshua Zimmer:0 haoyu 0.02 0.00 0 0
23bchouGenerator:0 haoyu 0.02 0.00 0 0
24K.L.:0 haoyu 0.02 0.00 0 0
25Daffy Duck:1 haoyu 0.02 0.00 0 0
26Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
27The Kraken:1 haoyu 0.02 0.00 0 0
28haoyu:1 Anon5 0.02 0.01 0 0
29Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
30haoyu:0 KingBach 0.02 0.01 0 0
31Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
32Quite Satisfied:0 haoyu 0.02 0.00 0 0
33The Kraken:0 haoyu 0.02 0.00 0 0
34David Paulk:1 Bar Shabtai 0.03 0.00 0 0
35Tree Prophet:1 haoyu 0.03 0.00 0 0
36Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
37Solving For Clauses:1 haoyu 0.03 0.00 0 0
38Happy:0 haoyu 0.03 0.00 0 0
39Mickey Mouse:1 haoyu 0.03 0.01 0 0
40weezy:1 Bar Shabtai 0.03 0.01 0 0
41Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
42George Okeowo:0 Andrew Grasso 0.04 0.01 0 0
43Blam:1 Elphaba 0.04 0.00 0 0
44weezy:0 Bar Shabtai 0.04 0.01 0 0
45bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
46totallyOnFallBreak:1 Nikhilesh Sigatapu 0.04 0.01 0 0
47George Okeowo:1 Andrew Grasso 0.04 0.01 0 0
48R. A. B.:0 Nihar the Great 0.04 0.00 0 0
49totallyOnFallBreak:0 Nikhilesh Sigatapu 0.04 0.01 0 0
50Alex Fish:1 haoyu 0.05 0.02 0 0
51cmF5a3ly:0 Nihar the Great 0.05 0.00 0 0
52Keji Xu:0 Nihar the Great 0.05 0.03 0 0
53Keji Xu:1 Nihar the Great 0.05 0.04 0 0
54Scheduling Generator 203:0 jgs 0.05 0.01 0 0
550108:1 haoyu 0.06 0.01 0 0
56Boomshanka:1 Bar Shabtai 0.06 0.01 0 0
57DeeEmEm:1 haoyu 0.06 0.02 0 0
58Jordan Ash:0 EC 0.06 0.03 0 0
59cmF5a3ly:1 Nihar the Great 0.07 0.00 0 0
60vluu:0 Nihar the Great 0.07 0.01 0 0
61vluu:1 Nihar the Great 0.07 0.02 0 0
62Boomshanka:0 haoyu 0.07 0.01 0 0
63Tiny Wings:1 haoyu 0.07 0.01 0 0
64Linda:0 Andrew Grasso 0.07 0.01 0 0
65Scheduling Generator 203:1 Jameh 0.08 0.02 0 0
66Tiny Wings:0 haoyu 0.08 0.02 0 0
67Tom T:1 Andrew Werner 0.08 0.02 0 0
68Ytterbium:0 Andrew Grasso 0.08 0.02 0 0
69Sunny:1 jabreezy 0.08 0.01 0 0
70Linda:1 Andrew Grasso 0.09 0.02 0 0
71Tom T:0 EC 0.09 0.02 0 0
72cat:1 haoyu 0.09 0.03 0 0
73The Whitman Whale:1 Andrew Grasso 0.09 0.03 0 0
74The Whitman Whale:0 bigwig 0.10 0.04 0 0
75cat:0 haoyu 0.10 0.03 0 0
76Janie Gu:0 Glenn Fisher 0.11 0.07 0 0
77Ytterbium:1 Nihar the Great 0.11 0.02 0 0
78Jameh:0 haoyu 0.12 0.01 0 0
79Alex Fish:0 haoyu 0.14 0.01 0 0
80Dr Roberto:1 Andrew Grasso 0.15 0.02 0 0
81Lisa Kim:1 Bar Shabtai 0.15 0.06 0 0
82David Lackey:0 Anon5 0.15 0.03 0 0
83Janie Gu:1 Jonathan Kwok 0.17 0.07 0 0
84Dr Roberto:0 Andrew Grasso 0.17 0.03 0 0
85David Lackey:1 Bar Shabtai 0.18 0.03 0 0
86Sunny:0 Green "The Bean" Choi 0.20 0.02 0 0
87Mercury:1 haoyu 0.20 0.05 0 0
88Nikhilesh Sigatapu:0 haoyu 0.21 0.03 0 0
89Lisa Kim:0 Aristotle 0.22 0.07 0 0
90Bob Dondero:0 Andrew Grasso 0.22 0.02 0 0
91Mercury:0 haoyu 0.23 0.05 0 0
92Anon_K_P:1 Aristotle 0.27 0.03 0 0
93Bob Dondero:1 Mickey Mouse 0.27 0.03 0 0
94Sally Smith:0 haoyu 0.29 0.04 0 0
95AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.30 0.01 0 0
96Mike Honcho:0 Miranda 0.32 0.01 0 0
97Mike Honcho:1 Jessie Chen 0.33 0.01 0 0
98Tao:1 Aristotle 0.33 0.07 0 0
99KingBach:1 haoyu 0.34 0.04 0 0
100Samuel Jerome:0 haoyu 0.34 0.03 0 0
101bfang:0 haoyu 0.35 0.04 0 0
102Valya Barboy:1 Shaheed Chagani 0.35 0.18 0 0
103soccer:0 haoyu 0.37 0.04 0 0
104Nikhilesh Sigatapu:1 haoyu 0.39 0.04 0 0
105Tao:0 Bar Shabtai 0.43 0.02 0 0
106Samuel Jerome:1 haoyu 0.44 0.03 0 0
107Batman:1 haoyu 0.45 0.04 0 0
108bfang:1 haoyu 0.45 0.04 0 0
109Jameh:1 haoyu 0.55 0.01 0 0
110Batman:0 haoyu 0.62 0.04 0 0
111Andrew Grasso:0 Aaron Doll 0.62 0.18 0 0
112AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.63 0.00 0 0
113Sprt:1 haoyu 0.67 0.05 0 0
114Matt Haake:1 haoyu 0.68 0.05 0 0
115Sally Smith:1 haoyu 0.69 0.04 0 0
116Valya Barboy:0 Aristotle 0.71 0.06 0 0
117Yacob Y.:0 haoyu 0.82 0.06 0 0
118Matt Haake:0 haoyu 0.87 0.05 0 0
119Anon_K_P:0 haoyu 0.96 0.02 0 0
120David H.:0 AFC 1.00 0.28 0 0
121Yan Wu:0 haoyu 1.12 0.05 0 0
122Khoa:1 Aristotle 1.27 0.09 0 0
123Charliezsc:1 haoyu 1.32 0.07 0 0
124DinnerPartyPlannerBM:1 Nihar the Great 1.33 0.06 0 0
125Yan Wu:1 haoyu 1.36 0.04 0 0
126Khoa:0 haoyu 1.36 0.09 0 0
127Glenn Fisher:0 Elphaba 1.38 0.02 0 0
128kt4124:1 haoyu 1.41 0.04 0 0
129KingBach:0 haoyu 1.42 0.06 0 0
130dfshasdsf12:0 haoyu 1.60 0.09 0 0
131kt4124:0 haoyu 1.64 0.03 0 0
132soccer:1 haoyu 1.79 0.04 0 0
133Lil Thug:0 Andrew Grasso 1.88 0.03 0 0
134Aaron H:0 Aristotle 1.96 0.11 0 0
135Lil Thug:1 Andrew Grasso 2.12 0.03 0 0
136Anon5:1 Green "The Bean" Choi 2.21 0.07 0 0
137Aaron H:1 Aristotle 2.48 0.11 0 0
138David H.:1 DeeEmEm 2.90 0.33 0 0
139John Whelchel:1 haoyu 2.99 0.11 0 0
140John Whelchel:0 haoyu 3.13 0.06 0 0
141Sprt:0 Aristotle 3.18 0.11 0 0
142Mr. Blobby:1 dusty 3.19 0.12 0 0
143Sabar Dasgupta:1 Aaron Doll 3.29 0.17 0 0
144DinnerPartyPlannerBM:0 Aristotle 3.90 0.11 0 0
145Andrew Grasso:1 Shaheed Chagani 3.90 0.15 0 0
146burrito:0 haoyu 3.99 0.09 0 0
147dfshasdsf12:1 Nihar the Great 4.09 0.11 0 0
148jabreezy:1 Mercury 4.33 0.10 0 0
149Mr. Blobby:0 Green "The Bean" Choi 4.38 0.14 0 0
150jabreezy:0 Mercury 5.63 0.09 0 0
151Ben Chen:0 Elphaba 6.02 0.07 0 0
152Ben Chen:1 spl 7.13 0.20 0 0
153Andrew Werner:1 haoyu 7.79 0.11 0 0
154EC:1 haoyu 9.01 0.03 0 0
155Bar Shabtai:1 haoyu 9.31 0.12 0 0
156AFC:0 CookieMonster 9.75 0.34 0 0
157Andrew Werner:0 Aaron Doll 10.36 0.33 0 0
158Anon5:0 haoyu 10.37 0.05 0 0
159Mike Hunt:1 Aristotle 10.56 0.29 0 0
160Mike Hunt:0 Aristotle 11.03 0.27 0 0
161Sabar Dasgupta:0 spl 11.52 0.23 0 0
162Brendan Wright:0 haoyu 12.30 0.10 0 0
163jgs:1 haoyu 12.99 0.18 0 0
164snowflakes:0 haoyu 13.17 0.03 0 0
165burrito:1 haoyu 13.48 0.10 0 0
166jgs:0 Aristotle 14.32 0.12 0 0
167Jessie Chen:0 Joel Faron 15.00 0.13 1 1
168Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
169Jessie Chen:1 Joel Faron 15.00 0.12 1 1
170Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
171Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
172CookieMonster:0 CookieMonster 15.00 0.82 2 0
173DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
1740108:0 jgs 15.00 14.98 2 1
175CookieMonster:1 CookieMonster 15.00 1.10 2 0
176Qinlan Shen:1 R. A. B. 15.00 9.00 3 1
177T. Capote:0 haoyu 15.00 0.00 3 2
178T. Capote:1 haoyu 15.00 0.00 3 2
179NA:1 Elphaba 15.00 0.04 4 0
180AFC:1 Aristotle 15.00 0.16 4 0
181Glenn Fisher:1 jabreezy 15.00 0.09 6 0
182Walter Little:0 haoyu 15.00 0.04 7 0
183SuperFan:1 jgs 15.00 14.98 7 4
184EC:0 haoyu 15.00 0.03 8 0
185Absurdity:1 Aristotle 15.00 0.18 9 0
186Walter Little:1 haoyu 15.00 0.03 10 0
187SuperFan:0 jgs 15.00 14.98 11 4
188spl:0 Elphaba 15.00 0.09 14 0
189snowflakes:1 haoyu 15.00 0.03 18 0
190Dusty:1 Shaheed Chagani 15.00 0.22 19 0
191Dusty:0 CookieMonster 15.00 1.39 20 0
192NA:0 haoyu 15.00 0.03 32 0
193Supahaka:1 Joel Faron 15.00 15.00 45 35
194Supahaka:0 Andrew Werner 15.00 15.00 53 35
195BH:1 haoyu 15.00 0.05 334 0
196spl:1 haoyu 15.00 0.06 8 0
197Absurdity:0 Aristotle 15.00 0.23 11 0
198ebp:0 haoyu 15.00 0.04 16 0
199ebp:1 haoyu 15.00 0.04 23 0
200Brendan Wright:1 Deric Cheng 15.00 0.10 1 0
201Charliezsc:0 jgs 15.00 14.98 5 1
202Andys:1 Aristotle 15.00 0.13 6 0
203Yacob Y.:1 Aristotle 15.01 15.00 14 1
204Fanny:1 Aristotle 15.01 0.12 3321 0
205Andys:0 Aristotle 15.02 0.12 1 0
206BH:0 haoyu 15.03 0.07 385 0
207Shaheed Chagani:0 Aristotle 15.04 0.17 350 0
208Fanny:0 Aristotle 15.05 0.10 3212 0
209nupog:1 Aristotle 15.05 0.12 1290 0
210Shaheed Chagani:1 Aristotle 15.07 0.11 361 0
211Deric Cheng:1 jgs 15.09 14.98 4 1
212nupog:0 Aristotle 15.09 0.13 1369 0
21313a:1 Aaron Doll 15.15 15.00 139 29
214Deric Cheng:0 jgs 15.15 14.99 2 1
215CAPS LOCK:0 Aristotle 15.24 0.20 1121 0
216Elphaba:0 Aristotle 15.27 0.24 0 0
217Bar Shabtai:0 Aaron Doll 15.30 15.01 79 1
218Elphaba:1 Aristotle 15.40 0.22 5 0
219Nihar the Great:0 Aristotle 15.45 0.23 982 0
22013a:0 Aaron Doll 15.50 15.00 131 21
221Nihar the Great:1 Aristotle 15.54 0.25 982 0
222Aaron Doll:0 Aristotle 15.73 0.56 132 0
223CAPS LOCK:1 Aristotle 16.77 0.25 1904 0
224Aaron Doll:1 Aristotle 17.50 1.27 140 0
225Aristotle:1 Aristotle 19.45 9.69 117 0
226Aristotle:0 Aristotle 22.31 15.00 113 1
227Matt Goldsmith:0 Nihar the Great 24.93 0.03 3521 0
228Matt Goldsmith:1 Happy 28.28 0.03 3942 0


SatSolvers Ranklist Generators Ranklist