SatSolvers Ranklist Generators Ranklist

Stats for satsolver: soccer

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 soccer 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 soccer 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: soccer
Rank: 106 / 118
Average Score: 26.55
Median Score: 7.56
Description: This algorithm is a version of the standard WalkSat with several imporvements.These include making the probability of flipping a random symbol inversely related to the number of false clauses and making it possible to flipseveral random symbols during a single step of the algorithm. Random restarts are also possble depending on the number of sybmols
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3Ravi Tandon:0 KingBach 0.00 0.00 0 0
4Bebe Shi:1 KingBach 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6Jonathan Kwok:1 KingBach 0.01 0.00 0 0
7Miranda:1 cat 0.01 0.00 0 0
8Miranda:0 cat 0.01 0.00 0 0
9Happy:1 KingBach 0.02 0.00 0 0
10Solving For Clauses:1 haoyu 0.02 0.00 0 0
11Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
12Bebe Shi:0 KingBach 0.02 0.00 0 0
13Joshua Zimmer:1 haoyu 0.02 0.00 0 0
14BMJ:1 burrito 0.02 0.00 0 0
15Joshua Zimmer:0 haoyu 0.02 0.00 0 0
16haoyu:1 Anon5 0.03 0.01 0 0
17R. A. B.:1 cat 0.03 0.00 0 0
18bchouGenerator:0 haoyu 0.03 0.00 0 0
19Daffy Duck:0 Andrew Werner 0.03 0.00 0 0
20David Paulk:0 cat 0.03 0.00 0 0
21The Kraken:1 haoyu 0.03 0.00 0 0
22The Kraken:0 haoyu 0.03 0.00 0 0
23Jonathan Kwok:0 Elphaba 0.03 0.00 0 0
24Daffy Duck:1 haoyu 0.03 0.00 0 0
25bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
26David Paulk:1 Bar Shabtai 0.04 0.00 0 0
27Tree Prophet:0 haoyu 0.04 0.00 0 0
28cmF5a3ly:0 Nihar the Great 0.04 0.00 0 0
29Mickey Mouse:1 haoyu 0.04 0.01 0 0
30Tree Prophet:1 haoyu 0.04 0.00 0 0
31Scheduling Generator 203:0 jgs 0.04 0.01 0 0
32cmF5a3ly:1 Nihar the Great 0.04 0.00 0 0
33haoyu:0 KingBach 0.05 0.01 0 0
34Happy:0 haoyu 0.05 0.00 0 0
35Qinlan Shen:0 Bar Shabtai 0.05 0.01 0 0
36weezy:1 Bar Shabtai 0.05 0.01 0 0
37Jameh:0 haoyu 0.05 0.01 0 0
38Scheduling Generator 203:1 Jameh 0.05 0.02 0 0
39Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
40Tom T:1 Andrew Werner 0.06 0.02 0 0
41Tom T:0 EC 0.06 0.02 0 0
42Alex Fish:1 haoyu 0.06 0.02 0 0
43weezy:0 Bar Shabtai 0.07 0.01 0 0
44totallyOnFallBreak:1 Nikhilesh Sigatapu 0.07 0.01 0 0
45Jordan Ash:1 Bar Shabtai 0.08 0.01 0 0
46totallyOnFallBreak:0 Nikhilesh Sigatapu 0.08 0.01 0 0
47R. A. B.:0 Nihar the Great 0.08 0.00 0 0
48vluu:0 Nihar the Great 0.09 0.01 0 0
49Mike Honcho:1 Jessie Chen 0.09 0.01 0 0
50Mike Honcho:0 Miranda 0.09 0.01 0 0
51Ytterbium:0 Andrew Grasso 0.10 0.02 0 0
52vluu:1 Nihar the Great 0.11 0.02 0 0
53DeeEmEm:1 haoyu 0.11 0.02 0 0
54Boomshanka:0 haoyu 0.13 0.01 0 0
55Bob Dondero:0 Andrew Grasso 0.13 0.02 0 0
56cat:0 haoyu 0.15 0.03 0 0
57Tiny Wings:0 haoyu 0.15 0.02 0 0
58Bob Dondero:1 Mickey Mouse 0.16 0.03 0 0
59Dr Roberto:1 Andrew Grasso 0.17 0.02 0 0
60The Whitman Whale:1 Andrew Grasso 0.18 0.03 0 0
61Jameh:1 haoyu 0.19 0.01 0 0
62Tiny Wings:1 haoyu 0.19 0.01 0 0
63cat:1 haoyu 0.20 0.03 0 0
64George Okeowo:0 Andrew Grasso 0.23 0.01 0 0
65George Okeowo:1 Andrew Grasso 0.26 0.01 0 0
66Janie Gu:0 Glenn Fisher 0.26 0.07 0 0
67Lisa Kim:1 Bar Shabtai 0.27 0.06 0 0
68The Whitman Whale:0 bigwig 0.28 0.04 0 0
69Janie Gu:1 Jonathan Kwok 0.28 0.07 0 0
70Linda:1 Andrew Grasso 0.32 0.02 0 0
71Linda:0 Andrew Grasso 0.33 0.01 0 0
72Keji Xu:1 Nihar the Great 0.37 0.04 0 0
73Dr Roberto:0 Andrew Grasso 0.38 0.03 0 0
74Jordan Ash:0 EC 0.40 0.03 0 0
75Ytterbium:1 Nihar the Great 0.41 0.02 0 0
76Boomshanka:1 Bar Shabtai 0.47 0.01 0 0
77Sally Smith:0 haoyu 0.57 0.04 0 0
78Lisa Kim:0 Aristotle 0.66 0.07 0 0
79Keji Xu:0 Nihar the Great 0.67 0.03 0 0
80Batman:0 haoyu 0.70 0.04 0 0
81soccer:0 haoyu 0.83 0.04 0 0
820108:1 haoyu 0.95 0.01 0 0
83KingBach:1 haoyu 1.21 0.04 0 0
84soccer:1 haoyu 1.33 0.04 0 0
85Khoa:1 Aristotle 1.43 0.09 0 0
86Sprt:1 haoyu 1.48 0.05 0 0
87Khoa:0 haoyu 1.56 0.09 0 0
88Sally Smith:1 haoyu 1.74 0.04 0 0
89Batman:1 haoyu 2.55 0.04 0 0
90Alex Fish:0 haoyu 2.90 0.01 0 0
91burrito:0 haoyu 3.30 0.09 0 0
92KingBach:0 haoyu 3.80 0.06 0 0
93DinnerPartyPlannerBM:1 Nihar the Great 4.24 0.06 0 0
94Lil Thug:0 Andrew Grasso 4.51 0.03 0 0
95Andrew Werner:0 Aaron Doll 5.16 0.33 0 0
96AARON BURR, DROPPIN' HAMILTONS:1 haoyu 5.37 0.01 0 0
97Lil Thug:1 Andrew Grasso 5.81 0.03 0 0
98Samuel Jerome:0 haoyu 6.75 0.03 0 0
99Tao:0 Bar Shabtai 7.56 0.02 0 0
100Sprt:0 Aristotle 9.97 0.11 0 0
101David Lackey:0 Anon5 13.20 0.03 0 0
102T. Capote:0 haoyu 15.00 0.00 3 2
103T. Capote:1 haoyu 15.00 0.00 3 2
104Qinlan Shen:1 R. A. B. 15.00 9.00 6 1
105Tao:1 Aristotle 15.00 0.07 7 0
106DeeEmEm:0 CAPS LOCK 15.00 13.00 8 1
107bfang:0 haoyu 15.00 0.04 10 0
108Mercury:1 haoyu 15.00 0.05 12 0
109David H.:0 AFC 15.00 0.28 14 0
110bfang:1 haoyu 15.00 0.04 15 0
111Nikhilesh Sigatapu:0 haoyu 15.00 0.03 16 0
112Mercury:0 haoyu 15.00 0.05 17 0
113AFC:1 Aristotle 15.00 0.16 17 0
114Nikhilesh Sigatapu:1 haoyu 15.00 0.04 17 0
115Anon5:1 Green "The Bean" Choi 15.00 0.07 19 0
116David H.:1 DeeEmEm 15.00 0.33 19 0
117Aaron H:0 Aristotle 15.00 0.11 19 0
118Charliezsc:0 jgs 15.00 14.98 19 1
1190108:0 jgs 15.00 14.98 19 1
120EC:1 haoyu 15.00 0.03 20 0
121Anon5:0 haoyu 15.00 0.05 21 0
122Anon_K_P:0 haoyu 15.00 0.02 21 0
123SuperFan:0 jgs 15.00 14.98 22 4
124Sabar Dasgupta:0 spl 15.00 0.23 23 0
125AFC:0 CookieMonster 15.00 0.34 23 0
126AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 24 0
127Anon_K_P:1 Aristotle 15.00 0.03 24 0
128jabreezy:1 Mercury 15.00 0.10 24 0
129jabreezy:0 Mercury 15.00 0.09 24 0
130Charliezsc:1 haoyu 15.00 0.07 25 0
131Yacob Y.:0 haoyu 15.00 0.06 26 0
132EC:0 haoyu 15.00 0.03 26 0
133Samuel Jerome:1 haoyu 15.00 0.03 27 0
134Andys:0 Aristotle 15.00 0.12 33 0
135Yacob Y.:1 Aristotle 15.00 15.00 37 1
136Dusty:1 Shaheed Chagani 15.00 0.22 41 0
137Dusty:0 CookieMonster 15.00 1.39 43 0
138Fanny:0 Aristotle 15.00 0.10 45 0
139ebp:0 haoyu 15.00 0.04 45 0
140Andrew Grasso:1 Shaheed Chagani 15.00 0.15 47 0
141Glenn Fisher:0 Elphaba 15.00 0.02 49 0
142Yan Wu:1 haoyu 15.00 0.04 49 0
143Supahaka:1 Joel Faron 15.00 15.00 49 35
144Supahaka:0 Andrew Werner 15.00 15.00 51 35
145Ben Chen:1 spl 15.00 0.20 52 0
146Andrew Grasso:0 Aaron Doll 15.00 0.18 55 0
147Glenn Fisher:1 jabreezy 15.00 0.09 58 0
148ebp:1 haoyu 15.00 0.04 60 0
149David Lackey:1 Bar Shabtai 15.00 0.03 64 0
150Ben Chen:0 Elphaba 15.00 0.07 66 0
151Walter Little:1 haoyu 15.00 0.03 75 0
152Walter Little:0 haoyu 15.00 0.04 78 0
153NA:0 haoyu 15.00 0.03 93 0
154Matt Haake:1 haoyu 15.00 0.05 94 0
155NA:1 Elphaba 15.00 0.04 99 0
156Yan Wu:0 haoyu 15.00 0.05 103 0
157Matt Haake:0 haoyu 15.00 0.05 106 0
158snowflakes:0 haoyu 15.00 0.03 121 0
159snowflakes:1 haoyu 15.00 0.03 135 0
160jgs:1 haoyu 15.00 0.18 274 0
161BH:1 haoyu 15.00 0.05 613 0
162nupog:1 Aristotle 15.00 0.12 905 0
163Sabar Dasgupta:1 Aaron Doll 15.00 0.17 20 0
164John Whelchel:0 haoyu 15.00 0.06 24 0
165Mike Hunt:0 Aristotle 15.00 0.27 38 0
166BH:0 haoyu 15.00 0.07 601 0
167Brendan Wright:1 Deric Cheng 15.00 0.10 11 0
168Mike Hunt:1 Aristotle 15.00 0.29 37 0
169nupog:0 Aristotle 15.00 0.13 1010 0
170Andrew Werner:1 haoyu 15.00 0.11 12 0
171John Whelchel:1 haoyu 15.00 0.11 15 0
172Aaron H:1 Aristotle 15.00 0.11 20 0
173Andys:1 Aristotle 15.00 0.13 37 0
174Fanny:1 Aristotle 15.00 0.12 39 0
175burrito:1 haoyu 15.00 0.10 124 0
176CAPS LOCK:1 Aristotle 15.00 0.25 4958 0
17713a:1 Aaron Doll 15.00 15.00 78538 29
178Shaheed Chagani:0 Aristotle 15.00 0.17 15 0
179Shaheed Chagani:1 Aristotle 15.00 0.11 7593 0
180jgs:0 Aristotle 15.01 0.12 4724 0
181Deric Cheng:0 jgs 15.01 14.99 12 1
182Deric Cheng:1 jgs 15.01 14.98 11 1
183Nihar the Great:0 Aristotle 15.01 0.23 23297 0
184DinnerPartyPlannerBM:0 Aristotle 15.01 0.11 599 0
185Bar Shabtai:1 haoyu 15.01 0.12 5248 0
186Elphaba:0 Aristotle 15.01 0.24 45015 0
187Aaron Doll:0 Aristotle 15.02 0.56 232439 0
188Elphaba:1 Aristotle 15.02 0.22 31924 0
189Brendan Wright:0 haoyu 15.03 0.10 99 0
190CAPS LOCK:0 Aristotle 15.03 0.20 44519 0
191Aristotle:1 Aristotle 15.03 9.69 729980 0
192Aaron Doll:1 Aristotle 15.06 1.27 294022 0
193Matt Goldsmith:0 Nihar the Great 15.07 0.03 500529 0
19413a:0 Aaron Doll 15.07 15.00 86973 21
195Aristotle:0 Aristotle 15.07 15.00 742966 1
196Nihar the Great:1 Aristotle 15.09 0.25 22726 0
197Bar Shabtai:0 Aaron Doll 15.13 15.01 299973 1
198Matt Goldsmith:1 Happy 15.19 0.03 508493 0
199Mr. Blobby:0 Green "The Bean" Choi - 0.14 - 0
200Jessie Chen:0 Joel Faron - 0.13 - 1
201Blam:1 Elphaba - 0.00 - 0
202Valya Barboy:1 Shaheed Chagani - 0.18 - 0
203dfshasdsf12:1 Nihar the Great - 0.11 - 0
204kt4124:1 haoyu - 0.04 - 0
205Mark S. Fillmore:1 Supahaka - 0.04 - 79
206Sunny:0 Green "The Bean" Choi - 0.02 - 0
207Gewang:1 Jonathan Kwok - 0.00 - 0
208K.L.:1 KingBach - 0.00 - 0
209Quite Satisfied:1 Joel Faron - 2.11 - 1
210Jessie Chen:1 Joel Faron - 0.12 - 1
211spl:0 Elphaba - 0.09 - 0
212Absurdity:1 Aristotle - 0.18 - 0
213dfshasdsf12:0 haoyu - 0.09 - 0
214kt4124:0 haoyu - 0.03 - 0
215Gewang:0 Jonathan Kwok - 0.00 - 0
216Mark S. Fillmore:0 Supahaka - 0.01 - 116
217CookieMonster:0 CookieMonster - 0.82 - 0
218BMJ:0 Elphaba - 0.00 - 0
219K.L.:0 haoyu - 0.00 - 0
220Quite Satisfied:0 haoyu - 0.00 - 0
221spl:1 haoyu - 0.06 - 0
222SuperFan:1 jgs - 14.98 - 4
223CookieMonster:1 CookieMonster - 1.10 - 0
224Mr. Blobby:1 dusty - 0.12 - 0
225Absurdity:0 Aristotle - 0.23 - 0
226Blam:0 Elphaba - 0.00 - 0
227Valya Barboy:0 Aristotle - 0.06 - 0
228Sunny:1 jabreezy - 0.01 - 0


SatSolvers Ranklist Generators Ranklist