SatSolvers Ranklist Generators Ranklist

Stats for satsolver: 0108

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 0108 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 0108 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: 0108
Rank: 35 / 118
Average Score: 5.93
Median Score: 0.88
Description: An implementation of the WalkSat algorithm, using a p of 0.5.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2Bebe Shi:1 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
6Bebe Shi:0 KingBach 0.00 0.00 0 0
7Ravi Tandon:1 KingBach 0.00 0.00 0 0
8Miranda:1 cat 0.00 0.00 0 0
9Miranda:0 cat 0.00 0.00 0 0
10Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12R. A. B.:1 cat 0.01 0.00 0 0
13Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
14Solving For Clauses:1 haoyu 0.01 0.00 0 0
15Joshua Zimmer:0 haoyu 0.01 0.00 0 0
16K.L.:1 KingBach 0.01 0.00 0 0
17Daffy Duck:1 haoyu 0.01 0.00 0 0
18bchouGenerator:0 haoyu 0.01 0.00 0 0
19BMJ:1 burrito 0.01 0.00 0 0
20David Paulk:0 cat 0.01 0.00 0 0
21cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
22David Paulk:1 Bar Shabtai 0.01 0.00 0 0
23Tree Prophet:0 haoyu 0.01 0.00 0 0
24cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
25R. A. B.:0 Nihar the Great 0.01 0.00 0 0
26Gewang:1 Jonathan Kwok 0.01 0.00 0 0
27Gewang:0 Jonathan Kwok 0.01 0.00 0 0
28K.L.:0 haoyu 0.01 0.00 0 0
29Quite Satisfied:0 haoyu 0.01 0.00 0 0
30Mike Honcho:0 Miranda 0.02 0.01 0 0
31Jonathan Kwok:1 KingBach 0.02 0.00 0 0
32haoyu:0 KingBach 0.02 0.01 0 0
33Happy:0 haoyu 0.02 0.00 0 0
34The Kraken:1 haoyu 0.02 0.00 0 0
35Scheduling Generator 203:0 jgs 0.02 0.01 0 0
36Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
37haoyu:1 Anon5 0.02 0.01 0 0
38Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
39Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
40bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
41Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
42Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
43Mickey Mouse:1 haoyu 0.03 0.01 0 0
44Tom T:0 EC 0.03 0.02 0 0
45weezy:0 Bar Shabtai 0.03 0.01 0 0
46Daffy Duck:0 Andrew Werner 0.03 0.00 0 0
47Tom T:1 Andrew Werner 0.04 0.02 0 0
48BMJ:0 Elphaba 0.04 0.00 0 0
49Blam:0 Elphaba 0.04 0.00 0 0
50Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
51Jameh:0 haoyu 0.04 0.01 0 0
52Tiny Wings:1 haoyu 0.04 0.01 0 0
53Ytterbium:0 Andrew Grasso 0.04 0.02 0 0
54vluu:1 Nihar the Great 0.05 0.02 0 0
55weezy:1 Bar Shabtai 0.05 0.01 0 0
56Jordan Ash:0 EC 0.05 0.03 0 0
57vluu:0 Nihar the Great 0.05 0.01 0 0
58totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
59The Whitman Whale:1 Andrew Grasso 0.05 0.03 0 0
60Tiny Wings:0 haoyu 0.06 0.02 0 0
61totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
62The Kraken:0 haoyu 0.06 0.00 0 0
63Boomshanka:0 haoyu 0.07 0.01 0 0
64cat:1 haoyu 0.08 0.03 0 0
65Anon_K_P:1 Aristotle 0.09 0.03 0 0
66Alex Fish:0 haoyu 0.09 0.01 0 0
67Alex Fish:1 haoyu 0.09 0.02 0 0
68cat:0 haoyu 0.11 0.03 0 0
69Ytterbium:1 Nihar the Great 0.12 0.02 0 0
70Jameh:1 haoyu 0.12 0.01 0 0
71Blam:1 Elphaba 0.12 0.00 0 0
72Dr Roberto:0 Andrew Grasso 0.13 0.03 0 0
73Janie Gu:1 Jonathan Kwok 0.13 0.07 0 0
74The Whitman Whale:0 bigwig 0.15 0.04 0 0
75Tree Prophet:1 haoyu 0.15 0.00 0 0
76George Okeowo:0 Andrew Grasso 0.16 0.01 0 0
77George Okeowo:1 Andrew Grasso 0.16 0.01 0 0
780108:1 haoyu 0.16 0.01 0 0
79Bob Dondero:0 Andrew Grasso 0.18 0.02 0 0
80Sunny:1 jabreezy 0.18 0.01 0 0
81Linda:0 Andrew Grasso 0.18 0.01 0 0
82AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.20 0.00 0 0
83Bob Dondero:1 Mickey Mouse 0.21 0.03 0 0
84Lisa Kim:1 Bar Shabtai 0.21 0.06 0 0
85Lisa Kim:0 Aristotle 0.22 0.07 0 0
86Keji Xu:1 Nihar the Great 0.22 0.04 0 0
87kt4124:0 haoyu 0.24 0.03 0 0
88Sally Smith:0 haoyu 0.26 0.04 0 0
89David Lackey:1 Bar Shabtai 0.26 0.03 0 0
90AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.29 0.01 0 0
91kt4124:1 haoyu 0.31 0.04 0 0
92Linda:1 Andrew Grasso 0.32 0.02 0 0
93Fanny:1 Aristotle 0.34 0.12 0 0
94Batman:0 haoyu 0.35 0.04 0 0
95Tao:0 Bar Shabtai 0.36 0.02 0 0
96Dr Roberto:1 Andrew Grasso 0.37 0.02 0 0
97Nikhilesh Sigatapu:0 haoyu 0.37 0.03 0 0
98Batman:1 haoyu 0.38 0.04 0 0
99Nikhilesh Sigatapu:1 haoyu 0.43 0.04 0 0
100bfang:0 haoyu 0.43 0.04 0 0
101Keji Xu:0 Nihar the Great 0.45 0.03 0 0
102DeeEmEm:1 haoyu 0.45 0.02 0 0
103bfang:1 haoyu 0.46 0.04 0 0
104Yan Wu:1 haoyu 0.56 0.04 0 0
105David Lackey:0 Anon5 0.58 0.03 0 0
106Samuel Jerome:1 haoyu 0.58 0.03 0 0
107Sprt:1 haoyu 0.67 0.05 0 0
108Sunny:0 Green "The Bean" Choi 0.68 0.02 0 0
109Sally Smith:1 haoyu 0.69 0.04 0 0
110Mercury:1 haoyu 0.69 0.05 0 0
111Khoa:1 Aristotle 0.71 0.09 0 0
112Khoa:0 haoyu 0.77 0.09 0 0
113KingBach:1 haoyu 0.79 0.04 0 0
114KingBach:0 haoyu 0.88 0.06 0 0
115Mercury:0 haoyu 0.88 0.05 0 0
116Janie Gu:0 Glenn Fisher 0.89 0.07 0 0
117Anon_K_P:0 haoyu 0.96 0.02 0 0
118Samuel Jerome:0 haoyu 0.96 0.03 0 0
119Brendan Wright:1 Deric Cheng 1.01 0.10 0 0
120DinnerPartyPlannerBM:1 Nihar the Great 1.21 0.06 0 0
121Yan Wu:0 haoyu 1.40 0.05 0 0
122dfshasdsf12:0 haoyu 1.75 0.09 0 0
123soccer:0 haoyu 1.75 0.04 0 0
124Glenn Fisher:0 Elphaba 1.85 0.02 0 0
125Fanny:0 Aristotle 1.88 0.10 0 0
126soccer:1 haoyu 2.11 0.04 0 0
127Tao:1 Aristotle 2.35 0.07 0 0
128Lil Thug:0 Andrew Grasso 2.87 0.03 0 0
129Lil Thug:1 Andrew Grasso 2.89 0.03 0 0
130Sprt:0 Aristotle 3.03 0.11 0 0
131Aaron H:1 Aristotle 3.07 0.11 0 0
132Charliezsc:1 haoyu 3.18 0.07 0 0
133DinnerPartyPlannerBM:0 Aristotle 3.35 0.11 0 0
134Brendan Wright:0 haoyu 3.76 0.10 0 0
135ebp:0 haoyu 3.91 0.04 0 0
136Aaron H:0 Aristotle 4.11 0.11 0 0
137Yacob Y.:0 haoyu 4.67 0.06 0 0
138dfshasdsf12:1 Nihar the Great 4.69 0.11 0 0
139Andys:1 Aristotle 5.18 0.13 0 0
140Sabar Dasgupta:1 Aaron Doll 5.39 0.17 0 0
141Mike Hunt:1 Aristotle 5.97 0.29 0 0
142burrito:0 haoyu 6.23 0.09 0 0
143CAPS LOCK:0 Aristotle 6.65 0.20 0 0
144ebp:1 haoyu 6.82 0.04 0 0
145Mike Hunt:0 Aristotle 6.88 0.27 0 0
146Sabar Dasgupta:0 spl 10.70 0.23 0 0
147Bar Shabtai:1 haoyu 11.61 0.12 0 0
148nupog:1 Aristotle 12.24 0.12 0 0
149Andrew Werner:1 haoyu 13.64 0.11 0 0
150nupog:0 Aristotle 13.71 0.13 0 0
151jgs:0 Aristotle 14.12 0.12 0 0
152jgs:1 haoyu 14.52 0.18 0 0
153BH:1 haoyu 14.54 0.05 0 0
154Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
155CookieMonster:1 CookieMonster 15.00 1.10 1 0
156jabreezy:1 Mercury 15.00 0.10 2 0
157Jessie Chen:1 Joel Faron 15.00 0.12 2 1
158T. Capote:1 haoyu 15.00 0.00 2 2
159jabreezy:0 Mercury 15.00 0.09 3 0
160CookieMonster:0 CookieMonster 15.00 0.82 3 0
161DeeEmEm:0 CAPS LOCK 15.00 13.00 3 1
162Quite Satisfied:1 Joel Faron 15.00 2.11 4 1
163T. Capote:0 haoyu 15.00 0.00 4 2
164Jessie Chen:0 Joel Faron 15.00 0.13 5 1
165Charliezsc:0 jgs 15.00 14.98 6 1
166Valya Barboy:1 Shaheed Chagani 15.00 0.18 7 0
167Valya Barboy:0 Aristotle 15.00 0.06 7 0
1680108:0 jgs 15.00 14.98 9 1
169EC:0 haoyu 15.00 0.03 10 0
170Anon5:1 Green "The Bean" Choi 15.00 0.07 11 0
171David H.:1 DeeEmEm 15.00 0.33 12 0
172EC:1 haoyu 15.00 0.03 12 0
173Anon5:0 haoyu 15.00 0.05 12 0
174David H.:0 AFC 15.00 0.28 14 0
175AFC:0 CookieMonster 15.00 0.34 16 0
176SuperFan:1 jgs 15.00 14.98 20 4
177SuperFan:0 jgs 15.00 14.98 21 4
178spl:1 haoyu 15.00 0.06 21 0
179Mr. Blobby:1 dusty 15.00 0.12 23 0
180Yacob Y.:1 Aristotle 15.00 15.00 26 1
181spl:0 Elphaba 15.00 0.09 30 0
182Andrew Grasso:1 Shaheed Chagani 15.00 0.15 32 0
183Andrew Grasso:0 Aaron Doll 15.00 0.18 32 0
184Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 33 0
185Dusty:1 Shaheed Chagani 15.00 0.22 34 0
186Ben Chen:1 spl 15.00 0.20 36 0
187Walter Little:0 haoyu 15.00 0.04 39 0
188NA:1 Elphaba 15.00 0.04 40 0
189Supahaka:1 Joel Faron 15.00 15.00 44 35
190Glenn Fisher:1 jabreezy 15.00 0.09 45 0
191Dusty:0 CookieMonster 15.00 1.39 47 0
192Matt Haake:1 haoyu 15.00 0.05 50 0
193NA:0 haoyu 15.00 0.03 50 0
194Supahaka:0 Andrew Werner 15.00 15.00 51 35
195Walter Little:1 haoyu 15.00 0.03 56 0
196Matt Haake:0 haoyu 15.00 0.05 71 0
197Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
198snowflakes:1 haoyu 15.00 0.03 82 0
199snowflakes:0 haoyu 15.00 0.03 103 0
200Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
201AFC:1 Aristotle 15.00 0.16 11 0
202Ben Chen:0 Elphaba 15.00 0.07 29 0
203BH:0 haoyu 15.00 0.07 454 0
204Absurdity:0 Aristotle 15.01 0.23 19 0
205Nihar the Great:1 Aristotle 15.01 0.25 18566 0
20613a:1 Aaron Doll 15.01 15.00 20961 29
20713a:0 Aaron Doll 15.01 15.00 26605 21
208Elphaba:0 Aristotle 15.01 0.24 477 0
209John Whelchel:0 haoyu 15.01 0.06 0 0
210Shaheed Chagani:0 Aristotle 15.01 0.17 9 0
211Shaheed Chagani:1 Aristotle 15.01 0.11 42 0
212Absurdity:1 Aristotle 15.01 0.18 16 0
213Aristotle:0 Aristotle 15.01 15.00 704171 1
214Nihar the Great:0 Aristotle 15.02 0.23 19288 0
215Deric Cheng:1 jgs 15.02 14.98 2 1
216Aaron Doll:1 Aristotle 15.02 1.27 262796 0
217John Whelchel:1 haoyu 15.03 0.11 4 0
218Aristotle:1 Aristotle 15.03 9.69 722415 0
219Bar Shabtai:0 Aaron Doll 15.03 15.01 278615 1
220Aaron Doll:0 Aristotle 15.03 0.56 198729 0
221Matt Goldsmith:1 Happy 15.04 0.03 512359 0
222Andys:0 Aristotle 15.04 0.12 15 0
223Elphaba:1 Aristotle 15.04 0.22 539 0
224Matt Goldsmith:0 Nihar the Great 15.05 0.03 506672 0
225Deric Cheng:0 jgs 15.05 14.99 1 1
226Andrew Werner:0 Aaron Doll 15.08 0.33 4 0
227burrito:1 haoyu 15.08 0.10 4 0
228CAPS LOCK:1 Aristotle 15.36 0.25 2 0


SatSolvers Ranklist Generators Ranklist