SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Happy

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 Happy 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 Happy 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: Happy
Rank: 84 / 118
Average Score: 13.29
Median Score: 15.00
Description: Runs a version of WalkSat with 5 intermediate points at which it checks whether the best assignment has been updated recently. If not, it resets the values to 0 and thus restarts the search
Generator Best solver Time taken Best time Unsat Best unsat
1Miranda:1 cat 0.00 0.00 0 0
2R. A. B.:1 cat 0.00 0.00 0 0
3David Paulk:1 Bar Shabtai 0.00 0.00 0 0
4R. A. B.:0 Nihar the Great 0.00 0.00 0 0
5Miranda:0 cat 0.00 0.00 0 0
6bigwig: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
9cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
10Bebe Shi:0 KingBach 0.01 0.00 0 0
11cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
12Happy:1 KingBach 0.02 0.00 0 0
13Ravi Tandon:1 KingBach 0.02 0.00 0 0
14Ravi Tandon:0 KingBach 0.02 0.00 0 0
15Jonathan Kwok:1 KingBach 0.03 0.00 0 0
16Matt Goldsmith:1 Happy 0.03 0.03 0 0
17Matt Goldsmith:0 Nihar the Great 0.04 0.03 0 0
18K.L.:1 KingBach 0.06 0.00 0 0
19Joshua Zimmer:0 haoyu 0.07 0.00 0 0
20K.L.:0 haoyu 0.08 0.00 0 0
21Joshua Zimmer:1 haoyu 0.11 0.00 0 0
22Solving For Clauses:1 haoyu 0.11 0.00 0 0
23Solving For Clauses:0 Glenn Fisher 0.27 0.00 0 0
24Gewang:0 Jonathan Kwok 0.62 0.00 0 0
25bchouGenerator:0 haoyu 0.70 0.00 0 0
26weezy:0 Bar Shabtai 1.50 0.01 0 0
27The Kraken:0 haoyu 1.58 0.00 0 0
28Gewang:1 Jonathan Kwok 2.07 0.00 0 0
29David Lackey:0 Anon5 4.25 0.03 0 0
30Boomshanka:0 haoyu 4.72 0.01 0 0
31totallyOnFallBreak:1 Nikhilesh Sigatapu 4.76 0.01 0 0
32totallyOnFallBreak:0 Nikhilesh Sigatapu 5.09 0.01 0 0
33Jameh:0 haoyu 5.71 0.01 0 0
34Bebe Shi:1 KingBach 6.00 0.00 0 0
35Jonathan Kwok:0 Elphaba 6.01 0.00 0 0
36Daffy Duck:0 Andrew Werner 6.08 0.00 0 0
37Keji Xu:0 Nihar the Great 6.14 0.03 0 0
38Quite Satisfied:0 haoyu 6.29 0.00 0 0
39The Kraken:1 haoyu 6.37 0.00 0 0
40Boomshanka:1 Bar Shabtai 10.38 0.01 0 0
41Jordan Ash:0 EC 11.49 0.03 0 0
42Scheduling Generator 203:0 jgs 12.49 0.01 0 0
43David Lackey:1 Bar Shabtai 13.24 0.03 0 0
44bchouGenerator:1 Jonathan Kwok 15.00 0.01 1 0
45Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
46Sunny:0 Green "The Bean" Choi 15.00 0.02 1 0
47haoyu:0 KingBach 15.00 0.01 1 0
48Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
49Jessie Chen:1 Joel Faron 15.00 0.12 1 1
50Jordan Ash:1 Bar Shabtai 15.00 0.01 1 0
51weezy:1 Bar Shabtai 15.00 0.01 1 0
52haoyu:1 Anon5 15.00 0.01 1 0
53Daffy Duck:1 haoyu 15.00 0.00 1 0
54Sunny:1 jabreezy 15.00 0.01 1 0
55Jessie Chen:0 Joel Faron 15.00 0.13 2 1
56Keji Xu:1 Nihar the Great 15.00 0.04 2 0
57Tree Prophet:0 haoyu 15.00 0.00 2 0
58BMJ:1 burrito 15.00 0.00 2 0
59T. Capote:0 haoyu 15.00 0.00 2 2
600108:1 haoyu 15.00 0.01 2 0
61Happy:0 haoyu 15.00 0.00 2 0
62T. Capote:1 haoyu 15.00 0.00 2 2
63AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 3 0
64Valya Barboy:1 Shaheed Chagani 15.00 0.18 3 0
65AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 3 0
66Blam:0 Elphaba 15.00 0.00 3 0
67BMJ:0 Elphaba 15.00 0.00 4 0
68Blam:1 Elphaba 15.00 0.00 5 0
69Dr Roberto:1 Andrew Grasso 15.00 0.02 5 0
70Dr Roberto:0 Andrew Grasso 15.00 0.03 5 0
71Andrew Grasso:0 Aaron Doll 15.00 0.18 5 0
72Valya Barboy:0 Aristotle 15.00 0.06 5 0
73Scheduling Generator 203:1 Jameh 15.00 0.02 6 0
74DeeEmEm:1 haoyu 15.00 0.02 6 0
75Anon_K_P:1 Aristotle 15.00 0.03 6 0
76DeeEmEm:0 CAPS LOCK 15.00 13.00 6 1
77SuperFan:1 jgs 15.00 14.98 6 4
78Anon5:1 Green "The Bean" Choi 15.00 0.07 7 0
79Mickey Mouse:1 haoyu 15.00 0.01 7 0
80Dusty:0 CookieMonster 15.00 1.39 8 0
81Andrew Grasso:1 Shaheed Chagani 15.00 0.15 8 0
82Tom T:0 EC 15.00 0.02 10 0
83NA:0 haoyu 15.00 0.03 10 0
84Tree Prophet:1 haoyu 15.00 0.00 10 0
85Mickey Mouse:0 Bar Shabtai 15.00 0.01 10 0
86David H.:0 AFC 15.00 0.28 11 0
87Tom T:1 Andrew Werner 15.00 0.02 11 0
88David H.:1 DeeEmEm 15.00 0.33 12 0
89Tiny Wings:1 haoyu 15.00 0.01 12 0
90Tiny Wings:0 haoyu 15.00 0.02 12 0
91Alex Fish:1 haoyu 15.00 0.02 12 0
92Alex Fish:0 haoyu 15.00 0.01 13 0
93SuperFan:0 jgs 15.00 14.98 15 4
94Janie Gu:0 Glenn Fisher 15.00 0.07 16 0
95Anon5:0 haoyu 15.00 0.05 17 0
96Ytterbium:1 Nihar the Great 15.00 0.02 17 0
97Janie Gu:1 Jonathan Kwok 15.00 0.07 17 0
98Tao:0 Bar Shabtai 15.00 0.02 17 0
99Tao:1 Aristotle 15.00 0.07 18 0
100cat:1 haoyu 15.00 0.03 18 0
101EC:1 haoyu 15.00 0.03 19 0
102Batman:1 haoyu 15.00 0.04 19 0
103EC:0 haoyu 15.00 0.03 19 0
104cat:0 haoyu 15.00 0.03 21 0
105Anon_K_P:0 haoyu 15.00 0.02 22 0
106soccer:0 haoyu 15.00 0.04 23 0
107soccer:1 haoyu 15.00 0.04 24 0
108Charliezsc:0 jgs 15.00 14.98 26 1
109CookieMonster:0 CookieMonster 15.00 0.82 27 0
110Brendan Wright:1 Deric Cheng 15.00 0.10 28 0
111Matt Haake:1 haoyu 15.00 0.05 30 0
112The Whitman Whale:0 bigwig 15.00 0.04 31 0
113Andys:0 Aristotle 15.00 0.12 33 0
114Andys:1 Aristotle 15.00 0.13 34 0
115The Whitman Whale:1 Andrew Grasso 15.00 0.03 34 0
116AFC:0 CookieMonster 15.00 0.34 34 0
117KingBach:0 haoyu 15.00 0.06 35 0
118Bar Shabtai:1 haoyu 15.00 0.12 35 0
119Sally Smith:0 haoyu 15.00 0.04 35 0
120Matt Haake:0 haoyu 15.00 0.05 35 0
121Samuel Jerome:1 haoyu 15.00 0.03 37 0
122Lisa Kim:0 Aristotle 15.00 0.07 37 0
123Sabar Dasgupta:1 Aaron Doll 15.00 0.17 38 0
124Sabar Dasgupta:0 spl 15.00 0.23 39 0
125John Whelchel:1 haoyu 15.00 0.11 39 0
126ebp:0 haoyu 15.00 0.04 41 0
127Mercury:1 haoyu 15.00 0.05 41 0
128ebp:1 haoyu 15.00 0.04 41 0
129Lisa Kim:1 Bar Shabtai 15.00 0.06 42 0
130Deric Cheng:0 jgs 15.00 14.99 44 1
131DinnerPartyPlannerBM:1 Nihar the Great 15.00 0.06 45 0
132Mercury:0 haoyu 15.00 0.05 45 0
133bfang:1 haoyu 15.00 0.04 47 0
134Lil Thug:0 Andrew Grasso 15.00 0.03 49 0
135Andrew Werner:0 Aaron Doll 15.00 0.33 49 0
136Lil Thug:1 Andrew Grasso 15.00 0.03 49 0
137Andrew Werner:1 haoyu 15.00 0.11 49 0
138Glenn Fisher:1 jabreezy 15.00 0.09 49 0
139dfshasdsf12:0 haoyu 15.00 0.09 53 0
140bfang:0 haoyu 15.00 0.04 53 0
141Yacob Y.:1 Aristotle 15.00 15.00 55 1
142Elphaba:1 Aristotle 15.00 0.22 56 0
143Yacob Y.:0 haoyu 15.00 0.06 56 0
144Yan Wu:0 haoyu 15.00 0.05 61 0
145Yan Wu:1 haoyu 15.00 0.04 61 0
146Absurdity:0 Aristotle 15.00 0.23 61 0
147Ben Chen:1 spl 15.00 0.20 77 0
148Aaron H:1 Aristotle 15.00 0.11 84 0
149snowflakes:1 haoyu 15.00 0.03 86 0
150jgs:0 Aristotle 15.00 0.12 108 0
151Khoa:1 Aristotle 15.00 0.09 146 0
152BH:1 haoyu 15.00 0.05 199 0
153Supahaka:1 Joel Faron 15.00 15.00 206 35
154Shaheed Chagani:0 Aristotle 15.00 0.17 498 0
155Shaheed Chagani:1 Aristotle 15.00 0.11 499 0
156CAPS LOCK:1 Aristotle 15.00 0.25 2334 0
157Qinlan Shen:0 Bar Shabtai 15.00 0.01 1 0
1580108:0 jgs 15.00 14.98 4 1
159Charliezsc:1 haoyu 15.00 0.07 30 0
160AFC:1 Aristotle 15.00 0.16 35 0
161Sally Smith:1 haoyu 15.00 0.04 35 0
162Brendan Wright:0 haoyu 15.00 0.10 38 0
163John Whelchel:0 haoyu 15.00 0.06 40 0
164Elphaba:0 Aristotle 15.00 0.24 56 0
165Mike Hunt:1 Aristotle 15.00 0.29 88 0
166Nihar the Great:0 Aristotle 15.00 0.23 999 0
167Linda:1 Andrew Grasso 15.00 0.02 7746 0
168Bob Dondero:0 Andrew Grasso 15.00 0.02 3 0
169Deric Cheng:1 jgs 15.00 14.98 44 1
170Bar Shabtai:0 Aaron Doll 15.00 15.01 87 1
17113a:1 Aaron Doll 15.00 15.00 150 29
172Mike Honcho:0 Miranda 15.01 0.01 7 0
173vluu:1 Nihar the Great 15.01 0.02 21 0
174Fanny:1 Aristotle 15.01 0.12 40 0
175Bob Dondero:1 Mickey Mouse 15.01 0.03 10 0
176NA:1 Elphaba 15.01 0.04 12 0
177Jameh:1 haoyu 15.01 0.01 185 0
178Samuel Jerome:0 haoyu 15.01 0.03 29 0
179Supahaka:0 Andrew Werner 15.01 15.00 206 35
180Mike Honcho:1 Jessie Chen 15.01 0.01 7 0
181Dusty:1 Shaheed Chagani 15.01 0.22 8 0
182Aaron Doll:0 Aristotle 15.01 0.56 160 0
183Nikhilesh Sigatapu:0 haoyu 15.01 0.03 34 0
184snowflakes:0 haoyu 15.01 0.03 105 0
185Mark S. Fillmore:1 Supahaka 15.02 0.04 109 79
186kt4124:0 haoyu 15.02 0.03 210 0
187Linda:0 Andrew Grasso 15.02 0.01 1111 0
188Aristotle:1 Aristotle 15.02 9.69 120 0
189Fanny:0 Aristotle 15.02 0.10 37 0
19013a:0 Aaron Doll 15.02 15.00 151 21
191Aaron Doll:1 Aristotle 15.02 1.27 160 0
192Nikhilesh Sigatapu:1 haoyu 15.02 0.04 17 0
193vluu:0 Nihar the Great 15.02 0.01 23 0
194spl:0 Elphaba 15.03 0.09 48 0
195Glenn Fisher:0 Elphaba 15.03 0.02 52 0
196Ytterbium:0 Andrew Grasso 15.03 0.02 19 0
197Walter Little:0 haoyu 15.03 0.04 90 0
198Aristotle:0 Aristotle 15.03 15.00 120 1
199spl:1 haoyu 15.03 0.06 47 0
200KingBach:1 haoyu 15.03 0.04 29 0
201Mark S. Fillmore:0 Supahaka 15.03 0.01 157 116
202CookieMonster:1 CookieMonster 15.03 1.10 28 0
203kt4124:1 haoyu 15.04 0.04 210 0
204Walter Little:1 haoyu 15.04 0.03 95 0
205Mr. Blobby:0 Green "The Bean" Choi 15.04 0.14 68 0
206Mr. Blobby:1 dusty 15.04 0.12 65 0
207Batman:0 haoyu 15.05 0.04 23 0
208jabreezy:1 Mercury 15.09 0.10 74 0
209Ben Chen:0 Elphaba 15.09 0.07 75 0
210George Okeowo:1 Andrew Grasso 15.12 0.01 48 0
211burrito:0 haoyu 15.14 0.09 1052 0
212jabreezy:0 Mercury 15.15 0.09 76 0
213George Okeowo:0 Andrew Grasso 15.15 0.01 50 0
214Khoa:0 haoyu 15.18 0.09 148 0
215Absurdity:1 Aristotle 15.23 0.18 66 0
216Sprt:1 haoyu 15.47 0.05 58 0
217BH:0 haoyu 15.67 0.07 200 0
218Mike Hunt:0 Aristotle 15.81 0.27 88 0
219Aaron H:0 Aristotle 16.16 0.11 88 0
220burrito:1 haoyu 16.61 0.10 1816 0
221DinnerPartyPlannerBM:0 Aristotle 17.65 0.11 55 0
222Sprt:0 Aristotle 17.67 0.11 90 0
223jgs:1 haoyu 17.71 0.18 108 0
224dfshasdsf12:1 Nihar the Great 17.77 0.11 62 0
225nupog:1 Aristotle 18.33 0.12 4915 0
226nupog:0 Aristotle 18.55 0.13 4924 0
227CAPS LOCK:0 Aristotle 21.02 0.20 1799 0
228Nihar the Great:1 Aristotle 122.43 0.25 999 0


SatSolvers Ranklist Generators Ranklist