SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Sunny

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 Sunny 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 Sunny 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: Sunny
Rank: 92 / 118
Average Score: 15.63
Median Score: 0.70
Description: This sat-solver uses DPLL method along with gaussian (mean = given time/2) type random restarts
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
3bigwig:1 KingBach 0.00 0.00 0 0
4R. A. B.:1 cat 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
7David Paulk:0 cat 0.00 0.00 0 0
8Bebe Shi:0 KingBach 0.00 0.00 0 0
9David Paulk:1 Bar Shabtai 0.01 0.00 0 0
10Jonathan Kwok:1 KingBach 0.01 0.00 0 0
11Bebe Shi:1 KingBach 0.01 0.00 0 0
12Happy:1 KingBach 0.01 0.00 0 0
13BMJ:0 Elphaba 0.01 0.00 0 0
14K.L.:0 haoyu 0.01 0.00 0 0
15R. A. B.:0 Nihar the Great 0.01 0.00 0 0
16Miranda:1 cat 0.01 0.00 0 0
17Daffy Duck:1 haoyu 0.01 0.00 0 0
18Blam:1 Elphaba 0.01 0.00 0 0
19Miranda:0 cat 0.01 0.00 0 0
20Ravi Tandon:0 KingBach 0.01 0.00 0 0
21Ravi Tandon:1 KingBach 0.01 0.00 0 0
22Blam:0 Elphaba 0.01 0.00 0 0
23Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
24bchouGenerator:0 haoyu 0.01 0.00 0 0
25Joshua Zimmer:0 haoyu 0.01 0.00 0 0
26Gewang:1 Jonathan Kwok 0.01 0.00 0 0
27Solving For Clauses:1 haoyu 0.02 0.00 0 0
28cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
29Gewang:0 Jonathan Kwok 0.02 0.00 0 0
30cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
31Joshua Zimmer:1 haoyu 0.02 0.00 0 0
32Quite Satisfied:0 haoyu 0.02 0.00 0 0
33Sunny:1 jabreezy 0.02 0.01 0 0
34Tree Prophet:0 haoyu 0.03 0.00 0 0
350108:1 haoyu 0.03 0.01 0 0
36AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.03 0.00 0 0
37bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
38Happy:0 haoyu 0.03 0.00 0 0
39Tree Prophet:1 haoyu 0.04 0.00 0 0
40Qinlan Shen:0 Bar Shabtai 0.04 0.01 0 0
41Jameh:0 haoyu 0.04 0.01 0 0
42Bob Dondero:0 Andrew Grasso 0.04 0.02 0 0
43Alex Fish:0 haoyu 0.04 0.01 0 0
44David Lackey:1 Bar Shabtai 0.05 0.03 0 0
45Bob Dondero:1 Mickey Mouse 0.05 0.03 0 0
46Tiny Wings:1 haoyu 0.05 0.01 0 0
47Alex Fish:1 haoyu 0.05 0.02 0 0
48Daffy Duck:0 Andrew Werner 0.05 0.00 0 0
49Tom T:0 EC 0.06 0.02 0 0
50weezy:1 Bar Shabtai 0.06 0.01 0 0
51Tom T:1 Andrew Werner 0.06 0.02 0 0
52Boomshanka:1 Bar Shabtai 0.07 0.01 0 0
53Boomshanka:0 haoyu 0.07 0.01 0 0
54Jameh:1 haoyu 0.07 0.01 0 0
55Nikhilesh Sigatapu:1 haoyu 0.07 0.04 0 0
56Tiny Wings:0 haoyu 0.07 0.02 0 0
57Anon5:1 Green "The Bean" Choi 0.08 0.07 0 0
58Matt Haake:1 haoyu 0.08 0.05 0 0
59Scheduling Generator 203:1 Jameh 0.08 0.02 0 0
60Mickey Mouse:1 haoyu 0.10 0.01 0 0
61Samuel Jerome:0 haoyu 0.10 0.03 0 0
62cat:1 haoyu 0.10 0.03 0 0
63Scheduling Generator 203:0 jgs 0.10 0.01 0 0
64snowflakes:0 haoyu 0.11 0.03 0 0
65snowflakes:1 haoyu 0.11 0.03 0 0
66cat:0 haoyu 0.12 0.03 0 0
67Anon_K_P:1 Aristotle 0.12 0.03 0 0
68Dr Roberto:0 Andrew Grasso 0.12 0.03 0 0
69Nikhilesh Sigatapu:0 haoyu 0.12 0.03 0 0
70Matt Haake:0 haoyu 0.12 0.05 0 0
71kt4124:1 haoyu 0.12 0.04 0 0
72vluu:0 Nihar the Great 0.13 0.01 0 0
73DeeEmEm:1 haoyu 0.14 0.02 0 0
74David Lackey:0 Anon5 0.17 0.03 0 0
75Lisa Kim:1 Bar Shabtai 0.17 0.06 0 0
76Glenn Fisher:0 Elphaba 0.17 0.02 0 0
77kt4124:0 haoyu 0.17 0.03 0 0
78Lisa Kim:0 Aristotle 0.19 0.07 0 0
79Matt Goldsmith:0 Nihar the Great 0.20 0.03 0 0
80Samuel Jerome:1 haoyu 0.21 0.03 0 0
81vluu:1 Nihar the Great 0.22 0.02 0 0
82Mercury:1 haoyu 0.23 0.05 0 0
83Anon5:0 haoyu 0.24 0.05 0 0
84Mickey Mouse:0 Bar Shabtai 0.24 0.01 0 0
85Sally Smith:1 haoyu 0.25 0.04 0 0
86Mercury:0 haoyu 0.25 0.05 0 0
87Sally Smith:0 haoyu 0.26 0.04 0 0
88bfang:0 haoyu 0.31 0.04 0 0
89David H.:0 AFC 0.31 0.28 0 0
90bfang:1 haoyu 0.32 0.04 0 0
91Yacob Y.:0 haoyu 0.34 0.06 0 0
92Anon_K_P:0 haoyu 0.35 0.02 0 0
93spl:1 haoyu 0.35 0.06 0 0
94spl:0 Elphaba 0.38 0.09 0 0
95Batman:1 haoyu 0.40 0.04 0 0
96Linda:0 Andrew Grasso 0.42 0.01 0 0
97Batman:0 haoyu 0.42 0.04 0 0
98Linda:1 Andrew Grasso 0.43 0.02 0 0
99KingBach:0 haoyu 0.44 0.06 0 0
100KingBach:1 haoyu 0.45 0.04 0 0
101Fanny:0 Aristotle 0.54 0.10 0 0
102totallyOnFallBreak:0 Nikhilesh Sigatapu 0.59 0.01 0 0
103Sunny:0 Green "The Bean" Choi 0.60 0.02 0 0
104Brendan Wright:0 haoyu 0.61 0.10 0 0
105weezy:0 Bar Shabtai 0.68 0.01 0 0
106totallyOnFallBreak:1 Nikhilesh Sigatapu 0.69 0.01 0 0
107Ytterbium:0 Andrew Grasso 0.71 0.02 0 0
108Khoa:0 haoyu 0.79 0.09 0 0
109Khoa:1 Aristotle 0.80 0.09 0 0
110Yan Wu:1 haoyu 0.87 0.04 0 0
111Sprt:1 haoyu 0.96 0.05 0 0
112Brendan Wright:1 Deric Cheng 1.01 0.10 0 0
113burrito:0 haoyu 1.57 0.09 0 0
114AARON BURR, DROPPIN' HAMILTONS:1 haoyu 1.61 0.01 0 0
115BH:1 haoyu 1.89 0.05 0 0
116Mike Hunt:0 Aristotle 2.09 0.27 0 0
117DinnerPartyPlannerBM:1 Nihar the Great 2.13 0.06 0 0
118Mike Honcho:1 Jessie Chen 2.13 0.01 0 0
119haoyu:0 KingBach 2.18 0.01 0 0
120Aaron H:0 Aristotle 2.50 0.11 0 0
121dfshasdsf12:0 haoyu 2.54 0.09 0 0
122Charliezsc:1 haoyu 2.80 0.07 0 0
123Mike Honcho:0 Miranda 3.13 0.01 0 0
124EC:1 haoyu 3.68 0.03 0 0
125David H.:1 DeeEmEm 3.86 0.33 0 0
126Lil Thug:1 Andrew Grasso 3.99 0.03 0 0
127Aaron H:1 Aristotle 4.19 0.11 0 0
128Sprt:0 Aristotle 5.40 0.11 0 0
129Mike Hunt:1 Aristotle 6.22 0.29 0 0
130Lil Thug:0 Andrew Grasso 6.92 0.03 0 0
131EC:0 haoyu 7.10 0.03 0 0
132NA:1 Elphaba 7.20 0.04 0 0
133Fanny:1 Aristotle 7.56 0.12 0 0
134Tao:0 Bar Shabtai 7.97 0.02 0 0
135Jordan Ash:0 EC 9.31 0.03 0 0
136Dr Roberto:1 Andrew Grasso 10.94 0.02 0 0
137Jordan Ash:1 Bar Shabtai 13.67 0.01 0 0
138Matt Goldsmith:1 Happy 13.86 0.03 0 0
139haoyu:1 Anon5 14.47 0.01 0 0
140The Kraken:1 haoyu 14.71 0.00 13 0
141The Kraken:0 haoyu 14.74 0.00 13 0
142Ytterbium:1 Nihar the Great 14.89 0.02 20 0
143Valya Barboy:1 Shaheed Chagani 14.86 0.18 22 0
144Valya Barboy:0 Aristotle 14.88 0.06 22 0
145Charliezsc:0 jgs 14.96 14.98 30 1
146soccer:1 haoyu 14.94 0.04 32 0
147CookieMonster:0 CookieMonster 14.98 0.82 32 0
148The Whitman Whale:1 Andrew Grasso 14.84 0.03 40 0
149Keji Xu:0 Nihar the Great 14.82 0.03 41 0
150AFC:1 Aristotle 14.92 0.16 44 0
151AFC:0 CookieMonster 14.93 0.34 44 0
152Deric Cheng:0 jgs 14.97 14.99 45 1
153Yan Wu:0 haoyu 14.95 0.05 65 0
154jabreezy:1 Mercury 15.00 0.10 80 0
155jabreezy:0 Mercury 14.97 0.09 80 0
156George Okeowo:0 Andrew Grasso 14.93 0.01 81 0
157Mr. Blobby:0 Green "The Bean" Choi 14.95 0.14 91 0
158Mr. Blobby:1 dusty 14.92 0.12 91 0
159Glenn Fisher:1 jabreezy 14.98 0.09 113 0
160Dusty:1 Shaheed Chagani 14.87 0.22 259 0
161Dusty:0 CookieMonster 14.84 1.39 259 0
162Supahaka:0 Andrew Werner 14.96 15.00 315 35
163Supahaka:1 Joel Faron 14.96 15.00 315 35
164NA:0 haoyu 14.97 0.03 352 0
165Janie Gu:0 Glenn Fisher 14.80 0.07 432 0
166nupog:1 Aristotle 14.94 0.12 4920 0
167nupog:0 Aristotle 14.93 0.13 4930 0
168dfshasdsf12:1 Nihar the Great 15.00 0.11 74 0
169CookieMonster:1 CookieMonster 15.01 1.10 10 0
170Shaheed Chagani:0 Aristotle 15.01 0.17 495 0
171Walter Little:1 haoyu 15.02 0.03 21 0
172George Okeowo:1 Andrew Grasso 15.02 0.01 81 0
173Nihar the Great:0 Aristotle 15.02 0.23 965 0
174ebp:0 haoyu 15.03 0.04 22 0
175Tao:1 Aristotle 15.03 0.07 20 0
176Walter Little:0 haoyu 15.04 0.04 18 0
177Bar Shabtai:1 haoyu 15.05 0.12 34 0
178Mark S. Fillmore:1 Supahaka 15.05 0.04 114 79
179Ben Chen:0 Elphaba 15.08 0.07 14 0
180Sabar Dasgupta:0 spl 15.08 0.23 9 0
181CAPS LOCK:1 Aristotle 15.08 0.25 821 0
182BH:0 haoyu 15.09 0.07 61 0
183DinnerPartyPlannerBM:0 Aristotle 15.09 0.11 43 0
184Sabar Dasgupta:1 Aaron Doll 15.11 0.17 25 0
185burrito:1 haoyu 15.11 0.10 1804 0
186Nihar the Great:1 Aristotle 15.11 0.25 992 0
187ebp:1 haoyu 15.12 0.04 24 0
188Elphaba:0 Aristotle 15.13 0.24 32 0
189jgs:1 haoyu 15.15 0.18 76 0
190Mark S. Fillmore:0 Supahaka 15.17 0.01 156 116
191Ben Chen:1 spl 15.23 0.20 90 0
192Elphaba:1 Aristotle 15.23 0.22 33 0
193soccer:0 haoyu 15.23 0.04 19 0
194Aaron Doll:0 Aristotle 15.24 0.56 146 0
195Absurdity:0 Aristotle 15.25 0.23 4 0
196jgs:0 Aristotle 15.26 0.12 108 0
197Yacob Y.:1 Aristotle 15.30 15.00 22 1
198CAPS LOCK:0 Aristotle 15.35 0.20 1547 0
199John Whelchel:1 haoyu 15.38 0.11 21 0
200Shaheed Chagani:1 Aristotle 15.67 0.11 497 0
201Aristotle:1 Aristotle 15.76 9.69 119 0
202Andrew Werner:1 haoyu 15.84 0.11 45 0
203Andrew Werner:0 Aaron Doll 15.92 0.33 44 0
204Andys:0 Aristotle 15.96 0.12 14 0
205Aristotle:0 Aristotle 15.99 15.00 119 1
206Absurdity:1 Aristotle 16.05 0.18 5 0
207Andys:1 Aristotle 16.16 0.13 17 0
208John Whelchel:0 haoyu 16.63 0.06 10 0
209Deric Cheng:1 jgs 17.20 14.98 3 1
21013a:1 Aaron Doll 18.12 15.00 145 29
211Aaron Doll:1 Aristotle 18.51 1.27 154 0
21213a:0 Aaron Doll 19.73 15.00 143 21
213Bar Shabtai:0 Aaron Doll 20.03 15.01 86 1
214Jessie Chen:0 Joel Faron - 0.13 - 1
215Keji Xu:1 Nihar the Great - 0.04 - 0
216The Whitman Whale:0 bigwig - 0.04 - 0
217Qinlan Shen:1 R. A. B. - 9.00 - 1
218Quite Satisfied:1 Joel Faron - 2.11 - 1
219Jessie Chen:1 Joel Faron - 0.12 - 1
220SuperFan:0 jgs - 14.98 - 4
221T. Capote:0 haoyu - 0.00 - 2
222Andrew Grasso:1 Shaheed Chagani - 0.15 - 0
223DeeEmEm:0 CAPS LOCK - 13.00 - 1
2240108:0 jgs - 14.98 - 1
225SuperFan:1 jgs - 14.98 - 4
226T. Capote:1 haoyu - 0.00 - 2
227Andrew Grasso:0 Aaron Doll - 0.18 - 0
228Janie Gu:1 Jonathan Kwok - 0.07 - 0


SatSolvers Ranklist Generators Ranklist