SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Ben Chen

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 Ben Chen 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 Ben Chen 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: Ben Chen
Rank: 51 / 118
Average Score: 7.65
Median Score: 0.45
Description: The SatSolver is based on WalkSat with a slight modification. Clauses that contain only one literal each are initially noted. Because a clause with only have one literal is trivially easy to solve, the values of the symbols corresponding to these single literal clauses are permanently set. During WalkSat, changing the values of these preset symbols is avoided.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2Ravi Tandon:0 KingBach 0.00 0.00 0 0
3BMJ:1 burrito 0.00 0.00 0 0
4K.L.: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
7Bebe Shi:1 KingBach 0.00 0.00 0 0
8bigwig:0 Andrew Werner 0.00 0.00 0 0
9Miranda:1 cat 0.00 0.00 0 0
10Miranda:0 cat 0.00 0.00 0 0
11Blam:1 Elphaba 0.01 0.00 0 0
12Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
13Solving For Clauses:1 haoyu 0.01 0.00 0 0
14Joshua Zimmer:1 haoyu 0.01 0.00 0 0
15Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
16haoyu:0 KingBach 0.01 0.01 0 0
17haoyu:1 Anon5 0.01 0.01 0 0
18K.L.:0 haoyu 0.01 0.00 0 0
19Blam:0 Elphaba 0.01 0.00 0 0
20R. A. B.:1 cat 0.01 0.00 0 0
21Jonathan Kwok:1 KingBach 0.01 0.00 0 0
22Gewang:0 Jonathan Kwok 0.01 0.00 0 0
23Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
24Tree Prophet:0 haoyu 0.01 0.00 0 0
25bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
26BMJ:0 Elphaba 0.01 0.00 0 0
27Daffy Duck:1 haoyu 0.01 0.00 0 0
28Joshua Zimmer:0 haoyu 0.01 0.00 0 0
29Gewang:1 Jonathan Kwok 0.01 0.00 0 0
30Happy:1 KingBach 0.01 0.00 0 0
31David Paulk:0 cat 0.02 0.00 0 0
32Quite Satisfied:0 haoyu 0.02 0.00 0 0
33bchouGenerator:0 haoyu 0.02 0.00 0 0
34The Kraken:1 haoyu 0.02 0.00 0 0
35Happy:0 haoyu 0.02 0.00 0 0
36cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
37cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
38David Paulk:1 Bar Shabtai 0.02 0.00 0 0
39Scheduling Generator 203:0 jgs 0.03 0.01 0 0
40Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
41Tree Prophet:1 haoyu 0.03 0.00 0 0
42R. A. B.:0 Nihar the Great 0.03 0.00 0 0
43Jameh:0 haoyu 0.03 0.01 0 0
44Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
45The Kraken:0 haoyu 0.03 0.00 0 0
46Mickey Mouse:1 haoyu 0.04 0.01 0 0
47Tom T:0 EC 0.04 0.02 0 0
48Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
49Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
50weezy:1 Bar Shabtai 0.04 0.01 0 0
51Tom T:1 Andrew Werner 0.04 0.02 0 0
52Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
53Sunny:1 jabreezy 0.05 0.01 0 0
54Jameh:1 haoyu 0.05 0.01 0 0
55Sunny:0 Green "The Bean" Choi 0.06 0.02 0 0
56weezy:0 Bar Shabtai 0.06 0.01 0 0
57Tiny Wings:0 haoyu 0.06 0.02 0 0
58David Lackey:1 Bar Shabtai 0.07 0.03 0 0
59Dr Roberto:1 Andrew Grasso 0.07 0.02 0 0
60totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
61AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.07 0.00 0 0
62David Lackey:0 Anon5 0.07 0.03 0 0
63Ytterbium:0 Andrew Grasso 0.08 0.02 0 0
64Mike Honcho:1 Jessie Chen 0.08 0.01 0 0
65Mike Honcho:0 Miranda 0.08 0.01 0 0
66Keji Xu:0 Nihar the Great 0.08 0.03 0 0
67totallyOnFallBreak:1 Nikhilesh Sigatapu 0.08 0.01 0 0
68Alex Fish:1 haoyu 0.08 0.02 0 0
69The Whitman Whale:1 Andrew Grasso 0.09 0.03 0 0
70Jordan Ash:0 EC 0.09 0.03 0 0
71cat:0 haoyu 0.10 0.03 0 0
72vluu:0 Nihar the Great 0.10 0.01 0 0
73vluu:1 Nihar the Great 0.10 0.02 0 0
74AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.10 0.01 0 0
75cat:1 haoyu 0.10 0.03 0 0
76Boomshanka:0 haoyu 0.10 0.01 0 0
77Dr Roberto:0 Andrew Grasso 0.10 0.03 0 0
78Keji Xu:1 Nihar the Great 0.11 0.04 0 0
79DeeEmEm:1 haoyu 0.12 0.02 0 0
800108:1 haoyu 0.13 0.01 0 0
81Anon_K_P:1 Aristotle 0.14 0.03 0 0
82Tiny Wings:1 haoyu 0.14 0.01 0 0
83The Whitman Whale:0 bigwig 0.14 0.04 0 0
84Alex Fish:0 haoyu 0.15 0.01 0 0
85Ytterbium:1 Nihar the Great 0.15 0.02 0 0
86Bob Dondero:0 Andrew Grasso 0.16 0.02 0 0
87Samuel Jerome:0 haoyu 0.16 0.03 0 0
88Nikhilesh Sigatapu:1 haoyu 0.17 0.04 0 0
89Tao:0 Bar Shabtai 0.18 0.02 0 0
90Linda:0 Andrew Grasso 0.18 0.01 0 0
91kt4124:1 haoyu 0.18 0.04 0 0
92George Okeowo:1 Andrew Grasso 0.19 0.01 0 0
93Janie Gu:1 Jonathan Kwok 0.19 0.07 0 0
94Janie Gu:0 Glenn Fisher 0.20 0.07 0 0
95George Okeowo:0 Andrew Grasso 0.20 0.01 0 0
96Glenn Fisher:0 Elphaba 0.21 0.02 0 0
97Lisa Kim:1 Bar Shabtai 0.21 0.06 0 0
98kt4124:0 haoyu 0.22 0.03 0 0
99Anon_K_P:0 haoyu 0.28 0.02 0 0
100Sally Smith:1 haoyu 0.29 0.04 0 0
101Lisa Kim:0 Aristotle 0.29 0.07 0 0
102Yan Wu:0 haoyu 0.32 0.05 0 0
103Samuel Jerome:1 haoyu 0.35 0.03 0 0
104Mercury:0 haoyu 0.36 0.05 0 0
105Sally Smith:0 haoyu 0.36 0.04 0 0
106Nikhilesh Sigatapu:0 haoyu 0.38 0.03 0 0
107Bob Dondero:1 Mickey Mouse 0.39 0.03 0 0
108bfang:0 haoyu 0.40 0.04 0 0
109Linda:1 Andrew Grasso 0.41 0.02 0 0
110Tao:1 Aristotle 0.41 0.07 0 0
111Mercury:1 haoyu 0.43 0.05 0 0
112Batman:1 haoyu 0.47 0.04 0 0
113KingBach:1 haoyu 0.51 0.04 0 0
114Batman:0 haoyu 0.54 0.04 0 0
115bfang:1 haoyu 0.60 0.04 0 0
116Brendan Wright:1 Deric Cheng 0.63 0.10 0 0
117Mr. Blobby:1 dusty 0.71 0.12 0 0
118Yan Wu:1 haoyu 0.72 0.04 0 0
119Mr. Blobby:0 Green "The Bean" Choi 0.77 0.14 0 0
120Matt Haake:0 haoyu 0.86 0.05 0 0
121Sprt:1 haoyu 0.87 0.05 0 0
122soccer:0 haoyu 0.89 0.04 0 0
123Khoa:0 haoyu 0.94 0.09 0 0
124Yacob Y.:0 haoyu 0.96 0.06 0 0
125Khoa:1 Aristotle 0.97 0.09 0 0
126Matt Haake:1 haoyu 1.00 0.05 0 0
127KingBach:0 haoyu 1.01 0.06 0 0
128snowflakes:0 haoyu 1.05 0.03 0 0
129Fanny:1 Aristotle 1.19 0.12 0 0
130Dusty:1 Shaheed Chagani 1.29 0.22 0 0
131Fanny:0 Aristotle 1.30 0.10 0 0
132Ben Chen:1 spl 1.55 0.20 0 0
133John Whelchel:1 haoyu 1.60 0.11 0 0
134Andrew Grasso:0 Aaron Doll 1.66 0.18 0 0
135burrito:0 haoyu 1.94 0.09 0 0
136soccer:1 haoyu 2.03 0.04 0 0
137DinnerPartyPlannerBM:1 Nihar the Great 2.11 0.06 0 0
138Sabar Dasgupta:1 Aaron Doll 2.23 0.17 0 0
139John Whelchel:0 haoyu 2.25 0.06 0 0
140dfshasdsf12:0 haoyu 2.38 0.09 0 0
141Anon5:1 Green "The Bean" Choi 2.53 0.07 0 0
142snowflakes:1 haoyu 3.03 0.03 0 0
143NA:1 Elphaba 3.18 0.04 0 0
144Ben Chen:0 Elphaba 3.39 0.07 0 0
145Aaron H:0 Aristotle 3.63 0.11 0 0
146Anon5:0 haoyu 3.66 0.05 0 0
147Valya Barboy:1 Shaheed Chagani 3.75 0.18 0 0
148Brendan Wright:0 haoyu 3.79 0.10 0 0
149Lil Thug:1 Andrew Grasso 3.87 0.03 0 0
150Aaron H:1 Aristotle 3.88 0.11 0 0
151Charliezsc:1 haoyu 3.88 0.07 0 0
152Sprt:0 Aristotle 3.93 0.11 0 0
153Lil Thug:0 Andrew Grasso 3.97 0.03 0 0
154EC:0 haoyu 4.50 0.03 0 0
155Sabar Dasgupta:0 spl 4.53 0.23 0 0
156dfshasdsf12:1 Nihar the Great 5.01 0.11 0 0
157Andys:0 Aristotle 5.51 0.12 0 0
158Walter Little:1 haoyu 6.01 0.03 0 0
159Walter Little:0 haoyu 6.01 0.04 0 0
160BH:0 haoyu 6.91 0.07 0 0
161jabreezy:0 Mercury 7.38 0.09 0 0
162Valya Barboy:0 Aristotle 7.41 0.06 0 0
163jabreezy:1 Mercury 8.38 0.10 0 0
164Andrew Werner:1 haoyu 8.55 0.11 0 0
165ebp:1 haoyu 9.03 0.04 0 0
166ebp:0 haoyu 9.22 0.04 0 0
167Mike Hunt:0 Aristotle 9.22 0.27 0 0
168DinnerPartyPlannerBM:0 Aristotle 10.07 0.11 0 0
169BH:1 haoyu 10.21 0.05 0 0
170EC:1 haoyu 10.83 0.03 0 0
171Andrew Grasso:1 Shaheed Chagani 11.07 0.15 0 0
172Andrew Werner:0 Aaron Doll 11.21 0.33 0 0
173Glenn Fisher:1 jabreezy 11.54 0.09 0 0
174NA:0 haoyu 11.87 0.03 0 0
175CAPS LOCK:0 Aristotle 11.90 0.20 0 0
176burrito:1 haoyu 12.64 0.10 0 0
177Andys:1 Aristotle 13.33 0.13 0 0
178jgs:0 Aristotle 14.07 0.12 0 0
179nupog:0 Aristotle 14.55 0.13 0 0
180David H.:1 DeeEmEm 15.00 0.33 1 0
181Jessie Chen:0 Joel Faron 15.00 0.13 1 1
182Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
183Dusty:0 CookieMonster 15.00 1.39 1 0
184Jessie Chen:1 Joel Faron 15.00 0.12 1 1
185David H.:0 AFC 15.00 0.28 1 0
186DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1870108:0 jgs 15.00 14.98 1 1
188AFC:0 CookieMonster 15.00 0.34 1 0
189T. Capote:0 haoyu 15.00 0.00 2 2
190T. Capote:1 haoyu 15.00 0.00 2 2
191SuperFan:0 jgs 15.00 14.98 4 4
192SuperFan:1 jgs 15.00 14.98 4 4
193nupog:1 Aristotle 15.00 0.12 23 0
194Shaheed Chagani:1 Aristotle 15.00 0.11 38 0
195AFC:1 Aristotle 15.00 0.16 1 0
196CookieMonster:0 CookieMonster 15.00 0.82 1 0
197CookieMonster:1 CookieMonster 15.00 1.10 1 0
198spl:1 haoyu 15.00 0.06 2 0
199Yacob Y.:1 Aristotle 15.00 15.00 8 1
200Mike Hunt:1 Aristotle 15.00 0.29 2 0
201spl:0 Elphaba 15.00 0.09 3 0
202Nihar the Great:0 Aristotle 15.00 0.23 20195 0
203Absurdity:1 Aristotle 15.00 0.18 1 0
204Elphaba:0 Aristotle 15.00 0.24 11217 0
205Charliezsc:0 jgs 15.01 14.98 1 1
206Deric Cheng:1 jgs 15.01 14.98 1 1
207Absurdity:0 Aristotle 15.01 0.23 1 0
208Bar Shabtai:1 haoyu 15.01 0.12 73 0
209Bar Shabtai:0 Aaron Doll 15.02 15.01 297053 1
210Elphaba:1 Aristotle 15.02 0.22 22588 0
21113a:0 Aaron Doll 15.02 15.00 54849 21
21213a:1 Aaron Doll 15.02 15.00 68392 29
213Shaheed Chagani:0 Aristotle 15.02 0.17 5 0
214Nihar the Great:1 Aristotle 15.03 0.25 20120 0
215Matt Goldsmith:0 Nihar the Great 15.03 0.03 510366 0
216Aaron Doll:1 Aristotle 15.04 1.27 318584 0
217Aristotle:0 Aristotle 15.05 15.00 731787 1
218jgs:1 haoyu 15.05 0.18 17 0
219Aristotle:1 Aristotle 15.07 9.69 741969 0
220Aaron Doll:0 Aristotle 15.09 0.56 244585 0
221Matt Goldsmith:1 Happy 15.12 0.03 507797 0
222CAPS LOCK:1 Aristotle 15.12 0.25 2 0
223Deric Cheng:0 jgs 15.20 14.99 1 1
224Mark S. Fillmore:1 Supahaka - 0.04 - 79
225Quite Satisfied:1 Joel Faron - 2.11 - 1
226Mark S. Fillmore:0 Supahaka - 0.01 - 116
227Supahaka:0 Andrew Werner - 15.00 - 35
228Supahaka:1 Joel Faron - 15.00 - 35


SatSolvers Ranklist Generators Ranklist