SatSolvers Ranklist Generators Ranklist

Stats for satsolver: T. Capote

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 T. Capote 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 T. Capote 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: T. Capote
Rank: 83 / 118
Average Score: 13.10
Median Score: 14.72
Description: Variation on standard WalkSAT algorithm. Some improvements includenot flipping most recently flipped symbol in order to prevent stagnationand favoring minimizing unsatisfied clauses over random flipping as timeelapsed increases. Favors random flips if minimizing unsatisfied clausesis of little help.
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
4Bebe Shi:1 KingBach 0.00 0.00 0 0
5Happy:1 KingBach 0.00 0.00 0 0
6K.L.:1 KingBach 0.00 0.00 0 0
7Ravi Tandon:1 KingBach 0.01 0.00 0 0
8Miranda:1 cat 0.01 0.00 0 0
9Bebe Shi:0 KingBach 0.01 0.00 0 0
10Miranda:0 cat 0.01 0.00 0 0
11Joshua Zimmer:0 haoyu 0.01 0.00 0 0
12Solving For Clauses:1 haoyu 0.01 0.00 0 0
13R. A. B.:1 cat 0.01 0.00 0 0
14Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
15Blam:1 Elphaba 0.01 0.00 0 0
16Joshua Zimmer:1 haoyu 0.01 0.00 0 0
17BMJ:0 Elphaba 0.01 0.00 0 0
18David Paulk:0 cat 0.02 0.00 0 0
19Daffy Duck:1 haoyu 0.02 0.00 0 0
20Jonathan Kwok:1 KingBach 0.02 0.00 0 0
21Gewang:0 Jonathan Kwok 0.02 0.00 0 0
22David Paulk:1 Bar Shabtai 0.02 0.00 0 0
23Gewang:1 Jonathan Kwok 0.02 0.00 0 0
24cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
25haoyu:1 Anon5 0.02 0.01 0 0
26cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
27Mike Honcho:0 Miranda 0.02 0.01 0 0
28Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
29Tree Prophet:1 haoyu 0.02 0.00 0 0
30haoyu:0 KingBach 0.02 0.01 0 0
31Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
32Quite Satisfied:0 haoyu 0.02 0.00 0 0
33Tree Prophet:0 haoyu 0.02 0.00 0 0
34bchouGenerator:0 haoyu 0.03 0.00 0 0
35The Kraken:1 haoyu 0.03 0.00 0 0
36Daffy Duck:0 Andrew Werner 0.03 0.00 0 0
37R. A. B.:0 Nihar the Great 0.03 0.00 0 0
38The Kraken:0 haoyu 0.04 0.00 0 0
39Mickey Mouse:1 haoyu 0.04 0.01 0 0
40weezy:1 Bar Shabtai 0.04 0.01 0 0
41Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
42weezy:0 Bar Shabtai 0.05 0.01 0 0
43totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
44Scheduling Generator 203:0 jgs 0.05 0.01 0 0
45Tiny Wings:1 haoyu 0.05 0.01 0 0
46bchouGenerator:1 Jonathan Kwok 0.05 0.01 0 0
47Sunny:1 jabreezy 0.05 0.01 0 0
48Tom T:1 Andrew Werner 0.06 0.02 0 0
49Tom T:0 EC 0.07 0.02 0 0
50totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
51Qinlan Shen:0 Bar Shabtai 0.07 0.01 0 0
52Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
53vluu:0 Nihar the Great 0.08 0.01 0 0
54Happy:0 haoyu 0.08 0.00 0 0
55vluu:1 Nihar the Great 0.08 0.02 0 0
56The Whitman Whale:1 Andrew Grasso 0.08 0.03 0 0
57Boomshanka:0 haoyu 0.11 0.01 0 0
58Jameh:1 haoyu 0.12 0.01 0 0
59Scheduling Generator 203:1 Jameh 0.12 0.02 0 0
60Sunny:0 Green "The Bean" Choi 0.13 0.02 0 0
61Boomshanka:1 Bar Shabtai 0.15 0.01 0 0
62Linda:0 Andrew Grasso 0.15 0.01 0 0
63Tiny Wings:0 haoyu 0.16 0.02 0 0
64Ytterbium:1 Nihar the Great 0.18 0.02 0 0
65Janie Gu:0 Glenn Fisher 0.18 0.07 0 0
66Dr Roberto:1 Andrew Grasso 0.20 0.02 0 0
67cat:0 haoyu 0.20 0.03 0 0
68The Whitman Whale:0 bigwig 0.21 0.04 0 0
69Bob Dondero:1 Mickey Mouse 0.22 0.03 0 0
70cat:1 haoyu 0.23 0.03 0 0
71George Okeowo:0 Andrew Grasso 0.26 0.01 0 0
72George Okeowo:1 Andrew Grasso 0.26 0.01 0 0
73Alex Fish:1 haoyu 0.28 0.02 0 0
74Linda:1 Andrew Grasso 0.28 0.02 0 0
75Lisa Kim:1 Bar Shabtai 0.29 0.06 0 0
76Janie Gu:1 Jonathan Kwok 0.41 0.07 0 0
77Keji Xu:1 Nihar the Great 0.43 0.04 0 0
78DeeEmEm:1 haoyu 0.45 0.02 0 0
79Mike Honcho:1 Jessie Chen 0.45 0.01 0 0
80Bob Dondero:0 Andrew Grasso 0.45 0.02 0 0
81Lisa Kim:0 Aristotle 0.58 0.07 0 0
82Keji Xu:0 Nihar the Great 0.68 0.03 0 0
83Sally Smith:0 haoyu 0.72 0.04 0 0
84Dr Roberto:0 Andrew Grasso 1.23 0.03 0 0
85Sprt:1 haoyu 1.24 0.05 0 0
86Sally Smith:1 haoyu 1.34 0.04 0 0
87Khoa:1 Aristotle 1.35 0.09 0 0
880108:1 haoyu 1.43 0.01 0 0
89Alex Fish:0 haoyu 1.66 0.01 0 0
90Batman:0 haoyu 1.73 0.04 0 0
91DinnerPartyPlannerBM:1 Nihar the Great 2.44 0.06 0 0
92Jordan Ash:0 EC 2.46 0.03 0 0
93Batman:1 haoyu 2.66 0.04 0 0
94KingBach:1 haoyu 2.78 0.04 0 0
95dfshasdsf12:0 haoyu 3.24 0.09 0 0
96burrito:0 haoyu 3.31 0.09 0 0
97Khoa:0 haoyu 3.98 0.09 0 0
98Lil Thug:0 Andrew Grasso 4.60 0.03 0 0
99soccer:0 haoyu 4.78 0.04 0 0
100Lil Thug:1 Andrew Grasso 5.09 0.03 0 0
101bfang:1 haoyu 5.25 0.04 0 0
102Sprt:0 Aristotle 5.42 0.11 0 0
103Brendan Wright:1 Deric Cheng 6.00 0.10 0 0
104dfshasdsf12:1 Nihar the Great 6.53 0.11 0 0
105DinnerPartyPlannerBM:0 Aristotle 6.88 0.11 0 0
106KingBach:0 haoyu 7.07 0.06 0 0
107Nikhilesh Sigatapu:1 haoyu 7.76 0.04 0 0
108Samuel Jerome:0 haoyu 9.77 0.03 0 0
109AARON BURR, DROPPIN' HAMILTONS:0 haoyu 12.81 0.00 0 0
110soccer:1 haoyu 14.72 0.04 0 0
111T. Capote:0 haoyu 15.00 0.00 2 2
112Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
113Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
114Qinlan Shen:1 R. A. B. 15.00 9.00 2 1
115jabreezy:0 Mercury 15.00 0.09 3 0
116Jessie Chen:0 Joel Faron 15.00 0.13 4 1
117T. Capote:1 haoyu 15.00 0.00 4 2
118Tao:1 Aristotle 15.00 0.07 5 0
119Andrew Werner:0 Aaron Doll 15.00 0.33 5 0
120DeeEmEm:0 CAPS LOCK 15.00 13.00 5 1
121jabreezy:1 Mercury 15.00 0.10 6 0
122Charliezsc:0 jgs 15.00 14.98 8 1
123bfang:0 haoyu 15.00 0.04 8 0
124Nikhilesh Sigatapu:0 haoyu 15.00 0.03 9 0
125Tao:0 Bar Shabtai 15.00 0.02 9 0
126Mercury:0 haoyu 15.00 0.05 10 0
127Valya Barboy:0 Aristotle 15.00 0.06 11 0
128Anon_K_P:1 Aristotle 15.00 0.03 12 0
129EC:1 haoyu 15.00 0.03 16 0
130Aaron H:1 Aristotle 15.00 0.11 16 0
1310108:0 jgs 15.00 14.98 16 1
132Anon_K_P:0 haoyu 15.00 0.02 16 0
133Valya Barboy:1 Shaheed Chagani 15.00 0.18 17 0
134Deric Cheng:0 jgs 15.00 14.99 17 1
135CookieMonster:1 CookieMonster 15.00 1.10 18 0
136AFC:0 CookieMonster 15.00 0.34 18 0
137AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 19 0
138Anon5:1 Green "The Bean" Choi 15.00 0.07 20 0
139Anon5:0 haoyu 15.00 0.05 21 0
140David H.:1 DeeEmEm 15.00 0.33 22 0
141SuperFan:0 jgs 15.00 14.98 22 4
142SuperFan:1 jgs 15.00 14.98 22 4
143Samuel Jerome:1 haoyu 15.00 0.03 23 0
144Shaheed Chagani:1 Aristotle 15.00 0.11 23 0
145CookieMonster:0 CookieMonster 15.00 0.82 23 0
146Yacob Y.:0 haoyu 15.00 0.06 24 0
147David H.:0 AFC 15.00 0.28 25 0
148Sabar Dasgupta:0 spl 15.00 0.23 27 0
149Sabar Dasgupta:1 Aaron Doll 15.00 0.17 27 0
150Mike Hunt:1 Aristotle 15.00 0.29 28 0
151Mercury:1 haoyu 15.00 0.05 30 0
152AFC:1 Aristotle 15.00 0.16 30 0
153EC:0 haoyu 15.00 0.03 30 0
154Andys:0 Aristotle 15.00 0.12 33 0
155Andys:1 Aristotle 15.00 0.13 34 0
156Absurdity:1 Aristotle 15.00 0.18 34 0
157Yacob Y.:1 Aristotle 15.00 15.00 38 1
158spl:1 haoyu 15.00 0.06 41 0
159Yan Wu:1 haoyu 15.00 0.04 42 0
160Fanny:0 Aristotle 15.00 0.10 43 0
161ebp:1 haoyu 15.00 0.04 43 0
162spl:0 Elphaba 15.00 0.09 44 0
163Andrew Grasso:0 Aaron Doll 15.00 0.18 46 0
164Mike Hunt:0 Aristotle 15.00 0.27 47 0
165Supahaka:0 Andrew Werner 15.00 15.00 48 35
166ebp:0 haoyu 15.00 0.04 50 0
167Supahaka:1 Joel Faron 15.00 15.00 52 35
168Dusty:0 CookieMonster 15.00 1.39 53 0
169Absurdity:0 Aristotle 15.00 0.23 53 0
170Andrew Grasso:1 Shaheed Chagani 15.00 0.15 56 0
171Fanny:1 Aristotle 15.00 0.12 56 0
172Ben Chen:1 spl 15.00 0.20 57 0
173Dusty:1 Shaheed Chagani 15.00 0.22 58 0
174Glenn Fisher:0 Elphaba 15.00 0.02 59 0
175Mr. Blobby:1 dusty 15.00 0.12 59 0
176Walter Little:0 haoyu 15.00 0.04 62 0
177Glenn Fisher:1 jabreezy 15.00 0.09 62 0
178David Lackey:1 Bar Shabtai 15.00 0.03 63 0
179Walter Little:1 haoyu 15.00 0.03 63 0
180Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 68 0
181Ben Chen:0 Elphaba 15.00 0.07 71 0
182Yan Wu:0 haoyu 15.00 0.05 72 0
183David Lackey:0 Anon5 15.00 0.03 75 0
184NA:1 Elphaba 15.00 0.04 82 0
185Matt Haake:0 haoyu 15.00 0.05 100 0
186NA:0 haoyu 15.00 0.03 112 0
187Matt Haake:1 haoyu 15.00 0.05 122 0
188snowflakes:1 haoyu 15.00 0.03 127 0
189snowflakes:0 haoyu 15.00 0.03 142 0
190jgs:0 Aristotle 15.00 0.12 387 0
191BH:0 haoyu 15.00 0.07 611 0
192BH:1 haoyu 15.00 0.05 637 0
193nupog:0 Aristotle 15.00 0.13 1101 0
194nupog:1 Aristotle 15.00 0.12 1119 0
195Shaheed Chagani:0 Aristotle 15.00 0.17 1419 0
196Matt Goldsmith:1 Happy 15.00 0.03 511584 0
197Aristotle:1 Aristotle 15.00 9.69 750411 0
198Charliezsc:1 haoyu 15.00 0.07 14 0
199Aaron H:0 Aristotle 15.00 0.11 20 0
200burrito:1 haoyu 15.00 0.10 96 0
201Nihar the Great:0 Aristotle 15.00 0.23 23805 0
202John Whelchel:0 haoyu 15.00 0.06 6 0
203Bar Shabtai:1 haoyu 15.00 0.12 2903 0
20413a:1 Aaron Doll 15.00 15.00 63550 29
20513a:0 Aaron Doll 15.00 15.00 68474 21
206Andrew Werner:1 haoyu 15.00 0.11 11 0
207Elphaba:0 Aristotle 15.00 0.24 32628 0
208Elphaba:1 Aristotle 15.00 0.22 35210 0
209Aaron Doll:1 Aristotle 15.00 1.27 296275 0
210jgs:1 haoyu 15.01 0.18 41 0
211Nihar the Great:1 Aristotle 15.01 0.25 21558 0
212Bar Shabtai:0 Aaron Doll 15.01 15.01 306016 1
213CAPS LOCK:1 Aristotle 15.01 0.25 1382 0
214Aristotle:0 Aristotle 15.01 15.00 765442 1
215John Whelchel:1 haoyu 15.02 0.11 12 0
216Aaron Doll:0 Aristotle 15.02 0.56 245490 0
217CAPS LOCK:0 Aristotle 15.03 0.20 4 0
218Deric Cheng:1 jgs 15.03 14.98 16 1
219Matt Goldsmith:0 Nihar the Great 15.03 0.03 518660 0
220Brendan Wright:0 haoyu 15.04 0.10 2 0
221Jameh:0 haoyu - 0.01 - 0
222kt4124:1 haoyu - 0.04 - 0
223BMJ:1 burrito - 0.00 - 0
224Quite Satisfied:1 Joel Faron - 2.11 - 1
225Jessie Chen:1 Joel Faron - 0.12 - 1
226kt4124:0 haoyu - 0.03 - 0
227K.L.:0 haoyu - 0.00 - 0
228Blam:0 Elphaba - 0.00 - 0


SatSolvers Ranklist Generators Ranklist