SatSolvers Ranklist Generators Ranklist

Stats for satsolver: dusty

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 dusty 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 dusty 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: dusty
Rank: 2 / 118
Average Score: 2.37
Median Score: 0.16
Description: This sat-solver implements SatSolver with a faster check for the number of clauses that become false when a clause is flipped.
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
8K.L.:1 KingBach 0.00 0.00 0 0
9Jonathan Kwok:1 KingBach 0.01 0.00 0 0
10Joshua Zimmer:1 haoyu 0.01 0.00 0 0
11K.L.:0 haoyu 0.01 0.00 0 0
12BMJ:1 burrito 0.01 0.00 0 0
13Miranda:1 cat 0.01 0.00 0 0
14R. A. B.:1 cat 0.01 0.00 0 0
15Blam:1 Elphaba 0.01 0.00 0 0
16Miranda:0 cat 0.01 0.00 0 0
17Joshua Zimmer:0 haoyu 0.01 0.00 0 0
18Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
19Daffy Duck:1 haoyu 0.01 0.00 0 0
20BMJ:0 Elphaba 0.01 0.00 0 0
21haoyu:1 Anon5 0.01 0.01 0 0
22Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
23Blam:0 Elphaba 0.01 0.00 0 0
24Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
25Happy:0 haoyu 0.01 0.00 0 0
26Tree Prophet:1 haoyu 0.01 0.00 0 0
27bchouGenerator:0 haoyu 0.01 0.00 0 0
28Tree Prophet:0 haoyu 0.01 0.00 0 0
29The Kraken:1 haoyu 0.01 0.00 0 0
30Solving For Clauses:1 haoyu 0.01 0.00 0 0
31Gewang:1 Jonathan Kwok 0.01 0.00 0 0
32David Paulk:1 Bar Shabtai 0.02 0.00 0 0
33Gewang:0 Jonathan Kwok 0.02 0.00 0 0
34Quite Satisfied:0 haoyu 0.02 0.00 0 0
35haoyu:0 KingBach 0.02 0.01 0 0
36David Paulk:0 cat 0.02 0.00 0 0
37Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
38AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.02 0.00 0 0
39The Kraken:0 haoyu 0.02 0.00 0 0
40DeeEmEm:1 haoyu 0.03 0.02 0 0
41Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
42R. A. B.:0 Nihar the Great 0.03 0.00 0 0
43Sunny:1 jabreezy 0.03 0.01 0 0
44Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
45Jameh:0 haoyu 0.04 0.01 0 0
46AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.04 0.01 0 0
470108:1 haoyu 0.04 0.01 0 0
48bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
49Mickey Mouse:1 haoyu 0.05 0.01 0 0
50Boomshanka:0 haoyu 0.05 0.01 0 0
51weezy:0 Bar Shabtai 0.05 0.01 0 0
52Scheduling Generator 203:0 jgs 0.05 0.01 0 0
53Tiny Wings:1 haoyu 0.05 0.01 0 0
54cmF5a3ly:0 Nihar the Great 0.06 0.00 0 0
55cmF5a3ly:1 Nihar the Great 0.06 0.00 0 0
56weezy:1 Bar Shabtai 0.06 0.01 0 0
57Tiny Wings:0 haoyu 0.06 0.02 0 0
58Tom T:1 Andrew Werner 0.06 0.02 0 0
59Boomshanka:1 Bar Shabtai 0.06 0.01 0 0
60Tom T:0 EC 0.06 0.02 0 0
61Alex Fish:1 haoyu 0.06 0.02 0 0
62Jordan Ash:0 EC 0.06 0.03 0 0
63The Whitman Whale:0 bigwig 0.07 0.04 0 0
64Janie Gu:0 Glenn Fisher 0.07 0.07 0 0
65Nikhilesh Sigatapu:0 haoyu 0.07 0.03 0 0
66Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
67vluu:1 Nihar the Great 0.07 0.02 0 0
68Anon_K_P:1 Aristotle 0.07 0.03 0 0
69Keji Xu:1 Nihar the Great 0.08 0.04 0 0
70vluu:0 Nihar the Great 0.08 0.01 0 0
71Alex Fish:0 haoyu 0.08 0.01 0 0
72Nikhilesh Sigatapu:1 haoyu 0.08 0.04 0 0
73Tao:0 Bar Shabtai 0.08 0.02 0 0
74Anon_K_P:0 haoyu 0.08 0.02 0 0
75David Lackey:1 Bar Shabtai 0.08 0.03 0 0
76cat:0 haoyu 0.08 0.03 0 0
77Jameh:1 haoyu 0.08 0.01 0 0
78Tao:1 Aristotle 0.09 0.07 0 0
79cat:1 haoyu 0.09 0.03 0 0
80Janie Gu:1 Jonathan Kwok 0.09 0.07 0 0
81The Whitman Whale:1 Andrew Grasso 0.09 0.03 0 0
82Scheduling Generator 203:1 Jameh 0.09 0.02 0 0
83Ytterbium:1 Nihar the Great 0.09 0.02 0 0
84David Lackey:0 Anon5 0.09 0.03 0 0
85Keji Xu:0 Nihar the Great 0.09 0.03 0 0
86totallyOnFallBreak:0 Nikhilesh Sigatapu 0.09 0.01 0 0
87Matt Haake:1 haoyu 0.09 0.05 0 0
88totallyOnFallBreak:1 Nikhilesh Sigatapu 0.09 0.01 0 0
89Lisa Kim:0 Aristotle 0.10 0.07 0 0
90Lisa Kim:1 Bar Shabtai 0.10 0.06 0 0
91George Okeowo:0 Andrew Grasso 0.10 0.01 0 0
92Samuel Jerome:1 haoyu 0.10 0.03 0 0
93Samuel Jerome:0 haoyu 0.11 0.03 0 0
94Matt Haake:0 haoyu 0.11 0.05 0 0
95George Okeowo:1 Andrew Grasso 0.11 0.01 0 0
96Sunny:0 Green "The Bean" Choi 0.11 0.02 0 0
97Glenn Fisher:0 Elphaba 0.12 0.02 0 0
98Yan Wu:1 haoyu 0.12 0.04 0 0
99Mr. Blobby:1 dusty 0.12 0.12 0 0
100Sally Smith:1 haoyu 0.13 0.04 0 0
101kt4124:1 haoyu 0.13 0.04 0 0
102Yan Wu:0 haoyu 0.13 0.05 0 0
103Linda:0 Andrew Grasso 0.13 0.01 0 0
104Mercury:0 haoyu 0.14 0.05 0 0
105kt4124:0 haoyu 0.14 0.03 0 0
106Batman:0 haoyu 0.14 0.04 0 0
107Mercury:1 haoyu 0.14 0.05 0 0
108soccer:0 haoyu 0.14 0.04 0 0
109Yacob Y.:0 haoyu 0.14 0.06 0 0
110soccer:1 haoyu 0.15 0.04 0 0
111Sally Smith:0 haoyu 0.15 0.04 0 0
112Valya Barboy:0 Aristotle 0.16 0.06 0 0
113Dr Roberto:1 Andrew Grasso 0.16 0.02 0 0
114bfang:0 haoyu 0.16 0.04 0 0
115Batman:1 haoyu 0.16 0.04 0 0
116Khoa:0 haoyu 0.16 0.09 0 0
117bfang:1 haoyu 0.17 0.04 0 0
118Sprt:1 haoyu 0.17 0.05 0 0
119Khoa:1 Aristotle 0.17 0.09 0 0
120Mr. Blobby:0 Green "The Bean" Choi 0.17 0.14 0 0
121Linda:1 Andrew Grasso 0.18 0.02 0 0
122jabreezy:0 Mercury 0.18 0.09 0 0
123KingBach:1 haoyu 0.18 0.04 0 0
124Glenn Fisher:1 jabreezy 0.18 0.09 0 0
125NA:0 haoyu 0.19 0.03 0 0
126Dr Roberto:0 Andrew Grasso 0.20 0.03 0 0
127Walter Little:1 haoyu 0.20 0.03 0 0
128Charliezsc:1 haoyu 0.20 0.07 0 0
129KingBach:0 haoyu 0.21 0.06 0 0
130Sabar Dasgupta:1 Aaron Doll 0.21 0.17 0 0
131EC:1 haoyu 0.23 0.03 0 0
132ebp:1 haoyu 0.23 0.04 0 0
133snowflakes:1 haoyu 0.23 0.03 0 0
134Anon5:1 Green "The Bean" Choi 0.24 0.07 0 0
135jabreezy:1 Mercury 0.24 0.10 0 0
136Valya Barboy:1 Shaheed Chagani 0.25 0.18 0 0
137burrito:0 haoyu 0.25 0.09 0 0
138Fanny:0 Aristotle 0.26 0.10 0 0
139Bob Dondero:1 Mickey Mouse 0.26 0.03 0 0
140Bob Dondero:0 Andrew Grasso 0.27 0.02 0 0
141dfshasdsf12:0 haoyu 0.28 0.09 0 0
142Mike Hunt:0 Aristotle 0.28 0.27 0 0
143spl:1 haoyu 0.28 0.06 0 0
144DinnerPartyPlannerBM:1 Nihar the Great 0.29 0.06 0 0
145ebp:0 haoyu 0.29 0.04 0 0
146Aaron H:0 Aristotle 0.29 0.11 0 0
147nupog:1 Aristotle 0.29 0.12 0 0
148Sabar Dasgupta:0 spl 0.30 0.23 0 0
149snowflakes:0 haoyu 0.30 0.03 0 0
150Aaron H:1 Aristotle 0.31 0.11 0 0
151nupog:0 Aristotle 0.31 0.13 0 0
152Fanny:1 Aristotle 0.31 0.12 0 0
153Mike Hunt:1 Aristotle 0.33 0.29 0 0
154Brendan Wright:1 Deric Cheng 0.34 0.10 0 0
155John Whelchel:0 haoyu 0.35 0.06 0 0
156Lil Thug:1 Andrew Grasso 0.37 0.03 0 0
157CAPS LOCK:0 Aristotle 0.37 0.20 0 0
158Lil Thug:0 Andrew Grasso 0.38 0.03 0 0
159Ben Chen:0 Elphaba 0.39 0.07 0 0
160Andrew Werner:0 Aaron Doll 0.39 0.33 0 0
161Walter Little:0 haoyu 0.39 0.04 0 0
162Sprt:0 Aristotle 0.40 0.11 0 0
163Ben Chen:1 spl 0.41 0.20 0 0
164John Whelchel:1 haoyu 0.41 0.11 0 0
165BH:0 haoyu 0.42 0.07 0 0
166Andrew Werner:1 haoyu 0.42 0.11 0 0
167burrito:1 haoyu 0.44 0.10 0 0
168Andys:0 Aristotle 0.45 0.12 0 0
169Mike Honcho:0 Miranda 0.46 0.01 0 0
170Absurdity:0 Aristotle 0.51 0.23 0 0
171dfshasdsf12:1 Nihar the Great 0.52 0.11 0 0
172BH:1 haoyu 0.53 0.05 0 0
173Andys:1 Aristotle 0.54 0.13 0 0
174Mike Honcho:1 Jessie Chen 0.57 0.01 0 0
175CAPS LOCK:1 Aristotle 0.57 0.25 0 0
176EC:0 haoyu 0.66 0.03 0 0
177jgs:0 Aristotle 0.69 0.12 0 0
178spl:0 Elphaba 0.71 0.09 0 0
179DinnerPartyPlannerBM:0 Aristotle 0.74 0.11 0 0
180jgs:1 haoyu 0.75 0.18 0 0
181Bar Shabtai:1 haoyu 0.79 0.12 0 0
182Elphaba:1 Aristotle 1.19 0.22 0 0
183David H.:0 AFC 1.22 0.28 0 0
184Elphaba:0 Aristotle 1.30 0.24 0 0
185Nihar the Great:0 Aristotle 1.79 0.23 0 0
186Nihar the Great:1 Aristotle 2.00 0.25 0 0
187Brendan Wright:0 haoyu 2.23 0.10 0 0
188CookieMonster:1 CookieMonster 2.35 1.10 0 0
189Shaheed Chagani:0 Aristotle 2.98 0.17 0 0
190Anon5:0 haoyu 3.13 0.05 0 0
191CookieMonster:0 CookieMonster 3.21 0.82 0 0
192Shaheed Chagani:1 Aristotle 3.22 0.11 0 0
193NA:1 Elphaba 3.24 0.04 0 0
194AFC:0 CookieMonster 5.89 0.34 0 0
195AFC:1 Aristotle 6.05 0.16 0 0
196David H.:1 DeeEmEm 6.08 0.33 0 0
197Aaron Doll:0 Aristotle 6.77 0.56 0 0
198Absurdity:1 Aristotle 10.24 0.18 0 0
199Aaron Doll:1 Aristotle 11.65 1.27 0 0
200Jessie Chen:0 Joel Faron 15.00 0.13 1 1
201Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
202Charliezsc:0 jgs 15.00 14.98 1 1
203Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
204Jessie Chen:1 Joel Faron 15.00 0.12 1 1
205Deric Cheng:1 jgs 15.00 14.98 1 1
206Deric Cheng:0 jgs 15.00 14.99 1 1
207DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
2080108:0 jgs 15.00 14.98 1 1
209T. Capote:0 haoyu 15.00 0.00 2 2
210T. Capote:1 haoyu 15.00 0.00 2 2
211SuperFan:0 jgs 15.00 14.98 4 4
212SuperFan:1 jgs 15.00 14.98 4 4
213Yacob Y.:1 Aristotle 15.00 15.00 5 1
214Andrew Grasso:1 Shaheed Chagani 15.00 0.15 10 0
215Andrew Grasso:0 Aaron Doll 15.00 0.18 10 0
216Dusty:0 CookieMonster 15.00 1.39 11 0
217Dusty:1 Shaheed Chagani 15.00 0.22 13 0
218Supahaka:0 Andrew Werner 15.00 15.00 36 35
219Supahaka:1 Joel Faron 15.00 15.00 36 35
22013a:0 Aaron Doll 15.00 15.00 46 21
22113a:1 Aaron Doll 15.00 15.00 46 29
222Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
223Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
224Bar Shabtai:0 Aaron Doll 15.00 15.01 5552 1
225Aristotle:0 Aristotle 15.00 15.00 448714 1
226Aristotle:1 Aristotle 15.00 9.69 494919 0
227Matt Goldsmith:0 Nihar the Great 15.01 0.03 459267 0
228Matt Goldsmith:1 Happy 15.01 0.03 432791 0


SatSolvers Ranklist Generators Ranklist