SatSolvers Ranklist Generators Ranklist

Stats for satsolver: LilThug

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 LilThug 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 LilThug 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: LilThug
Rank: 71 / 118
Average Score: 11.35
Median Score: 15.00
Description: WalkSAT, with some initial allowances for the pure symbol heuristic and the unit clause heuristic.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3Miranda:1 cat 0.00 0.00 0 0
4Miranda:0 cat 0.00 0.00 0 0
5David Paulk:0 cat 0.00 0.00 0 0
6Ravi Tandon:1 KingBach 0.00 0.00 0 0
7R. A. B.:1 cat 0.00 0.00 0 0
8George Okeowo:1 Andrew Grasso 0.01 0.01 0 0
9Daffy Duck:1 haoyu 0.01 0.00 0 0
10Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
11Bebe Shi:0 KingBach 0.01 0.00 0 0
12George Okeowo:0 Andrew Grasso 0.01 0.01 0 0
13Bebe Shi:1 KingBach 0.01 0.00 0 0
14Joshua Zimmer:0 haoyu 0.01 0.00 0 0
15bchouGenerator:0 haoyu 0.01 0.00 0 0
16bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
17David Paulk:1 Bar Shabtai 0.02 0.00 0 0
18Gewang:1 Jonathan Kwok 0.02 0.00 0 0
19The Kraken:1 haoyu 0.02 0.00 0 0
20Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
21totallyOnFallBreak:0 Nikhilesh Sigatapu 0.02 0.01 0 0
22totallyOnFallBreak:1 Nikhilesh Sigatapu 0.02 0.01 0 0
23Happy:0 haoyu 0.03 0.00 0 0
24Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
25Solving For Clauses:1 haoyu 0.04 0.00 0 0
26Scheduling Generator 203:0 jgs 0.04 0.01 0 0
27cmF5a3ly:1 Nihar the Great 0.05 0.00 0 0
28cmF5a3ly:0 Nihar the Great 0.06 0.00 0 0
29weezy:1 Bar Shabtai 0.07 0.01 0 0
30Tiny Wings:0 haoyu 0.08 0.02 0 0
31Tom T:0 EC 0.08 0.02 0 0
32weezy:0 Bar Shabtai 0.08 0.01 0 0
33Tom T:1 Andrew Werner 0.08 0.02 0 0
34Ytterbium:0 Andrew Grasso 0.08 0.02 0 0
35Jordan Ash:0 EC 0.09 0.03 0 0
36Boomshanka:0 haoyu 0.09 0.01 0 0
37Mike Honcho:0 Miranda 0.09 0.01 0 0
38The Kraken:0 haoyu 0.10 0.00 0 0
39Quite Satisfied:0 haoyu 0.11 0.00 0 0
40vluu:0 Nihar the Great 0.13 0.01 0 0
41vluu:1 Nihar the Great 0.13 0.02 0 0
42Ytterbium:1 Nihar the Great 0.15 0.02 0 0
43Dr Roberto:1 Andrew Grasso 0.22 0.02 0 0
44Linda:0 Andrew Grasso 0.34 0.01 0 0
45David Lackey:1 Bar Shabtai 0.35 0.03 0 0
46David Lackey:0 Anon5 0.62 0.03 0 0
47Mike Honcho:1 Jessie Chen 0.64 0.01 0 0
48Bob Dondero:1 Mickey Mouse 0.89 0.03 0 0
49Linda:1 Andrew Grasso 1.11 0.02 0 0
50Sprt:1 haoyu 1.96 0.05 0 0
51Bob Dondero:0 Andrew Grasso 2.57 0.02 0 0
52DinnerPartyPlannerBM:1 Nihar the Great 5.58 0.06 0 0
53dfshasdsf12:0 haoyu 6.17 0.09 0 0
54soccer:0 haoyu 6.27 0.04 0 0
55soccer:1 haoyu 6.46 0.04 0 0
56Alex Fish:1 haoyu 6.70 0.02 0 0
57John Whelchel:0 haoyu 6.91 0.06 0 0
58Lil Thug:1 Andrew Grasso 7.48 0.03 0 0
59Lil Thug:0 Andrew Grasso 8.29 0.03 0 0
60Sprt:0 Aristotle 8.60 0.11 0 0
61Sally Smith:1 haoyu 8.74 0.04 0 0
62dfshasdsf12:1 Nihar the Great 14.06 0.11 0 0
63Ravi Tandon:0 KingBach 15.00 0.00 1 0
64Daffy Duck:0 Andrew Werner 15.00 0.00 1 0
65Jessie Chen:0 Joel Faron 15.00 0.13 1 1
66Keji Xu:1 Nihar the Great 15.00 0.04 1 0
67Scheduling Generator 203:1 Jameh 15.00 0.02 1 0
68Mickey Mouse:1 haoyu 15.00 0.01 1 0
69Tiny Wings:1 haoyu 15.00 0.01 1 0
70Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
71Jonathan Kwok:1 KingBach 15.00 0.00 1 0
72BMJ:1 burrito 15.00 0.00 1 0
73K.L.:1 KingBach 15.00 0.00 1 0
74haoyu:0 KingBach 15.00 0.01 1 0
75Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
76Jessie Chen:1 Joel Faron 15.00 0.12 1 1
77Happy:1 KingBach 15.00 0.00 1 0
78Joshua Zimmer:1 haoyu 15.00 0.00 1 0
79Gewang:0 Jonathan Kwok 15.00 0.00 1 0
80K.L.:0 haoyu 15.00 0.00 1 0
81Keji Xu:0 Nihar the Great 15.00 0.03 1 0
82Mickey Mouse:0 Bar Shabtai 15.00 0.01 1 0
83Qinlan Shen:0 Bar Shabtai 15.00 0.01 1 0
84Anon_K_P:0 haoyu 15.00 0.02 2 0
85Mercury:0 haoyu 15.00 0.05 2 0
86Tree Prophet:0 haoyu 15.00 0.00 2 0
87Alex Fish:0 haoyu 15.00 0.01 2 0
88T. Capote:0 haoyu 15.00 0.00 2 2
89Nikhilesh Sigatapu:1 haoyu 15.00 0.04 2 0
90Jonathan Kwok:0 Elphaba 15.00 0.00 2 0
91haoyu:1 Anon5 15.00 0.01 2 0
920108:1 haoyu 15.00 0.01 2 0
93Nikhilesh Sigatapu:0 haoyu 15.00 0.03 2 0
94T. Capote:1 haoyu 15.00 0.00 2 2
95Samuel Jerome:0 haoyu 15.00 0.03 2 0
96Tao:1 Aristotle 15.00 0.07 3 0
97Blam:1 Elphaba 15.00 0.00 3 0
98The Whitman Whale:0 bigwig 15.00 0.04 3 0
99David H.:0 AFC 15.00 0.28 3 0
100cat:0 haoyu 15.00 0.03 3 0
101AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 3 0
1020108:0 jgs 15.00 14.98 3 1
103Blam:0 Elphaba 15.00 0.00 3 0
104Khoa:1 Aristotle 15.00 0.09 3 0
105AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 4 0
106Lisa Kim:1 Bar Shabtai 15.00 0.06 4 0
107Anon5:1 Green "The Bean" Choi 15.00 0.07 4 0
108David H.:1 DeeEmEm 15.00 0.33 4 0
109Samuel Jerome:1 haoyu 15.00 0.03 4 0
110cat:1 haoyu 15.00 0.03 4 0
111Anon5:0 haoyu 15.00 0.05 4 0
112AFC:1 Aristotle 15.00 0.16 4 0
113Anon_K_P:1 Aristotle 15.00 0.03 4 0
114AFC:0 CookieMonster 15.00 0.34 4 0
115Tao:0 Bar Shabtai 15.00 0.02 4 0
116BMJ:0 Elphaba 15.00 0.00 5 0
117Tree Prophet:1 haoyu 15.00 0.00 5 0
118Fanny:0 Aristotle 15.00 0.10 6 0
119KingBach:0 haoyu 15.00 0.06 6 0
120Valya Barboy:1 Shaheed Chagani 15.00 0.18 6 0
121DeeEmEm:1 haoyu 15.00 0.02 6 0
122Khoa:0 haoyu 15.00 0.09 7 0
123Sunny:0 Green "The Bean" Choi 15.00 0.02 7 0
124CookieMonster:0 CookieMonster 15.00 0.82 7 0
125Valya Barboy:0 Aristotle 15.00 0.06 7 0
126DeeEmEm:0 CAPS LOCK 15.00 13.00 9 1
127Sunny:1 jabreezy 15.00 0.01 10 0
128Janie Gu:1 Jonathan Kwok 15.00 0.07 11 0
129Absurdity:0 Aristotle 15.00 0.23 12 0
130Absurdity:1 Aristotle 15.00 0.18 13 0
131Janie Gu:0 Glenn Fisher 15.00 0.07 14 0
132Jameh:0 haoyu 15.00 0.01 17 0
133Ben Chen:0 Elphaba 15.00 0.07 18 0
134Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 22 0
135jabreezy:1 Mercury 15.00 0.10 22 0
136SuperFan:1 jgs 15.00 14.98 22 4
137SuperFan:0 jgs 15.00 14.98 23 4
138jabreezy:0 Mercury 15.00 0.09 23 0
139R. A. B.:0 Nihar the Great 15.00 0.00 23 0
140Andrew Grasso:1 Shaheed Chagani 15.00 0.15 26 0
141Mr. Blobby:1 dusty 15.00 0.12 28 0
142Matt Haake:0 haoyu 15.00 0.05 28 0
143Andrew Grasso:0 Aaron Doll 15.00 0.18 29 0
144Dusty:0 CookieMonster 15.00 1.39 30 0
145Dusty:1 Shaheed Chagani 15.00 0.22 31 0
146Jameh:1 haoyu 15.00 0.01 33 0
147Matt Haake:1 haoyu 15.00 0.05 33 0
148Walter Little:0 haoyu 15.00 0.04 34 0
149spl:0 Elphaba 15.00 0.09 36 0
150spl:1 haoyu 15.00 0.06 36 0
151Glenn Fisher:1 jabreezy 15.00 0.09 37 0
152Glenn Fisher:0 Elphaba 15.00 0.02 43 0
153ebp:0 haoyu 15.00 0.04 43 0
154NA:1 Elphaba 15.00 0.04 45 0
155kt4124:1 haoyu 15.00 0.04 45 0
156kt4124:0 haoyu 15.00 0.03 45 0
157Supahaka:0 Andrew Werner 15.00 15.00 47 35
158Supahaka:1 Joel Faron 15.00 15.00 53 35
159snowflakes:0 haoyu 15.00 0.03 65 0
160Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
161Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
162nupog:0 Aristotle 15.00 0.13 1189 0
163jgs:1 haoyu 15.00 0.18 8796 0
164Bar Shabtai:1 haoyu 15.00 0.12 15171 0
165Dr Roberto:0 Andrew Grasso 15.00 0.03 1 0
166Mercury:1 haoyu 15.00 0.05 3 0
167Charliezsc:1 haoyu 15.00 0.07 4 0
168bfang:1 haoyu 15.00 0.04 4 0
169The Whitman Whale:1 Andrew Grasso 15.00 0.03 4 0
170bfang:0 haoyu 15.00 0.04 4 0
171Lisa Kim:0 Aristotle 15.00 0.07 10 0
172NA:0 haoyu 15.00 0.03 43 0
173snowflakes:1 haoyu 15.00 0.03 67 0
174Sally Smith:0 haoyu 15.00 0.04 1 0
175John Whelchel:1 haoyu 15.00 0.11 2 0
176Brendan Wright:1 Deric Cheng 15.00 0.10 4 0
177CookieMonster:1 CookieMonster 15.00 1.10 8 0
178Ben Chen:1 spl 15.00 0.20 20 0
179Walter Little:1 haoyu 15.00 0.03 31 0
180BH:0 haoyu 15.00 0.07 199 0
181Batman:0 haoyu 15.00 0.04 1 0
182EC:1 haoyu 15.00 0.03 5 0
183burrito:0 haoyu 15.00 0.09 6 0
184Yan Wu:1 haoyu 15.00 0.04 24 0
185Yan Wu:0 haoyu 15.00 0.05 27 0
186BH:1 haoyu 15.00 0.05 210 0
187jgs:0 Aristotle 15.00 0.12 6734 0
188Yacob Y.:0 haoyu 15.01 0.06 2 0
189EC:0 haoyu 15.01 0.03 8 0
190Yacob Y.:1 Aristotle 15.01 15.00 8 1
191nupog:1 Aristotle 15.01 0.12 1212 0
192Elphaba:0 Aristotle 15.01 0.24 73987 0
193Fanny:1 Aristotle 15.01 0.12 1 0
194KingBach:1 haoyu 15.01 0.04 1 0
195ebp:1 haoyu 15.01 0.04 40 0
196Shaheed Chagani:1 Aristotle 15.01 0.11 10792 0
197burrito:1 haoyu 15.01 0.10 4 0
198Nihar the Great:1 Aristotle 15.01 0.25 23511 0
199Nihar the Great:0 Aristotle 15.01 0.23 23640 0
20013a:0 Aaron Doll 15.01 15.00 92108 21
201Brendan Wright:0 haoyu 15.01 0.10 4 0
202Sabar Dasgupta:1 Aaron Doll 15.01 0.17 11 0
203DinnerPartyPlannerBM:0 Aristotle 15.01 0.11 3635 0
204Charliezsc:0 jgs 15.01 14.98 6 1
205Batman:1 haoyu 15.03 0.04 1 0
206Shaheed Chagani:0 Aristotle 15.03 0.17 11392 0
20713a:1 Aaron Doll 15.03 15.00 97367 29
208Sabar Dasgupta:0 spl 15.03 0.23 5 0
209CAPS LOCK:0 Aristotle 15.04 0.20 1694 0
210Elphaba:1 Aristotle 15.04 0.22 71163 0
211Andrew Werner:0 Aaron Doll 15.05 0.33 4 0
212CAPS LOCK:1 Aristotle 15.05 0.25 17883 0
213Mike Hunt:1 Aristotle 15.05 0.29 21 0
214Mike Hunt:0 Aristotle 15.05 0.27 28 0
215Bar Shabtai:0 Aaron Doll 15.05 15.01 326180 1
216Andys:1 Aristotle 15.06 0.13 10 0
217Aaron H:0 Aristotle 15.06 0.11 12 0
218Andys:0 Aristotle 15.07 0.12 11 0
219Andrew Werner:1 haoyu 15.07 0.11 9 0
220Aristotle:0 Aristotle 15.09 15.00 755821 1
221Aaron Doll:1 Aristotle 15.09 1.27 319563 0
222Deric Cheng:1 jgs 15.10 14.98 1 1
223Aristotle:1 Aristotle 15.10 9.69 734313 0
224Aaron H:1 Aristotle 15.11 0.11 4 0
225Aaron Doll:0 Aristotle 15.13 0.56 265678 0
226Matt Goldsmith:1 Happy 15.13 0.03 506883 0
227Deric Cheng:0 jgs 15.17 14.99 2 1
228Matt Goldsmith:0 Nihar the Great 15.18 0.03 510875 0


SatSolvers Ranklist Generators Ranklist