SatSolvers Ranklist Generators Ranklist

Stats for satsolver: burrito

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 burrito 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 burrito 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: burrito
Rank: 52 / 118
Average Score: 7.79
Median Score: 1.68
Description: Implementation of WalkSAT that includes some optimizations. One is to save a copy of the model that satisfies the most clauses so far, and when time runs out to return that best model, instead of the model that is currently being used by the algorithm.
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
3BMJ:1 burrito 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
7bigwig:1 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
10K.L.:0 haoyu 0.00 0.00 0 0
11Bebe Shi:0 KingBach 0.00 0.00 0 0
12Miranda:0 cat 0.00 0.00 0 0
13Solving For Clauses:0 Glenn Fisher 0.00 0.00 0 0
14Solving For Clauses:1 haoyu 0.00 0.00 0 0
15Joshua Zimmer:1 haoyu 0.00 0.00 0 0
16Joshua Zimmer:0 haoyu 0.00 0.00 0 0
17Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
18haoyu:1 Anon5 0.01 0.01 0 0
19Blam:1 Elphaba 0.01 0.00 0 0
20Jonathan Kwok:1 KingBach 0.01 0.00 0 0
21Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
22BMJ:0 Elphaba 0.01 0.00 0 0
23Daffy Duck:1 haoyu 0.01 0.00 0 0
24Blam:0 Elphaba 0.01 0.00 0 0
25R. A. B.:1 cat 0.01 0.00 0 0
26bchouGenerator:0 haoyu 0.01 0.00 0 0
27Gewang:0 Jonathan Kwok 0.01 0.00 0 0
28Tree Prophet:0 haoyu 0.01 0.00 0 0
29Tree Prophet:1 haoyu 0.01 0.00 0 0
30cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
31Gewang:1 Jonathan Kwok 0.02 0.00 0 0
32cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
33haoyu:0 KingBach 0.02 0.01 0 0
34David Paulk:0 cat 0.02 0.00 0 0
35Quite Satisfied:0 haoyu 0.02 0.00 0 0
36Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
37David Paulk:1 Bar Shabtai 0.02 0.00 0 0
38bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
39The Kraken:0 haoyu 0.03 0.00 0 0
40Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
41The Kraken:1 haoyu 0.04 0.00 0 0
42Mickey Mouse:1 haoyu 0.04 0.01 0 0
43Scheduling Generator 203:0 jgs 0.04 0.01 0 0
44weezy:1 Bar Shabtai 0.04 0.01 0 0
45weezy:0 Bar Shabtai 0.04 0.01 0 0
46R. A. B.:0 Nihar the Great 0.04 0.00 0 0
47Happy:0 haoyu 0.04 0.00 0 0
48Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
49Jameh:0 haoyu 0.04 0.01 0 0
50Tom T:0 EC 0.05 0.02 0 0
51Boomshanka:1 Bar Shabtai 0.05 0.01 0 0
52Tiny Wings:1 haoyu 0.06 0.01 0 0
53Tom T:1 Andrew Werner 0.06 0.02 0 0
54Ytterbium:0 Andrew Grasso 0.06 0.02 0 0
55Sunny:0 Green "The Bean" Choi 0.06 0.02 0 0
56Tiny Wings:0 haoyu 0.06 0.02 0 0
57vluu:0 Nihar the Great 0.06 0.01 0 0
58Scheduling Generator 203:1 Jameh 0.07 0.02 0 0
59vluu:1 Nihar the Great 0.07 0.02 0 0
60totallyOnFallBreak:1 Nikhilesh Sigatapu 0.07 0.01 0 0
61totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
62Janie Gu:0 Glenn Fisher 0.07 0.07 0 0
63Jameh:1 haoyu 0.08 0.01 0 0
64Keji Xu:1 Nihar the Great 0.08 0.04 0 0
65Boomshanka:0 haoyu 0.08 0.01 0 0
66Dr Roberto:0 Andrew Grasso 0.08 0.03 0 0
67Sunny:1 jabreezy 0.09 0.01 0 0
68Keji Xu:0 Nihar the Great 0.09 0.03 0 0
69DeeEmEm:1 haoyu 0.10 0.02 0 0
700108:1 haoyu 0.10 0.01 0 0
71cat:0 haoyu 0.11 0.03 0 0
72Janie Gu:1 Jonathan Kwok 0.11 0.07 0 0
73Bob Dondero:1 Mickey Mouse 0.12 0.03 0 0
74cat:1 haoyu 0.12 0.03 0 0
75The Whitman Whale:0 bigwig 0.13 0.04 0 0
76Dr Roberto:1 Andrew Grasso 0.13 0.02 0 0
77Ytterbium:1 Nihar the Great 0.13 0.02 0 0
78Alex Fish:1 haoyu 0.13 0.02 0 0
79The Whitman Whale:1 Andrew Grasso 0.14 0.03 0 0
80George Okeowo:0 Andrew Grasso 0.17 0.01 0 0
81Tao:0 Bar Shabtai 0.17 0.02 0 0
82Bob Dondero:0 Andrew Grasso 0.18 0.02 0 0
83George Okeowo:1 Andrew Grasso 0.18 0.01 0 0
84Jordan Ash:0 EC 0.19 0.03 0 0
85Linda:0 Andrew Grasso 0.22 0.01 0 0
86Lisa Kim:0 Aristotle 0.23 0.07 0 0
87Lisa Kim:1 Bar Shabtai 0.24 0.06 0 0
88Alex Fish:0 haoyu 0.24 0.01 0 0
89AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.25 0.01 0 0
90kt4124:0 haoyu 0.26 0.03 0 0
91AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.26 0.00 0 0
92Samuel Jerome:0 haoyu 0.27 0.03 0 0
93kt4124:1 haoyu 0.28 0.04 0 0
94Linda:1 Andrew Grasso 0.32 0.02 0 0
95Nikhilesh Sigatapu:1 haoyu 0.45 0.04 0 0
96KingBach:1 haoyu 0.45 0.04 0 0
97bfang:0 haoyu 0.47 0.04 0 0
98Batman:1 haoyu 0.51 0.04 0 0
99Batman:0 haoyu 0.54 0.04 0 0
100Brendan Wright:1 Deric Cheng 0.54 0.10 0 0
101Sally Smith:1 haoyu 0.55 0.04 0 0
102Sally Smith:0 haoyu 0.58 0.04 0 0
103Nikhilesh Sigatapu:0 haoyu 0.59 0.03 0 0
104Sprt:1 haoyu 0.63 0.05 0 0
105Khoa:1 Aristotle 0.63 0.09 0 0
106KingBach:0 haoyu 0.65 0.06 0 0
107Khoa:0 haoyu 0.69 0.09 0 0
108bfang:1 haoyu 0.74 0.04 0 0
109soccer:0 haoyu 0.77 0.04 0 0
110Tao:1 Aristotle 1.05 0.07 0 0
111David Lackey:0 Anon5 1.15 0.03 0 0
112DinnerPartyPlannerBM:1 Nihar the Great 1.25 0.06 0 0
113Mercury:1 haoyu 1.68 0.05 0 0
114dfshasdsf12:0 haoyu 1.93 0.09 0 0
115Lil Thug:0 Andrew Grasso 2.01 0.03 0 0
116David Lackey:1 Bar Shabtai 2.03 0.03 0 0
117burrito:0 haoyu 2.07 0.09 0 0
118Samuel Jerome:1 haoyu 2.09 0.03 0 0
119Lil Thug:1 Andrew Grasso 2.32 0.03 0 0
120Anon_K_P:1 Aristotle 2.53 0.03 0 0
121soccer:1 haoyu 2.63 0.04 0 0
122Sprt:0 Aristotle 2.68 0.11 0 0
123Glenn Fisher:0 Elphaba 3.37 0.02 0 0
124dfshasdsf12:1 Nihar the Great 3.55 0.11 0 0
125DinnerPartyPlannerBM:0 Aristotle 4.01 0.11 0 0
126jabreezy:1 Mercury 4.80 0.10 0 0
127John Whelchel:0 haoyu 5.26 0.06 0 0
128Sabar Dasgupta:0 spl 5.45 0.23 0 0
129Mercury:0 haoyu 5.63 0.05 0 0
130jabreezy:0 Mercury 5.73 0.09 0 0
131Aaron H:0 Aristotle 6.42 0.11 0 0
132Brendan Wright:0 haoyu 7.23 0.10 0 0
133Mike Hunt:0 Aristotle 7.48 0.27 0 0
134Aaron H:1 Aristotle 8.32 0.11 0 0
135CAPS LOCK:0 Aristotle 10.40 0.20 0 0
136burrito:1 haoyu 11.19 0.10 0 0
137nupog:1 Aristotle 12.27 0.12 0 0
138CAPS LOCK:1 Aristotle 12.84 0.25 0 0
139nupog:0 Aristotle 14.33 0.13 0 0
140Quite Satisfied:1 Joel Faron 15.00 2.11 2 1
141T. Capote:0 haoyu 15.00 0.00 2 2
142T. Capote:1 haoyu 15.00 0.00 2 2
143Jessie Chen:1 Joel Faron 15.00 0.12 3 1
144Andrew Werner:0 Aaron Doll 15.00 0.33 4 0
145Qinlan Shen:1 R. A. B. 15.00 9.00 4 1
146Jessie Chen:0 Joel Faron 15.00 0.13 5 1
147DeeEmEm:0 CAPS LOCK 15.00 13.00 5 1
148Valya Barboy:1 Shaheed Chagani 15.00 0.18 6 0
1490108:0 jgs 15.00 14.98 10 1
150Valya Barboy:0 Aristotle 15.00 0.06 11 0
151CookieMonster:0 CookieMonster 15.00 0.82 13 0
152SuperFan:1 jgs 15.00 14.98 13 4
153Sabar Dasgupta:1 Aaron Doll 15.00 0.17 13 0
154Anon5:1 Green "The Bean" Choi 15.00 0.07 14 0
155Fanny:0 Aristotle 15.00 0.10 15 0
156Charliezsc:1 haoyu 15.00 0.07 15 0
157David H.:0 AFC 15.00 0.28 15 0
158Anon_K_P:0 haoyu 15.00 0.02 16 0
159David H.:1 DeeEmEm 15.00 0.33 16 0
160Anon5:0 haoyu 15.00 0.05 17 0
161EC:1 haoyu 15.00 0.03 18 0
162Yacob Y.:0 haoyu 15.00 0.06 18 0
163AFC:0 CookieMonster 15.00 0.34 21 0
164Fanny:1 Aristotle 15.00 0.12 24 0
165ebp:0 haoyu 15.00 0.04 26 0
166SuperFan:0 jgs 15.00 14.98 27 4
167Absurdity:0 Aristotle 15.00 0.23 29 0
168Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 30 0
169Andys:0 Aristotle 15.00 0.12 31 0
170Absurdity:1 Aristotle 15.00 0.18 32 0
171Andrew Grasso:1 Shaheed Chagani 15.00 0.15 32 0
172Yacob Y.:1 Aristotle 15.00 15.00 32 1
173ebp:1 haoyu 15.00 0.04 33 0
174spl:0 Elphaba 15.00 0.09 36 0
175Andrew Grasso:0 Aaron Doll 15.00 0.18 36 0
176Walter Little:1 haoyu 15.00 0.03 39 0
177Mr. Blobby:1 dusty 15.00 0.12 39 0
178Glenn Fisher:1 jabreezy 15.00 0.09 39 0
179Dusty:1 Shaheed Chagani 15.00 0.22 40 0
180Ben Chen:1 spl 15.00 0.20 42 0
181Dusty:0 CookieMonster 15.00 1.39 43 0
182Supahaka:0 Andrew Werner 15.00 15.00 46 35
183Yan Wu:1 haoyu 15.00 0.04 49 0
184Ben Chen:0 Elphaba 15.00 0.07 50 0
185Supahaka:1 Joel Faron 15.00 15.00 50 35
186Matt Haake:1 haoyu 15.00 0.05 58 0
187Walter Little:0 haoyu 15.00 0.04 64 0
188Matt Haake:0 haoyu 15.00 0.05 64 0
189NA:1 Elphaba 15.00 0.04 65 0
190NA:0 haoyu 15.00 0.03 71 0
191Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
192Yan Wu:0 haoyu 15.00 0.05 91 0
193snowflakes:0 haoyu 15.00 0.03 106 0
194Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
195BH:1 haoyu 15.00 0.05 326 0
196Elphaba:1 Aristotle 15.00 0.22 685 0
197Shaheed Chagani:0 Aristotle 15.00 0.17 9 0
198CookieMonster:1 CookieMonster 15.00 1.10 11 0
199Charliezsc:0 jgs 15.00 14.98 13 1
200EC:0 haoyu 15.00 0.03 19 0
201snowflakes:1 haoyu 15.00 0.03 111 0
202Aristotle:0 Aristotle 15.00 15.00 709990 1
203AFC:1 Aristotle 15.00 0.16 19 0
204spl:1 haoyu 15.00 0.06 30 0
205Deric Cheng:0 jgs 15.01 14.99 4 1
206Nihar the Great:1 Aristotle 15.01 0.25 18617 0
20713a:1 Aaron Doll 15.01 15.00 31355 29
208Mike Hunt:1 Aristotle 15.01 0.29 27 0
209BH:0 haoyu 15.01 0.07 220 0
210Nihar the Great:0 Aristotle 15.01 0.23 16037 0
21113a:0 Aaron Doll 15.01 15.00 31423 21
212John Whelchel:1 haoyu 15.01 0.11 8 0
213Elphaba:0 Aristotle 15.01 0.24 509 0
214Shaheed Chagani:1 Aristotle 15.01 0.11 9 0
215Aaron Doll:0 Aristotle 15.02 0.56 206622 0
216Deric Cheng:1 jgs 15.03 14.98 4 1
217Aaron Doll:1 Aristotle 15.03 1.27 267936 0
218Bar Shabtai:0 Aaron Doll 15.03 15.01 265962 1
219Bar Shabtai:1 haoyu 15.04 0.12 1 0
220Matt Goldsmith:1 Happy 15.04 0.03 513266 0
221Andys:1 Aristotle 15.05 0.13 19 0
222Matt Goldsmith:0 Nihar the Great 15.05 0.03 507449 0
223jgs:1 haoyu 15.05 0.18 6 0
224Andrew Werner:1 haoyu 15.05 0.11 6 0
225Aristotle:1 Aristotle 15.09 9.69 713361 0
226jgs:0 Aristotle 15.13 0.12 15 0
227Mike Honcho:0 Miranda - 0.01 - 0
228Mike Honcho:1 Jessie Chen - 0.01 - 0


SatSolvers Ranklist Generators Ranklist