SatSolvers Ranklist Generators Ranklist

Stats for satsolver: EC

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 EC 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 EC 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: EC
Rank: 25 / 118
Average Score: 5.32
Median Score: 0.48
Description: Vanilla WalkSat
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2K.L.:1 KingBach 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4Miranda:1 cat 0.00 0.00 0 0
5BMJ:0 Elphaba 0.00 0.00 0 0
6bigwig:1 KingBach 0.00 0.00 0 0
7Bebe Shi:0 KingBach 0.00 0.00 0 0
8Bebe Shi:1 KingBach 0.00 0.00 0 0
9Jonathan Kwok:1 KingBach 0.00 0.00 0 0
10BMJ:1 burrito 0.00 0.00 0 0
11Happy:1 KingBach 0.00 0.00 0 0
12Ravi Tandon:1 KingBach 0.00 0.00 0 0
13Miranda:0 cat 0.00 0.00 0 0
14Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
15Solving For Clauses:1 haoyu 0.01 0.00 0 0
16Joshua Zimmer:0 haoyu 0.01 0.00 0 0
17Blam:1 Elphaba 0.01 0.00 0 0
18Blam:0 Elphaba 0.01 0.00 0 0
19Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
20Tree Prophet:0 haoyu 0.01 0.00 0 0
21Joshua Zimmer:1 haoyu 0.01 0.00 0 0
22Gewang:0 Jonathan Kwok 0.01 0.00 0 0
23haoyu:1 Anon5 0.01 0.01 0 0
24David Paulk:1 Bar Shabtai 0.01 0.00 0 0
25Gewang:1 Jonathan Kwok 0.01 0.00 0 0
26David Paulk:0 cat 0.01 0.00 0 0
27Daffy Duck:1 haoyu 0.01 0.00 0 0
28bchouGenerator:0 haoyu 0.01 0.00 0 0
29Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
30Quite Satisfied:0 haoyu 0.01 0.00 0 0
31R. A. B.:1 cat 0.01 0.00 0 0
32cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
33K.L.:0 haoyu 0.01 0.00 0 0
34cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
35Happy:0 haoyu 0.01 0.00 0 0
36The Kraken:1 haoyu 0.01 0.00 0 0
37bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
38R. A. B.:0 Nihar the Great 0.01 0.00 0 0
39haoyu:0 KingBach 0.01 0.01 0 0
40Jordan Ash:1 Bar Shabtai 0.01 0.01 0 0
41Qinlan Shen:0 Bar Shabtai 0.01 0.01 0 0
42Mickey Mouse:1 haoyu 0.02 0.01 0 0
43Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
44Tom T:0 EC 0.02 0.02 0 0
45Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
46The Kraken:0 haoyu 0.02 0.00 0 0
47Tree Prophet:1 haoyu 0.02 0.00 0 0
48Scheduling Generator 203:1 Jameh 0.02 0.02 0 0
49Mike Honcho:0 Miranda 0.02 0.01 0 0
50Scheduling Generator 203:0 jgs 0.02 0.01 0 0
51Jordan Ash:0 EC 0.03 0.03 0 0
52Jameh:0 haoyu 0.03 0.01 0 0
53weezy:1 Bar Shabtai 0.03 0.01 0 0
54Sunny:1 jabreezy 0.03 0.01 0 0
550108:1 haoyu 0.03 0.01 0 0
56Sunny:0 Green "The Bean" Choi 0.03 0.02 0 0
57Tom T:1 Andrew Werner 0.03 0.02 0 0
58Tiny Wings:0 haoyu 0.04 0.02 0 0
59weezy:0 Bar Shabtai 0.04 0.01 0 0
60Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
61totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
62Alex Fish:1 haoyu 0.05 0.02 0 0
63vluu:1 Nihar the Great 0.05 0.02 0 0
64Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
65Tiny Wings:1 haoyu 0.05 0.01 0 0
66vluu:0 Nihar the Great 0.05 0.01 0 0
67David Lackey:0 Anon5 0.05 0.03 0 0
68Dr Roberto:0 Andrew Grasso 0.06 0.03 0 0
69David Lackey:1 Bar Shabtai 0.06 0.03 0 0
70totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
71Boomshanka:0 haoyu 0.06 0.01 0 0
72The Whitman Whale:0 bigwig 0.07 0.04 0 0
73Janie Gu:0 Glenn Fisher 0.07 0.07 0 0
74Alex Fish:0 haoyu 0.07 0.01 0 0
75Jameh:1 haoyu 0.07 0.01 0 0
76Dr Roberto:1 Andrew Grasso 0.08 0.02 0 0
77cat:0 haoyu 0.08 0.03 0 0
78The Whitman Whale:1 Andrew Grasso 0.09 0.03 0 0
79Bob Dondero:1 Mickey Mouse 0.10 0.03 0 0
80cat:1 haoyu 0.10 0.03 0 0
81Nikhilesh Sigatapu:0 haoyu 0.10 0.03 0 0
82Linda:0 Andrew Grasso 0.10 0.01 0 0
83Ytterbium:1 Nihar the Great 0.12 0.02 0 0
84DeeEmEm:1 haoyu 0.14 0.02 0 0
85Anon_K_P:0 haoyu 0.14 0.02 0 0
86Keji Xu:0 Nihar the Great 0.15 0.03 0 0
87Keji Xu:1 Nihar the Great 0.16 0.04 0 0
88AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.17 0.00 0 0
89Samuel Jerome:1 haoyu 0.17 0.03 0 0
90Bob Dondero:0 Andrew Grasso 0.17 0.02 0 0
91Lisa Kim:1 Bar Shabtai 0.17 0.06 0 0
92George Okeowo:0 Andrew Grasso 0.18 0.01 0 0
93George Okeowo:1 Andrew Grasso 0.18 0.01 0 0
94Fanny:0 Aristotle 0.21 0.10 0 0
95Anon_K_P:1 Aristotle 0.22 0.03 0 0
96Glenn Fisher:0 Elphaba 0.22 0.02 0 0
97Lisa Kim:0 Aristotle 0.23 0.07 0 0
98Samuel Jerome:0 haoyu 0.25 0.03 0 0
99Nikhilesh Sigatapu:1 haoyu 0.25 0.04 0 0
100Yan Wu:0 haoyu 0.26 0.05 0 0
101Mercury:0 haoyu 0.29 0.05 0 0
102Tao:0 Bar Shabtai 0.31 0.02 0 0
103Janie Gu:1 Jonathan Kwok 0.33 0.07 0 0
104kt4124:0 haoyu 0.35 0.03 0 0
105Sally Smith:0 haoyu 0.35 0.04 0 0
106Mercury:1 haoyu 0.36 0.05 0 0
107Tao:1 Aristotle 0.38 0.07 0 0
108Yan Wu:1 haoyu 0.38 0.04 0 0
109bfang:0 haoyu 0.38 0.04 0 0
110Linda:1 Andrew Grasso 0.40 0.02 0 0
111EC:1 haoyu 0.44 0.03 0 0
112bfang:1 haoyu 0.46 0.04 0 0
113Sally Smith:1 haoyu 0.46 0.04 0 0
114Matt Haake:0 haoyu 0.48 0.05 0 0
115KingBach:1 haoyu 0.49 0.04 0 0
116kt4124:1 haoyu 0.49 0.04 0 0
117AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.51 0.01 0 0
118KingBach:0 haoyu 0.53 0.06 0 0
119Batman:1 haoyu 0.55 0.04 0 0
120Khoa:0 haoyu 0.67 0.09 0 0
121Matt Haake:1 haoyu 0.72 0.05 0 0
122Batman:0 haoyu 0.75 0.04 0 0
123Khoa:1 Aristotle 0.80 0.09 0 0
124Sprt:1 haoyu 0.83 0.05 0 0
125soccer:1 haoyu 0.86 0.04 0 0
126EC:0 haoyu 0.99 0.03 0 0
127Sabar Dasgupta:1 Aaron Doll 1.23 0.17 0 0
128soccer:0 haoyu 1.32 0.04 0 0
129Yacob Y.:0 haoyu 1.54 0.06 0 0
130DinnerPartyPlannerBM:1 Nihar the Great 1.65 0.06 0 0
131Anon5:1 Green "The Bean" Choi 1.66 0.07 0 0
132Brendan Wright:0 haoyu 2.08 0.10 0 0
133burrito:0 haoyu 2.08 0.09 0 0
134Mr. Blobby:0 Green "The Bean" Choi 2.17 0.14 0 0
135dfshasdsf12:0 haoyu 2.46 0.09 0 0
136Lil Thug:1 Andrew Grasso 2.81 0.03 0 0
137Sabar Dasgupta:0 spl 2.87 0.23 0 0
138Aaron H:1 Aristotle 2.89 0.11 0 0
139Aaron H:0 Aristotle 3.22 0.11 0 0
140Lil Thug:0 Andrew Grasso 3.54 0.03 0 0
141Sprt:0 Aristotle 3.79 0.11 0 0
142Andrew Grasso:1 Shaheed Chagani 3.80 0.15 0 0
143Brendan Wright:1 Deric Cheng 4.06 0.10 0 0
144DinnerPartyPlannerBM:0 Aristotle 4.88 0.11 0 0
145snowflakes:1 haoyu 5.03 0.03 0 0
146Ben Chen:0 Elphaba 5.17 0.07 0 0
147dfshasdsf12:1 Nihar the Great 5.57 0.11 0 0
148jabreezy:0 Mercury 5.87 0.09 0 0
149Andys:1 Aristotle 6.29 0.13 0 0
150Mike Hunt:0 Aristotle 6.34 0.27 0 0
151Andrew Werner:0 Aaron Doll 6.85 0.33 0 0
152Ben Chen:1 spl 7.70 0.20 0 0
153Mr. Blobby:1 dusty 8.27 0.12 0 0
154Walter Little:1 haoyu 10.10 0.03 0 0
155jabreezy:1 Mercury 10.43 0.10 0 0
156Valya Barboy:0 Aristotle 11.40 0.06 0 0
157ebp:1 haoyu 11.51 0.04 0 0
158BH:0 haoyu 11.65 0.07 0 0
159BH:1 haoyu 12.00 0.05 0 0
160Andrew Werner:1 haoyu 12.34 0.11 0 0
161Glenn Fisher:1 jabreezy 12.50 0.09 0 0
162CAPS LOCK:0 Aristotle 12.68 0.20 0 0
163John Whelchel:0 haoyu 12.81 0.06 0 0
164nupog:1 Aristotle 12.93 0.12 0 0
165nupog:0 Aristotle 13.32 0.13 0 0
166Charliezsc:1 haoyu 13.41 0.07 0 0
167Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
1680108:0 jgs 15.00 14.98 1 1
169CookieMonster:1 CookieMonster 15.00 1.10 1 0
170T. Capote:0 haoyu 15.00 0.00 2 2
171DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
172T. Capote:1 haoyu 15.00 0.00 2 2
173snowflakes:0 haoyu 15.00 0.03 4 0
174Jessie Chen:1 Joel Faron 15.00 0.12 4 1
175Quite Satisfied:1 Joel Faron 15.00 2.11 5 1
176Fanny:1 Aristotle 15.00 0.12 5 0
177Jessie Chen:0 Joel Faron 15.00 0.13 6 1
178Absurdity:1 Aristotle 15.00 0.18 6 0
179Dusty:1 Shaheed Chagani 15.00 0.22 7 0
180Walter Little:0 haoyu 15.00 0.04 8 0
181David H.:0 AFC 15.00 0.28 8 0
182Valya Barboy:1 Shaheed Chagani 15.00 0.18 11 0
183AFC:1 Aristotle 15.00 0.16 11 0
184Andrew Grasso:0 Aaron Doll 15.00 0.18 11 0
185David H.:1 DeeEmEm 15.00 0.33 12 0
186Anon5:0 haoyu 15.00 0.05 12 0
187Dusty:0 CookieMonster 15.00 1.39 12 0
188spl:0 Elphaba 15.00 0.09 12 0
189SuperFan:0 jgs 15.00 14.98 13 4
190AFC:0 CookieMonster 15.00 0.34 14 0
191Yacob Y.:1 Aristotle 15.00 15.00 14 1
192SuperFan:1 jgs 15.00 14.98 19 4
193NA:1 Elphaba 15.00 0.04 34 0
194NA:0 haoyu 15.00 0.03 37 0
195Supahaka:0 Andrew Werner 15.00 15.00 58 35
196Supahaka:1 Joel Faron 15.00 15.00 59 35
197Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
198Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
199Shaheed Chagani:0 Aristotle 15.00 0.17 799 0
200ebp:0 haoyu 15.00 0.04 10 0
201Nihar the Great:1 Aristotle 15.00 0.25 22842 0
202CookieMonster:0 CookieMonster 15.00 0.82 2 0
203Elphaba:1 Aristotle 15.00 0.22 5284 0
204spl:1 haoyu 15.00 0.06 24 0
205Charliezsc:0 jgs 15.01 14.98 7 1
20613a:0 Aaron Doll 15.01 15.00 51288 21
207Shaheed Chagani:1 Aristotle 15.01 0.11 509 0
208Absurdity:0 Aristotle 15.01 0.23 7 0
209Elphaba:0 Aristotle 15.01 0.24 5984 0
210Nihar the Great:0 Aristotle 15.01 0.23 22649 0
211Aaron Doll:0 Aristotle 15.01 0.56 230492 0
212Aristotle:0 Aristotle 15.01 15.00 708065 1
213Bar Shabtai:0 Aaron Doll 15.02 15.01 287870 1
214CAPS LOCK:1 Aristotle 15.02 0.25 84 0
21513a:1 Aaron Doll 15.02 15.00 45951 29
216Andys:0 Aristotle 15.02 0.12 2 0
217Deric Cheng:0 jgs 15.02 14.99 2 1
218Mike Hunt:1 Aristotle 15.02 0.29 6 0
219Aaron Doll:1 Aristotle 15.03 1.27 284883 0
220Matt Goldsmith:1 Happy 15.05 0.03 515183 0
221John Whelchel:1 haoyu 15.05 0.11 3 0
222Aristotle:1 Aristotle 15.05 9.69 732055 0
223Deric Cheng:1 jgs 15.06 14.98 2 1
224jgs:0 Aristotle 15.08 0.12 1 0
225burrito:1 haoyu 15.11 0.10 13 0
226jgs:1 haoyu 15.14 0.18 4 0
227Bar Shabtai:1 haoyu 15.15 0.12 155 0
228Matt Goldsmith:0 Nihar the Great 15.15 0.03 511784 0


SatSolvers Ranklist Generators Ranklist