SatSolvers Ranklist Generators Ranklist

Stats for satsolver: haoyu

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 haoyu 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 haoyu 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: haoyu
Rank: 24 / 118
Average Score: 5.26
Median Score: 0.09
Description: DPLL algorithm, with early termination, pure symbol heuristic and unit clause heuristic.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.00 0.00 0 0
3David Paulk:1 Bar Shabtai 0.00 0.00 0 0
4Jonathan Kwok:1 KingBach 0.00 0.00 0 0
5BMJ:1 burrito 0.00 0.00 0 0
6K.L.:1 KingBach 0.00 0.00 0 0
7bigwig:0 Andrew Werner 0.00 0.00 0 0
8David Paulk:0 cat 0.00 0.00 0 0
9Happy:1 KingBach 0.00 0.00 0 0
10Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
11BMJ:0 Elphaba 0.00 0.00 0 0
12K.L.:0 haoyu 0.00 0.00 0 0
13Bebe Shi:0 KingBach 0.00 0.00 0 0
14Blam:0 Elphaba 0.00 0.00 0 0
15Miranda:0 cat 0.00 0.00 0 0
16Blam:1 Elphaba 0.00 0.00 0 0
17Tree Prophet:0 haoyu 0.00 0.00 0 0
18Miranda:1 cat 0.00 0.00 0 0
19Daffy Duck:1 haoyu 0.00 0.00 0 0
20Joshua Zimmer:0 haoyu 0.00 0.00 0 0
21Tree Prophet:1 haoyu 0.00 0.00 0 0
22R. A. B.:1 cat 0.00 0.00 0 0
23AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.00 0.00 0 0
24The Kraken:1 haoyu 0.00 0.00 0 0
25Solving For Clauses:1 haoyu 0.00 0.00 0 0
26Gewang:1 Jonathan Kwok 0.00 0.00 0 0
27Joshua Zimmer:1 haoyu 0.00 0.00 0 0
28Gewang:0 Jonathan Kwok 0.00 0.00 0 0
29Quite Satisfied:0 haoyu 0.00 0.00 0 0
30Happy:0 haoyu 0.00 0.00 0 0
31bchouGenerator:0 haoyu 0.00 0.00 0 0
32The Kraken:0 haoyu 0.00 0.00 0 0
33Solving For Clauses:0 Glenn Fisher 0.00 0.00 0 0
34R. A. B.:0 Nihar the Great 0.00 0.00 0 0
35T. Capote:0 haoyu 0.00 0.00 2 2
36T. Capote:1 haoyu 0.00 0.00 2 2
37George Okeowo:1 Andrew Grasso 0.01 0.01 0 0
38Boomshanka:0 haoyu 0.01 0.01 0 0
39AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.01 0.01 0 0
400108:1 haoyu 0.01 0.01 0 0
41George Okeowo:0 Andrew Grasso 0.01 0.01 0 0
42cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
43cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
44totallyOnFallBreak:0 Nikhilesh Sigatapu 0.01 0.01 0 0
45totallyOnFallBreak:1 Nikhilesh Sigatapu 0.01 0.01 0 0
46Jameh:0 haoyu 0.01 0.01 0 0
47Alex Fish:0 haoyu 0.01 0.01 0 0
48Mickey Mouse:1 haoyu 0.01 0.01 0 0
49Tiny Wings:1 haoyu 0.01 0.01 0 0
50Jameh:1 haoyu 0.01 0.01 0 0
51DeeEmEm:1 haoyu 0.02 0.02 0 0
52Alex Fish:1 haoyu 0.02 0.02 0 0
53Boomshanka:1 Bar Shabtai 0.02 0.01 0 0
54Anon_K_P:0 haoyu 0.02 0.02 0 0
55Tiny Wings:0 haoyu 0.02 0.02 0 0
56Glenn Fisher:0 Elphaba 0.02 0.02 0 0
57Ytterbium:0 Andrew Grasso 0.02 0.02 0 0
58vluu:0 Nihar the Great 0.03 0.01 0 0
59snowflakes:0 haoyu 0.03 0.03 0 0
60vluu:1 Nihar the Great 0.03 0.02 0 0
61snowflakes:1 haoyu 0.03 0.03 0 0
62Daffy Duck:0 Andrew Werner 0.03 0.00 0 0
63Samuel Jerome:1 haoyu 0.03 0.03 0 0
64EC:1 haoyu 0.03 0.03 0 0
65Ytterbium:1 Nihar the Great 0.03 0.02 0 0
66EC:0 haoyu 0.03 0.03 0 0
67Scheduling Generator 203:0 jgs 0.03 0.01 0 0
68Samuel Jerome:0 haoyu 0.03 0.03 0 0
69cat:1 haoyu 0.03 0.03 0 0
70Tom T:0 EC 0.03 0.02 0 0
71cat:0 haoyu 0.03 0.03 0 0
72kt4124:0 haoyu 0.03 0.03 0 0
73Tom T:1 Andrew Werner 0.03 0.02 0 0
74Nikhilesh Sigatapu:0 haoyu 0.03 0.03 0 0
75Walter Little:1 haoyu 0.03 0.03 0 0
76NA:0 haoyu 0.03 0.03 0 0
77bfang:1 haoyu 0.04 0.04 0 0
78bfang:0 haoyu 0.04 0.04 0 0
79soccer:1 haoyu 0.04 0.04 0 0
80ebp:0 haoyu 0.04 0.04 0 0
81ebp:1 haoyu 0.04 0.04 0 0
82soccer:0 haoyu 0.04 0.04 0 0
83Sally Smith:0 haoyu 0.04 0.04 0 0
84Batman:1 haoyu 0.04 0.04 0 0
85kt4124:1 haoyu 0.04 0.04 0 0
86Sally Smith:1 haoyu 0.04 0.04 0 0
87Batman:0 haoyu 0.04 0.04 0 0
88Yan Wu:1 haoyu 0.04 0.04 0 0
89Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
90Nikhilesh Sigatapu:1 haoyu 0.04 0.04 0 0
91KingBach:1 haoyu 0.04 0.04 0 0
92Walter Little:0 haoyu 0.04 0.04 0 0
93NA:1 Elphaba 0.04 0.04 0 0
94Yan Wu:0 haoyu 0.05 0.05 0 0
95BH:1 haoyu 0.05 0.05 0 0
96Matt Haake:0 haoyu 0.05 0.05 0 0
97Sprt:1 haoyu 0.05 0.05 0 0
98Mercury:1 haoyu 0.05 0.05 0 0
99Dr Roberto:0 Andrew Grasso 0.05 0.03 0 0
100Matt Haake:1 haoyu 0.05 0.05 0 0
101Mercury:0 haoyu 0.05 0.05 0 0
102Scheduling Generator 203:1 Jameh 0.05 0.02 0 0
103Anon5:0 haoyu 0.05 0.05 0 0
104KingBach:0 haoyu 0.06 0.06 0 0
105spl:1 haoyu 0.06 0.06 0 0
106Yacob Y.:0 haoyu 0.06 0.06 0 0
107Dr Roberto:1 Andrew Grasso 0.06 0.02 0 0
108John Whelchel:0 haoyu 0.06 0.06 0 0
109Lisa Kim:1 Bar Shabtai 0.07 0.06 0 0
110BH:0 haoyu 0.07 0.07 0 0
111Charliezsc:1 haoyu 0.07 0.07 0 0
112Bob Dondero:1 Mickey Mouse 0.08 0.03 0 0
113dfshasdsf12:0 haoyu 0.09 0.09 0 0
114burrito:0 haoyu 0.09 0.09 0 0
115Bob Dondero:0 Andrew Grasso 0.09 0.02 0 0
116Khoa:1 Aristotle 0.09 0.09 0 0
117Khoa:0 haoyu 0.09 0.09 0 0
118Brendan Wright:0 haoyu 0.10 0.10 0 0
119Mike Honcho:1 Jessie Chen 0.10 0.01 0 0
120burrito:1 haoyu 0.10 0.10 0 0
121Lil Thug:1 Andrew Grasso 0.11 0.03 0 0
122Mike Honcho:0 Miranda 0.11 0.01 0 0
123Lil Thug:0 Andrew Grasso 0.11 0.03 0 0
124John Whelchel:1 haoyu 0.11 0.11 0 0
125Andrew Werner:1 haoyu 0.11 0.11 0 0
126bchouGenerator:1 Jonathan Kwok 0.12 0.01 0 0
127Bar Shabtai:1 haoyu 0.12 0.12 0 0
128Sprt:0 Aristotle 0.12 0.11 0 0
129DinnerPartyPlannerBM:1 Nihar the Great 0.14 0.06 0 0
130dfshasdsf12:1 Nihar the Great 0.14 0.11 0 0
131Aaron H:1 Aristotle 0.14 0.11 0 0
132Jessie Chen:0 Joel Faron 0.17 0.13 1 1
133Linda:0 Andrew Grasso 0.17 0.01 0 0
134Brendan Wright:1 Deric Cheng 0.18 0.10 0 0
135jgs:1 haoyu 0.18 0.18 0 0
136Anon5:1 Green "The Bean" Choi 0.20 0.07 0 0
137DinnerPartyPlannerBM:0 Aristotle 0.21 0.11 0 0
138Aaron H:0 Aristotle 0.21 0.11 0 0
139jabreezy:0 Mercury 0.23 0.09 0 0
140jabreezy:1 Mercury 0.25 0.10 0 0
141Anon_K_P:1 Aristotle 0.30 0.03 0 0
142Linda:1 Andrew Grasso 0.37 0.02 0 0
143CAPS LOCK:0 Aristotle 0.37 0.20 0 0
144Elphaba:1 Aristotle 0.38 0.22 0 0
145Jessie Chen:1 Joel Faron 0.39 0.12 1 1
146Elphaba:0 Aristotle 0.48 0.24 0 0
147Shaheed Chagani:1 Aristotle 0.56 0.11 0 0
148CAPS LOCK:1 Aristotle 0.58 0.25 0 0
149Shaheed Chagani:0 Aristotle 0.62 0.17 0 0
150jgs:0 Aristotle 0.69 0.12 0 0
151Aaron Doll:0 Aristotle 1.23 0.56 0 0
152Sunny:1 jabreezy 1.59 0.01 0 0
153Sunny:0 Green "The Bean" Choi 1.72 0.02 0 0
154nupog:1 Aristotle 2.98 0.12 0 0
155Nihar the Great:0 Aristotle 2.98 0.23 0 0
156Nihar the Great:1 Aristotle 3.29 0.25 0 0
157nupog:0 Aristotle 3.50 0.13 0 0
158weezy:0 Bar Shabtai 5.09 0.01 0 0
159weezy:1 Bar Shabtai 5.14 0.01 0 0
160Ravi Tandon:0 KingBach 5.18 0.00 0 0
161spl:0 Elphaba 10.93 0.09 0 0
162David Lackey:1 Bar Shabtai 12.91 0.03 0 0
163David Lackey:0 Anon5 13.51 0.03 0 0
164Qinlan Shen:1 R. A. B. 14.99 9.00 1 1
1650108:0 jgs 14.99 14.98 1 1
166David H.:1 DeeEmEm 14.99 0.33 1 0
167haoyu:0 KingBach 14.99 0.01 1 0
168David H.:0 AFC 14.99 0.28 1 0
169CookieMonster:0 CookieMonster 15.00 0.82 1 0
170haoyu:1 Anon5 14.99 0.01 1 0
171CookieMonster:1 CookieMonster 15.00 1.10 1 0
172Qinlan Shen:0 Bar Shabtai 14.99 0.01 1 0
173Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 2 0
174DeeEmEm:0 CAPS LOCK 14.99 13.00 2 1
175Ravi Tandon:1 KingBach 14.99 0.00 2 0
176AFC:0 CookieMonster 15.00 0.34 2 0
177Tao:1 Aristotle 14.99 0.07 3 0
178Lisa Kim:0 Aristotle 15.00 0.07 3 0
179Jordan Ash:1 Bar Shabtai 14.99 0.01 3 0
180AFC:1 Aristotle 15.00 0.16 3 0
181Glenn Fisher:1 jabreezy 14.99 0.09 3 0
182Jordan Ash:0 EC 14.99 0.03 4 0
183Tao:0 Bar Shabtai 14.99 0.02 4 0
184Mr. Blobby:1 dusty 15.00 0.12 6 0
185Yacob Y.:1 Aristotle 15.00 15.00 7 1
186Valya Barboy:0 Aristotle 14.99 0.06 9 0
187Valya Barboy:1 Shaheed Chagani 14.99 0.18 10 0
188Quite Satisfied:1 Joel Faron 0.00 2.11 11 1
189SuperFan:1 jgs 14.99 14.98 12 4
190Sabar Dasgupta:1 Aaron Doll 15.00 0.17 12 0
191Keji Xu:1 Nihar the Great 14.99 0.04 13 0
192The Whitman Whale:0 bigwig 15.00 0.04 13 0
193The Whitman Whale:1 Andrew Grasso 15.00 0.03 13 0
194Keji Xu:0 Nihar the Great 14.99 0.03 13 0
195Ben Chen:0 Elphaba 15.00 0.07 14 0
196Ben Chen:1 spl 15.00 0.20 14 0
197SuperFan:0 jgs 14.99 14.98 18 4
198Andrew Grasso:0 Aaron Doll 15.00 0.18 104 0
199Dusty:1 Shaheed Chagani 15.00 0.22 105 0
200Dusty:0 CookieMonster 15.00 1.39 106 0
201Andrew Grasso:1 Shaheed Chagani 15.00 0.15 108 0
202Mark S. Fillmore:1 Supahaka 0.00 0.04 109 79
203Mark S. Fillmore:0 Supahaka 0.00 0.01 157 116
204Supahaka:0 Andrew Werner 0.00 15.00 314 35
205Supahaka:1 Joel Faron 0.00 15.00 314 35
206Absurdity:1 Aristotle 15.00 0.18 2 0
207Charliezsc:0 jgs 15.00 14.98 3 1
208Sabar Dasgupta:0 spl 15.00 0.23 12 0
209Fanny:0 Aristotle 15.00 0.10 1 0
210Mike Hunt:0 Aristotle 15.01 0.27 7 0
211Andys:0 Aristotle 15.01 0.12 14 0
212Janie Gu:1 Jonathan Kwok 15.01 0.07 107 0
213Janie Gu:0 Glenn Fisher 15.01 0.07 126 0
214Absurdity:0 Aristotle 15.01 0.23 2 0
215Andys:1 Aristotle 15.01 0.13 17 0
216Fanny:1 Aristotle 15.02 0.12 1 0
217Andrew Werner:0 Aaron Doll 15.04 0.33 39 0
218Deric Cheng:1 jgs 15.05 14.98 2 1
219Mike Hunt:1 Aristotle 15.05 0.29 5 0
220Deric Cheng:0 jgs 15.05 14.99 2 1
22113a:0 Aaron Doll 15.13 15.00 138 21
22213a:1 Aaron Doll 15.16 15.00 124 29
223Matt Goldsmith:0 Nihar the Great 15.18 0.03 290 0
224Matt Goldsmith:1 Happy 15.19 0.03 3101 0
225Aaron Doll:1 Aristotle 15.74 1.27 1 0
226Aristotle:0 Aristotle 18.32 15.00 5 1
227Aristotle:1 Aristotle 19.08 9.69 6 0
228Bar Shabtai:0 Aaron Doll - 15.01 - 1


SatSolvers Ranklist Generators Ranklist