SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Linda

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 Linda 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 Linda 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: Linda
Rank: 49 / 118
Average Score: 7.42
Median Score: 4.13
Description: A run-of-the-mill walkSat implementation that flips a randomly selected literal of a randomly chosen unsatisfied clause.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:1 KingBach 0.00 0.00 0 0
2Ravi Tandon:0 KingBach 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4Happy:1 KingBach 0.00 0.00 0 0
5bigwig:1 KingBach 0.00 0.00 0 0
6K.L.:1 KingBach 0.00 0.00 0 0
7Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
8Bebe Shi:0 KingBach 0.01 0.00 0 0
9Miranda:0 cat 0.01 0.00 0 0
10Solving For Clauses:1 haoyu 0.01 0.00 0 0
11Miranda:1 cat 0.01 0.00 0 0
12Bebe Shi:1 KingBach 0.01 0.00 0 0
13K.L.:0 haoyu 0.01 0.00 0 0
14Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
15Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
16Joshua Zimmer:0 haoyu 0.01 0.00 0 0
17Joshua Zimmer:1 haoyu 0.01 0.00 0 0
18Daffy Duck:1 haoyu 0.01 0.00 0 0
19BMJ:1 burrito 0.01 0.00 0 0
20Blam:1 Elphaba 0.01 0.00 0 0
21bchouGenerator:0 haoyu 0.01 0.00 0 0
22Blam:0 Elphaba 0.01 0.00 0 0
23R. A. B.:1 cat 0.01 0.00 0 0
24haoyu:1 Anon5 0.02 0.01 0 0
25haoyu:0 KingBach 0.02 0.01 0 0
26Jonathan Kwok:1 KingBach 0.02 0.00 0 0
27Gewang:1 Jonathan Kwok 0.02 0.00 0 0
28Happy:0 haoyu 0.02 0.00 0 0
29BMJ:0 Elphaba 0.02 0.00 0 0
30The Kraken:1 haoyu 0.03 0.00 0 0
31Tree Prophet:1 haoyu 0.03 0.00 0 0
32Quite Satisfied:0 haoyu 0.03 0.00 0 0
33Gewang:0 Jonathan Kwok 0.03 0.00 0 0
34Tree Prophet:0 haoyu 0.03 0.00 0 0
35Mike Honcho:0 Miranda 0.03 0.01 0 0
36cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
37The Kraken:0 haoyu 0.03 0.00 0 0
38Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
39Scheduling Generator 203:0 jgs 0.03 0.01 0 0
40David Paulk:0 cat 0.03 0.00 0 0
41cmF5a3ly:0 Nihar the Great 0.04 0.00 0 0
42David Paulk:1 Bar Shabtai 0.04 0.00 0 0
43bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
44Tom T:1 Andrew Werner 0.04 0.02 0 0
45R. A. B.:0 Nihar the Great 0.04 0.00 0 0
46weezy:1 Bar Shabtai 0.04 0.01 0 0
47Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
48Dr Roberto:1 Andrew Grasso 0.05 0.02 0 0
49Mickey Mouse:1 haoyu 0.05 0.01 0 0
50Sunny:0 Green "The Bean" Choi 0.05 0.02 0 0
51Scheduling Generator 203:1 Jameh 0.05 0.02 0 0
52Jameh:0 haoyu 0.05 0.01 0 0
53Tom T:0 EC 0.05 0.02 0 0
54Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
55weezy:0 Bar Shabtai 0.06 0.01 0 0
56totallyOnFallBreak:1 Nikhilesh Sigatapu 0.06 0.01 0 0
57Mike Honcho:1 Jessie Chen 0.06 0.01 0 0
58DeeEmEm:1 haoyu 0.06 0.02 0 0
59Dr Roberto:0 Andrew Grasso 0.07 0.03 0 0
60The Whitman Whale:1 Andrew Grasso 0.07 0.03 0 0
61totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
62vluu:0 Nihar the Great 0.08 0.01 0 0
63Bob Dondero:0 Andrew Grasso 0.08 0.02 0 0
64vluu:1 Nihar the Great 0.08 0.02 0 0
65Jameh:1 haoyu 0.08 0.01 0 0
66Tiny Wings:1 haoyu 0.08 0.01 0 0
67Bob Dondero:1 Mickey Mouse 0.09 0.03 0 0
68Tiny Wings:0 haoyu 0.09 0.02 0 0
69The Whitman Whale:0 bigwig 0.09 0.04 0 0
70cat:1 haoyu 0.10 0.03 0 0
71Keji Xu:0 Nihar the Great 0.10 0.03 0 0
72Ytterbium:0 Andrew Grasso 0.10 0.02 0 0
73Janie Gu:0 Glenn Fisher 0.11 0.07 0 0
74cat:0 haoyu 0.11 0.03 0 0
75Boomshanka:1 Bar Shabtai 0.11 0.01 0 0
76Boomshanka:0 haoyu 0.11 0.01 0 0
77Sunny:1 jabreezy 0.11 0.01 0 0
78Keji Xu:1 Nihar the Great 0.13 0.04 0 0
79Janie Gu:1 Jonathan Kwok 0.14 0.07 0 0
80Linda:0 Andrew Grasso 0.17 0.01 0 0
81George Okeowo:1 Andrew Grasso 0.17 0.01 0 0
82Ytterbium:1 Nihar the Great 0.18 0.02 0 0
83George Okeowo:0 Andrew Grasso 0.19 0.01 0 0
84Lisa Kim:1 Bar Shabtai 0.26 0.06 0 0
85Linda:1 Andrew Grasso 0.28 0.02 0 0
86Sally Smith:1 haoyu 0.33 0.04 0 0
87kt4124:1 haoyu 0.33 0.04 0 0
88kt4124:0 haoyu 0.37 0.03 0 0
89Sally Smith:0 haoyu 0.37 0.04 0 0
90KingBach:1 haoyu 0.50 0.04 0 0
91Lisa Kim:0 Aristotle 0.52 0.07 0 0
92soccer:0 haoyu 0.53 0.04 0 0
93Batman:1 haoyu 0.58 0.04 0 0
94Batman:0 haoyu 0.59 0.04 0 0
950108:1 haoyu 0.63 0.01 0 0
96Sprt:1 haoyu 0.70 0.05 0 0
97Brendan Wright:1 Deric Cheng 0.77 0.10 0 0
98Khoa:1 Aristotle 0.78 0.09 0 0
99Khoa:0 haoyu 0.95 0.09 0 0
100DinnerPartyPlannerBM:1 Nihar the Great 1.79 0.06 0 0
101KingBach:0 haoyu 1.84 0.06 0 0
102Alex Fish:1 haoyu 1.87 0.02 0 0
103soccer:1 haoyu 1.88 0.04 0 0
104Alex Fish:0 haoyu 1.98 0.01 0 0
105burrito:0 haoyu 2.12 0.09 0 0
106dfshasdsf12:0 haoyu 2.12 0.09 0 0
107Jordan Ash:0 EC 2.24 0.03 0 0
108AARON BURR, DROPPIN' HAMILTONS:0 haoyu 2.54 0.00 0 0
109Sprt:0 Aristotle 3.15 0.11 0 0
110jabreezy:0 Mercury 3.25 0.09 0 0
111Lil Thug:1 Andrew Grasso 3.60 0.03 0 0
112Lil Thug:0 Andrew Grasso 3.60 0.03 0 0
113jabreezy:1 Mercury 4.04 0.10 0 0
114Tao:0 Bar Shabtai 4.13 0.02 0 0
115dfshasdsf12:1 Nihar the Great 5.59 0.11 0 0
116DinnerPartyPlannerBM:0 Aristotle 5.96 0.11 0 0
117CAPS LOCK:0 Aristotle 6.04 0.20 0 0
118bfang:0 haoyu 6.67 0.04 0 0
119burrito:1 haoyu 6.87 0.10 0 0
120Bar Shabtai:1 haoyu 8.37 0.12 0 0
121Andrew Werner:0 Aaron Doll 8.73 0.33 0 0
122Tao:1 Aristotle 8.96 0.07 0 0
123David Lackey:1 Bar Shabtai 9.31 0.03 0 0
124bfang:1 haoyu 11.93 0.04 0 0
125T. Capote:0 haoyu 15.00 0.00 2 2
126T. Capote:1 haoyu 15.00 0.00 2 2
127Jessie Chen:0 Joel Faron 15.00 0.13 3 1
128Qinlan Shen:1 R. A. B. 15.00 9.00 5 1
1290108:0 jgs 15.00 14.98 6 1
130Charliezsc:1 haoyu 15.00 0.07 7 0
131Quite Satisfied:1 Joel Faron 15.00 2.11 7 1
132DeeEmEm:0 CAPS LOCK 15.00 13.00 7 1
133Jessie Chen:1 Joel Faron 15.00 0.12 8 1
134Mercury:0 haoyu 15.00 0.05 10 0
135Nikhilesh Sigatapu:1 haoyu 15.00 0.04 10 0
136AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 10 0
137Shaheed Chagani:0 Aristotle 15.00 0.17 11 0
138Samuel Jerome:1 haoyu 15.00 0.03 11 0
139John Whelchel:1 haoyu 15.00 0.11 12 0
140Charliezsc:0 jgs 15.00 14.98 12 1
141Mercury:1 haoyu 15.00 0.05 13 0
142Anon5:1 Green "The Bean" Choi 15.00 0.07 14 0
143Aaron H:0 Aristotle 15.00 0.11 14 0
144Valya Barboy:0 Aristotle 15.00 0.06 14 0
145EC:1 haoyu 15.00 0.03 15 0
146Anon_K_P:0 haoyu 15.00 0.02 16 0
147Anon_K_P:1 Aristotle 15.00 0.03 16 0
148CookieMonster:0 CookieMonster 15.00 0.82 16 0
149Sabar Dasgupta:0 spl 15.00 0.23 18 0
150Samuel Jerome:0 haoyu 15.00 0.03 18 0
151David H.:1 DeeEmEm 15.00 0.33 19 0
152Valya Barboy:1 Shaheed Chagani 15.00 0.18 20 0
153Nikhilesh Sigatapu:0 haoyu 15.00 0.03 20 0
154CookieMonster:1 CookieMonster 15.00 1.10 20 0
155Anon5:0 haoyu 15.00 0.05 21 0
156EC:0 haoyu 15.00 0.03 23 0
157Andys:0 Aristotle 15.00 0.12 25 0
158David H.:0 AFC 15.00 0.28 25 0
159Sabar Dasgupta:1 Aaron Doll 15.00 0.17 26 0
160Andys:1 Aristotle 15.00 0.13 27 0
161AFC:0 CookieMonster 15.00 0.34 27 0
162Yacob Y.:0 haoyu 15.00 0.06 28 0
163SuperFan:0 jgs 15.00 14.98 29 4
164AFC:1 Aristotle 15.00 0.16 29 0
165Yacob Y.:1 Aristotle 15.00 15.00 35 1
166SuperFan:1 jgs 15.00 14.98 37 4
167Fanny:0 Aristotle 15.00 0.10 39 0
168Glenn Fisher:0 Elphaba 15.00 0.02 40 0
169Absurdity:1 Aristotle 15.00 0.18 43 0
170Andrew Grasso:1 Shaheed Chagani 15.00 0.15 44 0
171Absurdity:0 Aristotle 15.00 0.23 44 0
172Mike Hunt:1 Aristotle 15.00 0.29 46 0
173ebp:1 haoyu 15.00 0.04 46 0
174Andrew Grasso:0 Aaron Doll 15.00 0.18 46 0
175Mr. Blobby:1 dusty 15.00 0.12 48 0
176spl:0 Elphaba 15.00 0.09 49 0
177spl:1 haoyu 15.00 0.06 49 0
178Mike Hunt:0 Aristotle 15.00 0.27 50 0
179Supahaka:0 Andrew Werner 15.00 15.00 51 35
180Glenn Fisher:1 jabreezy 15.00 0.09 51 0
181Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 53 0
182ebp:0 haoyu 15.00 0.04 53 0
183Dusty:0 CookieMonster 15.00 1.39 55 0
184Supahaka:1 Joel Faron 15.00 15.00 56 35
185Ben Chen:1 spl 15.00 0.20 56 0
186Dusty:1 Shaheed Chagani 15.00 0.22 57 0
187Walter Little:1 haoyu 15.00 0.03 57 0
188Walter Little:0 haoyu 15.00 0.04 58 0
189David Lackey:0 Anon5 15.00 0.03 62 0
190Yan Wu:0 haoyu 15.00 0.05 65 0
191Fanny:1 Aristotle 15.00 0.12 66 0
192Ben Chen:0 Elphaba 15.00 0.07 71 0
193Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
194Yan Wu:1 haoyu 15.00 0.04 83 0
195nupog:1 Aristotle 15.00 0.12 92 0
196Matt Haake:0 haoyu 15.00 0.05 101 0
197NA:1 Elphaba 15.00 0.04 104 0
198Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
199Matt Haake:1 haoyu 15.00 0.05 118 0
200NA:0 haoyu 15.00 0.03 127 0
201snowflakes:1 haoyu 15.00 0.03 149 0
202snowflakes:0 haoyu 15.00 0.03 154 0
203nupog:0 Aristotle 15.00 0.13 177 0
204BH:1 haoyu 15.00 0.05 592 0
205BH:0 haoyu 15.00 0.07 607 0
206Aaron Doll:0 Aristotle 15.00 0.56 238846 0
207John Whelchel:0 haoyu 15.00 0.06 4 0
208Andrew Werner:1 haoyu 15.00 0.11 5 0
209Deric Cheng:0 jgs 15.00 14.99 13 1
210Aaron H:1 Aristotle 15.00 0.11 20 0
211jgs:0 Aristotle 15.00 0.12 35 0
212Deric Cheng:1 jgs 15.00 14.98 14 1
213jgs:1 haoyu 15.00 0.18 37 0
214Shaheed Chagani:1 Aristotle 15.00 0.11 78 0
215Brendan Wright:0 haoyu 15.01 0.10 5 0
216CAPS LOCK:1 Aristotle 15.01 0.25 2 0
217Nihar the Great:1 Aristotle 15.01 0.25 19037 0
218Elphaba:1 Aristotle 15.01 0.22 1134 0
21913a:1 Aaron Doll 15.01 15.00 57561 29
220Elphaba:0 Aristotle 15.01 0.24 11253 0
22113a:0 Aaron Doll 15.01 15.00 65416 21
222Aaron Doll:1 Aristotle 15.03 1.27 299095 0
223Matt Goldsmith:0 Nihar the Great 15.03 0.03 516950 0
224Nihar the Great:0 Aristotle 15.03 0.23 19559 0
225Matt Goldsmith:1 Happy 15.04 0.03 499858 0
226Bar Shabtai:0 Aaron Doll 15.05 15.01 299366 1
227Aristotle:0 Aristotle 15.10 15.00 732047 1
228Aristotle:1 Aristotle 15.17 9.69 759038 0


SatSolvers Ranklist Generators Ranklist