SatSolvers Ranklist Generators Ranklist

Stats for satsolver: dfshasdsf12

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 dfshasdsf12 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 dfshasdsf12 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: dfshasdsf12
Rank: 67 / 118
Average Score: 10.00
Median Score: 0.60
Description: This sat-solver utilizes a probabilistic variant of WalkSat to generate the best model or solve the CNF.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Ravi Tandon:0 KingBach 0.00 0.00 0 0
4K.L.:1 KingBach 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
8Ravi Tandon:1 KingBach 0.00 0.00 0 0
9Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
10BMJ:0 Elphaba 0.01 0.00 0 0
11K.L.:0 haoyu 0.01 0.00 0 0
12Daffy Duck:1 haoyu 0.01 0.00 0 0
13Happy:0 haoyu 0.01 0.00 0 0
14R. A. B.:1 cat 0.01 0.00 0 0
15Jonathan Kwok:1 KingBach 0.01 0.00 0 0
16Joshua Zimmer:1 haoyu 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
19Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
20BMJ:1 burrito 0.02 0.00 0 0
21Solving For Clauses:1 haoyu 0.02 0.00 0 0
22bchouGenerator:0 haoyu 0.02 0.00 0 0
23haoyu:1 Anon5 0.02 0.01 0 0
24Blam:0 Elphaba 0.02 0.00 0 0
25bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
26Blam:1 Elphaba 0.03 0.00 0 0
27Miranda:1 cat 0.03 0.00 0 0
28Tree Prophet:1 haoyu 0.03 0.00 0 0
29Tree Prophet:0 haoyu 0.03 0.00 0 0
30Miranda:0 cat 0.03 0.00 0 0
31haoyu:0 KingBach 0.03 0.01 0 0
32The Kraken:1 haoyu 0.03 0.00 0 0
33Gewang:0 Jonathan Kwok 0.04 0.00 0 0
34Gewang:1 Jonathan Kwok 0.04 0.00 0 0
35Quite Satisfied:0 haoyu 0.04 0.00 0 0
36The Kraken:0 haoyu 0.04 0.00 0 0
37Qinlan Shen:0 Bar Shabtai 0.05 0.01 0 0
38David Paulk:1 Bar Shabtai 0.05 0.00 0 0
39David Paulk:0 cat 0.05 0.00 0 0
40Jordan Ash:1 Bar Shabtai 0.06 0.01 0 0
41Jameh:0 haoyu 0.06 0.01 0 0
42Mickey Mouse:1 haoyu 0.06 0.01 0 0
43R. A. B.:0 Nihar the Great 0.06 0.00 0 0
44Mickey Mouse:0 Bar Shabtai 0.07 0.01 0 0
450108:1 haoyu 0.07 0.01 0 0
46cmF5a3ly:0 Nihar the Great 0.07 0.00 0 0
47Sunny:1 jabreezy 0.07 0.01 0 0
48weezy:0 Bar Shabtai 0.08 0.01 0 0
49Jordan Ash:0 EC 0.09 0.03 0 0
50weezy:1 Bar Shabtai 0.09 0.01 0 0
51Tiny Wings:1 haoyu 0.09 0.01 0 0
52cmF5a3ly:1 Nihar the Great 0.09 0.00 0 0
53Tiny Wings:0 haoyu 0.10 0.02 0 0
54Alex Fish:1 haoyu 0.10 0.02 0 0
55Scheduling Generator 203:0 jgs 0.10 0.01 0 0
56AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.10 0.00 0 0
57Jameh:1 haoyu 0.11 0.01 0 0
58AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.11 0.01 0 0
59Alex Fish:0 haoyu 0.12 0.01 0 0
60The Whitman Whale:1 Andrew Grasso 0.12 0.03 0 0
61Boomshanka:0 haoyu 0.12 0.01 0 0
62DeeEmEm:1 haoyu 0.12 0.02 0 0
63Anon_K_P:1 Aristotle 0.13 0.03 0 0
64vluu:1 Nihar the Great 0.13 0.02 0 0
65vluu:0 Nihar the Great 0.13 0.01 0 0
66Dr Roberto:1 Andrew Grasso 0.13 0.02 0 0
67Dr Roberto:0 Andrew Grasso 0.13 0.03 0 0
68Janie Gu:1 Jonathan Kwok 0.14 0.07 0 0
69Tao:0 Bar Shabtai 0.14 0.02 0 0
70Anon_K_P:0 haoyu 0.14 0.02 0 0
71cat:1 haoyu 0.15 0.03 0 0
72Tom T:0 EC 0.15 0.02 0 0
73Janie Gu:0 Glenn Fisher 0.15 0.07 0 0
74Nikhilesh Sigatapu:1 haoyu 0.15 0.04 0 0
75Ytterbium:0 Andrew Grasso 0.16 0.02 0 0
76Keji Xu:0 Nihar the Great 0.16 0.03 0 0
77Tao:1 Aristotle 0.17 0.07 0 0
78Scheduling Generator 203:1 Jameh 0.18 0.02 0 0
79Tom T:1 Andrew Werner 0.18 0.02 0 0
80Samuel Jerome:0 haoyu 0.18 0.03 0 0
81Keji Xu:1 Nihar the Great 0.18 0.04 0 0
82The Whitman Whale:0 bigwig 0.18 0.04 0 0
83Sunny:0 Green "The Bean" Choi 0.19 0.02 0 0
84Nikhilesh Sigatapu:0 haoyu 0.20 0.03 0 0
85cat:0 haoyu 0.21 0.03 0 0
86Samuel Jerome:1 haoyu 0.22 0.03 0 0
87David Lackey:0 Anon5 0.22 0.03 0 0
88Boomshanka:1 Bar Shabtai 0.24 0.01 0 0
89Glenn Fisher:0 Elphaba 0.25 0.02 0 0
90Bob Dondero:1 Mickey Mouse 0.26 0.03 0 0
91Bob Dondero:0 Andrew Grasso 0.27 0.02 0 0
92Matt Haake:1 haoyu 0.27 0.05 0 0
93David Lackey:1 Bar Shabtai 0.28 0.03 0 0
94Linda:0 Andrew Grasso 0.29 0.01 0 0
95Mercury:1 haoyu 0.29 0.05 0 0
96kt4124:1 haoyu 0.30 0.04 0 0
97kt4124:0 haoyu 0.31 0.03 0 0
98Lisa Kim:1 Bar Shabtai 0.34 0.06 0 0
99Ytterbium:1 Nihar the Great 0.34 0.02 0 0
100Lisa Kim:0 Aristotle 0.37 0.07 0 0
101Mike Honcho:1 Jessie Chen 0.42 0.01 0 0
102Mike Honcho:0 Miranda 0.42 0.01 0 0
103Mercury:0 haoyu 0.42 0.05 0 0
104Fanny:1 Aristotle 0.42 0.12 0 0
105Batman:1 haoyu 0.52 0.04 0 0
106George Okeowo:1 Andrew Grasso 0.54 0.01 0 0
107George Okeowo:0 Andrew Grasso 0.54 0.01 0 0
108bfang:1 haoyu 0.55 0.04 0 0
109bfang:0 haoyu 0.56 0.04 0 0
110soccer:1 haoyu 0.59 0.04 0 0
111Linda:1 Andrew Grasso 0.60 0.02 0 0
112snowflakes:0 haoyu 0.64 0.03 0 0
113Yan Wu:1 haoyu 0.66 0.04 0 0
114Matt Haake:0 haoyu 0.67 0.05 0 0
115Sally Smith:0 haoyu 0.75 0.04 0 0
116KingBach:1 haoyu 0.75 0.04 0 0
117KingBach:0 haoyu 0.76 0.06 0 0
118EC:1 haoyu 0.77 0.03 0 0
119Batman:0 haoyu 0.78 0.04 0 0
120Yacob Y.:0 haoyu 0.84 0.06 0 0
121Yan Wu:0 haoyu 0.86 0.05 0 0
122David H.:0 AFC 0.90 0.28 0 0
123soccer:0 haoyu 0.90 0.04 0 0
124Sally Smith:1 haoyu 0.97 0.04 0 0
125Khoa:1 Aristotle 1.17 0.09 0 0
126Khoa:0 haoyu 1.19 0.09 0 0
127Sprt:1 haoyu 1.39 0.05 0 0
128Fanny:0 Aristotle 1.48 0.10 0 0
129Sabar Dasgupta:0 spl 1.51 0.23 0 0
130Sabar Dasgupta:1 Aaron Doll 1.74 0.17 0 0
131David H.:1 DeeEmEm 1.81 0.33 0 0
132ebp:0 haoyu 2.00 0.04 0 0
133Anon5:1 Green "The Bean" Choi 2.01 0.07 0 0
134DinnerPartyPlannerBM:1 Nihar the Great 2.01 0.06 0 0
135Aaron H:0 Aristotle 2.15 0.11 0 0
136Mike Hunt:0 Aristotle 2.19 0.27 0 0
137AFC:1 Aristotle 2.31 0.16 0 0
138snowflakes:1 haoyu 2.36 0.03 0 0
139Charliezsc:1 haoyu 2.42 0.07 0 0
140Andys:0 Aristotle 2.84 0.12 0 0
141totallyOnFallBreak:0 Nikhilesh Sigatapu 2.84 0.01 0 0
142Glenn Fisher:1 jabreezy 2.87 0.09 0 0
143totallyOnFallBreak:1 Nikhilesh Sigatapu 2.87 0.01 0 0
144EC:0 haoyu 3.09 0.03 0 0
145burrito:0 haoyu 3.20 0.09 0 0
146Aaron H:1 Aristotle 3.24 0.11 0 0
147John Whelchel:0 haoyu 3.31 0.06 0 0
148jabreezy:1 Mercury 3.32 0.10 0 0
149jabreezy:0 Mercury 3.33 0.09 0 0
150ebp:1 haoyu 3.42 0.04 0 0
151Mike Hunt:1 Aristotle 3.44 0.29 0 0
152Andys:1 Aristotle 3.85 0.13 0 0
153John Whelchel:1 haoyu 3.95 0.11 0 0
154dfshasdsf12:0 haoyu 4.03 0.09 0 0
155Walter Little:0 haoyu 4.08 0.04 0 0
156Lil Thug:0 Andrew Grasso 4.54 0.03 0 0
157Lil Thug:1 Andrew Grasso 4.68 0.03 0 0
158Andrew Werner:1 haoyu 5.24 0.11 0 0
159Brendan Wright:0 haoyu 5.38 0.10 0 0
160Sprt:0 Aristotle 5.98 0.11 0 0
161DinnerPartyPlannerBM:0 Aristotle 8.39 0.11 0 0
162Andrew Werner:0 Aaron Doll 8.51 0.33 0 0
163dfshasdsf12:1 Nihar the Great 9.20 0.11 0 0
164Ben Chen:0 Elphaba 10.70 0.07 0 0
165jgs:0 Aristotle 11.63 0.12 0 0
166burrito:1 haoyu 12.08 0.10 0 0
167Bar Shabtai:1 haoyu 12.52 0.12 0 0
168AFC:0 CookieMonster 12.57 0.34 0 0
169Jessie Chen:0 Joel Faron 15.00 0.13 1 1
170Valya Barboy:1 Shaheed Chagani 15.00 0.18 1 0
171Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
172Anon5:0 haoyu 15.00 0.05 1 0
173Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
174Jessie Chen:1 Joel Faron 15.00 0.12 1 1
175CookieMonster:0 CookieMonster 15.00 0.82 1 0
1760108:0 jgs 15.00 14.98 1 1
177CookieMonster:1 CookieMonster 15.00 1.10 1 0
178Valya Barboy:0 Aristotle 15.00 0.06 1 0
179spl:0 Elphaba 15.00 0.09 2 0
180T. Capote:0 haoyu 15.00 0.00 2 2
181Absurdity:1 Aristotle 15.00 0.18 2 0
182DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
183T. Capote:1 haoyu 15.00 0.00 2 2
184Absurdity:0 Aristotle 15.00 0.23 2 0
185Ben Chen:1 spl 15.00 0.20 2 0
186spl:1 haoyu 15.00 0.06 3 0
187Yacob Y.:1 Aristotle 15.00 15.00 3 1
188Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 4 0
189jgs:1 haoyu 15.00 0.18 4 0
190SuperFan:0 jgs 15.00 14.98 4 4
191NA:0 haoyu 15.00 0.03 4 0
192SuperFan:1 jgs 15.00 14.98 4 4
193Mr. Blobby:1 dusty 15.00 0.12 4 0
194Charliezsc:0 jgs 15.00 14.98 5 1
195NA:1 Elphaba 15.00 0.04 7 0
196Dusty:1 Shaheed Chagani 15.00 0.22 19 0
197Dusty:0 CookieMonster 15.00 1.39 19 0
198Andrew Grasso:1 Shaheed Chagani 15.00 0.15 20 0
199Walter Little:1 haoyu 15.00 0.03 22 0
200Andrew Grasso:0 Aaron Doll 15.00 0.18 23 0
201Supahaka:0 Andrew Werner 15.00 15.00 41 35
202Supahaka:1 Joel Faron 15.00 15.00 41 35
203Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
204Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
205BH:1 haoyu 15.00 0.05 166 0
206BH:0 haoyu 15.00 0.07 187 0
207Brendan Wright:1 Deric Cheng 15.00 0.10 1 0
208Shaheed Chagani:1 Aristotle 15.00 0.11 4 0
209CAPS LOCK:0 Aristotle 15.00 0.20 2 0
210Deric Cheng:1 jgs 15.00 14.98 1 1
211Deric Cheng:0 jgs 15.00 14.99 1 1
212Shaheed Chagani:0 Aristotle 15.01 0.17 2 0
213CAPS LOCK:1 Aristotle 15.02 0.25 2 0
214nupog:0 Aristotle 15.04 0.13 4930 0
215nupog:1 Aristotle 15.10 0.12 4920 0
216Elphaba:1 Aristotle 20.19 0.22 56 0
217Elphaba:0 Aristotle 25.65 0.24 56 0
21813a:0 Aaron Doll 37.61 15.00 150 21
21913a:1 Aaron Doll 53.87 15.00 150 29
220Aaron Doll:0 Aristotle 80.16 0.56 160 0
221Aaron Doll:1 Aristotle 101.36 1.27 160 0
222Bar Shabtai:0 Aaron Doll 136.63 15.01 87 1
223Matt Goldsmith:0 Nihar the Great - 0.03 - 0
224Aristotle:1 Aristotle - 9.69 - 0
225Nihar the Great:0 Aristotle - 0.23 - 0
226Aristotle:0 Aristotle - 15.00 - 1
227Nihar the Great:1 Aristotle - 0.25 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist