SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Fanny

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 Fanny 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 Fanny 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: Fanny
Rank: 100 / 118
Average Score: 18.66
Median Score: 1.70
Description: My SAT solver based on walkSAT.
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
3K.L.:1 KingBach 0.01 0.00 0 0
4Bebe Shi:1 KingBach 0.01 0.00 0 0
5Bebe Shi:0 KingBach 0.01 0.00 0 0
6Happy:1 KingBach 0.01 0.00 0 0
7BMJ:1 burrito 0.01 0.00 0 0
8K.L.:0 haoyu 0.02 0.00 0 0
9Miranda:1 cat 0.02 0.00 0 0
10Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
11Ravi Tandon:1 KingBach 0.02 0.00 0 0
12Miranda:0 cat 0.02 0.00 0 0
13Joshua Zimmer:0 haoyu 0.02 0.00 0 0
14Joshua Zimmer:1 haoyu 0.02 0.00 0 0
15Ravi Tandon:0 KingBach 0.02 0.00 0 0
16Jonathan Kwok:1 KingBach 0.03 0.00 0 0
17Blam:0 Elphaba 0.03 0.00 0 0
18Blam:1 Elphaba 0.03 0.00 0 0
19David Paulk:0 cat 0.04 0.00 0 0
20Tree Prophet:0 haoyu 0.04 0.00 0 0
21David Paulk:1 Bar Shabtai 0.05 0.00 0 0
22R. A. B.:1 cat 0.05 0.00 0 0
23Daffy Duck:0 Andrew Werner 0.06 0.00 0 0
24Tree Prophet:1 haoyu 0.06 0.00 0 0
25The Kraken:1 haoyu 0.06 0.00 0 0
26The Kraken:0 haoyu 0.06 0.00 0 0
27Happy:0 haoyu 0.06 0.00 0 0
28Daffy Duck:1 haoyu 0.07 0.00 0 0
29bchouGenerator:0 haoyu 0.07 0.00 0 0
30Jordan Ash:1 Bar Shabtai 0.07 0.01 0 0
31Gewang:0 Jonathan Kwok 0.07 0.00 0 0
32Gewang:1 Jonathan Kwok 0.07 0.00 0 0
33Quite Satisfied:0 haoyu 0.08 0.00 0 0
34Qinlan Shen:0 Bar Shabtai 0.08 0.01 0 0
35R. A. B.:0 Nihar the Great 0.09 0.00 0 0
36haoyu:1 Anon5 0.09 0.01 0 0
37Solving For Clauses:1 haoyu 0.10 0.00 0 0
38Solving For Clauses:0 Glenn Fisher 0.11 0.00 0 0
39haoyu:0 KingBach 0.11 0.01 0 0
40Sunny:1 jabreezy 0.11 0.01 0 0
41Mickey Mouse:0 Bar Shabtai 0.12 0.01 0 0
42Jameh:0 haoyu 0.13 0.01 0 0
43Mickey Mouse:1 haoyu 0.13 0.01 0 0
44vluu:1 Nihar the Great 0.13 0.02 0 0
450108:1 haoyu 0.13 0.01 0 0
46George Okeowo:1 Andrew Grasso 0.14 0.01 0 0
47Jordan Ash:0 EC 0.14 0.03 0 0
48Alex Fish:1 haoyu 0.15 0.02 0 0
49George Okeowo:0 Andrew Grasso 0.15 0.01 0 0
50Keji Xu:0 Nihar the Great 0.15 0.03 0 0
51Sunny:0 Green "The Bean" Choi 0.16 0.02 0 0
52vluu:0 Nihar the Great 0.17 0.01 0 0
53Alex Fish:0 haoyu 0.17 0.01 0 0
54Boomshanka:0 haoyu 0.18 0.01 0 0
55Tiny Wings:1 haoyu 0.19 0.01 0 0
56cat:0 haoyu 0.19 0.03 0 0
57weezy:0 Bar Shabtai 0.19 0.01 0 0
58cat:1 haoyu 0.20 0.03 0 0
59The Whitman Whale:1 Andrew Grasso 0.21 0.03 0 0
60AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.22 0.00 0 0
61The Whitman Whale:0 bigwig 0.22 0.04 0 0
62Jameh:1 haoyu 0.22 0.01 0 0
63Boomshanka:1 Bar Shabtai 0.23 0.01 0 0
64weezy:1 Bar Shabtai 0.23 0.01 0 0
65Tiny Wings:0 haoyu 0.24 0.02 0 0
66DeeEmEm:1 haoyu 0.25 0.02 0 0
67Ytterbium:0 Andrew Grasso 0.26 0.02 0 0
68Keji Xu:1 Nihar the Great 0.29 0.04 0 0
69Tao:0 Bar Shabtai 0.29 0.02 0 0
70Glenn Fisher:0 Elphaba 0.34 0.02 0 0
71Anon_K_P:0 haoyu 0.35 0.02 0 0
72Janie Gu:0 Glenn Fisher 0.36 0.07 0 0
73Janie Gu:1 Jonathan Kwok 0.37 0.07 0 0
74Scheduling Generator 203:0 jgs 0.38 0.01 0 0
75Ytterbium:1 Nihar the Great 0.39 0.02 0 0
76Samuel Jerome:1 haoyu 0.40 0.03 0 0
77Samuel Jerome:0 haoyu 0.42 0.03 0 0
78Nikhilesh Sigatapu:0 haoyu 0.47 0.03 0 0
79Lisa Kim:0 Aristotle 0.47 0.07 0 0
80Lisa Kim:1 Bar Shabtai 0.49 0.06 0 0
81Tao:1 Aristotle 0.56 0.07 0 0
82EC:1 haoyu 0.56 0.03 0 0
83bfang:1 haoyu 0.56 0.04 0 0
84totallyOnFallBreak:1 Nikhilesh Sigatapu 0.59 0.01 0 0
85totallyOnFallBreak:0 Nikhilesh Sigatapu 0.64 0.01 0 0
86bfang:0 haoyu 0.68 0.04 0 0
87AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.69 0.01 0 0
88Mr. Blobby:0 Green "The Bean" Choi 0.73 0.14 0 0
89Nikhilesh Sigatapu:1 haoyu 0.82 0.04 0 0
90David Lackey:0 Anon5 0.83 0.03 0 0
91Mercury:1 haoyu 0.83 0.05 0 0
92Anon5:1 Green "The Bean" Choi 0.85 0.07 0 0
93David Lackey:1 Bar Shabtai 0.85 0.03 0 0
94Glenn Fisher:1 jabreezy 1.12 0.09 0 0
95Mercury:0 haoyu 1.12 0.05 0 0
96cmF5a3ly:0 Nihar the Great 1.18 0.00 0 0
97cmF5a3ly:1 Nihar the Great 1.25 0.00 0 0
98Batman:1 haoyu 1.33 0.04 0 0
99Ben Chen:1 spl 1.39 0.20 0 0
100Yacob Y.:0 haoyu 1.40 0.06 0 0
101David H.:1 DeeEmEm 1.44 0.33 0 0
102Batman:0 haoyu 1.45 0.04 0 0
103Scheduling Generator 203:1 Jameh 1.50 0.02 0 0
104KingBach:1 haoyu 1.58 0.04 0 0
105KingBach:0 haoyu 1.69 0.06 0 0
106soccer:0 haoyu 1.70 0.04 0 0
107Bar Shabtai:1 haoyu 1.76 0.12 0 0
108Walter Little:1 haoyu 1.80 0.03 0 0
109Sabar Dasgupta:0 spl 1.81 0.23 0 0
110Ben Chen:0 Elphaba 1.90 0.07 0 0
111Anon_K_P:1 Aristotle 1.99 0.03 0 0
112Khoa:0 haoyu 2.15 0.09 0 0
113Sabar Dasgupta:1 Aaron Doll 2.31 0.17 0 0
114Yan Wu:1 haoyu 2.35 0.04 0 0
115Khoa:1 Aristotle 2.35 0.09 0 0
116EC:0 haoyu 2.42 0.03 0 0
117soccer:1 haoyu 2.65 0.04 0 0
118snowflakes:1 haoyu 2.88 0.03 0 0
119snowflakes:0 haoyu 2.98 0.03 0 0
120Sprt:1 haoyu 3.05 0.05 0 0
121Walter Little:0 haoyu 3.07 0.04 0 0
122Yan Wu:0 haoyu 3.15 0.05 0 0
123burrito:0 haoyu 3.72 0.09 0 0
124Tom T:1 Andrew Werner 3.81 0.02 0 0
125Mike Hunt:0 Aristotle 3.81 0.27 0 0
126Matt Haake:0 haoyu 3.89 0.05 0 0
127Tom T:0 EC 3.93 0.02 0 0
128John Whelchel:1 haoyu 4.27 0.11 0 0
129jabreezy:1 Mercury 4.38 0.10 0 0
130Matt Haake:1 haoyu 4.48 0.05 0 0
131John Whelchel:0 haoyu 4.82 0.06 0 0
132jabreezy:0 Mercury 4.99 0.09 0 0
133dfshasdsf12:0 haoyu 5.67 0.09 0 0
134DinnerPartyPlannerBM:1 Nihar the Great 5.84 0.06 0 0
135ebp:0 haoyu 7.15 0.04 0 0
136ebp:1 haoyu 7.65 0.04 0 0
137Andrew Werner:1 haoyu 7.97 0.11 0 0
138Lil Thug:0 Andrew Grasso 8.27 0.03 0 0
139Charliezsc:1 haoyu 9.41 0.07 0 0
140Mike Hunt:1 Aristotle 9.78 0.29 0 0
141Lil Thug:1 Andrew Grasso 9.88 0.03 0 0
142Aaron H:1 Aristotle 10.85 0.11 0 0
143NA:1 Elphaba 11.00 0.04 0 0
144dfshasdsf12:1 Nihar the Great 11.15 0.11 0 0
145Andrew Werner:0 Aaron Doll 11.23 0.33 0 0
146jgs:0 Aristotle 11.34 0.12 0 0
147Fanny:1 Aristotle 11.48 0.12 0 0
148Fanny:0 Aristotle 11.58 0.10 0 0
149jgs:1 haoyu 11.71 0.18 0 0
150Andys:0 Aristotle 13.55 0.12 0 0
151kt4124:1 haoyu 0.45 0.04 1 0
152kt4124:0 haoyu 0.43 0.03 1 0
153Valya Barboy:1 Shaheed Chagani 4.38 0.18 2 0
154Mr. Blobby:1 dusty 1.02 0.12 2 0
155Valya Barboy:0 Aristotle 3.94 0.06 2 0
156BMJ:0 Elphaba 0.02 0.00 6 0
157bchouGenerator:1 Jonathan Kwok 0.18 0.01 12 0
158Sally Smith:0 haoyu 2.33 0.04 14137 0
159Sally Smith:1 haoyu 2.50 0.04 14137 0
160Jessie Chen:0 Joel Faron 15.00 0.13 1 1
161Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
162Jessie Chen:1 Joel Faron 15.00 0.12 1 1
163David H.:0 AFC 15.00 0.28 1 0
164Andrew Grasso:1 Shaheed Chagani 15.00 0.15 1 0
165DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1660108:0 jgs 15.00 14.98 1 1
167CookieMonster:1 CookieMonster 15.00 1.10 1 0
168Dusty:1 Shaheed Chagani 15.00 0.22 2 0
169Anon5:0 haoyu 15.00 0.05 2 0
170T. Capote:0 haoyu 15.00 0.00 2 2
171AFC:1 Aristotle 15.00 0.16 2 0
172NA:0 haoyu 15.00 0.03 2 0
173T. Capote:1 haoyu 15.00 0.00 2 2
174Andrew Grasso:0 Aaron Doll 15.00 0.18 2 0
175spl:0 Elphaba 15.00 0.09 3 0
176Absurdity:1 Aristotle 15.00 0.18 3 0
177CookieMonster:0 CookieMonster 15.00 0.82 3 0
178AFC:0 CookieMonster 15.00 0.34 3 0
179Dusty:0 CookieMonster 15.00 1.39 4 0
180spl:1 haoyu 15.00 0.06 4 0
181SuperFan:0 jgs 15.00 14.98 5 4
182SuperFan:1 jgs 15.00 14.98 6 4
183Absurdity:0 Aristotle 15.00 0.23 2 0
184Charliezsc:0 jgs 15.00 14.98 1 1
185Andys:1 Aristotle 15.00 0.13 1 0
186Sprt:0 Aristotle 15.00 0.11 88 0
187Aaron H:0 Aristotle 15.01 0.11 1 0
188burrito:1 haoyu 15.01 0.10 94 0
189Deric Cheng:0 jgs 15.01 14.99 4 1
190Deric Cheng:1 jgs 15.01 14.98 1 1
191Yacob Y.:1 Aristotle 15.01 15.00 8 1
192BH:1 haoyu 15.07 0.05 200 0
193Bar Shabtai:0 Aaron Doll 15.08 15.01 57 1
194BH:0 haoyu 15.10 0.07 200 0
195DinnerPartyPlannerBM:0 Aristotle 16.31 0.11 57 0
196Linda:0 Andrew Grasso 18.27 0.01 0 0
197Shaheed Chagani:1 Aristotle 22.33 0.11 500 0
198Shaheed Chagani:0 Aristotle 27.19 0.17 500 0
199Aristotle:1 Aristotle 34.71 9.69 120 0
200Aristotle:0 Aristotle 34.71 15.00 120 1
201CAPS LOCK:0 Aristotle 37.09 0.20 1984 0
202Elphaba:1 Aristotle 40.92 0.22 56 0
203nupog:1 Aristotle 44.77 0.12 1257 0
204Elphaba:0 Aristotle 45.81 0.24 56 0
205Mark S. Fillmore:1 Supahaka 48.08 0.04 109 79
206nupog:0 Aristotle 50.40 0.13 1309 0
207Linda:1 Andrew Grasso 53.75 0.02 0 0
20813a:1 Aaron Doll 62.62 15.00 153 29
209CAPS LOCK:1 Aristotle 72.97 0.25 2406 0
21013a:0 Aaron Doll 74.73 15.00 156 21
211Dr Roberto:1 Andrew Grasso 82.37 0.02 6 0
212Dr Roberto:0 Andrew Grasso 131.92 0.03 6 0
213Matt Goldsmith:0 Nihar the Great - 0.03 - 0
214Mike Honcho:0 Miranda - 0.01 - 0
215Aaron Doll:0 Aristotle - 0.56 - 0
216Quite Satisfied:1 Joel Faron - 2.11 - 1
217Brendan Wright:0 haoyu - 0.10 - 0
218Bob Dondero:1 Mickey Mouse - 0.03 - 0
219Mark S. Fillmore:0 Supahaka - 0.01 - 116
220Aaron Doll:1 Aristotle - 1.27 - 0
221Supahaka:0 Andrew Werner - 15.00 - 35
222Nihar the Great:0 Aristotle - 0.23 - 0
223Bob Dondero:0 Andrew Grasso - 0.02 - 0
224Brendan Wright:1 Deric Cheng - 0.10 - 0
225Supahaka:1 Joel Faron - 15.00 - 35
226Nihar the Great:1 Aristotle - 0.25 - 0
227Mike Honcho:1 Jessie Chen - 0.01 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist