SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Yacob Y.

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 Yacob Y. 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 Yacob Y. 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: Yacob Y.
Rank: 21 / 118
Average Score: 5.18
Median Score: 0.65
Description: A variant on Walk-SAT where we generate the probability for flipping a random symbol in the clause every time through the loop instead of a constant 0.5.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2Ravi Tandon:0 KingBach 0.00 0.00 0 0
3Bebe Shi:1 KingBach 0.00 0.00 0 0
4bigwig:0 Andrew Werner 0.00 0.00 0 0
5Bebe Shi:0 KingBach 0.00 0.00 0 0
6Ravi Tandon:1 KingBach 0.00 0.00 0 0
7Jonathan Kwok:1 KingBach 0.00 0.00 0 0
8K.L.:1 KingBach 0.00 0.00 0 0
9Miranda:1 cat 0.00 0.00 0 0
10Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12Miranda:0 cat 0.01 0.00 0 0
13Solving For Clauses:1 haoyu 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
16Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
17Happy:1 KingBach 0.01 0.00 0 0
18R. A. B.:1 cat 0.01 0.00 0 0
19Blam:1 Elphaba 0.01 0.00 0 0
20Gewang:1 Jonathan Kwok 0.01 0.00 0 0
21BMJ:1 burrito 0.01 0.00 0 0
22David Paulk:0 cat 0.01 0.00 0 0
23Blam:0 Elphaba 0.01 0.00 0 0
24David Paulk:1 Bar Shabtai 0.01 0.00 0 0
25haoyu:1 Anon5 0.01 0.01 0 0
26cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
27cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
28Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
29Quite Satisfied:0 haoyu 0.02 0.00 0 0
30Happy:0 haoyu 0.02 0.00 0 0
31Gewang:0 Jonathan Kwok 0.02 0.00 0 0
32haoyu:0 KingBach 0.02 0.01 0 0
33Tree Prophet:0 haoyu 0.02 0.00 0 0
34Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
35bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
36K.L.:0 haoyu 0.02 0.00 0 0
37Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
38The Kraken:1 haoyu 0.02 0.00 0 0
390108:1 haoyu 0.02 0.01 0 0
40R. A. B.:0 Nihar the Great 0.02 0.00 0 0
41Mickey Mouse:1 haoyu 0.03 0.01 0 0
42The Kraken:0 haoyu 0.03 0.00 0 0
43Daffy Duck:1 haoyu 0.03 0.00 0 0
44weezy:1 Bar Shabtai 0.03 0.01 0 0
45BMJ:0 Elphaba 0.03 0.00 0 0
46Scheduling Generator 203:1 Jameh 0.03 0.02 0 0
47Tiny Wings:1 haoyu 0.03 0.01 0 0
48Tiny Wings:0 haoyu 0.04 0.02 0 0
49Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
50Mike Honcho:0 Miranda 0.04 0.01 0 0
51Tree Prophet:1 haoyu 0.04 0.00 0 0
52Tom T:0 EC 0.04 0.02 0 0
53Tom T:1 Andrew Werner 0.04 0.02 0 0
54Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
55Jameh:0 haoyu 0.04 0.01 0 0
56Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
57Jordan Ash:0 EC 0.05 0.03 0 0
58Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
59vluu:0 Nihar the Great 0.06 0.01 0 0
60weezy:0 Bar Shabtai 0.06 0.01 0 0
61totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
62Boomshanka:0 haoyu 0.06 0.01 0 0
63Scheduling Generator 203:0 jgs 0.06 0.01 0 0
64David Lackey:1 Bar Shabtai 0.07 0.03 0 0
65vluu:1 Nihar the Great 0.07 0.02 0 0
66Jameh:1 haoyu 0.08 0.01 0 0
67Samuel Jerome:0 haoyu 0.08 0.03 0 0
68Nikhilesh Sigatapu:0 haoyu 0.08 0.03 0 0
69David Lackey:0 Anon5 0.08 0.03 0 0
70Nikhilesh Sigatapu:1 haoyu 0.09 0.04 0 0
71Alex Fish:1 haoyu 0.09 0.02 0 0
72AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.09 0.00 0 0
73cat:0 haoyu 0.09 0.03 0 0
74Keji Xu:1 Nihar the Great 0.10 0.04 0 0
75AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.10 0.01 0 0
76totallyOnFallBreak:1 Nikhilesh Sigatapu 0.10 0.01 0 0
77Alex Fish:0 haoyu 0.10 0.01 0 0
78cat:1 haoyu 0.11 0.03 0 0
79Dr Roberto:1 Andrew Grasso 0.12 0.02 0 0
80The Whitman Whale:1 Andrew Grasso 0.12 0.03 0 0
81Bob Dondero:0 Andrew Grasso 0.12 0.02 0 0
82Bob Dondero:1 Mickey Mouse 0.12 0.03 0 0
83The Whitman Whale:0 bigwig 0.13 0.04 0 0
84Ytterbium:1 Nihar the Great 0.14 0.02 0 0
85Linda:0 Andrew Grasso 0.15 0.01 0 0
86George Okeowo:1 Andrew Grasso 0.16 0.01 0 0
87George Okeowo:0 Andrew Grasso 0.17 0.01 0 0
88Lisa Kim:1 Bar Shabtai 0.17 0.06 0 0
89Sunny:0 Green "The Bean" Choi 0.19 0.02 0 0
90Anon_K_P:0 haoyu 0.19 0.02 0 0
91DeeEmEm:1 haoyu 0.21 0.02 0 0
92Anon_K_P:1 Aristotle 0.22 0.03 0 0
93kt4124:0 haoyu 0.23 0.03 0 0
94Keji Xu:0 Nihar the Great 0.24 0.03 0 0
95kt4124:1 haoyu 0.26 0.04 0 0
96Tao:0 Bar Shabtai 0.28 0.02 0 0
97Sally Smith:0 haoyu 0.29 0.04 0 0
98Samuel Jerome:1 haoyu 0.30 0.03 0 0
99Sunny:1 jabreezy 0.31 0.01 0 0
100Lisa Kim:0 Aristotle 0.33 0.07 0 0
101Matt Haake:0 haoyu 0.33 0.05 0 0
102Fanny:1 Aristotle 0.35 0.12 0 0
103Batman:0 haoyu 0.39 0.04 0 0
104Sally Smith:1 haoyu 0.43 0.04 0 0
105Batman:1 haoyu 0.43 0.04 0 0
106bfang:1 haoyu 0.45 0.04 0 0
107bfang:0 haoyu 0.46 0.04 0 0
108Glenn Fisher:0 Elphaba 0.46 0.02 0 0
109Yan Wu:0 haoyu 0.47 0.05 0 0
110Matt Haake:1 haoyu 0.47 0.05 0 0
111Linda:1 Andrew Grasso 0.56 0.02 0 0
112Mercury:0 haoyu 0.60 0.05 0 0
113KingBach:1 haoyu 0.61 0.04 0 0
114Tao:1 Aristotle 0.65 0.07 0 0
115Janie Gu:0 Glenn Fisher 0.70 0.07 0 0
116soccer:0 haoyu 0.70 0.04 0 0
117Andrew Grasso:0 Aaron Doll 0.74 0.18 0 0
118Yan Wu:1 haoyu 0.78 0.04 0 0
119Mr. Blobby:1 dusty 0.81 0.12 0 0
120Khoa:1 Aristotle 0.85 0.09 0 0
121Mercury:1 haoyu 0.86 0.05 0 0
122Sprt:1 haoyu 0.91 0.05 0 0
123Khoa:0 haoyu 0.93 0.09 0 0
124Ben Chen:1 spl 0.95 0.20 0 0
125Dr Roberto:0 Andrew Grasso 0.99 0.03 0 0
126Fanny:0 Aristotle 1.00 0.10 0 0
127soccer:1 haoyu 1.09 0.04 0 0
128Yacob Y.:0 haoyu 1.30 0.06 0 0
129Ben Chen:0 Elphaba 1.42 0.07 0 0
130Janie Gu:1 Jonathan Kwok 1.60 0.07 0 0
131KingBach:0 haoyu 1.61 0.06 0 0
132Sabar Dasgupta:0 spl 1.69 0.23 0 0
133burrito:0 haoyu 1.72 0.09 0 0
134DinnerPartyPlannerBM:1 Nihar the Great 1.77 0.06 0 0
135Mr. Blobby:0 Green "The Bean" Choi 1.81 0.14 0 0
136Sabar Dasgupta:1 Aaron Doll 2.00 0.17 0 0
137dfshasdsf12:0 haoyu 2.28 0.09 0 0
138Glenn Fisher:1 jabreezy 2.65 0.09 0 0
139Lil Thug:0 Andrew Grasso 2.93 0.03 0 0
140Anon5:1 Green "The Bean" Choi 3.56 0.07 0 0
141Lil Thug:1 Andrew Grasso 3.71 0.03 0 0
142Sprt:0 Aristotle 4.20 0.11 0 0
143Aaron H:1 Aristotle 4.39 0.11 0 0
144dfshasdsf12:1 Nihar the Great 4.94 0.11 0 0
145DinnerPartyPlannerBM:0 Aristotle 5.24 0.11 0 0
146Mike Hunt:0 Aristotle 5.77 0.27 0 0
147Brendan Wright:1 Deric Cheng 5.92 0.10 0 0
148Mike Hunt:1 Aristotle 6.16 0.29 0 0
149Aaron H:0 Aristotle 6.24 0.11 0 0
150Walter Little:1 haoyu 6.75 0.03 0 0
151John Whelchel:0 haoyu 6.90 0.06 0 0
152Valya Barboy:0 Aristotle 6.93 0.06 0 0
153Walter Little:0 haoyu 7.21 0.04 0 0
154ebp:0 haoyu 7.32 0.04 0 0
155Dusty:1 Shaheed Chagani 8.23 0.22 0 0
156jabreezy:0 Mercury 8.41 0.09 0 0
157Brendan Wright:0 haoyu 9.12 0.10 0 0
158BH:0 haoyu 10.15 0.07 0 0
159burrito:1 haoyu 10.15 0.10 0 0
160CAPS LOCK:0 Aristotle 10.58 0.20 0 0
161BH:1 haoyu 10.73 0.05 0 0
162Valya Barboy:1 Shaheed Chagani 11.06 0.18 0 0
163Charliezsc:1 haoyu 11.08 0.07 0 0
164ebp:1 haoyu 11.10 0.04 0 0
165Anon5:0 haoyu 11.19 0.05 0 0
166snowflakes:1 haoyu 11.40 0.03 0 0
167nupog:1 Aristotle 13.01 0.12 0 0
168nupog:0 Aristotle 13.24 0.13 0 0
169Bar Shabtai:1 haoyu 13.78 0.12 0 0
170Andys:0 Aristotle 14.20 0.12 0 0
171DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
172CookieMonster:1 CookieMonster 15.00 1.10 1 0
173Jessie Chen:0 Joel Faron 15.00 0.13 2 1
174Qinlan Shen:1 R. A. B. 15.00 9.00 2 1
175Jessie Chen:1 Joel Faron 15.00 0.12 2 1
176T. Capote:0 haoyu 15.00 0.00 2 2
177CookieMonster:0 CookieMonster 15.00 0.82 2 0
1780108:0 jgs 15.00 14.98 2 1
179T. Capote:1 haoyu 15.00 0.00 2 2
180spl:1 haoyu 15.00 0.06 5 0
181EC:1 haoyu 15.00 0.03 6 0
182AFC:1 Aristotle 15.00 0.16 7 0
183Quite Satisfied:1 Joel Faron 15.00 2.11 8 1
184EC:0 haoyu 15.00 0.03 8 0
185Dusty:0 CookieMonster 15.00 1.39 9 0
186SuperFan:0 jgs 15.00 14.98 9 4
187David H.:0 AFC 15.00 0.28 9 0
188Absurdity:1 Aristotle 15.00 0.18 9 0
189Absurdity:0 Aristotle 15.00 0.23 9 0
190AFC:0 CookieMonster 15.00 0.34 10 0
191David H.:1 DeeEmEm 15.00 0.33 11 0
192Andrew Grasso:1 Shaheed Chagani 15.00 0.15 13 0
193SuperFan:1 jgs 15.00 14.98 18 4
194NA:1 Elphaba 15.00 0.04 19 0
195NA:0 haoyu 15.00 0.03 41 0
196snowflakes:0 haoyu 15.00 0.03 42 0
197Supahaka:1 Joel Faron 15.00 15.00 50 35
198Supahaka:0 Andrew Werner 15.00 15.00 54 35
199Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
200Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
201spl:0 Elphaba 15.00 0.09 10 0
202Shaheed Chagani:1 Aristotle 15.00 0.11 22 0
20313a:0 Aaron Doll 15.00 15.00 35725 21
204Charliezsc:0 jgs 15.00 14.98 4 1
205Yacob Y.:1 Aristotle 15.00 15.00 21 1
206Nihar the Great:1 Aristotle 15.00 0.25 19183 0
207jabreezy:1 Mercury 15.01 0.10 1 0
208Andys:1 Aristotle 15.01 0.13 6 0
209Elphaba:0 Aristotle 15.01 0.24 5503 0
21013a:1 Aaron Doll 15.01 15.00 57450 29
211Bar Shabtai:0 Aaron Doll 15.01 15.01 288050 1
212Nihar the Great:0 Aristotle 15.01 0.23 18518 0
213CAPS LOCK:1 Aristotle 15.02 0.25 12 0
214John Whelchel:1 haoyu 15.02 0.11 2 0
215Shaheed Chagani:0 Aristotle 15.03 0.17 13 0
216Matt Goldsmith:1 Happy 15.03 0.03 505490 0
217Matt Goldsmith:0 Nihar the Great 15.03 0.03 508363 0
218Elphaba:1 Aristotle 15.04 0.22 9042 0
219Aaron Doll:0 Aristotle 15.04 0.56 243623 0
220Andrew Werner:1 haoyu 15.04 0.11 4 0
221jgs:0 Aristotle 15.04 0.12 9 0
222Deric Cheng:0 jgs 15.05 14.99 2 1
223Aaron Doll:1 Aristotle 15.07 1.27 306291 0
224Deric Cheng:1 jgs 15.10 14.98 2 1
225Andrew Werner:0 Aaron Doll 15.12 0.33 8 0
226jgs:1 haoyu 15.12 0.18 7 0
227Aristotle:1 Aristotle 15.15 9.69 724741 0
228Aristotle:0 Aristotle 15.19 15.00 728133 1


SatSolvers Ranklist Generators Ranklist