SatSolvers Ranklist Generators Ranklist

Stats for satsolver: cat

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 cat 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 cat 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: cat
Rank: 87 / 118
Average Score: 14.07
Median Score: 15.00
Description: Implements WalkSat. Does some initial pre-processing to make it more efficient. Uses a counter to determine which variable to flip and randomly uses the counter or flips a variable at random (w/ probability .8).
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4David Paulk:0 cat 0.00 0.00 0 0
5Happy:1 KingBach 0.00 0.00 0 0
6Miranda:1 cat 0.00 0.00 0 0
7bigwig:1 KingBach 0.00 0.00 0 0
8Ravi Tandon:1 KingBach 0.00 0.00 0 0
9Miranda:0 cat 0.00 0.00 0 0
10R. A. B.:1 cat 0.00 0.00 0 0
11Bebe Shi:0 KingBach 0.00 0.00 0 0
12David Paulk:1 Bar Shabtai 0.01 0.00 0 0
13cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
14cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
15George Okeowo:1 Andrew Grasso 0.01 0.01 0 0
16K.L.:1 KingBach 0.01 0.00 0 0
17George Okeowo:0 Andrew Grasso 0.01 0.01 0 0
18Gewang:1 Jonathan Kwok 0.02 0.00 0 0
19totallyOnFallBreak:1 Nikhilesh Sigatapu 0.03 0.01 0 0
20totallyOnFallBreak:0 Nikhilesh Sigatapu 0.03 0.01 0 0
21Gewang:0 Jonathan Kwok 0.04 0.00 0 0
22Linda:0 Andrew Grasso 0.04 0.01 0 0
23Linda:1 Andrew Grasso 0.06 0.02 0 0
24Qinlan Shen:0 Bar Shabtai 0.07 0.01 0 0
25BMJ:0 Elphaba 0.07 0.00 0 0
26BMJ:1 burrito 0.08 0.00 0 0
27K.L.:0 haoyu 0.10 0.00 0 0
28Boomshanka:0 haoyu 0.10 0.01 0 0
29Mike Honcho:1 Jessie Chen 0.11 0.01 0 0
30Mike Honcho:0 Miranda 0.12 0.01 0 0
31Bob Dondero:0 Andrew Grasso 0.12 0.02 0 0
32Bob Dondero:1 Mickey Mouse 0.13 0.03 0 0
33Tom T:1 Andrew Werner 0.13 0.02 0 0
34Solving For Clauses:0 Glenn Fisher 0.28 0.00 0 0
35Tom T:0 EC 0.34 0.02 0 0
36bfang:0 haoyu 0.34 0.04 0 0
37Daffy Duck:1 haoyu 0.35 0.00 0 0
38bchouGenerator:0 haoyu 0.50 0.00 0 0
39Daffy Duck:0 Andrew Werner 0.97 0.00 0 0
40Quite Satisfied:0 haoyu 1.38 0.00 0 0
41bfang:1 haoyu 1.38 0.04 0 0
42Dr Roberto:1 Andrew Grasso 1.40 0.02 0 0
43Scheduling Generator 203:0 jgs 1.52 0.01 0 0
44Jonathan Kwok:0 Elphaba 1.88 0.00 0 0
45Jonathan Kwok:1 KingBach 1.92 0.00 0 0
46Solving For Clauses:1 haoyu 2.33 0.00 0 0
47Scheduling Generator 203:1 Jameh 3.66 0.02 0 0
48Lil Thug:1 Andrew Grasso 3.94 0.03 0 0
49Lil Thug:0 Andrew Grasso 4.36 0.03 0 0
50Mickey Mouse:1 haoyu 5.17 0.01 0 0
51Aaron H:0 Aristotle 6.18 0.11 0 0
52Aaron H:1 Aristotle 6.79 0.11 0 0
53cat:1 haoyu 7.09 0.03 0 0
54cat:0 haoyu 8.27 0.03 0 0
55Dr Roberto:0 Andrew Grasso 12.45 0.03 0 0
56Happy:0 haoyu 12.75 0.00 0 0
57Mark S. Fillmore:1 Supahaka 14.99 0.04 79 79
58Mark S. Fillmore:0 Supahaka 14.99 0.01 116 116
59DinnerPartyPlannerBM:0 Aristotle 14.99 0.11 2 0
60DinnerPartyPlannerBM:1 Nihar the Great 15.00 0.06 3 0
61T. Capote:0 haoyu 14.99 0.00 3 2
62T. Capote:1 haoyu 14.99 0.00 3 2
63Qinlan Shen:1 R. A. B. 14.99 9.00 4 1
64Batman:1 haoyu 15.00 0.04 7 0
65Jordan Ash:1 Bar Shabtai 14.99 0.01 8 0
66Brendan Wright:1 Deric Cheng 15.00 0.10 8 0
67Jordan Ash:0 EC 14.99 0.03 8 0
68CookieMonster:1 CookieMonster 14.99 1.10 8 0
69Batman:0 haoyu 15.00 0.04 8 0
70weezy:1 Bar Shabtai 14.99 0.01 9 0
71Boomshanka:1 Bar Shabtai 14.99 0.01 11 0
72weezy:0 Bar Shabtai 14.99 0.01 12 0
73Joshua Zimmer:1 haoyu 14.99 0.00 13 0
74Tree Prophet:0 haoyu 14.99 0.00 14 0
75The Whitman Whale:0 bigwig 14.99 0.04 14 0
76Tree Prophet:1 haoyu 14.99 0.00 14 0
77Sprt:1 haoyu 14.99 0.05 15 0
78The Whitman Whale:1 Andrew Grasso 14.99 0.03 15 0
79The Kraken:0 haoyu 14.99 0.00 16 0
80The Kraken:1 haoyu 14.99 0.00 17 0
81Ytterbium:1 Nihar the Great 14.99 0.02 17 0
82Ytterbium:0 Andrew Grasso 14.99 0.02 17 0
83Joshua Zimmer:0 haoyu 14.99 0.00 17 0
84CookieMonster:0 CookieMonster 14.99 0.82 18 0
85Sunny:1 jabreezy 14.99 0.01 18 0
86Andys:0 Aristotle 15.00 0.12 22 0
87Andys:1 Aristotle 15.00 0.13 22 0
88Quite Satisfied:1 Joel Faron 14.99 2.11 23 1
89vluu:0 Nihar the Great 14.99 0.01 24 0
90vluu:1 Nihar the Great 14.99 0.02 24 0
91Blam:0 Elphaba 14.99 0.00 24 0
92John Whelchel:1 haoyu 15.00 0.11 25 0
93Sunny:0 Green "The Bean" Choi 14.99 0.02 26 0
94Blam:1 Elphaba 14.99 0.00 27 0
95Khoa:0 haoyu 14.99 0.09 28 0
96AARON BURR, DROPPIN' HAMILTONS:0 haoyu 14.99 0.00 30 0
97haoyu:1 Anon5 14.99 0.01 33 0
98Glenn Fisher:0 Elphaba 14.99 0.02 34 0
99Elphaba:1 Aristotle 15.00 0.22 35 0
100Deric Cheng:0 jgs 15.00 14.99 35 1
101Keji Xu:1 Nihar the Great 14.99 0.04 40 0
102Jameh:0 haoyu 14.99 0.01 41 0
103Andrew Werner:1 haoyu 14.99 0.11 48 0
104Glenn Fisher:1 jabreezy 14.99 0.09 49 0
105Jessie Chen:0 Joel Faron 14.99 0.13 50 1
106Shaheed Chagani:0 Aristotle 15.00 0.17 51 0
107Ben Chen:0 Elphaba 14.99 0.07 51 0
108Yan Wu:1 haoyu 14.99 0.04 51 0
109Yan Wu:0 haoyu 14.99 0.05 52 0
110Mr. Blobby:1 dusty 14.99 0.12 52 0
111haoyu:0 KingBach 14.99 0.01 53 0
112Walter Little:0 haoyu 14.99 0.04 54 0
113Ben Chen:1 spl 14.99 0.20 54 0
114Janie Gu:0 Glenn Fisher 14.99 0.07 56 0
115Walter Little:1 haoyu 15.00 0.03 57 0
116Shaheed Chagani:1 Aristotle 15.00 0.11 58 0
117jabreezy:0 Mercury 14.99 0.09 60 0
118Mr. Blobby:0 Green "The Bean" Choi 14.99 0.14 61 0
119jabreezy:1 Mercury 14.99 0.10 62 0
120Aaron Doll:0 Aristotle 14.99 0.56 66 0
121AARON BURR, DROPPIN' HAMILTONS:1 haoyu 14.99 0.01 67 0
122Janie Gu:1 Jonathan Kwok 14.99 0.07 73 0
123Jameh:1 haoyu 14.99 0.01 83 0
124Keji Xu:0 Nihar the Great 14.99 0.03 113 0
125R. A. B.:0 Nihar the Great 14.99 0.00 118 0
126Jessie Chen:1 Joel Faron 14.99 0.12 122 1
127Supahaka:0 Andrew Werner 14.99 15.00 129 35
128bchouGenerator:1 Jonathan Kwok 14.99 0.01 140 0
129Supahaka:1 Joel Faron 14.99 15.00 141 35
130SuperFan:0 jgs 14.99 14.98 145 4
131DeeEmEm:0 CAPS LOCK 14.99 13.00 211 1
132Anon_K_P:0 haoyu 14.99 0.02 217 0
133Anon5:0 haoyu 14.99 0.05 231 0
134DeeEmEm:1 haoyu 14.99 0.02 237 0
13513a:0 Aaron Doll 15.00 15.00 272 21
136SuperFan:1 jgs 14.99 14.98 276 4
137David H.:0 AFC 14.99 0.28 281 0
138Nikhilesh Sigatapu:1 haoyu 14.99 0.04 291 0
139Nikhilesh Sigatapu:0 haoyu 14.99 0.03 306 0
1400108:1 haoyu 14.99 0.01 338 0
141Anon_K_P:1 Aristotle 14.99 0.03 353 0
142David H.:1 DeeEmEm 14.99 0.33 396 0
143soccer:0 haoyu 14.99 0.04 433 0
144Anon5:1 Green "The Bean" Choi 14.99 0.07 548 0
145Dusty:1 Shaheed Chagani 14.99 0.22 552 0
146Dusty:0 CookieMonster 14.99 1.39 563 0
147Nihar the Great:0 Aristotle 15.00 0.23 661 0
148Yacob Y.:0 haoyu 14.99 0.06 677 0
1490108:0 jgs 14.99 14.98 709 1
150Andrew Grasso:0 Aaron Doll 14.99 0.18 717 0
151Andrew Grasso:1 Shaheed Chagani 14.99 0.15 726 0
152Tiny Wings:0 haoyu 14.99 0.02 819 0
153Valya Barboy:0 Aristotle 14.99 0.06 830 0
154David Lackey:1 Bar Shabtai 14.99 0.03 831 0
155David Lackey:0 Anon5 14.99 0.03 874 0
156Mickey Mouse:0 Bar Shabtai 14.99 0.01 953 0
157jgs:0 Aristotle 15.00 0.12 966 0
158Mercury:0 haoyu 14.99 0.05 969 0
159spl:0 Elphaba 14.99 0.09 1001 0
160Alex Fish:1 haoyu 14.99 0.02 1018 0
161Tiny Wings:1 haoyu 14.99 0.01 1054 0
162Valya Barboy:1 Shaheed Chagani 14.99 0.18 1069 0
163spl:1 haoyu 14.99 0.06 1089 0
164kt4124:0 haoyu 14.99 0.03 1095 0
165kt4124:1 haoyu 14.99 0.04 1223 0
166Mercury:1 haoyu 14.99 0.05 1267 0
167Matt Haake:1 haoyu 14.99 0.05 1510 0
168Khoa:1 Aristotle 14.99 0.09 1655 0
169Alex Fish:0 haoyu 14.99 0.01 1742 0
170Matt Haake:0 haoyu 14.99 0.05 1753 0
171nupog:1 Aristotle 14.99 0.12 1758 0
172nupog:0 Aristotle 15.00 0.13 1762 0
173NA:0 haoyu 14.99 0.03 1769 0
174Fanny:1 Aristotle 14.99 0.12 1803 0
175NA:1 Elphaba 14.99 0.04 1855 0
176Tao:1 Aristotle 14.99 0.07 1909 0
177soccer:1 haoyu 14.99 0.04 2092 0
178Tao:0 Bar Shabtai 14.99 0.02 2230 0
179Fanny:0 Aristotle 14.99 0.10 2467 0
180snowflakes:1 haoyu 14.99 0.03 2540 0
181Matt Goldsmith:1 Happy 15.00 0.03 2564 0
182Yacob Y.:1 Aristotle 15.00 15.00 2758 1
183snowflakes:0 haoyu 14.99 0.03 2795 0
184Sally Smith:1 haoyu 15.00 0.04 3149 0
185Samuel Jerome:0 haoyu 14.99 0.03 3427 0
186Sally Smith:0 haoyu 15.00 0.04 3513 0
187Samuel Jerome:1 haoyu 14.99 0.03 3805 0
188burrito:1 haoyu 15.00 0.10 3920 0
189Andrew Werner:0 Aaron Doll 15.00 0.33 3964 0
190Lisa Kim:1 Bar Shabtai 14.99 0.06 3968 0
191Lisa Kim:0 Aristotle 14.99 0.07 4113 0
192EC:1 haoyu 14.99 0.03 4191 0
193EC:0 haoyu 14.99 0.03 4274 0
194ebp:1 haoyu 15.00 0.04 4519 0
195ebp:0 haoyu 15.00 0.04 5332 0
196KingBach:1 haoyu 15.00 0.04 5738 0
197Mike Hunt:1 Aristotle 14.99 0.29 7030 0
198Mike Hunt:0 Aristotle 15.00 0.27 7253 0
199burrito:0 haoyu 15.00 0.09 8090 0
200Absurdity:0 Aristotle 15.00 0.23 8102 0
201KingBach:0 haoyu 14.99 0.06 8297 0
202dfshasdsf12:1 Nihar the Great 15.00 0.11 9244 0
203Sabar Dasgupta:1 Aaron Doll 14.99 0.17 9825 0
204Sabar Dasgupta:0 spl 15.00 0.23 10039 0
205Charliezsc:0 jgs 15.00 14.98 10287 1
206Charliezsc:1 haoyu 14.99 0.07 11753 0
207Brendan Wright:0 haoyu 15.00 0.10 4 0
208Sprt:0 Aristotle 15.00 0.11 42 0
209dfshasdsf12:0 haoyu 15.00 0.09 44 0
210Absurdity:1 Aristotle 15.00 0.18 7808 0
211CAPS LOCK:0 Aristotle 15.00 0.20 2 0
212Deric Cheng:1 jgs 15.00 14.98 29 1
213John Whelchel:0 haoyu 15.00 0.06 25 0
214Aaron Doll:1 Aristotle 15.00 1.27 142 0
215Bar Shabtai:1 haoyu 15.00 0.12 19 0
216Elphaba:0 Aristotle 15.01 0.24 26 0
217Bar Shabtai:0 Aaron Doll 15.01 15.01 53 1
218CAPS LOCK:1 Aristotle 15.01 0.25 251 0
219jgs:1 haoyu 15.01 0.18 555 0
22013a:1 Aaron Doll 15.02 15.00 299 29
221Matt Goldsmith:0 Nihar the Great 15.03 0.03 3160 0
222Aristotle:1 Aristotle 15.06 9.69 85 0
223Aristotle:0 Aristotle 15.11 15.00 86 1
224AFC:0 CookieMonster 16.54 0.34 1300 0
225AFC:1 Aristotle - 0.16 - 0
226BH:0 haoyu - 0.07 - 0
227BH:1 haoyu - 0.05 - 0
228Nihar the Great:1 Aristotle - 0.25 - 0


SatSolvers Ranklist Generators Ranklist