SatSolvers Ranklist Generators Ranklist

Stats for satsolver: vhsiao

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 vhsiao 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 vhsiao 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: vhsiao
Rank: 32 / 118
Average Score: 5.62
Median Score: 0.77
Description: This is a variant of WalkSAT that performs pure symbol heuristics before entering the main while loop. Also, it attempts to use some "early termination" techniques to make it easier to find the literal which maximizes the number of satisfied clauses
Generator Best solver Time taken Best time Unsat Best unsat
1Bebe Shi:1 KingBach 0.00 0.00 0 0
2Ravi Tandon:0 KingBach 0.01 0.00 0 0
3K.L.:1 KingBach 0.01 0.00 0 0
4bigwig:1 KingBach 0.01 0.00 0 0
5Ravi Tandon:1 KingBach 0.01 0.00 0 0
6bigwig:0 Andrew Werner 0.01 0.00 0 0
7Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
8Bebe Shi:0 KingBach 0.01 0.00 0 0
9BMJ:1 burrito 0.01 0.00 0 0
10Joshua Zimmer:0 haoyu 0.02 0.00 0 0
11Happy:1 KingBach 0.02 0.00 0 0
12Blam:1 Elphaba 0.02 0.00 0 0
13Blam:0 Elphaba 0.03 0.00 0 0
14Solving For Clauses:0 Glenn Fisher 0.03 0.00 0 0
15Joshua Zimmer:1 haoyu 0.03 0.00 0 0
16bchouGenerator:0 haoyu 0.04 0.00 0 0
17Quite Satisfied:0 haoyu 0.04 0.00 0 0
18Jonathan Kwok:1 KingBach 0.04 0.00 0 0
19haoyu:0 KingBach 0.04 0.01 0 0
20BMJ:0 Elphaba 0.05 0.00 0 0
21Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
22haoyu:1 Anon5 0.05 0.01 0 0
23Solving For Clauses:1 haoyu 0.05 0.00 0 0
24R. A. B.:1 cat 0.05 0.00 0 0
25The Kraken:1 haoyu 0.06 0.00 0 0
26bchouGenerator:1 Jonathan Kwok 0.06 0.01 0 0
27Miranda:0 cat 0.06 0.00 0 0
28Qinlan Shen:0 Bar Shabtai 0.06 0.01 0 0
29Daffy Duck:1 haoyu 0.06 0.00 0 0
30The Kraken:0 haoyu 0.06 0.00 0 0
31Miranda:1 cat 0.06 0.00 0 0
32K.L.:0 haoyu 0.06 0.00 0 0
33Mickey Mouse:0 Bar Shabtai 0.07 0.01 0 0
34Gewang:0 Jonathan Kwok 0.07 0.00 0 0
35Daffy Duck:0 Andrew Werner 0.07 0.00 0 0
36Mickey Mouse:1 haoyu 0.08 0.01 0 0
37Gewang:1 Jonathan Kwok 0.08 0.00 0 0
38cmF5a3ly:1 Nihar the Great 0.08 0.00 0 0
39cmF5a3ly:0 Nihar the Great 0.09 0.00 0 0
40vluu:0 Nihar the Great 0.09 0.01 0 0
41R. A. B.:0 Nihar the Great 0.09 0.00 0 0
42Alex Fish:1 haoyu 0.10 0.02 0 0
43vluu:1 Nihar the Great 0.10 0.02 0 0
44Jordan Ash:0 EC 0.11 0.03 0 0
45Tree Prophet:1 haoyu 0.11 0.00 0 0
46weezy:0 Bar Shabtai 0.11 0.01 0 0
47Tree Prophet:0 haoyu 0.12 0.00 0 0
48cat:1 haoyu 0.14 0.03 0 0
49David Paulk:0 cat 0.14 0.00 0 0
50weezy:1 Bar Shabtai 0.14 0.01 0 0
510108:1 haoyu 0.16 0.01 0 0
52The Whitman Whale:0 bigwig 0.17 0.04 0 0
53Matt Haake:1 haoyu 0.17 0.05 0 0
54David Paulk:1 Bar Shabtai 0.20 0.00 0 0
55Keji Xu:0 Nihar the Great 0.20 0.03 0 0
56Tom T:0 EC 0.20 0.02 0 0
57Happy:0 haoyu 0.21 0.00 0 0
58Scheduling Generator 203:0 jgs 0.22 0.01 0 0
59The Whitman Whale:1 Andrew Grasso 0.23 0.03 0 0
60Tom T:1 Andrew Werner 0.23 0.02 0 0
61bfang:1 haoyu 0.23 0.04 0 0
62David Lackey:0 Anon5 0.24 0.03 0 0
63David Lackey:1 Bar Shabtai 0.24 0.03 0 0
64Anon_K_P:0 haoyu 0.24 0.02 0 0
65cat:0 haoyu 0.25 0.03 0 0
66Anon_K_P:1 Aristotle 0.25 0.03 0 0
67Dr Roberto:1 Andrew Grasso 0.26 0.02 0 0
68Jameh:0 haoyu 0.26 0.01 0 0
69Lisa Kim:0 Aristotle 0.28 0.07 0 0
70Keji Xu:1 Nihar the Great 0.29 0.04 0 0
71Lisa Kim:1 Bar Shabtai 0.31 0.06 0 0
72Samuel Jerome:0 haoyu 0.31 0.03 0 0
73Batman:0 haoyu 0.31 0.04 0 0
74Dr Roberto:0 Andrew Grasso 0.32 0.03 0 0
75Batman:1 haoyu 0.34 0.04 0 0
76KingBach:1 haoyu 0.34 0.04 0 0
77AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.35 0.00 0 0
78Jameh:1 haoyu 0.36 0.01 0 0
79Linda:0 Andrew Grasso 0.36 0.01 0 0
80Sprt:1 haoyu 0.38 0.05 0 0
81Janie Gu:0 Glenn Fisher 0.38 0.07 0 0
82bfang:0 haoyu 0.39 0.04 0 0
83Scheduling Generator 203:1 Jameh 0.40 0.02 0 0
84Yan Wu:0 haoyu 0.41 0.05 0 0
85Glenn Fisher:0 Elphaba 0.41 0.02 0 0
86Khoa:1 Aristotle 0.42 0.09 0 0
87Tao:1 Aristotle 0.44 0.07 0 0
88Khoa:0 haoyu 0.44 0.09 0 0
89Tiny Wings:0 haoyu 0.45 0.02 0 0
90Sally Smith:0 haoyu 0.47 0.04 0 0
91Mercury:1 haoyu 0.47 0.05 0 0
92Janie Gu:1 Jonathan Kwok 0.47 0.07 0 0
93Nikhilesh Sigatapu:1 haoyu 0.48 0.04 0 0
94Tao:0 Bar Shabtai 0.49 0.02 0 0
95AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.50 0.01 0 0
96BH:1 haoyu 0.52 0.05 0 0
97Nikhilesh Sigatapu:0 haoyu 0.53 0.03 0 0
98Yacob Y.:0 haoyu 0.55 0.06 0 0
99Bob Dondero:0 Andrew Grasso 0.55 0.02 0 0
100DeeEmEm:1 haoyu 0.55 0.02 0 0
101kt4124:0 haoyu 0.56 0.03 0 0
102DinnerPartyPlannerBM:1 Nihar the Great 0.57 0.06 0 0
103dfshasdsf12:0 haoyu 0.57 0.09 0 0
104Linda:1 Andrew Grasso 0.58 0.02 0 0
105Sally Smith:1 haoyu 0.60 0.04 0 0
106Boomshanka:0 haoyu 0.62 0.01 0 0
107Matt Haake:0 haoyu 0.70 0.05 0 0
108Samuel Jerome:1 haoyu 0.70 0.03 0 0
109Mr. Blobby:1 dusty 0.71 0.12 0 0
110BH:0 haoyu 0.72 0.07 0 0
111Ytterbium:0 Andrew Grasso 0.73 0.02 0 0
112Tiny Wings:1 haoyu 0.75 0.01 0 0
113dfshasdsf12:1 Nihar the Great 0.77 0.11 0 0
114Lil Thug:1 Andrew Grasso 0.79 0.03 0 0
115Aaron H:1 Aristotle 0.80 0.11 0 0
116DinnerPartyPlannerBM:0 Aristotle 0.80 0.11 0 0
117Lil Thug:0 Andrew Grasso 0.81 0.03 0 0
118Yan Wu:1 haoyu 0.84 0.04 0 0
119Boomshanka:1 Bar Shabtai 0.85 0.01 0 0
120Mercury:0 haoyu 0.90 0.05 0 0
121Valya Barboy:1 Shaheed Chagani 0.96 0.18 0 0
122Sunny:0 Green "The Bean" Choi 0.97 0.02 0 0
123Sprt:0 Aristotle 1.07 0.11 0 0
124Alex Fish:0 haoyu 1.10 0.01 0 0
125Bob Dondero:1 Mickey Mouse 1.11 0.03 0 0
126Valya Barboy:0 Aristotle 1.13 0.06 0 0
127Mr. Blobby:0 Green "The Bean" Choi 1.25 0.14 0 0
128Ytterbium:1 Nihar the Great 1.38 0.02 0 0
129soccer:1 haoyu 1.44 0.04 0 0
130burrito:0 haoyu 1.45 0.09 0 0
131soccer:0 haoyu 1.46 0.04 0 0
132kt4124:1 haoyu 1.47 0.04 0 0
133KingBach:0 haoyu 1.52 0.06 0 0
134Brendan Wright:1 Deric Cheng 1.66 0.10 0 0
135Elphaba:0 Aristotle 1.91 0.24 0 0
136Anon5:1 Green "The Bean" Choi 2.03 0.07 0 0
137Nihar the Great:1 Aristotle 2.09 0.25 0 0
138snowflakes:1 haoyu 2.11 0.03 0 0
139Elphaba:1 Aristotle 2.13 0.22 0 0
140Walter Little:0 haoyu 2.20 0.04 0 0
141Aaron H:0 Aristotle 2.21 0.11 0 0
142CAPS LOCK:0 Aristotle 2.22 0.20 0 0
143Ben Chen:0 Elphaba 2.25 0.07 0 0
144Sunny:1 jabreezy 2.27 0.01 0 0
145Andys:1 Aristotle 2.28 0.13 0 0
146Sabar Dasgupta:1 Aaron Doll 2.29 0.17 0 0
147George Okeowo:1 Andrew Grasso 2.34 0.01 0 0
148Nihar the Great:0 Aristotle 2.35 0.23 0 0
149Bar Shabtai:1 haoyu 2.38 0.12 0 0
150jabreezy:0 Mercury 2.41 0.09 0 0
151Mike Hunt:0 Aristotle 3.00 0.27 0 0
152burrito:1 haoyu 3.14 0.10 0 0
153Mike Hunt:1 Aristotle 3.50 0.29 0 0
154Andrew Grasso:0 Aaron Doll 3.71 0.18 0 0
155jabreezy:1 Mercury 3.80 0.10 0 0
156ebp:0 haoyu 4.23 0.04 0 0
157CAPS LOCK:1 Aristotle 4.26 0.25 0 0
158ebp:1 haoyu 4.37 0.04 0 0
159EC:1 haoyu 4.39 0.03 0 0
160Anon5:0 haoyu 4.59 0.05 0 0
161AFC:1 Aristotle 4.65 0.16 0 0
162Brendan Wright:0 haoyu 4.75 0.10 0 0
163Fanny:0 Aristotle 5.63 0.10 0 0
164jgs:0 Aristotle 5.76 0.12 0 0
165Dusty:1 Shaheed Chagani 5.87 0.22 0 0
166George Okeowo:0 Andrew Grasso 6.24 0.01 0 0
167Ben Chen:1 spl 6.33 0.20 0 0
168NA:1 Elphaba 6.39 0.04 0 0
169Fanny:1 Aristotle 6.77 0.12 0 0
170Aaron Doll:0 Aristotle 7.13 0.56 0 0
171jgs:1 haoyu 7.19 0.18 0 0
172Mike Honcho:0 Miranda 7.37 0.01 0 0
173Andrew Grasso:1 Shaheed Chagani 7.49 0.15 0 0
174David H.:0 AFC 7.56 0.28 0 0
175totallyOnFallBreak:0 Nikhilesh Sigatapu 7.88 0.01 0 0
176John Whelchel:0 haoyu 8.10 0.06 0 0
177totallyOnFallBreak:1 Nikhilesh Sigatapu 8.83 0.01 0 0
178Sabar Dasgupta:0 spl 9.86 0.23 0 0
179EC:0 haoyu 9.96 0.03 0 0
180snowflakes:0 haoyu 12.71 0.03 0 0
181Andys:0 Aristotle 12.74 0.12 0 0
182Mike Honcho:1 Jessie Chen 13.55 0.01 0 0
183Qinlan Shen:1 R. A. B. 14.98 9.00 1 1
184Quite Satisfied:1 Joel Faron 14.98 2.11 1 1
185Jessie Chen:1 Joel Faron 14.98 0.12 1 1
186T. Capote:0 haoyu 14.98 0.00 2 2
187T. Capote:1 haoyu 14.98 0.00 2 2
188Mark S. Fillmore:1 Supahaka 14.98 0.04 79 79
189Mark S. Fillmore:0 Supahaka 14.98 0.01 116 116
190CookieMonster:1 CookieMonster 14.98 1.10 1 0
191Jessie Chen:0 Joel Faron 14.98 0.13 2 1
192CookieMonster:0 CookieMonster 14.99 0.82 2 0
1930108:0 jgs 14.98 14.98 2 1
194John Whelchel:1 haoyu 14.99 0.11 4 0
195Walter Little:1 haoyu 14.98 0.03 4 0
196Shaheed Chagani:0 Aristotle 15.00 0.17 5 0
197Shaheed Chagani:1 Aristotle 14.98 0.11 5 0
198spl:1 haoyu 14.98 0.06 5 0
199Charliezsc:0 jgs 14.99 14.98 6 1
200Absurdity:0 Aristotle 14.98 0.23 6 0
201DeeEmEm:0 CAPS LOCK 14.98 13.00 7 1
202AFC:0 CookieMonster 14.98 0.34 7 0
203Glenn Fisher:1 jabreezy 14.98 0.09 8 0
204spl:0 Elphaba 14.98 0.09 9 0
205David H.:1 DeeEmEm 14.98 0.33 11 0
206Absurdity:1 Aristotle 14.98 0.18 11 0
207SuperFan:1 jgs 14.98 14.98 11 4
208Dusty:0 CookieMonster 14.98 1.39 12 0
209Aaron Doll:1 Aristotle 14.99 1.27 12 0
210SuperFan:0 jgs 14.98 14.98 16 4
211Bar Shabtai:0 Aaron Doll 14.99 15.01 21 1
212Yacob Y.:1 Aristotle 14.98 15.00 24 1
213NA:0 haoyu 14.98 0.03 26 0
214Aristotle:1 Aristotle 14.99 9.69 43 0
215Supahaka:1 Joel Faron 14.98 15.00 47 35
216Aristotle:0 Aristotle 14.98 15.00 51 1
217Supahaka:0 Andrew Werner 14.98 15.00 52 35
21813a:1 Aaron Doll 14.99 15.00 69 29
21913a:0 Aaron Doll 14.98 15.00 70 21
220Andrew Werner:0 Aaron Doll 15.01 0.33 2 0
221Charliezsc:1 haoyu 15.01 0.07 4 0
222Deric Cheng:0 jgs 15.09 14.99 4 1
223Deric Cheng:1 jgs 15.10 14.98 2 1
224Andrew Werner:1 haoyu 15.17 0.11 2 0
225nupog:0 Aristotle 25.60 0.13 3942 0
226nupog:1 Aristotle 26.30 0.12 3930 0
227Matt Goldsmith:0 Nihar the Great - 0.03 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist