SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Charlie Shucheng Zhu

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 Charlie Shucheng Zhu 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 Charlie Shucheng Zhu 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: Charlie Shucheng Zhu
Rank: 44 / 118
Average Score: 6.85
Median Score: 0.52
Description: My SAT solver's description: A variant of WalkSAT solver with restart feature.
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
5BMJ:1 burrito 0.00 0.00 0 0
6K.L.:1 KingBach 0.00 0.00 0 0
7Bebe Shi:0 KingBach 0.00 0.00 0 0
8Ravi Tandon:1 KingBach 0.00 0.00 0 0
9Solving For Clauses:0 Glenn Fisher 0.00 0.00 0 0
10Solving For Clauses:1 haoyu 0.00 0.00 0 0
11Miranda:1 cat 0.00 0.00 0 0
12Joshua Zimmer:1 haoyu 0.01 0.00 0 0
13Daffy Duck:1 haoyu 0.01 0.00 0 0
14Joshua Zimmer:0 haoyu 0.01 0.00 0 0
15Blam:0 Elphaba 0.01 0.00 0 0
16Miranda:0 cat 0.01 0.00 0 0
17Happy:1 KingBach 0.01 0.00 0 0
18haoyu:1 Anon5 0.01 0.01 0 0
19The Kraken:1 haoyu 0.01 0.00 0 0
20Tree Prophet:0 haoyu 0.01 0.00 0 0
21Jonathan Kwok:1 KingBach 0.01 0.00 0 0
22haoyu:0 KingBach 0.01 0.01 0 0
23Gewang:0 Jonathan Kwok 0.01 0.00 0 0
24K.L.:0 haoyu 0.01 0.00 0 0
25R. A. B.:1 cat 0.01 0.00 0 0
26Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
27Gewang:1 Jonathan Kwok 0.01 0.00 0 0
28bchouGenerator:0 haoyu 0.01 0.00 0 0
29Blam:1 Elphaba 0.01 0.00 0 0
30Happy:0 haoyu 0.01 0.00 0 0
31The Kraken:0 haoyu 0.01 0.00 0 0
32David Paulk:0 cat 0.01 0.00 0 0
33Jordan Ash:1 Bar Shabtai 0.01 0.01 0 0
34Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
35BMJ:0 Elphaba 0.01 0.00 0 0
36Qinlan Shen:0 Bar Shabtai 0.01 0.01 0 0
37David Paulk:1 Bar Shabtai 0.01 0.00 0 0
38R. A. B.:0 Nihar the Great 0.01 0.00 0 0
39Quite Satisfied:0 haoyu 0.01 0.00 0 0
40cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
41Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
42Mickey Mouse:1 haoyu 0.02 0.01 0 0
43Tree Prophet:1 haoyu 0.02 0.00 0 0
44bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
45Scheduling Generator 203:1 Jameh 0.02 0.02 0 0
46Mike Honcho:0 Miranda 0.02 0.01 0 0
47weezy:0 Bar Shabtai 0.02 0.01 0 0
48cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
49Tiny Wings:1 haoyu 0.03 0.01 0 0
500108:1 haoyu 0.03 0.01 0 0
51Jameh:0 haoyu 0.03 0.01 0 0
52Scheduling Generator 203:0 jgs 0.03 0.01 0 0
53weezy:1 Bar Shabtai 0.03 0.01 0 0
54Tiny Wings:0 haoyu 0.03 0.02 0 0
55Bob Dondero:0 Andrew Grasso 0.04 0.02 0 0
56Jordan Ash:0 EC 0.04 0.03 0 0
57David Lackey:0 Anon5 0.04 0.03 0 0
58Tom T:0 EC 0.04 0.02 0 0
59totallyOnFallBreak:1 Nikhilesh Sigatapu 0.04 0.01 0 0
60Tom T:1 Andrew Werner 0.05 0.02 0 0
61vluu:0 Nihar the Great 0.05 0.01 0 0
62vluu:1 Nihar the Great 0.05 0.02 0 0
63Boomshanka:1 Bar Shabtai 0.05 0.01 0 0
64AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.05 0.00 0 0
65Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
66totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
67Jameh:1 haoyu 0.07 0.01 0 0
68cat:0 haoyu 0.07 0.03 0 0
69Nikhilesh Sigatapu:1 haoyu 0.07 0.04 0 0
70AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.07 0.01 0 0
71The Whitman Whale:1 Andrew Grasso 0.07 0.03 0 0
72Mike Honcho:1 Jessie Chen 0.07 0.01 0 0
73Bob Dondero:1 Mickey Mouse 0.07 0.03 0 0
74Alex Fish:1 haoyu 0.07 0.02 0 0
75Keji Xu:1 Nihar the Great 0.08 0.04 0 0
76Sunny:1 jabreezy 0.08 0.01 0 0
77David Lackey:1 Bar Shabtai 0.09 0.03 0 0
78Alex Fish:0 haoyu 0.09 0.01 0 0
79The Whitman Whale:0 bigwig 0.10 0.04 0 0
80Boomshanka:0 haoyu 0.11 0.01 0 0
81Janie Gu:0 Glenn Fisher 0.11 0.07 0 0
82Janie Gu:1 Jonathan Kwok 0.11 0.07 0 0
83Samuel Jerome:1 haoyu 0.11 0.03 0 0
84Linda:0 Andrew Grasso 0.11 0.01 0 0
85Ytterbium:1 Nihar the Great 0.11 0.02 0 0
86Dr Roberto:0 Andrew Grasso 0.12 0.03 0 0
87cat:1 haoyu 0.13 0.03 0 0
88Samuel Jerome:0 haoyu 0.14 0.03 0 0
89George Okeowo:0 Andrew Grasso 0.16 0.01 0 0
90Linda:1 Andrew Grasso 0.16 0.02 0 0
91Sunny:0 Green "The Bean" Choi 0.16 0.02 0 0
92Lisa Kim:1 Bar Shabtai 0.16 0.06 0 0
93George Okeowo:1 Andrew Grasso 0.17 0.01 0 0
94Tao:1 Aristotle 0.20 0.07 0 0
95EC:0 haoyu 0.21 0.03 0 0
96Nikhilesh Sigatapu:0 haoyu 0.21 0.03 0 0
97Keji Xu:0 Nihar the Great 0.21 0.03 0 0
98Glenn Fisher:0 Elphaba 0.23 0.02 0 0
99Tao:0 Bar Shabtai 0.24 0.02 0 0
100Lisa Kim:0 Aristotle 0.26 0.07 0 0
101kt4124:0 haoyu 0.28 0.03 0 0
102Sally Smith:0 haoyu 0.29 0.04 0 0
103DeeEmEm:1 haoyu 0.29 0.02 0 0
104bfang:1 haoyu 0.32 0.04 0 0
105Mercury:0 haoyu 0.32 0.05 0 0
106Mercury:1 haoyu 0.38 0.05 0 0
107bfang:0 haoyu 0.38 0.04 0 0
108Dr Roberto:1 Andrew Grasso 0.38 0.02 0 0
109Batman:1 haoyu 0.38 0.04 0 0
110Anon_K_P:1 Aristotle 0.38 0.03 0 0
111KingBach:1 haoyu 0.40 0.04 0 0
112kt4124:1 haoyu 0.43 0.04 0 0
113Batman:0 haoyu 0.50 0.04 0 0
114Sally Smith:1 haoyu 0.52 0.04 0 0
115Yan Wu:1 haoyu 0.54 0.04 0 0
116Anon_K_P:0 haoyu 0.57 0.02 0 0
117soccer:0 haoyu 0.62 0.04 0 0
118KingBach:0 haoyu 0.64 0.06 0 0
119Yan Wu:0 haoyu 0.77 0.05 0 0
120Sprt:1 haoyu 0.78 0.05 0 0
121Khoa:0 haoyu 0.79 0.09 0 0
122Khoa:1 Aristotle 0.85 0.09 0 0
123Charliezsc:1 haoyu 1.09 0.07 0 0
124soccer:1 haoyu 1.10 0.04 0 0
125DinnerPartyPlannerBM:1 Nihar the Great 1.49 0.06 0 0
126EC:1 haoyu 1.53 0.03 0 0
127Sabar Dasgupta:0 spl 1.55 0.23 0 0
128Brendan Wright:0 haoyu 1.66 0.10 0 0
129dfshasdsf12:0 haoyu 1.95 0.09 0 0
130Fanny:1 Aristotle 2.12 0.12 0 0
131Aaron H:0 Aristotle 2.37 0.11 0 0
132John Whelchel:0 haoyu 2.49 0.06 0 0
133Sabar Dasgupta:1 Aaron Doll 2.96 0.17 0 0
134burrito:0 haoyu 3.07 0.09 0 0
135Aaron H:1 Aristotle 3.29 0.11 0 0
136Brendan Wright:1 Deric Cheng 3.70 0.10 0 0
137jabreezy:0 Mercury 4.28 0.09 0 0
138Sprt:0 Aristotle 4.61 0.11 0 0
139dfshasdsf12:1 Nihar the Great 4.91 0.11 0 0
140Yacob Y.:0 haoyu 5.33 0.06 0 0
141DinnerPartyPlannerBM:0 Aristotle 5.94 0.11 0 0
142Lil Thug:1 Andrew Grasso 6.20 0.03 0 0
143Valya Barboy:0 Aristotle 6.90 0.06 0 0
144Fanny:0 Aristotle 7.17 0.10 0 0
145Matt Haake:1 haoyu 11.27 0.05 0 0
146Lil Thug:0 Andrew Grasso 13.55 0.03 0 0
147Matt Haake:0 haoyu 14.21 0.05 0 0
148jabreezy:1 Mercury 14.29 0.10 0 0
149snowflakes:0 haoyu 14.84 0.03 0 0
150Mr. Blobby:0 Green "The Bean" Choi 14.89 0.14 0 0
151CookieMonster:0 CookieMonster 15.00 0.82 1 0
152ebp:0 haoyu 15.00 0.04 2 0
153David H.:0 AFC 15.00 0.28 2 0
154Walter Little:1 haoyu 15.00 0.03 9 0
155Shaheed Chagani:1 Aristotle 15.00 0.11 10483 0
156Anon5:0 haoyu 15.00 0.05 3 0
157spl:0 Elphaba 15.00 0.09 3 0
158ebp:1 haoyu 15.00 0.04 13 0
159CookieMonster:1 CookieMonster 15.00 1.10 1 0
160AFC:1 Aristotle 15.00 0.16 4 0
161spl:1 haoyu 15.00 0.06 4 0
162BH:0 haoyu 15.00 0.07 238 0
163jgs:0 Aristotle 15.00 0.12 706 0
164nupog:0 Aristotle 15.00 0.13 1549 0
165Shaheed Chagani:0 Aristotle 15.00 0.17 10341 0
166Absurdity:0 Aristotle 15.01 0.23 6 0
167Bar Shabtai:1 haoyu 15.01 0.12 7071 0
168AFC:0 CookieMonster 15.01 0.34 4 0
169Charliezsc:0 jgs 15.01 14.98 3 1
170Absurdity:1 Aristotle 15.01 0.18 7 0
171jgs:1 haoyu 15.01 0.18 488 0
172nupog:1 Aristotle 15.01 0.12 2874 0
173Nihar the Great:1 Aristotle 15.01 0.25 23185 0
174Nihar the Great:0 Aristotle 15.01 0.23 23456 0
175Yacob Y.:1 Aristotle 15.01 15.00 9 1
176Andys:0 Aristotle 15.02 0.12 17 0
177Elphaba:1 Aristotle 15.02 0.22 29984 0
178John Whelchel:1 haoyu 15.02 0.11 2 0
179BH:1 haoyu 15.02 0.05 135 0
180Elphaba:0 Aristotle 15.03 0.24 21765 0
181Andys:1 Aristotle 15.04 0.13 12 0
182Matt Goldsmith:0 Nihar the Great 15.04 0.03 514284 0
183Aaron Doll:0 Aristotle 15.06 0.56 264544 0
184Bar Shabtai:0 Aaron Doll 15.06 15.01 315143 1
18513a:0 Aaron Doll 15.07 15.00 97152 21
186Aristotle:1 Aristotle 15.07 9.69 720155 0
187Mike Hunt:1 Aristotle 15.08 0.29 15 0
188Mike Hunt:0 Aristotle 15.08 0.27 12 0
189Aaron Doll:1 Aristotle 15.08 1.27 322238 0
19013a:1 Aaron Doll 15.09 15.00 101364 29
191Deric Cheng:0 jgs 15.10 14.99 24 1
192burrito:1 haoyu 15.12 0.10 22 0
193CAPS LOCK:0 Aristotle 15.12 0.20 2 0
194Aristotle:0 Aristotle 15.13 15.00 725426 1
195Deric Cheng:1 jgs 15.18 14.98 3 1
196Andrew Werner:0 Aaron Doll 15.20 0.33 268 0
197Andrew Werner:1 haoyu 15.20 0.11 25 0
198CAPS LOCK:1 Aristotle 15.24 0.25 2235 0
199Matt Goldsmith:1 Happy 15.26 0.03 522792 0
200Anon5:1 Green "The Bean" Choi 18.32 0.07 0 0
201David H.:1 DeeEmEm 22.50 0.33 1 0
202Jessie Chen:0 Joel Faron 22.50 0.13 1 1
203Valya Barboy:1 Shaheed Chagani 22.50 0.18 1 0
204Qinlan Shen:1 R. A. B. 22.50 9.00 1 1
205Quite Satisfied:1 Joel Faron 22.50 2.11 1 1
206Jessie Chen:1 Joel Faron 22.50 0.12 1 1
207DeeEmEm:0 CAPS LOCK 22.50 13.00 1 1
2080108:0 jgs 22.50 14.98 1 1
209snowflakes:1 haoyu 22.50 0.03 1 0
210T. Capote:0 haoyu 22.50 0.00 2 2
211T. Capote:1 haoyu 22.50 0.00 2 2
212Glenn Fisher:1 jabreezy 22.50 0.09 2 0
213SuperFan:0 jgs 22.50 14.98 4 4
214SuperFan:1 jgs 22.50 14.98 4 4
215Walter Little:0 haoyu 22.50 0.04 5 0
216Andrew Grasso:1 Shaheed Chagani 22.50 0.15 6 0
217Andrew Grasso:0 Aaron Doll 22.50 0.18 8 0
218Dusty:1 Shaheed Chagani 22.50 0.22 9 0
219Dusty:0 CookieMonster 22.50 1.39 11 0
220Ben Chen:0 Elphaba 22.50 0.07 13 0
221NA:0 haoyu 22.50 0.03 23 0
222NA:1 Elphaba 22.50 0.04 25 0
223Supahaka:0 Andrew Werner 22.50 15.00 41 35
224Supahaka:1 Joel Faron 22.50 15.00 43 35
225Mark S. Fillmore:1 Supahaka 22.50 0.04 79 79
226Mark S. Fillmore:0 Supahaka 22.50 0.01 116 116
227Mr. Blobby:1 dusty 22.50 0.12 3 0
228Ben Chen:1 spl 22.50 0.20 7 0


SatSolvers Ranklist Generators Ranklist