SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Lisa Kim

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 Lisa Kim 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 Lisa Kim 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: Lisa Kim
Rank: 38 / 118
Average Score: 6.11
Median Score: 0.84
Description: This sat-solver generates random models using Walk SATand returns the best one when time runs out.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 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
4bigwig:1 KingBach 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
7Bebe Shi:0 KingBach 0.00 0.00 0 0
8Miranda:0 cat 0.00 0.00 0 0
9Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
10Solving For Clauses:1 haoyu 0.01 0.00 0 0
11Daffy Duck:1 haoyu 0.01 0.00 0 0
12Joshua Zimmer:0 haoyu 0.01 0.00 0 0
13Bebe Shi:1 KingBach 0.01 0.00 0 0
14haoyu:1 Anon5 0.01 0.01 0 0
15R. A. B.:1 cat 0.01 0.00 0 0
16Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
17Blam:1 Elphaba 0.01 0.00 0 0
18K.L.:1 KingBach 0.01 0.00 0 0
19Happy:1 KingBach 0.01 0.00 0 0
20Joshua Zimmer:1 haoyu 0.01 0.00 0 0
21David Paulk:1 Bar Shabtai 0.01 0.00 0 0
22Gewang:1 Jonathan Kwok 0.01 0.00 0 0
23BMJ:1 burrito 0.01 0.00 0 0
24bchouGenerator:0 haoyu 0.01 0.00 0 0
25cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
26cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
27David Paulk:0 cat 0.01 0.00 0 0
28The Kraken:0 haoyu 0.01 0.00 0 0
29Mike Honcho:0 Miranda 0.01 0.01 0 0
30Jonathan Kwok:1 KingBach 0.01 0.00 0 0
31The Kraken:1 haoyu 0.02 0.00 0 0
32Gewang:0 Jonathan Kwok 0.02 0.00 0 0
33Quite Satisfied:0 haoyu 0.02 0.00 0 0
34Blam:0 Elphaba 0.02 0.00 0 0
35bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
36Tree Prophet:0 haoyu 0.02 0.00 0 0
37K.L.:0 haoyu 0.02 0.00 0 0
38Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
39Tree Prophet:1 haoyu 0.02 0.00 0 0
40haoyu:0 KingBach 0.02 0.01 0 0
41Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
42Mickey Mouse:1 haoyu 0.02 0.01 0 0
43Happy:0 haoyu 0.03 0.00 0 0
44BMJ:0 Elphaba 0.03 0.00 0 0
45R. A. B.:0 Nihar the Great 0.03 0.00 0 0
46Jameh:0 haoyu 0.04 0.01 0 0
47Tom T:0 EC 0.04 0.02 0 0
48Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
49Scheduling Generator 203:0 jgs 0.04 0.01 0 0
50David Lackey:1 Bar Shabtai 0.04 0.03 0 0
51Tom T:1 Andrew Werner 0.04 0.02 0 0
52Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
53Tiny Wings:0 haoyu 0.05 0.02 0 0
54vluu:0 Nihar the Great 0.05 0.01 0 0
55Scheduling Generator 203:1 Jameh 0.05 0.02 0 0
56totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
57Qinlan Shen:0 Bar Shabtai 0.05 0.01 0 0
58vluu:1 Nihar the Great 0.05 0.02 0 0
59AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.06 0.01 0 0
60totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
61weezy:0 Bar Shabtai 0.07 0.01 0 0
62Jameh:1 haoyu 0.07 0.01 0 0
63Boomshanka:0 haoyu 0.08 0.01 0 0
640108:1 haoyu 0.08 0.01 0 0
65weezy:1 Bar Shabtai 0.09 0.01 0 0
66The Whitman Whale:0 bigwig 0.09 0.04 0 0
67Sunny:1 jabreezy 0.09 0.01 0 0
68cat:1 haoyu 0.11 0.03 0 0
69The Whitman Whale:1 Andrew Grasso 0.11 0.03 0 0
70Ytterbium:1 Nihar the Great 0.11 0.02 0 0
71Jordan Ash:0 EC 0.11 0.03 0 0
72cat:0 haoyu 0.12 0.03 0 0
73Tiny Wings:1 haoyu 0.12 0.01 0 0
74Alex Fish:1 haoyu 0.13 0.02 0 0
75Tao:1 Aristotle 0.14 0.07 0 0
76Linda:0 Andrew Grasso 0.15 0.01 0 0
77Alex Fish:0 haoyu 0.15 0.01 0 0
78Bob Dondero:0 Andrew Grasso 0.16 0.02 0 0
79Mike Honcho:1 Jessie Chen 0.17 0.01 0 0
80George Okeowo:1 Andrew Grasso 0.18 0.01 0 0
81DeeEmEm:1 haoyu 0.19 0.02 0 0
82Nikhilesh Sigatapu:0 haoyu 0.20 0.03 0 0
83David Lackey:0 Anon5 0.22 0.03 0 0
84Dr Roberto:1 Andrew Grasso 0.22 0.02 0 0
85George Okeowo:0 Andrew Grasso 0.22 0.01 0 0
86Keji Xu:1 Nihar the Great 0.23 0.04 0 0
87Lisa Kim:1 Bar Shabtai 0.23 0.06 0 0
88Dr Roberto:0 Andrew Grasso 0.25 0.03 0 0
89Samuel Jerome:0 haoyu 0.25 0.03 0 0
90Bob Dondero:1 Mickey Mouse 0.26 0.03 0 0
91Lisa Kim:0 Aristotle 0.28 0.07 0 0
92Janie Gu:0 Glenn Fisher 0.29 0.07 0 0
93kt4124:0 haoyu 0.29 0.03 0 0
94bfang:0 haoyu 0.33 0.04 0 0
95AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.34 0.00 0 0
96Matt Haake:1 haoyu 0.36 0.05 0 0
97Anon_K_P:1 Aristotle 0.41 0.03 0 0
98Sally Smith:0 haoyu 0.42 0.04 0 0
99Keji Xu:0 Nihar the Great 0.42 0.03 0 0
100Sunny:0 Green "The Bean" Choi 0.42 0.02 0 0
101Batman:1 haoyu 0.44 0.04 0 0
102KingBach:1 haoyu 0.51 0.04 0 0
103Janie Gu:1 Jonathan Kwok 0.52 0.07 0 0
104Tao:0 Bar Shabtai 0.54 0.02 0 0
105Nikhilesh Sigatapu:1 haoyu 0.54 0.04 0 0
106Mercury:1 haoyu 0.56 0.05 0 0
107Batman:0 haoyu 0.59 0.04 0 0
108bfang:1 haoyu 0.63 0.04 0 0
109Linda:1 Andrew Grasso 0.65 0.02 0 0
110Samuel Jerome:1 haoyu 0.66 0.03 0 0
111Matt Haake:0 haoyu 0.69 0.05 0 0
112kt4124:1 haoyu 0.69 0.04 0 0
113Sprt:1 haoyu 0.70 0.05 0 0
114Khoa:0 haoyu 0.84 0.09 0 0
115Sally Smith:1 haoyu 0.89 0.04 0 0
116Mercury:0 haoyu 0.98 0.05 0 0
117Khoa:1 Aristotle 1.01 0.09 0 0
118Anon_K_P:0 haoyu 1.08 0.02 0 0
119Yan Wu:0 haoyu 1.17 0.05 0 0
120burrito:0 haoyu 1.83 0.09 0 0
121soccer:1 haoyu 1.93 0.04 0 0
122DinnerPartyPlannerBM:1 Nihar the Great 1.99 0.06 0 0
123dfshasdsf12:0 haoyu 2.15 0.09 0 0
124Yan Wu:1 haoyu 2.18 0.04 0 0
125KingBach:0 haoyu 2.45 0.06 0 0
126soccer:0 haoyu 3.47 0.04 0 0
127Lil Thug:1 Andrew Grasso 3.48 0.03 0 0
128Sprt:0 Aristotle 3.53 0.11 0 0
129Lil Thug:0 Andrew Grasso 3.70 0.03 0 0
130Glenn Fisher:0 Elphaba 3.87 0.02 0 0
131Aaron H:0 Aristotle 3.95 0.11 0 0
132Yacob Y.:0 haoyu 4.26 0.06 0 0
133Andys:1 Aristotle 4.56 0.13 0 0
134Glenn Fisher:1 jabreezy 5.03 0.09 0 0
135Anon5:1 Green "The Bean" Choi 5.10 0.07 0 0
136dfshasdsf12:1 Nihar the Great 6.18 0.11 0 0
137Sabar Dasgupta:1 Aaron Doll 6.52 0.17 0 0
138Sabar Dasgupta:0 spl 6.86 0.23 0 0
139burrito:1 haoyu 7.32 0.10 0 0
140DinnerPartyPlannerBM:0 Aristotle 7.78 0.11 0 0
141jabreezy:0 Mercury 7.82 0.09 0 0
142Brendan Wright:1 Deric Cheng 7.86 0.10 0 0
143jabreezy:1 Mercury 8.96 0.10 0 0
144Brendan Wright:0 haoyu 9.08 0.10 0 0
145Aaron H:1 Aristotle 9.08 0.11 0 0
146Mr. Blobby:1 dusty 10.85 0.12 0 0
147Fanny:0 Aristotle 12.93 0.10 0 0
148ebp:1 haoyu 13.36 0.04 0 0
149Qinlan Shen:1 R. A. B. 15.00 9.00 2 1
150Jessie Chen:1 Joel Faron 15.00 0.12 2 1
151T. Capote:0 haoyu 15.00 0.00 2 2
152T. Capote:1 haoyu 15.00 0.00 2 2
153DeeEmEm:0 CAPS LOCK 15.00 13.00 3 1
154John Whelchel:1 haoyu 15.00 0.11 4 0
155Quite Satisfied:1 Joel Faron 15.00 2.11 4 1
156spl:0 Elphaba 15.00 0.09 4 0
157Jessie Chen:0 Joel Faron 15.00 0.13 5 1
158Valya Barboy:1 Shaheed Chagani 15.00 0.18 5 0
159CookieMonster:0 CookieMonster 15.00 0.82 5 0
160David H.:0 AFC 15.00 0.28 10 0
1610108:0 jgs 15.00 14.98 10 1
162Walter Little:0 haoyu 15.00 0.04 11 0
163SuperFan:1 jgs 15.00 14.98 12 4
164David H.:1 DeeEmEm 15.00 0.33 13 0
165SuperFan:0 jgs 15.00 14.98 13 4
166Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 15 0
167Ben Chen:1 spl 15.00 0.20 15 0
168NA:1 Elphaba 15.00 0.04 18 0
169Yacob Y.:1 Aristotle 15.00 15.00 20 1
170Dusty:0 CookieMonster 15.00 1.39 22 0
171snowflakes:0 haoyu 15.00 0.03 23 0
172Andrew Grasso:1 Shaheed Chagani 15.00 0.15 24 0
173Dusty:1 Shaheed Chagani 15.00 0.22 25 0
174Andrew Grasso:0 Aaron Doll 15.00 0.18 25 0
175Ben Chen:0 Elphaba 15.00 0.07 28 0
176snowflakes:1 haoyu 15.00 0.03 31 0
177NA:0 haoyu 15.00 0.03 36 0
178Supahaka:0 Andrew Werner 15.00 15.00 42 35
179Supahaka:1 Joel Faron 15.00 15.00 46 35
180Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
181Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
182BH:1 haoyu 15.00 0.05 271 0
183John Whelchel:0 haoyu 15.00 0.06 3 0
184EC:1 haoyu 15.00 0.03 7 0
185AFC:1 Aristotle 15.00 0.16 10 0
186AFC:0 CookieMonster 15.00 0.34 10 0
187spl:1 haoyu 15.00 0.06 13 0
188Anon5:0 haoyu 15.00 0.05 14 0
189Walter Little:1 haoyu 15.00 0.03 14 0
190Absurdity:0 Aristotle 15.00 0.23 16 0
191nupog:1 Aristotle 15.00 0.12 25 0
19213a:0 Aaron Doll 15.00 15.00 36886 21
193Matt Goldsmith:1 Happy 15.00 0.03 521590 0
194CookieMonster:1 CookieMonster 15.00 1.10 7 0
195Valya Barboy:0 Aristotle 15.00 0.06 7 0
196ebp:0 haoyu 15.00 0.04 23 0
197Elphaba:0 Aristotle 15.00 0.24 13203 0
198Elphaba:1 Aristotle 15.00 0.22 17165 0
199Nihar the Great:1 Aristotle 15.00 0.25 17317 0
200EC:0 haoyu 15.00 0.03 7 0
201Fanny:1 Aristotle 15.01 0.12 5 0
202Absurdity:1 Aristotle 15.01 0.18 14 0
203BH:0 haoyu 15.01 0.07 211 0
204Mike Hunt:1 Aristotle 15.01 0.29 6 0
205Charliezsc:0 jgs 15.01 14.98 11 1
206Andrew Werner:1 haoyu 15.01 0.11 2 0
207CAPS LOCK:0 Aristotle 15.01 0.20 2 0
208nupog:0 Aristotle 15.01 0.13 7 0
209Shaheed Chagani:0 Aristotle 15.01 0.17 42 0
210Nihar the Great:0 Aristotle 15.01 0.23 18781 0
211Mike Hunt:0 Aristotle 15.02 0.27 4 0
21213a:1 Aaron Doll 15.02 15.00 46837 29
213Charliezsc:1 haoyu 15.02 0.07 5 0
214Matt Goldsmith:0 Nihar the Great 15.03 0.03 513770 0
215Aaron Doll:1 Aristotle 15.03 1.27 276208 0
216Deric Cheng:1 jgs 15.03 14.98 5 1
217jgs:0 Aristotle 15.04 0.12 11 0
218CAPS LOCK:1 Aristotle 15.04 0.25 680 0
219Aaron Doll:0 Aristotle 15.04 0.56 211817 0
220Deric Cheng:0 jgs 15.04 14.99 2 1
221Shaheed Chagani:1 Aristotle 15.04 0.11 25 0
222Andrew Werner:0 Aaron Doll 15.05 0.33 4 0
223Bar Shabtai:0 Aaron Doll 15.06 15.01 292836 1
224jgs:1 haoyu 15.07 0.18 12 0
225Andys:0 Aristotle 15.11 0.12 16 0
226Bar Shabtai:1 haoyu 15.11 0.12 6 0
227Aristotle:1 Aristotle 15.15 9.69 740676 0
228Aristotle:0 Aristotle 15.32 15.00 731115 1


SatSolvers Ranklist Generators Ranklist