SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Anon5

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 Anon5 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 Anon5 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: Anon5
Rank: 17 / 118
Average Score: 5.05
Median Score: 0.49
Description: My SatSolver works like vanilla walksat with one major modification. Let p be the probability of choosing to do a 'random walk' move. p starts out low and is increased when walksat hasn't been making progress (i.e. is at a local minimum).
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
3Bebe Shi:1 KingBach 0.00 0.00 0 0
4K.L.:1 KingBach 0.00 0.00 0 0
5bigwig:0 Andrew Werner 0.00 0.00 0 0
6Happy: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
9Miranda:1 cat 0.00 0.00 0 0
10Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
11Miranda:0 cat 0.00 0.00 0 0
12Joshua Zimmer:1 haoyu 0.01 0.00 0 0
13haoyu:1 Anon5 0.01 0.01 0 0
14Joshua Zimmer:0 haoyu 0.01 0.00 0 0
15Solving For Clauses:1 haoyu 0.01 0.00 0 0
16Daffy Duck:1 haoyu 0.01 0.00 0 0
17Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
18Tree Prophet:0 haoyu 0.01 0.00 0 0
19Gewang:1 Jonathan Kwok 0.01 0.00 0 0
20haoyu:0 KingBach 0.01 0.01 0 0
21K.L.:0 haoyu 0.01 0.00 0 0
22Quite Satisfied:0 haoyu 0.01 0.00 0 0
23Blam:0 Elphaba 0.01 0.00 0 0
24bchouGenerator:0 haoyu 0.01 0.00 0 0
25Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
26R. A. B.:1 cat 0.01 0.00 0 0
27The Kraken:1 haoyu 0.01 0.00 0 0
28Jonathan Kwok:1 KingBach 0.01 0.00 0 0
29Gewang:0 Jonathan Kwok 0.01 0.00 0 0
30Blam:1 Elphaba 0.01 0.00 0 0
31Jordan Ash:1 Bar Shabtai 0.01 0.01 0 0
32David Paulk:1 Bar Shabtai 0.01 0.00 0 0
33BMJ:1 burrito 0.01 0.00 0 0
34David Paulk:0 cat 0.01 0.00 0 0
35BMJ:0 Elphaba 0.01 0.00 0 0
36R. A. B.:0 Nihar the Great 0.01 0.00 0 0
37Mickey Mouse:1 haoyu 0.01 0.01 0 0
38bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
39Happy:0 haoyu 0.02 0.00 0 0
40The Kraken:0 haoyu 0.02 0.00 0 0
41Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
42Sunny:0 Green "The Bean" Choi 0.02 0.02 0 0
43Scheduling Generator 203:0 jgs 0.02 0.01 0 0
44Scheduling Generator 203:1 Jameh 0.02 0.02 0 0
45Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
46Tom T:1 Andrew Werner 0.02 0.02 0 0
47cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
48weezy:0 Bar Shabtai 0.02 0.01 0 0
49Tree Prophet:1 haoyu 0.03 0.00 0 0
50Tom T:0 EC 0.03 0.02 0 0
51Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
52cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
53weezy:1 Bar Shabtai 0.03 0.01 0 0
54David Lackey:0 Anon5 0.03 0.03 0 0
55Mike Honcho:0 Miranda 0.03 0.01 0 0
56Jameh:0 haoyu 0.03 0.01 0 0
57David Lackey:1 Bar Shabtai 0.03 0.03 0 0
58Jordan Ash:0 EC 0.03 0.03 0 0
59Tiny Wings:0 haoyu 0.04 0.02 0 0
60Sunny:1 jabreezy 0.04 0.01 0 0
61Alex Fish:1 haoyu 0.05 0.02 0 0
62AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.05 0.01 0 0
63vluu:0 Nihar the Great 0.05 0.01 0 0
64vluu:1 Nihar the Great 0.05 0.02 0 0
65The Whitman Whale:0 bigwig 0.06 0.04 0 0
66totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
67totallyOnFallBreak:1 Nikhilesh Sigatapu 0.06 0.01 0 0
68Boomshanka:0 haoyu 0.06 0.01 0 0
69Jameh:1 haoyu 0.06 0.01 0 0
70Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
71Tiny Wings:1 haoyu 0.07 0.01 0 0
72Nikhilesh Sigatapu:0 haoyu 0.07 0.03 0 0
73Dr Roberto:1 Andrew Grasso 0.08 0.02 0 0
74Anon_K_P:1 Aristotle 0.08 0.03 0 0
75Keji Xu:1 Nihar the Great 0.08 0.04 0 0
76DeeEmEm:1 haoyu 0.08 0.02 0 0
77Alex Fish:0 haoyu 0.08 0.01 0 0
780108:1 haoyu 0.10 0.01 0 0
79Linda:0 Andrew Grasso 0.12 0.01 0 0
80Dr Roberto:0 Andrew Grasso 0.12 0.03 0 0
81The Whitman Whale:1 Andrew Grasso 0.12 0.03 0 0
82cat:1 haoyu 0.12 0.03 0 0
83Keji Xu:0 Nihar the Great 0.12 0.03 0 0
84AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.12 0.00 0 0
85Fanny:1 Aristotle 0.12 0.12 0 0
86cat:0 haoyu 0.12 0.03 0 0
87Ytterbium:1 Nihar the Great 0.13 0.02 0 0
88Janie Gu:1 Jonathan Kwok 0.14 0.07 0 0
89Anon_K_P:0 haoyu 0.14 0.02 0 0
90George Okeowo:1 Andrew Grasso 0.16 0.01 0 0
91Lisa Kim:1 Bar Shabtai 0.20 0.06 0 0
92George Okeowo:0 Andrew Grasso 0.20 0.01 0 0
93Lisa Kim:0 Aristotle 0.21 0.07 0 0
94Mike Honcho:1 Jessie Chen 0.21 0.01 0 0
95Bob Dondero:0 Andrew Grasso 0.21 0.02 0 0
96Brendan Wright:1 Deric Cheng 0.22 0.10 0 0
97kt4124:0 haoyu 0.24 0.03 0 0
98Samuel Jerome:0 haoyu 0.24 0.03 0 0
99Linda:1 Andrew Grasso 0.24 0.02 0 0
100Tao:1 Aristotle 0.27 0.07 0 0
101Bob Dondero:1 Mickey Mouse 0.29 0.03 0 0
102Nikhilesh Sigatapu:1 haoyu 0.30 0.04 0 0
103Yan Wu:0 haoyu 0.31 0.05 0 0
104Sally Smith:0 haoyu 0.31 0.04 0 0
105bfang:0 haoyu 0.31 0.04 0 0
106bfang:1 haoyu 0.34 0.04 0 0
107Sally Smith:1 haoyu 0.36 0.04 0 0
108kt4124:1 haoyu 0.37 0.04 0 0
109Mr. Blobby:1 dusty 0.37 0.12 0 0
110Matt Haake:1 haoyu 0.38 0.05 0 0
111Janie Gu:0 Glenn Fisher 0.41 0.07 0 0
112Samuel Jerome:1 haoyu 0.43 0.03 0 0
113Mercury:0 haoyu 0.45 0.05 0 0
114Matt Haake:0 haoyu 0.49 0.05 0 0
115KingBach:1 haoyu 0.52 0.04 0 0
116KingBach:0 haoyu 0.52 0.06 0 0
117Batman:0 haoyu 0.52 0.04 0 0
118Yan Wu:1 haoyu 0.67 0.04 0 0
119Tao:0 Bar Shabtai 0.68 0.02 0 0
120Yacob Y.:0 haoyu 0.75 0.06 0 0
121Khoa:0 haoyu 0.77 0.09 0 0
122Khoa:1 Aristotle 0.77 0.09 0 0
123Fanny:0 Aristotle 0.79 0.10 0 0
124soccer:0 haoyu 0.95 0.04 0 0
125Glenn Fisher:0 Elphaba 0.97 0.02 0 0
126Mercury:1 haoyu 1.02 0.05 0 0
127Sprt:1 haoyu 1.07 0.05 0 0
128soccer:1 haoyu 1.07 0.04 0 0
129Ben Chen:1 spl 1.35 0.20 0 0
130Batman:1 haoyu 1.43 0.04 0 0
131Ben Chen:0 Elphaba 1.57 0.07 0 0
132DinnerPartyPlannerBM:1 Nihar the Great 1.67 0.06 0 0
133burrito:0 haoyu 1.91 0.09 0 0
134Mr. Blobby:0 Green "The Bean" Choi 1.95 0.14 0 0
135Sabar Dasgupta:1 Aaron Doll 2.01 0.17 0 0
136dfshasdsf12:0 haoyu 2.40 0.09 0 0
137snowflakes:1 haoyu 2.43 0.03 0 0
138Aaron H:0 Aristotle 2.56 0.11 0 0
139Aaron H:1 Aristotle 2.94 0.11 0 0
140Lil Thug:0 Andrew Grasso 3.54 0.03 0 0
141Andrew Grasso:1 Shaheed Chagani 3.56 0.15 0 0
142Anon5:1 Green "The Bean" Choi 3.68 0.07 0 0
143Valya Barboy:0 Aristotle 3.81 0.06 0 0
144Sabar Dasgupta:0 spl 3.83 0.23 0 0
145Lil Thug:1 Andrew Grasso 4.12 0.03 0 0
146Brendan Wright:0 haoyu 4.29 0.10 0 0
147Sprt:0 Aristotle 4.30 0.11 0 0
148snowflakes:0 haoyu 4.61 0.03 0 0
149Charliezsc:1 haoyu 4.66 0.07 0 0
150DinnerPartyPlannerBM:0 Aristotle 5.53 0.11 0 0
151dfshasdsf12:1 Nihar the Great 5.93 0.11 0 0
152burrito:1 haoyu 6.49 0.10 0 0
153Walter Little:1 haoyu 6.74 0.03 0 0
154Andrew Grasso:0 Aaron Doll 7.12 0.18 0 0
155ebp:0 haoyu 7.44 0.04 0 0
156Mike Hunt:0 Aristotle 8.20 0.27 0 0
157BH:1 haoyu 8.44 0.05 0 0
158EC:1 haoyu 8.53 0.03 0 0
159John Whelchel:0 haoyu 8.98 0.06 0 0
160ebp:1 haoyu 9.58 0.04 0 0
161jgs:0 Aristotle 10.31 0.12 0 0
162jabreezy:0 Mercury 10.36 0.09 0 0
163CAPS LOCK:0 Aristotle 10.66 0.20 0 0
164Andys:1 Aristotle 11.12 0.13 0 0
165Valya Barboy:1 Shaheed Chagani 11.13 0.18 0 0
166jgs:1 haoyu 11.48 0.18 0 0
167Bar Shabtai:1 haoyu 12.29 0.12 0 0
168jabreezy:1 Mercury 12.88 0.10 0 0
169nupog:1 Aristotle 13.19 0.12 0 0
170BH:0 haoyu 13.23 0.07 0 0
171nupog:0 Aristotle 13.54 0.13 0 0
172Mike Hunt:1 Aristotle 13.55 0.29 0 0
173David H.:1 DeeEmEm 15.00 0.33 1 0
174Jessie Chen:0 Joel Faron 15.00 0.13 1 1
175Dusty:1 Shaheed Chagani 15.00 0.22 1 0
176Walter Little:0 haoyu 15.00 0.04 1 0
177Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
178Dusty:0 CookieMonster 15.00 1.39 1 0
179Charliezsc:0 jgs 15.00 14.98 1 1
180Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
181Jessie Chen:1 Joel Faron 15.00 0.12 1 1
182David H.:0 AFC 15.00 0.28 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
186NA:0 haoyu 15.00 0.03 1 0
1870108:0 jgs 15.00 14.98 1 1
188CookieMonster:1 CookieMonster 15.00 1.10 1 0
189Absurdity:0 Aristotle 15.00 0.23 1 0
190Glenn Fisher:1 jabreezy 15.00 0.09 1 0
191AFC:0 CookieMonster 15.00 0.34 1 0
192EC:0 haoyu 15.00 0.03 1 0
193NA:1 Elphaba 15.00 0.04 2 0
194Anon5:0 haoyu 15.00 0.05 2 0
195T. Capote:0 haoyu 15.00 0.00 2 2
196T. Capote:1 haoyu 15.00 0.00 2 2
197SuperFan:0 jgs 15.00 14.98 4 4
198SuperFan:1 jgs 15.00 14.98 4 4
199Shaheed Chagani:1 Aristotle 15.00 0.11 6 0
200Supahaka:1 Joel Faron 15.00 15.00 36 35
201Supahaka:0 Andrew Werner 15.00 15.00 37 35
202Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
203Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
204Elphaba:0 Aristotle 15.00 0.24 16957 0
205Andrew Werner:0 Aaron Doll 15.00 0.33 1 0
206spl:1 haoyu 15.00 0.06 2 0
207spl:0 Elphaba 15.00 0.09 3 0
208Andys:0 Aristotle 15.00 0.12 5 0
209Elphaba:1 Aristotle 15.00 0.22 13881 0
210Shaheed Chagani:0 Aristotle 15.00 0.17 4 0
211Nihar the Great:0 Aristotle 15.00 0.23 19682 0
212Absurdity:1 Aristotle 15.01 0.18 1 0
213Yacob Y.:1 Aristotle 15.01 15.00 6 1
214CAPS LOCK:1 Aristotle 15.01 0.25 197 0
21513a:0 Aaron Doll 15.01 15.00 51508 21
216Deric Cheng:0 jgs 15.01 14.99 1 1
217Bar Shabtai:0 Aaron Doll 15.01 15.01 298854 1
218Aaron Doll:1 Aristotle 15.01 1.27 298826 0
219Nihar the Great:1 Aristotle 15.02 0.25 20950 0
22013a:1 Aaron Doll 15.02 15.00 48626 29
221John Whelchel:1 haoyu 15.02 0.11 1 0
222Aaron Doll:0 Aristotle 15.04 0.56 239794 0
223Aristotle:0 Aristotle 15.04 15.00 705136 1
224Deric Cheng:1 jgs 15.06 14.98 1 1
225Andrew Werner:1 haoyu 15.06 0.11 1 0
226Matt Goldsmith:0 Nihar the Great 15.07 0.03 511395 0
227Matt Goldsmith:1 Happy 15.12 0.03 505518 0
228Aristotle:1 Aristotle 15.12 9.69 715387 0


SatSolvers Ranklist Generators Ranklist