SatSolvers Ranklist Generators Ranklist

Stats for satsolver: CAPS LOCK

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 CAPS LOCK 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 CAPS LOCK 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: CAPS LOCK
Rank: 50 / 118
Average Score: 7.49
Median Score: 6.25
Description: Version 2.0, an optimized implementation of WalkSAT. There are a couple of small changes: randomly generating multiple initial models, only updating the model after the min conflicts step if the new model is better, etc. The big change is to when the algorithm chooses to random walk vs. searching for min conflicts: if the number of symbols * the average number of symbols per clause is less than or equal to the number of clauses, the algorithm only random walks and never searches for min conflicts.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Ravi Tandon:0 KingBach 0.00 0.00 0 0
4K.L.:1 KingBach 0.00 0.00 0 0
5Happy:1 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
8Miranda:1 cat 0.00 0.00 0 0
9Bebe Shi:0 KingBach 0.00 0.00 0 0
10Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
11Miranda:0 cat 0.01 0.00 0 0
12Solving For Clauses:1 haoyu 0.01 0.00 0 0
13Joshua Zimmer:0 haoyu 0.01 0.00 0 0
14R. A. B.:1 cat 0.01 0.00 0 0
15Blam:1 Elphaba 0.01 0.00 0 0
16Gewang:1 Jonathan Kwok 0.01 0.00 0 0
17K.L.:0 haoyu 0.01 0.00 0 0
18bchouGenerator:0 haoyu 0.01 0.00 0 0
19David Paulk:1 Bar Shabtai 0.01 0.00 0 0
20BMJ:1 burrito 0.01 0.00 0 0
21David Paulk:0 cat 0.01 0.00 0 0
22Joshua Zimmer:1 haoyu 0.01 0.00 0 0
23Daffy Duck:1 haoyu 0.01 0.00 0 0
24The Kraken:1 haoyu 0.01 0.00 0 0
25Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
26Mickey Mouse:1 haoyu 0.02 0.01 0 0
27Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
28Jonathan Kwok:1 KingBach 0.02 0.00 0 0
29Gewang:0 Jonathan Kwok 0.02 0.00 0 0
30Tree Prophet:0 haoyu 0.02 0.00 0 0
31Quite Satisfied:0 haoyu 0.02 0.00 0 0
32BMJ:0 Elphaba 0.02 0.00 0 0
33haoyu:0 KingBach 0.02 0.01 0 0
34Blam:0 Elphaba 0.02 0.00 0 0
35R. A. B.:0 Nihar the Great 0.02 0.00 0 0
36haoyu:1 Anon5 0.02 0.01 0 0
37bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
38cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
39cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
40Tree Prophet:1 haoyu 0.03 0.00 0 0
41The Kraken:0 haoyu 0.03 0.00 0 0
42Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
43Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
44Jameh:0 haoyu 0.04 0.01 0 0
45Tom T:1 Andrew Werner 0.04 0.02 0 0
46vluu:1 Nihar the Great 0.04 0.02 0 0
47weezy:1 Bar Shabtai 0.04 0.01 0 0
48weezy:0 Bar Shabtai 0.04 0.01 0 0
49Mike Honcho:0 Miranda 0.04 0.01 0 0
50Scheduling Generator 203:0 jgs 0.04 0.01 0 0
51Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
52Dr Roberto:1 Andrew Grasso 0.05 0.02 0 0
53vluu:0 Nihar the Great 0.05 0.01 0 0
54Tom T:0 EC 0.05 0.02 0 0
55Happy:0 haoyu 0.05 0.00 0 0
56Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
57totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
58Jameh:1 haoyu 0.07 0.01 0 0
59Jordan Ash:1 Bar Shabtai 0.07 0.01 0 0
60Sunny:1 jabreezy 0.07 0.01 0 0
61The Whitman Whale:1 Andrew Grasso 0.08 0.03 0 0
62Tiny Wings:1 haoyu 0.08 0.01 0 0
63cat:0 haoyu 0.08 0.03 0 0
64Dr Roberto:0 Andrew Grasso 0.08 0.03 0 0
65Ytterbium:1 Nihar the Great 0.09 0.02 0 0
66DeeEmEm:1 haoyu 0.09 0.02 0 0
67Linda:0 Andrew Grasso 0.09 0.01 0 0
68George Okeowo:1 Andrew Grasso 0.10 0.01 0 0
69cat:1 haoyu 0.10 0.03 0 0
70Sunny:0 Green "The Bean" Choi 0.10 0.02 0 0
71Scheduling Generator 203:1 Jameh 0.11 0.02 0 0
72Tiny Wings:0 haoyu 0.12 0.02 0 0
73Linda:1 Andrew Grasso 0.13 0.02 0 0
74Boomshanka:1 Bar Shabtai 0.13 0.01 0 0
75Janie Gu:1 Jonathan Kwok 0.13 0.07 0 0
76Boomshanka:0 haoyu 0.13 0.01 0 0
77totallyOnFallBreak:1 Nikhilesh Sigatapu 0.14 0.01 0 0
78Keji Xu:0 Nihar the Great 0.14 0.03 0 0
79George Okeowo:0 Andrew Grasso 0.15 0.01 0 0
80The Whitman Whale:0 bigwig 0.15 0.04 0 0
81kt4124:0 haoyu 0.15 0.03 0 0
82Lisa Kim:1 Bar Shabtai 0.16 0.06 0 0
83Keji Xu:1 Nihar the Great 0.17 0.04 0 0
84Bob Dondero:0 Andrew Grasso 0.17 0.02 0 0
85Alex Fish:0 haoyu 0.19 0.01 0 0
86Janie Gu:0 Glenn Fisher 0.23 0.07 0 0
87Bob Dondero:1 Mickey Mouse 0.27 0.03 0 0
88Sally Smith:0 haoyu 0.27 0.04 0 0
89kt4124:1 haoyu 0.32 0.04 0 0
90Alex Fish:1 haoyu 0.35 0.02 0 0
91Lisa Kim:0 Aristotle 0.38 0.07 0 0
92Sprt:1 haoyu 0.48 0.05 0 0
93Khoa:1 Aristotle 0.56 0.09 0 0
94soccer:1 haoyu 0.68 0.04 0 0
95Sally Smith:1 haoyu 0.78 0.04 0 0
96DinnerPartyPlannerBM:1 Nihar the Great 0.88 0.06 0 0
970108:1 haoyu 0.89 0.01 0 0
98soccer:0 haoyu 0.93 0.04 0 0
99dfshasdsf12:0 haoyu 1.17 0.09 0 0
100Batman:1 haoyu 1.28 0.04 0 0
101KingBach:1 haoyu 1.28 0.04 0 0
102Batman:0 haoyu 1.29 0.04 0 0
103Lil Thug:0 Andrew Grasso 1.31 0.03 0 0
104Lil Thug:1 Andrew Grasso 1.32 0.03 0 0
105burrito:0 haoyu 1.59 0.09 0 0
106Jordan Ash:0 EC 1.64 0.03 0 0
107Sprt:0 Aristotle 1.71 0.11 0 0
108Khoa:0 haoyu 1.72 0.09 0 0
109dfshasdsf12:1 Nihar the Great 2.41 0.11 0 0
110DinnerPartyPlannerBM:0 Aristotle 2.44 0.11 0 0
111David Lackey:0 Anon5 3.52 0.03 0 0
112Andrew Werner:1 haoyu 4.68 0.11 0 0
113Bar Shabtai:1 haoyu 6.16 0.12 0 0
114Brendan Wright:0 haoyu 6.25 0.10 0 0
115Brendan Wright:1 Deric Cheng 6.75 0.10 0 0
116Tao:0 Bar Shabtai 7.92 0.02 0 0
117KingBach:0 haoyu 7.94 0.06 0 0
118jabreezy:1 Mercury 9.05 0.10 0 0
119jabreezy:0 Mercury 9.67 0.09 0 0
120Samuel Jerome:0 haoyu 10.41 0.03 0 0
121Jessie Chen:0 Joel Faron 13.00 0.13 1 1
122Qinlan Shen:1 R. A. B. 13.00 9.00 1 1
123Quite Satisfied:1 Joel Faron 13.00 2.11 1 1
124Jessie Chen:1 Joel Faron 13.00 0.12 1 1
125DeeEmEm:0 CAPS LOCK 13.00 13.00 1 1
126T. Capote:0 haoyu 13.00 0.00 2 2
127T. Capote:1 haoyu 13.00 0.00 2 2
128nupog:0 Aristotle 14.26 0.13 0 0
129AARON BURR, DROPPIN' HAMILTONS:0 haoyu 13.00 0.00 1 0
130Tao:1 Aristotle 13.00 0.07 1 0
131AARON BURR, DROPPIN' HAMILTONS:1 haoyu 13.00 0.01 1 0
132Andrew Werner:0 Aaron Doll 13.01 0.33 2 0
133John Whelchel:0 haoyu 13.00 0.06 2 0
134Nikhilesh Sigatapu:1 haoyu 13.00 0.04 2 0
135bfang:1 haoyu 13.00 0.04 2 0
136CAPS LOCK:1 Aristotle 13.13 0.25 2 0
1370108:0 jgs 13.00 14.98 2 1
138Nikhilesh Sigatapu:0 haoyu 13.00 0.03 2 0
139bfang:0 haoyu 13.00 0.04 2 0
140CAPS LOCK:0 Aristotle 13.01 0.20 2 0
141Anon_K_P:0 haoyu 13.00 0.02 3 0
142Mercury:0 haoyu 13.00 0.05 3 0
143David Lackey:1 Bar Shabtai 13.00 0.03 3 0
144Deric Cheng:1 jgs 13.00 14.98 3 1
145Anon_K_P:1 Aristotle 13.00 0.03 3 0
146Charliezsc:1 haoyu 13.00 0.07 4 0
147EC:1 haoyu 13.00 0.03 4 0
148Samuel Jerome:1 haoyu 13.00 0.03 4 0
149Valya Barboy:1 Shaheed Chagani 13.00 0.18 4 0
150Charliezsc:0 jgs 13.00 14.98 4 1
151burrito:1 haoyu 13.00 0.10 4 0
152Mercury:1 haoyu 13.00 0.05 4 0
153EC:0 haoyu 13.00 0.03 4 0
154Sabar Dasgupta:1 Aaron Doll 13.00 0.17 4 0
155SuperFan:1 jgs 13.00 14.98 5 4
156Anon5:1 Green "The Bean" Choi 13.00 0.07 6 0
157Aaron H:0 Aristotle 13.00 0.11 6 0
158Shaheed Chagani:0 Aristotle 13.00 0.17 6 0
159Aaron H:1 Aristotle 13.00 0.11 6 0
160John Whelchel:1 haoyu 13.00 0.11 6 0
161Shaheed Chagani:1 Aristotle 13.00 0.11 6 0
162David H.:0 AFC 13.00 0.28 6 0
163Deric Cheng:0 jgs 13.00 14.99 6 1
164Valya Barboy:0 Aristotle 13.00 0.06 6 0
165David H.:1 DeeEmEm 13.00 0.33 7 0
166Sabar Dasgupta:0 spl 13.00 0.23 7 0
167SuperFan:0 jgs 13.00 14.98 7 4
168Anon5:0 haoyu 13.00 0.05 10 0
169CookieMonster:0 CookieMonster 13.00 0.82 10 0
170CookieMonster:1 CookieMonster 13.00 1.10 10 0
171Yacob Y.:0 haoyu 13.00 0.06 12 0
172AFC:1 Aristotle 13.00 0.16 12 0
173AFC:0 CookieMonster 13.00 0.34 12 0
174Fanny:0 Aristotle 13.00 0.10 13 0
175Fanny:1 Aristotle 13.00 0.12 13 0
176Mike Hunt:1 Aristotle 13.00 0.29 15 0
177Mike Hunt:0 Aristotle 13.00 0.27 17 0
178Andys:0 Aristotle 13.00 0.12 19 0
179Elphaba:1 Aristotle 13.00 0.22 20 0
180Andys:1 Aristotle 13.00 0.13 20 0
181Elphaba:0 Aristotle 13.01 0.24 20 0
182ebp:1 haoyu 13.00 0.04 21 0
183Glenn Fisher:0 Elphaba 13.00 0.02 22 0
184jgs:1 haoyu 13.00 0.18 22 0
185ebp:0 haoyu 13.00 0.04 22 0
186Yacob Y.:1 Aristotle 13.00 15.00 23 1
187Absurdity:1 Aristotle 13.00 0.18 24 0
188Absurdity:0 Aristotle 13.00 0.23 25 0
189spl:0 Elphaba 13.00 0.09 26 0
190jgs:0 Aristotle 13.00 0.12 26 0
191Mr. Blobby:1 dusty 13.00 0.12 26 0
192Andrew Grasso:0 Aaron Doll 13.00 0.18 26 0
193Andrew Grasso:1 Shaheed Chagani 13.00 0.15 27 0
194spl:1 haoyu 13.00 0.06 27 0
195Yan Wu:1 haoyu 13.00 0.04 27 0
196Glenn Fisher:1 jabreezy 13.00 0.09 27 0
197Dusty:0 CookieMonster 13.00 1.39 28 0
198Mr. Blobby:0 Green "The Bean" Choi 13.00 0.14 31 0
199Yan Wu:0 haoyu 13.00 0.05 32 0
200Dusty:1 Shaheed Chagani 13.00 0.22 32 0
201Walter Little:1 haoyu 13.00 0.03 32 0
202Ben Chen:1 spl 13.00 0.20 33 0
203Ben Chen:0 Elphaba 13.00 0.07 34 0
204Walter Little:0 haoyu 13.00 0.04 37 0
205Matt Haake:1 haoyu 13.00 0.05 56 0
206NA:1 Elphaba 13.00 0.04 59 0
207Matt Haake:0 haoyu 13.00 0.05 61 0
208NA:0 haoyu 13.00 0.03 66 0
209snowflakes:0 haoyu 13.00 0.03 90 0
210snowflakes:1 haoyu 13.00 0.03 94 0
211BH:0 haoyu 13.00 0.07 387 0
212BH:1 haoyu 13.00 0.05 469 0
21313a:0 Aaron Doll 13.00 15.00 2205 21
21413a:1 Aaron Doll 13.00 15.00 8261 29
215Nihar the Great:0 Aristotle 13.00 0.23 15136 0
216Nihar the Great:1 Aristotle 13.00 0.25 15534 0
217Aaron Doll:0 Aristotle 13.02 0.56 165638 0
218Aaron Doll:1 Aristotle 13.02 1.27 216849 0
219Bar Shabtai:0 Aaron Doll 13.02 15.01 250086 1
220Matt Goldsmith:1 Happy 13.03 0.03 494776 0
221Matt Goldsmith:0 Nihar the Great 13.04 0.03 499217 0
222Aristotle:0 Aristotle 13.04 15.00 687855 1
223Aristotle:1 Aristotle 13.05 9.69 703493 0
224Supahaka:0 Andrew Werner 15.00 15.00 35 35
225Supahaka:1 Joel Faron 15.00 15.00 35 35
226Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
227Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
228nupog:1 Aristotle 15.00 0.12 1 0


SatSolvers Ranklist Generators Ranklist