SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Ytterbium

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 Ytterbium 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 Ytterbium 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: Ytterbium
Rank: 63 / 118
Average Score: 9.41
Median Score: 15.00
Description: A modified version of WalkSAT. Occasionally flips two clauses instead of one.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Ravi Tandon:1 KingBach 0.00 0.00 0 0
4bigwig:0 Andrew Werner 0.00 0.00 0 0
5Happy:1 KingBach 0.00 0.00 0 0
6Bebe Shi:1 KingBach 0.00 0.00 0 0
7Bebe Shi:0 KingBach 0.00 0.00 0 0
8Miranda:1 cat 0.00 0.00 0 0
9Miranda:0 cat 0.01 0.00 0 0
10Solving For Clauses:1 haoyu 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12BMJ:1 burrito 0.01 0.00 0 0
13BMJ:0 Elphaba 0.01 0.00 0 0
14Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
15Daffy Duck:1 haoyu 0.01 0.00 0 0
16David Paulk:0 cat 0.01 0.00 0 0
17R. A. B.:1 cat 0.01 0.00 0 0
18Joshua Zimmer:0 haoyu 0.01 0.00 0 0
19David Paulk:1 Bar Shabtai 0.01 0.00 0 0
20bchouGenerator:0 haoyu 0.01 0.00 0 0
21Gewang:0 Jonathan Kwok 0.02 0.00 0 0
22R. A. B.:0 Nihar the Great 0.02 0.00 0 0
23K.L.:1 KingBach 0.02 0.00 0 0
24Quite Satisfied:0 haoyu 0.02 0.00 0 0
25Gewang:1 Jonathan Kwok 0.02 0.00 0 0
26bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
27K.L.:0 haoyu 0.02 0.00 0 0
28Mike Honcho:0 Miranda 0.02 0.01 0 0
29cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
30Scheduling Generator 203:0 jgs 0.02 0.01 0 0
31Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
32cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
33Mickey Mouse:1 haoyu 0.03 0.01 0 0
34weezy:1 Bar Shabtai 0.03 0.01 0 0
35weezy:0 Bar Shabtai 0.04 0.01 0 0
36Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
37Tom T:0 EC 0.04 0.02 0 0
38Tom T:1 Andrew Werner 0.04 0.02 0 0
39Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
40Jonathan Kwok:1 KingBach 0.06 0.00 0 0
41totallyOnFallBreak:0 Nikhilesh Sigatapu 0.07 0.01 0 0
42Boomshanka:0 haoyu 0.08 0.01 0 0
43Ytterbium:0 Andrew Grasso 0.08 0.02 0 0
44Blam:1 Elphaba 0.08 0.00 0 0
45David Lackey:1 Bar Shabtai 0.08 0.03 0 0
46vluu:0 Nihar the Great 0.09 0.01 0 0
47Scheduling Generator 203:1 Jameh 0.09 0.02 0 0
48Blam:0 Elphaba 0.09 0.00 0 0
49vluu:1 Nihar the Great 0.10 0.02 0 0
50totallyOnFallBreak:1 Nikhilesh Sigatapu 0.11 0.01 0 0
51cat:1 haoyu 0.12 0.03 0 0
52cat:0 haoyu 0.14 0.03 0 0
53Solving For Clauses:0 Glenn Fisher 0.15 0.00 0 0
54Linda:0 Andrew Grasso 0.20 0.01 0 0
55Tree Prophet:0 haoyu 0.21 0.00 0 0
56Ytterbium:1 Nihar the Great 0.22 0.02 0 0
57Daffy Duck:0 Andrew Werner 0.25 0.00 0 0
58George Okeowo:1 Andrew Grasso 0.28 0.01 0 0
59Nikhilesh Sigatapu:0 haoyu 0.29 0.03 0 0
60George Okeowo:0 Andrew Grasso 0.32 0.01 0 0
61The Kraken:1 haoyu 0.35 0.00 0 0
62Linda:1 Andrew Grasso 0.35 0.02 0 0
63Bob Dondero:0 Andrew Grasso 0.39 0.02 0 0
64The Kraken:0 haoyu 0.40 0.00 0 0
65Qinlan Shen:0 Bar Shabtai 0.48 0.01 0 0
66Bob Dondero:1 Mickey Mouse 0.53 0.03 0 0
67haoyu:0 KingBach 0.54 0.01 0 0
68Samuel Jerome:0 haoyu 0.58 0.03 0 0
69Happy:0 haoyu 0.69 0.00 0 0
70bfang:0 haoyu 0.75 0.04 0 0
71Anon_K_P:1 Aristotle 0.81 0.03 0 0
72KingBach:1 haoyu 1.03 0.04 0 0
73Mercury:1 haoyu 1.21 0.05 0 0
74haoyu:1 Anon5 1.45 0.01 0 0
75Sprt:1 haoyu 1.53 0.05 0 0
76David Lackey:0 Anon5 1.85 0.03 0 0
77Jordan Ash:1 Bar Shabtai 1.94 0.01 0 0
78Nikhilesh Sigatapu:1 haoyu 2.49 0.04 0 0
79Anon5:1 Green "The Bean" Choi 3.01 0.07 0 0
80Samuel Jerome:1 haoyu 3.61 0.03 0 0
81burrito:0 haoyu 3.67 0.09 0 0
82DinnerPartyPlannerBM:1 Nihar the Great 4.33 0.06 0 0
83dfshasdsf12:0 haoyu 4.60 0.09 0 0
84Lil Thug:0 Andrew Grasso 5.84 0.03 0 0
85Tiny Wings:0 haoyu 6.36 0.02 0 0
86Alex Fish:0 haoyu 6.54 0.01 0 0
87Jordan Ash:0 EC 6.65 0.03 0 0
88Sprt:0 Aristotle 6.76 0.11 0 0
89Lil Thug:1 Andrew Grasso 7.01 0.03 0 0
90Mercury:0 haoyu 9.25 0.05 0 0
91dfshasdsf12:1 Nihar the Great 9.77 0.11 0 0
92bfang:1 haoyu 10.51 0.04 0 0
93The Whitman Whale:0 bigwig 12.70 0.04 0 0
94DinnerPartyPlannerBM:0 Aristotle 13.26 0.11 0 0
95Yan Wu:0 haoyu 14.37 0.05 0 0
96Anon_K_P:0 haoyu 14.76 0.02 0 0
97AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 1 0
98Tao:1 Aristotle 15.00 0.07 1 0
99Jessie Chen:0 Joel Faron 15.00 0.13 1 1
100Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
101Sunny:0 Green "The Bean" Choi 15.00 0.02 1 0
102Lisa Kim:0 Aristotle 15.00 0.07 1 0
103Anon5:0 haoyu 15.00 0.05 1 0
104Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
105Jessie Chen:1 Joel Faron 15.00 0.12 1 1
106David H.:0 AFC 15.00 0.28 1 0
107Alex Fish:1 haoyu 15.00 0.02 1 0
108AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 1 0
109The Whitman Whale:1 Andrew Grasso 15.00 0.03 1 0
1100108:1 haoyu 15.00 0.01 1 0
111CookieMonster:1 CookieMonster 15.00 1.10 1 0
112Yan Wu:1 haoyu 15.00 0.04 1 0
113Absurdity:0 Aristotle 15.00 0.23 1 0
114Tree Prophet:1 haoyu 15.00 0.00 1 0
115Tao:0 Bar Shabtai 15.00 0.02 1 0
116Sunny:1 jabreezy 15.00 0.01 1 0
117Keji Xu:1 Nihar the Great 15.00 0.04 2 0
118Khoa:0 haoyu 15.00 0.09 2 0
119John Whelchel:1 haoyu 15.00 0.11 2 0
120T. Capote:0 haoyu 15.00 0.00 2 2
1210108:0 jgs 15.00 14.98 2 1
122T. Capote:1 haoyu 15.00 0.00 2 2
123Keji Xu:0 Nihar the Great 15.00 0.03 2 0
124Janie Gu:1 Jonathan Kwok 15.00 0.07 2 0
125DeeEmEm:1 haoyu 15.00 0.02 3 0
126AFC:1 Aristotle 15.00 0.16 3 0
127Matt Haake:1 haoyu 15.00 0.05 3 0
128Janie Gu:0 Glenn Fisher 15.00 0.07 3 0
129DeeEmEm:0 CAPS LOCK 15.00 13.00 3 1
130Valya Barboy:1 Shaheed Chagani 15.00 0.18 4 0
131SuperFan:1 jgs 15.00 14.98 4 4
132Valya Barboy:0 Aristotle 15.00 0.06 4 0
133SuperFan:0 jgs 15.00 14.98 5 4
134Matt Haake:0 haoyu 15.00 0.05 5 0
135Yacob Y.:1 Aristotle 15.00 15.00 7 1
136spl:1 haoyu 15.00 0.06 8 0
137Andrew Grasso:1 Shaheed Chagani 15.00 0.15 9 0
138Andrew Grasso:0 Aaron Doll 15.00 0.18 10 0
139Ben Chen:1 spl 15.00 0.20 11 0
140Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 12 0
141Dusty:0 CookieMonster 15.00 1.39 14 0
142Mr. Blobby:1 dusty 15.00 0.12 14 0
143Dusty:1 Shaheed Chagani 15.00 0.22 15 0
144NA:1 Elphaba 15.00 0.04 16 0
145snowflakes:0 haoyu 15.00 0.03 18 0
146jabreezy:0 Mercury 15.00 0.09 18 0
147Jameh:0 haoyu 15.00 0.01 19 0
148snowflakes:1 haoyu 15.00 0.03 21 0
149NA:0 haoyu 15.00 0.03 22 0
150Supahaka:0 Andrew Werner 15.00 15.00 38 35
151Supahaka:1 Joel Faron 15.00 15.00 38 35
152Jameh:1 haoyu 15.00 0.01 45 0
153kt4124:0 haoyu 15.00 0.03 67 0
154kt4124:1 haoyu 15.00 0.04 68 0
155Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
156Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
157Shaheed Chagani:1 Aristotle 15.00 0.11 3277 0
158Lisa Kim:1 Bar Shabtai 15.00 0.06 1 0
159David H.:1 DeeEmEm 15.00 0.33 1 0
160Aaron H:1 Aristotle 15.00 0.11 1 0
161Tiny Wings:1 haoyu 15.00 0.01 1 0
162CookieMonster:0 CookieMonster 15.00 0.82 1 0
163Batman:0 haoyu 15.00 0.04 1 0
164Khoa:1 Aristotle 15.00 0.09 4 0
165Glenn Fisher:0 Elphaba 15.00 0.02 8 0
166Walter Little:0 haoyu 15.00 0.04 8 0
167Ben Chen:0 Elphaba 15.00 0.07 9 0
168spl:0 Elphaba 15.00 0.09 10 0
169Walter Little:1 haoyu 15.00 0.03 10 0
170Glenn Fisher:1 jabreezy 15.00 0.09 15 0
171ebp:1 haoyu 15.00 0.04 16 0
172Bar Shabtai:1 haoyu 15.00 0.12 210 0
173nupog:0 Aristotle 15.00 0.13 2125 0
174Fanny:1 Aristotle 15.00 0.12 2 0
175Sally Smith:1 haoyu 15.00 0.04 2 0
176Sabar Dasgupta:0 spl 15.00 0.23 6 0
177ebp:0 haoyu 15.00 0.04 17 0
178Shaheed Chagani:0 Aristotle 15.00 0.17 4419 0
179AFC:0 CookieMonster 15.00 0.34 3 0
180soccer:1 haoyu 15.00 0.04 4 0
181EC:0 haoyu 15.00 0.03 4 0
182Sally Smith:0 haoyu 15.01 0.04 1 0
183Brendan Wright:1 Deric Cheng 15.01 0.10 2 0
184EC:1 haoyu 15.01 0.03 6 0
185Andrew Werner:1 haoyu 15.01 0.11 8 0
186BH:1 haoyu 15.01 0.05 277 0
187Dr Roberto:1 Andrew Grasso 15.01 0.02 1 0
188jabreezy:1 Mercury 15.01 0.10 20 0
189Fanny:0 Aristotle 15.01 0.10 3 0
190Yacob Y.:0 haoyu 15.01 0.06 1 0
191KingBach:0 haoyu 15.01 0.06 2 0
192Absurdity:1 Aristotle 15.01 0.18 3 0
193Charliezsc:0 jgs 15.01 14.98 5 1
194nupog:1 Aristotle 15.01 0.12 2073 0
195Mike Hunt:0 Aristotle 15.01 0.27 6 0
196Batman:1 haoyu 15.01 0.04 2 0
197soccer:0 haoyu 15.01 0.04 3 0
198Aaron H:0 Aristotle 15.01 0.11 1 0
199CAPS LOCK:0 Aristotle 15.01 0.20 10 0
200Deric Cheng:0 jgs 15.02 14.99 67 1
201BH:0 haoyu 15.02 0.07 251 0
202Elphaba:1 Aristotle 15.02 0.22 40208 0
203Andrew Werner:0 Aaron Doll 15.02 0.33 3 0
204Andys:1 Aristotle 15.02 0.13 6 0
205Sabar Dasgupta:1 Aaron Doll 15.02 0.17 4 0
206Brendan Wright:0 haoyu 15.02 0.10 2 0
207jgs:1 haoyu 15.02 0.18 12094 0
20813a:0 Aaron Doll 15.02 15.00 79876 21
209Andys:0 Aristotle 15.02 0.12 14 0
210Dr Roberto:0 Andrew Grasso 15.03 0.03 1 0
211Mike Hunt:1 Aristotle 15.03 0.29 6 0
212Charliezsc:1 haoyu 15.03 0.07 5 0
213jgs:0 Aristotle 15.03 0.12 9782 0
214Aristotle:1 Aristotle 15.03 9.69 751840 0
215Elphaba:0 Aristotle 15.03 0.24 44498 0
216Aaron Doll:0 Aristotle 15.03 0.56 244129 0
217Nihar the Great:1 Aristotle 15.04 0.25 22587 0
218Deric Cheng:1 jgs 15.04 14.98 45 1
219Nihar the Great:0 Aristotle 15.04 0.23 22724 0
220John Whelchel:0 haoyu 15.05 0.06 4 0
22113a:1 Aaron Doll 15.06 15.00 88285 29
222burrito:1 haoyu 15.07 0.10 4 0
223Aaron Doll:1 Aristotle 15.08 1.27 304740 0
224CAPS LOCK:1 Aristotle 15.09 0.25 16023 0
225Bar Shabtai:0 Aaron Doll 15.11 15.01 313378 1
226Matt Goldsmith:0 Nihar the Great 15.12 0.03 515473 0
227Aristotle:0 Aristotle 15.17 15.00 736495 1
228Matt Goldsmith:1 Happy 15.37 0.03 518798 0


SatSolvers Ranklist Generators Ranklist