SatSolvers Ranklist Generators Ranklist

Stats for satsolver: CookieMonster

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 CookieMonster 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 CookieMonster 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: CookieMonster
Rank: 4 / 118
Average Score: 2.48
Median Score: 0.24
Description: InitSat is a WalkSat variant which attempts to begin WalkSat's stochastic process from a highly favorable starting model. It uses random sampling methodsto first randomly generate models and starts with the truthassignment which satisfied the most clauses. Thus, the rest of WalkSat (selecting a random unsatisfied clause, picking the literal within that clause which causes the fewest number of previously satisfied clauses to become unsatisfied) proceeds from a starting model in which variables which "favor" one truth assignment are already thusly assigned. Also includes randomized restarts.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.01 0.00 0 0
2bigwig:1 KingBach 0.01 0.00 0 0
3Ravi Tandon:0 KingBach 0.01 0.00 0 0
4Bebe Shi:1 KingBach 0.01 0.00 0 0
5K.L.:1 KingBach 0.01 0.00 0 0
6Ravi Tandon:1 KingBach 0.01 0.00 0 0
7Jonathan Kwok:1 KingBach 0.01 0.00 0 0
8Happy:1 KingBach 0.01 0.00 0 0
9K.L.:0 haoyu 0.02 0.00 0 0
10Bebe Shi:0 KingBach 0.02 0.00 0 0
11Daffy Duck:1 haoyu 0.02 0.00 0 0
12Joshua Zimmer:1 haoyu 0.02 0.00 0 0
13Joshua Zimmer:0 haoyu 0.02 0.00 0 0
14R. A. B.:1 cat 0.02 0.00 0 0
15Miranda:1 cat 0.02 0.00 0 0
16Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
17bchouGenerator:0 haoyu 0.02 0.00 0 0
18Blam:1 Elphaba 0.02 0.00 0 0
19haoyu:0 KingBach 0.02 0.01 0 0
20haoyu:1 Anon5 0.02 0.01 0 0
21Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
22BMJ:1 burrito 0.02 0.00 0 0
23Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
24Tree Prophet:0 haoyu 0.02 0.00 0 0
25Miranda:0 cat 0.03 0.00 0 0
26Gewang:0 Jonathan Kwok 0.03 0.00 0 0
27BMJ:0 Elphaba 0.03 0.00 0 0
28Solving For Clauses:1 haoyu 0.03 0.00 0 0
29Gewang:1 Jonathan Kwok 0.03 0.00 0 0
30David Paulk:0 cat 0.03 0.00 0 0
31The Kraken:0 haoyu 0.03 0.00 0 0
32Quite Satisfied:0 haoyu 0.03 0.00 0 0
33David Paulk:1 Bar Shabtai 0.03 0.00 0 0
34Sunny:0 Green "The Bean" Choi 0.03 0.02 0 0
35The Kraken:1 haoyu 0.04 0.00 0 0
36Qinlan Shen:0 Bar Shabtai 0.04 0.01 0 0
37Tree Prophet:1 haoyu 0.04 0.00 0 0
38Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
39Mickey Mouse:1 haoyu 0.05 0.01 0 0
40Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
41cmF5a3ly:0 Nihar the Great 0.05 0.00 0 0
42Blam:0 Elphaba 0.05 0.00 0 0
43cmF5a3ly:1 Nihar the Great 0.05 0.00 0 0
44R. A. B.:0 Nihar the Great 0.05 0.00 0 0
45Jameh:0 haoyu 0.06 0.01 0 0
46Tiny Wings:1 haoyu 0.06 0.01 0 0
47weezy:0 Bar Shabtai 0.07 0.01 0 0
48Boomshanka:0 haoyu 0.07 0.01 0 0
49Alex Fish:1 haoyu 0.07 0.02 0 0
50weezy:1 Bar Shabtai 0.07 0.01 0 0
51Tiny Wings:0 haoyu 0.08 0.02 0 0
52Scheduling Generator 203:0 jgs 0.08 0.01 0 0
53Anon_K_P:1 Aristotle 0.09 0.03 0 0
54Jordan Ash:0 EC 0.09 0.03 0 0
55Keji Xu:0 Nihar the Great 0.09 0.03 0 0
56vluu:1 Nihar the Great 0.10 0.02 0 0
57Jameh:1 haoyu 0.10 0.01 0 0
58bchouGenerator:1 Jonathan Kwok 0.10 0.01 0 0
59vluu:0 Nihar the Great 0.10 0.01 0 0
60totallyOnFallBreak:1 Nikhilesh Sigatapu 0.10 0.01 0 0
61Ytterbium:0 Andrew Grasso 0.10 0.02 0 0
62Boomshanka:1 Bar Shabtai 0.11 0.01 0 0
63The Whitman Whale:0 bigwig 0.11 0.04 0 0
64totallyOnFallBreak:0 Nikhilesh Sigatapu 0.11 0.01 0 0
65Matt Haake:0 haoyu 0.12 0.05 0 0
66cat:0 haoyu 0.12 0.03 0 0
67Janie Gu:0 Glenn Fisher 0.12 0.07 0 0
680108:1 haoyu 0.12 0.01 0 0
69David Lackey:1 Bar Shabtai 0.12 0.03 0 0
70Tom T:0 EC 0.12 0.02 0 0
71cat:1 haoyu 0.12 0.03 0 0
72Scheduling Generator 203:1 Jameh 0.13 0.02 0 0
73Lisa Kim:1 Bar Shabtai 0.13 0.06 0 0
74Tom T:1 Andrew Werner 0.13 0.02 0 0
75Matt Haake:1 haoyu 0.14 0.05 0 0
76Nikhilesh Sigatapu:1 haoyu 0.14 0.04 0 0
77George Okeowo:0 Andrew Grasso 0.14 0.01 0 0
78Tao:1 Aristotle 0.14 0.07 0 0
79George Okeowo:1 Andrew Grasso 0.15 0.01 0 0
80David Lackey:0 Anon5 0.15 0.03 0 0
81Nikhilesh Sigatapu:0 haoyu 0.15 0.03 0 0
82Glenn Fisher:0 Elphaba 0.15 0.02 0 0
83Samuel Jerome:0 haoyu 0.16 0.03 0 0
84The Whitman Whale:1 Andrew Grasso 0.16 0.03 0 0
85DeeEmEm:1 haoyu 0.16 0.02 0 0
86Anon_K_P:0 haoyu 0.17 0.02 0 0
87Lisa Kim:0 Aristotle 0.17 0.07 0 0
88Ytterbium:1 Nihar the Great 0.17 0.02 0 0
89Janie Gu:1 Jonathan Kwok 0.17 0.07 0 0
90Sally Smith:1 haoyu 0.17 0.04 0 0
91Mr. Blobby:1 dusty 0.17 0.12 0 0
92Sally Smith:0 haoyu 0.18 0.04 0 0
93Keji Xu:1 Nihar the Great 0.18 0.04 0 0
94AFC:1 Aristotle 0.18 0.16 0 0
95kt4124:0 haoyu 0.19 0.03 0 0
96Yan Wu:0 haoyu 0.19 0.05 0 0
97AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.20 0.01 0 0
98bfang:0 haoyu 0.20 0.04 0 0
99AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.20 0.00 0 0
100Dr Roberto:0 Andrew Grasso 0.20 0.03 0 0
101bfang:1 haoyu 0.21 0.04 0 0
102Dr Roberto:1 Andrew Grasso 0.21 0.02 0 0
103kt4124:1 haoyu 0.21 0.04 0 0
104Batman:0 haoyu 0.21 0.04 0 0
105Valya Barboy:1 Shaheed Chagani 0.21 0.18 0 0
106Alex Fish:0 haoyu 0.22 0.01 0 0
107soccer:1 haoyu 0.22 0.04 0 0
108soccer:0 haoyu 0.22 0.04 0 0
109Andrew Grasso:0 Aaron Doll 0.22 0.18 0 0
110Yan Wu:1 haoyu 0.23 0.04 0 0
111spl:1 haoyu 0.24 0.06 0 0
112Sunny:1 jabreezy 0.24 0.01 0 0
113Samuel Jerome:1 haoyu 0.24 0.03 0 0
114Yacob Y.:0 haoyu 0.24 0.06 0 0
115Mr. Blobby:0 Green "The Bean" Choi 0.25 0.14 0 0
116Linda:0 Andrew Grasso 0.25 0.01 0 0
117KingBach:1 haoyu 0.25 0.04 0 0
118NA:0 haoyu 0.26 0.03 0 0
119KingBach:0 haoyu 0.26 0.06 0 0
120Tao:0 Bar Shabtai 0.26 0.02 0 0
121Khoa:1 Aristotle 0.27 0.09 0 0
122Valya Barboy:0 Aristotle 0.27 0.06 0 0
123Batman:1 haoyu 0.27 0.04 0 0
124Mercury:1 haoyu 0.27 0.05 0 0
125Anon5:1 Green "The Bean" Choi 0.28 0.07 0 0
126Mercury:0 haoyu 0.29 0.05 0 0
127Ben Chen:0 Elphaba 0.29 0.07 0 0
128jabreezy:1 Mercury 0.29 0.10 0 0
129Glenn Fisher:1 jabreezy 0.29 0.09 0 0
130Dusty:1 Shaheed Chagani 0.30 0.22 0 0
131Andrew Grasso:1 Shaheed Chagani 0.30 0.15 0 0
132Happy:0 haoyu 0.31 0.00 0 0
133jabreezy:0 Mercury 0.31 0.09 0 0
134Sprt:1 haoyu 0.33 0.05 0 0
135Walter Little:1 haoyu 0.33 0.03 0 0
136AFC:0 CookieMonster 0.34 0.34 0 0
137snowflakes:0 haoyu 0.34 0.03 0 0
138Khoa:0 haoyu 0.34 0.09 0 0
139Sabar Dasgupta:0 spl 0.34 0.23 0 0
140Ben Chen:1 spl 0.35 0.20 0 0
141EC:1 haoyu 0.35 0.03 0 0
142Anon5:0 haoyu 0.36 0.05 0 0
143Sabar Dasgupta:1 Aaron Doll 0.37 0.17 0 0
144Charliezsc:1 haoyu 0.41 0.07 0 0
145Absurdity:0 Aristotle 0.45 0.23 0 0
146spl:0 Elphaba 0.46 0.09 0 0
147Absurdity:1 Aristotle 0.47 0.18 0 0
148DinnerPartyPlannerBM:1 Nihar the Great 0.48 0.06 0 0
149burrito:0 haoyu 0.50 0.09 0 0
150Linda:1 Andrew Grasso 0.52 0.02 0 0
151Aaron H:1 Aristotle 0.56 0.11 0 0
152Mike Hunt:0 Aristotle 0.56 0.27 0 0
153Aaron H:0 Aristotle 0.61 0.11 0 0
154ebp:1 haoyu 0.62 0.04 0 0
155dfshasdsf12:0 haoyu 0.66 0.09 0 0
156nupog:1 Aristotle 0.69 0.12 0 0
157Lil Thug:0 Andrew Grasso 0.70 0.03 0 0
158Andys:0 Aristotle 0.71 0.12 0 0
159nupog:0 Aristotle 0.71 0.13 0 0
160David H.:1 DeeEmEm 0.73 0.33 0 0
161Lil Thug:1 Andrew Grasso 0.74 0.03 0 0
162Sprt:0 Aristotle 0.76 0.11 0 0
163BH:0 haoyu 0.78 0.07 0 0
164Bob Dondero:0 Andrew Grasso 0.78 0.02 0 0
165Mike Hunt:1 Aristotle 0.78 0.29 0 0
166Andys:1 Aristotle 0.81 0.13 0 0
167CookieMonster:0 CookieMonster 0.82 0.82 0 0
168BH:1 haoyu 0.86 0.05 0 0
169burrito:1 haoyu 0.86 0.10 0 0
170Andrew Werner:0 Aaron Doll 0.87 0.33 0 0
171John Whelchel:0 haoyu 0.92 0.06 0 0
172Andrew Werner:1 haoyu 0.98 0.11 0 0
173ebp:0 haoyu 0.99 0.04 0 0
174Bob Dondero:1 Mickey Mouse 1.00 0.03 0 0
175DinnerPartyPlannerBM:0 Aristotle 1.06 0.11 0 0
176NA:1 Elphaba 1.07 0.04 0 0
177CookieMonster:1 CookieMonster 1.10 1.10 0 0
178Fanny:0 Aristotle 1.15 0.10 0 0
179CAPS LOCK:0 Aristotle 1.20 0.20 0 0
180David H.:0 AFC 1.22 0.28 0 0
181dfshasdsf12:1 Nihar the Great 1.23 0.11 0 0
182Dusty:0 CookieMonster 1.39 1.39 0 0
183Mike Honcho:0 Miranda 1.46 0.01 0 0
184jgs:1 haoyu 1.53 0.18 0 0
185Bar Shabtai:1 haoyu 1.54 0.12 0 0
186EC:0 haoyu 1.57 0.03 0 0
187jgs:0 Aristotle 1.66 0.12 0 0
188CAPS LOCK:1 Aristotle 1.81 0.25 0 0
189John Whelchel:1 haoyu 1.87 0.11 0 0
190Mike Honcho:1 Jessie Chen 2.07 0.01 0 0
191snowflakes:1 haoyu 2.67 0.03 0 0
192Fanny:1 Aristotle 2.88 0.12 0 0
193Elphaba:0 Aristotle 3.35 0.24 0 0
194Elphaba:1 Aristotle 3.47 0.22 0 0
195Nihar the Great:0 Aristotle 5.29 0.23 0 0
196Nihar the Great:1 Aristotle 6.39 0.25 0 0
197Walter Little:0 haoyu 10.08 0.04 0 0
198Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
199Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
200DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
2010108:0 jgs 15.00 14.98 1 1
202T. Capote:0 haoyu 15.00 0.00 2 2
203T. Capote:1 haoyu 15.00 0.00 2 2
204Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
205Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
206Shaheed Chagani:0 Aristotle 15.00 0.17 1 0
207Jessie Chen:0 Joel Faron 15.00 0.13 2 1
208Charliezsc:0 jgs 15.00 14.98 2 1
209Jessie Chen:1 Joel Faron 15.00 0.12 2 1
210Deric Cheng:1 jgs 15.00 14.98 2 1
211Deric Cheng:0 jgs 15.00 14.99 2 1
212Shaheed Chagani:1 Aristotle 15.00 0.11 3 0
213SuperFan:1 jgs 15.00 14.98 7 4
214Yacob Y.:1 Aristotle 15.00 15.00 7 1
215SuperFan:0 jgs 15.00 14.98 8 4
21613a:1 Aaron Doll 15.00 15.00 36 29
21713a:0 Aaron Doll 15.00 15.00 43 21
218Supahaka:0 Andrew Werner 15.00 15.00 48 35
219Supahaka:1 Joel Faron 15.00 15.00 51 35
220Bar Shabtai:0 Aaron Doll 15.00 15.01 76655 1
221Aristotle:1 Aristotle 15.00 9.69 644342 0
222Aaron Doll:0 Aristotle 15.00 0.56 49874 0
223Aaron Doll:1 Aristotle 15.00 1.27 123301 0
224Aristotle:0 Aristotle 15.01 15.00 662914 1
225Matt Goldsmith:0 Nihar the Great 15.02 0.03 472406 0
226Matt Goldsmith:1 Happy 15.02 0.03 482289 0
227Brendan Wright:1 Deric Cheng 15.05 0.10 2 0
228Brendan Wright:0 haoyu 15.06 0.10 2 0


SatSolvers Ranklist Generators Ranklist