SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Deric Cheng

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 Deric Cheng 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 Deric Cheng 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: Deric Cheng
Rank: 16 / 118
Average Score: 5.03
Median Score: 0.64
Description: This sat-solver implements an enhanced version of the WalkSAT algorithm by choosing to either randomly flip a symbol in the model or flip the symbol that maximizes the number of satisfied clauses.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 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:1 KingBach 0.00 0.00 0 0
7Happy:1 KingBach 0.00 0.00 0 0
8Miranda:1 cat 0.00 0.00 0 0
9Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
10Miranda:0 cat 0.00 0.00 0 0
11Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
12Solving For Clauses:1 haoyu 0.01 0.00 0 0
13Joshua Zimmer:1 haoyu 0.01 0.00 0 0
14Joshua Zimmer:0 haoyu 0.01 0.00 0 0
15Daffy Duck:1 haoyu 0.01 0.00 0 0
16Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
17Jonathan Kwok:1 KingBach 0.01 0.00 0 0
18BMJ:0 Elphaba 0.01 0.00 0 0
19Blam:0 Elphaba 0.01 0.00 0 0
20Tree Prophet:0 haoyu 0.01 0.00 0 0
21Blam:1 Elphaba 0.01 0.00 0 0
22BMJ:1 burrito 0.01 0.00 0 0
23K.L.:0 haoyu 0.01 0.00 0 0
24haoyu:1 Anon5 0.01 0.01 0 0
25R. A. B.:1 cat 0.01 0.00 0 0
26Gewang:1 Jonathan Kwok 0.01 0.00 0 0
27K.L.:1 KingBach 0.01 0.00 0 0
28haoyu:0 KingBach 0.01 0.01 0 0
29Gewang:0 Jonathan Kwok 0.01 0.00 0 0
30Quite Satisfied:0 haoyu 0.01 0.00 0 0
31bchouGenerator:0 haoyu 0.01 0.00 0 0
32The Kraken:1 haoyu 0.01 0.00 0 0
33David Paulk:0 cat 0.01 0.00 0 0
34David Paulk:1 Bar Shabtai 0.01 0.00 0 0
35The Kraken:0 haoyu 0.01 0.00 0 0
36Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
37Sunny:1 jabreezy 0.02 0.01 0 0
38Mike Honcho:0 Miranda 0.02 0.01 0 0
39R. A. B.:0 Nihar the Great 0.02 0.00 0 0
40Happy:0 haoyu 0.02 0.00 0 0
41cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
42bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
43Mickey Mouse:1 haoyu 0.02 0.01 0 0
44Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
45cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
46Scheduling Generator 203:0 jgs 0.02 0.01 0 0
47Tree Prophet:1 haoyu 0.02 0.00 0 0
48Tom T:1 Andrew Werner 0.02 0.02 0 0
49Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
50AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.03 0.01 0 0
51Tom T:0 EC 0.03 0.02 0 0
52weezy:1 Bar Shabtai 0.03 0.01 0 0
53Scheduling Generator 203:1 Jameh 0.03 0.02 0 0
54Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
55Alex Fish:0 haoyu 0.03 0.01 0 0
56weezy:0 Bar Shabtai 0.04 0.01 0 0
57Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
58Jameh:0 haoyu 0.04 0.01 0 0
59David Lackey:0 Anon5 0.05 0.03 0 0
60Alex Fish:1 haoyu 0.05 0.02 0 0
61vluu:0 Nihar the Great 0.06 0.01 0 0
62Tiny Wings:1 haoyu 0.06 0.01 0 0
63Boomshanka:0 haoyu 0.06 0.01 0 0
64Tiny Wings:0 haoyu 0.06 0.02 0 0
65Jordan Ash:0 EC 0.06 0.03 0 0
66Dr Roberto:0 Andrew Grasso 0.07 0.03 0 0
67David Lackey:1 Bar Shabtai 0.07 0.03 0 0
68totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
69totallyOnFallBreak:1 Nikhilesh Sigatapu 0.07 0.01 0 0
70vluu:1 Nihar the Great 0.07 0.02 0 0
71Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
72Jameh:1 haoyu 0.09 0.01 0 0
73The Whitman Whale:1 Andrew Grasso 0.09 0.03 0 0
74Janie Gu:1 Jonathan Kwok 0.10 0.07 0 0
75cat:1 haoyu 0.10 0.03 0 0
76Brendan Wright:1 Deric Cheng 0.10 0.10 0 0
77Keji Xu:1 Nihar the Great 0.11 0.04 0 0
780108:1 haoyu 0.11 0.01 0 0
79cat:0 haoyu 0.12 0.03 0 0
80Dr Roberto:1 Andrew Grasso 0.12 0.02 0 0
81Anon_K_P:0 haoyu 0.12 0.02 0 0
82The Whitman Whale:0 bigwig 0.12 0.04 0 0
83Janie Gu:0 Glenn Fisher 0.13 0.07 0 0
84AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.14 0.00 0 0
85DeeEmEm:1 haoyu 0.14 0.02 0 0
86Ytterbium:1 Nihar the Great 0.14 0.02 0 0
87Tao:0 Bar Shabtai 0.16 0.02 0 0
88Bob Dondero:1 Mickey Mouse 0.17 0.03 0 0
89Keji Xu:0 Nihar the Great 0.18 0.03 0 0
90Nikhilesh Sigatapu:0 haoyu 0.19 0.03 0 0
91George Okeowo:0 Andrew Grasso 0.20 0.01 0 0
92George Okeowo:1 Andrew Grasso 0.21 0.01 0 0
93Bob Dondero:0 Andrew Grasso 0.22 0.02 0 0
94Nikhilesh Sigatapu:1 haoyu 0.23 0.04 0 0
95Anon_K_P:1 Aristotle 0.23 0.03 0 0
96Sunny:0 Green "The Bean" Choi 0.24 0.02 0 0
97Linda:0 Andrew Grasso 0.25 0.01 0 0
98Lisa Kim:0 Aristotle 0.29 0.07 0 0
99Lisa Kim:1 Bar Shabtai 0.30 0.06 0 0
100kt4124:0 haoyu 0.32 0.03 0 0
101Sally Smith:1 haoyu 0.35 0.04 0 0
102Samuel Jerome:1 haoyu 0.39 0.03 0 0
103Sally Smith:0 haoyu 0.40 0.04 0 0
104kt4124:1 haoyu 0.41 0.04 0 0
105Samuel Jerome:0 haoyu 0.42 0.03 0 0
106Glenn Fisher:0 Elphaba 0.49 0.02 0 0
107Mercury:0 haoyu 0.52 0.05 0 0
108Fanny:1 Aristotle 0.53 0.12 0 0
109bfang:0 haoyu 0.58 0.04 0 0
110Mercury:1 haoyu 0.59 0.05 0 0
111bfang:1 haoyu 0.61 0.04 0 0
112KingBach:1 haoyu 0.62 0.04 0 0
113Batman:1 haoyu 0.64 0.04 0 0
114Batman:0 haoyu 0.64 0.04 0 0
115Yan Wu:0 haoyu 0.76 0.05 0 0
116KingBach:0 haoyu 0.79 0.06 0 0
117Yan Wu:1 haoyu 0.79 0.04 0 0
118Linda:1 Andrew Grasso 0.80 0.02 0 0
119Matt Haake:1 haoyu 0.81 0.05 0 0
120soccer:1 haoyu 0.86 0.04 0 0
121Fanny:0 Aristotle 0.88 0.10 0 0
122Tao:1 Aristotle 0.96 0.07 0 0
123Khoa:1 Aristotle 0.98 0.09 0 0
124Sprt:1 haoyu 1.01 0.05 0 0
125Mr. Blobby:1 dusty 1.04 0.12 0 0
126Khoa:0 haoyu 1.07 0.09 0 0
127Yacob Y.:0 haoyu 1.21 0.06 0 0
128Matt Haake:0 haoyu 1.30 0.05 0 0
129Mr. Blobby:0 Green "The Bean" Choi 1.39 0.14 0 0
130soccer:0 haoyu 1.49 0.04 0 0
131Valya Barboy:0 Aristotle 1.59 0.06 0 0
132Ben Chen:0 Elphaba 2.02 0.07 0 0
133DinnerPartyPlannerBM:1 Nihar the Great 2.13 0.06 0 0
134burrito:0 haoyu 2.26 0.09 0 0
135Sabar Dasgupta:0 spl 2.46 0.23 0 0
136Sabar Dasgupta:1 Aaron Doll 2.74 0.17 0 0
137dfshasdsf12:0 haoyu 2.84 0.09 0 0
138Charliezsc:1 haoyu 3.21 0.07 0 0
139Lil Thug:0 Andrew Grasso 3.46 0.03 0 0
140Lil Thug:1 Andrew Grasso 3.58 0.03 0 0
141Anon5:1 Green "The Bean" Choi 3.64 0.07 0 0
142Andrew Grasso:0 Aaron Doll 3.94 0.18 0 0
143Aaron H:0 Aristotle 3.95 0.11 0 0
144Brendan Wright:0 haoyu 4.15 0.10 0 0
145Sprt:0 Aristotle 4.47 0.11 0 0
146Aaron H:1 Aristotle 4.49 0.11 0 0
147John Whelchel:0 haoyu 4.85 0.06 0 0
148Andys:0 Aristotle 4.95 0.12 0 0
149EC:0 haoyu 5.04 0.03 0 0
150Mike Hunt:0 Aristotle 5.92 0.27 0 0
151ebp:0 haoyu 5.97 0.04 0 0
152Glenn Fisher:1 jabreezy 6.16 0.09 0 0
153dfshasdsf12:1 Nihar the Great 6.24 0.11 0 0
154jabreezy:0 Mercury 6.53 0.09 0 0
155snowflakes:0 haoyu 7.08 0.03 0 0
156jabreezy:1 Mercury 7.21 0.10 0 0
157burrito:1 haoyu 7.50 0.10 0 0
158DinnerPartyPlannerBM:0 Aristotle 7.76 0.11 0 0
159Andys:1 Aristotle 7.95 0.13 0 0
160NA:1 Elphaba 8.23 0.04 0 0
161David H.:1 DeeEmEm 8.29 0.33 0 0
162Walter Little:1 haoyu 8.65 0.03 0 0
163Andrew Werner:0 Aaron Doll 8.86 0.33 0 0
164Valya Barboy:1 Shaheed Chagani 8.91 0.18 0 0
165ebp:1 haoyu 9.50 0.04 0 0
166Ben Chen:1 spl 10.63 0.20 0 0
167Anon5:0 haoyu 11.12 0.05 0 0
168Andrew Werner:1 haoyu 11.54 0.11 0 0
169CAPS LOCK:0 Aristotle 12.21 0.20 0 0
170BH:1 haoyu 13.59 0.05 0 0
171BH:0 haoyu 14.32 0.07 0 0
172Jessie Chen:0 Joel Faron 15.00 0.13 1 1
173Dusty:1 Shaheed Chagani 15.00 0.22 1 0
174Walter Little:0 haoyu 15.00 0.04 1 0
175EC:1 haoyu 15.00 0.03 1 0
176Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
177Mike Hunt:1 Aristotle 15.00 0.29 1 0
178Charliezsc:0 jgs 15.00 14.98 1 1
179Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
180Jessie Chen:1 Joel Faron 15.00 0.12 1 1
181David H.:0 AFC 15.00 0.28 1 0
182Andrew Grasso:1 Shaheed Chagani 15.00 0.15 1 0
183AFC:1 Aristotle 15.00 0.16 1 0
184CookieMonster:0 CookieMonster 15.00 0.82 1 0
185DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1860108:0 jgs 15.00 14.98 1 1
187CookieMonster:1 CookieMonster 15.00 1.10 1 0
188spl:0 Elphaba 15.00 0.09 2 0
189T. Capote:0 haoyu 15.00 0.00 2 2
190T. Capote:1 haoyu 15.00 0.00 2 2
191snowflakes:1 haoyu 15.00 0.03 2 0
192Dusty:0 CookieMonster 15.00 1.39 3 0
193spl:1 haoyu 15.00 0.06 3 0
194SuperFan:0 jgs 15.00 14.98 4 4
195SuperFan:1 jgs 15.00 14.98 4 4
196NA:0 haoyu 15.00 0.03 6 0
197Supahaka:0 Andrew Werner 15.00 15.00 37 35
198Supahaka:1 Joel Faron 15.00 15.00 37 35
199Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
200Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
201nupog:0 Aristotle 15.00 0.13 129 0
202AFC:0 CookieMonster 15.00 0.34 2 0
203nupog:1 Aristotle 15.00 0.12 55 0
204Deric Cheng:1 jgs 15.01 14.98 1 1
205Absurdity:1 Aristotle 15.01 0.18 1 0
206Yacob Y.:1 Aristotle 15.01 15.00 10 1
207Matt Goldsmith:1 Happy 15.01 0.03 510489 0
208Absurdity:0 Aristotle 15.01 0.23 1 0
20913a:0 Aaron Doll 15.01 15.00 51791 21
210Shaheed Chagani:1 Aristotle 15.01 0.11 6 0
211Elphaba:0 Aristotle 15.01 0.24 18188 0
21213a:1 Aaron Doll 15.01 15.00 65309 29
213Nihar the Great:0 Aristotle 15.01 0.23 21816 0
214CAPS LOCK:1 Aristotle 15.01 0.25 1048 0
215Elphaba:1 Aristotle 15.01 0.22 20549 0
216Aristotle:1 Aristotle 15.01 9.69 734433 0
217Shaheed Chagani:0 Aristotle 15.02 0.17 4 0
218Aaron Doll:1 Aristotle 15.02 1.27 294674 0
219Aaron Doll:0 Aristotle 15.03 0.56 231307 0
220Bar Shabtai:0 Aaron Doll 15.03 15.01 305714 1
221Nihar the Great:1 Aristotle 15.03 0.25 20774 0
222John Whelchel:1 haoyu 15.04 0.11 1 0
223Matt Goldsmith:0 Nihar the Great 15.05 0.03 514901 0
224Deric Cheng:0 jgs 15.09 14.99 1 1
225Aristotle:0 Aristotle 15.11 15.00 717389 1
226jgs:1 haoyu 15.11 0.18 10 0
227jgs:0 Aristotle 15.21 0.12 8 0
228Bar Shabtai:1 haoyu 15.23 0.12 83 0


SatSolvers Ranklist Generators Ranklist