SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Gewang

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 Gewang 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 Gewang 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: Gewang
Rank: 93 / 118
Average Score: 15.98
Median Score: 15.02
Description: When time runs out, the SAT-solver will return the best random model it generates
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.01 0.00 0 0
3Ravi Tandon:0 KingBach 0.01 0.00 0 0
4Jonathan Kwok:1 KingBach 0.01 0.00 0 0
5Happy:1 KingBach 0.01 0.00 0 0
6Bebe Shi:0 KingBach 0.01 0.00 0 0
7BMJ:1 burrito 0.01 0.00 0 0
8Ravi Tandon:1 KingBach 0.01 0.00 0 0
9Bebe Shi:1 KingBach 0.02 0.00 0 0
10K.L.:1 KingBach 0.02 0.00 0 0
11Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
12Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
13BMJ:0 Elphaba 0.02 0.00 0 0
14Daffy Duck:1 haoyu 0.02 0.00 0 0
15Miranda:0 cat 0.02 0.00 0 0
16Mike Honcho:0 Miranda 0.02 0.01 0 0
17Solving For Clauses:1 haoyu 0.02 0.00 0 0
18Miranda:1 cat 0.02 0.00 0 0
19Joshua Zimmer:1 haoyu 0.03 0.00 0 0
20K.L.:0 haoyu 0.03 0.00 0 0
21Happy:0 haoyu 0.03 0.00 0 0
22Joshua Zimmer:0 haoyu 0.03 0.00 0 0
23bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
24Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
25R. A. B.:1 cat 0.03 0.00 0 0
26Daffy Duck:0 Andrew Werner 0.04 0.00 0 0
27bchouGenerator:0 haoyu 0.04 0.00 0 0
28haoyu:0 KingBach 0.04 0.01 0 0
29haoyu:1 Anon5 0.04 0.01 0 0
30Gewang:1 Jonathan Kwok 0.08 0.00 0 0
31Gewang:0 Jonathan Kwok 0.09 0.00 0 0
32Blam:0 Elphaba 0.13 0.00 0 0
33Tree Prophet:0 haoyu 0.13 0.00 0 0
34Scheduling Generator 203:0 jgs 0.14 0.01 0 0
35The Kraken:1 haoyu 0.16 0.00 0 0
36Blam:1 Elphaba 0.17 0.00 0 0
37Quite Satisfied:0 haoyu 0.19 0.00 0 0
38Jordan Ash:1 Bar Shabtai 0.20 0.01 0 0
39Qinlan Shen:0 Bar Shabtai 0.26 0.01 0 0
40Tom T:1 Andrew Werner 0.27 0.02 0 0
41The Kraken:0 haoyu 0.37 0.00 0 0
42David Paulk:0 cat 0.38 0.00 0 0
43Tom T:0 EC 0.38 0.02 0 0
44Scheduling Generator 203:1 Jameh 0.39 0.02 0 0
45David Paulk:1 Bar Shabtai 0.42 0.00 0 0
46David Lackey:0 Anon5 0.46 0.03 0 0
47R. A. B.:0 Nihar the Great 0.54 0.00 0 0
480108:1 haoyu 0.73 0.01 0 0
49Dr Roberto:1 Andrew Grasso 0.73 0.02 0 0
50Sunny:1 jabreezy 0.89 0.01 0 0
51Bob Dondero:1 Mickey Mouse 0.98 0.03 0 0
52David Lackey:1 Bar Shabtai 1.01 0.03 0 0
53Jordan Ash:0 EC 1.05 0.03 0 0
54Dr Roberto:0 Andrew Grasso 1.28 0.03 0 0
55weezy:1 Bar Shabtai 1.41 0.01 0 0
56Bob Dondero:0 Andrew Grasso 1.47 0.02 0 0
57Mickey Mouse:0 Bar Shabtai 1.52 0.01 0 0
58Tree Prophet:1 haoyu 1.54 0.00 0 0
59Mickey Mouse:1 haoyu 1.70 0.01 0 0
60weezy:0 Bar Shabtai 1.80 0.01 0 0
61cmF5a3ly:0 Nihar the Great 1.85 0.00 0 0
62Tiny Wings:1 haoyu 2.53 0.01 0 0
63Alex Fish:1 haoyu 2.93 0.02 0 0
64cmF5a3ly:1 Nihar the Great 3.05 0.00 0 0
65AARON BURR, DROPPIN' HAMILTONS:0 haoyu 3.68 0.00 0 0
66AARON BURR, DROPPIN' HAMILTONS:1 haoyu 3.87 0.01 0 0
67Jameh:0 haoyu 5.09 0.01 0 0
68Linda:0 Andrew Grasso 5.36 0.01 0 0
69Tiny Wings:0 haoyu 6.26 0.02 0 0
70Sunny:0 Green "The Bean" Choi 6.74 0.02 0 0
71Alex Fish:0 haoyu 6.85 0.01 0 0
72Boomshanka:1 Bar Shabtai 7.06 0.01 0 0
73Anon_K_P:1 Aristotle 8.07 0.03 0 0
74Anon_K_P:0 haoyu 8.79 0.02 0 0
75Keji Xu:0 Nihar the Great 8.87 0.03 0 0
76Keji Xu:1 Nihar the Great 9.39 0.04 0 0
77Tao:1 Aristotle 9.80 0.07 0 0
78The Whitman Whale:0 bigwig 11.39 0.04 0 0
79The Whitman Whale:1 Andrew Grasso 13.01 0.03 0 0
80Linda:1 Andrew Grasso 14.98 0.02 0 0
81Jessie Chen:0 Joel Faron 15.00 0.13 1 1
82Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
83DeeEmEm:1 haoyu 15.00 0.02 1 0
84Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
85Jessie Chen:1 Joel Faron 15.00 0.12 1 1
86T. Capote:0 haoyu 15.00 0.00 2 2
87DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
88T. Capote:1 haoyu 15.00 0.00 2 2
89kt4124:0 haoyu 15.00 0.03 808 0
90Anon5:1 Green "The Bean" Choi 15.00 0.07 2 0
91Valya Barboy:1 Shaheed Chagani 15.00 0.18 3 0
92SuperFan:1 jgs 15.00 14.98 5 4
93SuperFan:0 jgs 15.00 14.98 6 4
94vluu:1 Nihar the Great 15.00 0.02 267 0
95Valya Barboy:0 Aristotle 15.00 0.06 3 0
96Supahaka:1 Joel Faron 15.00 15.00 35 35
97Boomshanka:0 haoyu 15.00 0.01 1 0
980108:0 jgs 15.00 14.98 1 1
99Janie Gu:1 Jonathan Kwok 15.00 0.07 3 0
100Supahaka:0 Andrew Werner 15.00 15.00 35 35
101David H.:0 AFC 15.01 0.28 3 0
102Matt Haake:1 haoyu 15.01 0.05 64 0
103Dusty:1 Shaheed Chagani 15.01 0.22 16 0
104Andrew Werner:0 Aaron Doll 15.01 0.33 30345 0
105David H.:1 DeeEmEm 15.01 0.33 3 0
106Janie Gu:0 Glenn Fisher 15.01 0.07 4 0
107Andrew Grasso:0 Aaron Doll 15.01 0.18 14 0
108CookieMonster:0 CookieMonster 15.01 0.82 1420 0
109Dusty:0 CookieMonster 15.01 1.39 22 0
110Anon5:0 haoyu 15.02 0.05 6 0
111Andrew Grasso:1 Shaheed Chagani 15.02 0.15 13 0
112NA:1 Elphaba 15.02 0.04 514 0
113Ytterbium:1 Nihar the Great 15.02 0.02 1819 0
114Nikhilesh Sigatapu:0 haoyu 15.02 0.03 2 0
115vluu:0 Nihar the Great 15.02 0.01 47 0
116ebp:1 haoyu 15.02 0.04 8098 0
117Yan Wu:0 haoyu 15.02 0.05 39 0
118Jameh:1 haoyu 15.02 0.01 136 0
119Mark S. Fillmore:1 Supahaka 15.02 0.04 552 79
120cat:0 haoyu 15.02 0.03 313 0
121Samuel Jerome:0 haoyu 15.02 0.03 25 0
122Yan Wu:1 haoyu 15.02 0.04 24 0
123AFC:0 CookieMonster 15.03 0.34 1196 0
124Tao:0 Bar Shabtai 15.03 0.02 1 0
125Nikhilesh Sigatapu:1 haoyu 15.03 0.04 4 0
126EC:0 haoyu 15.03 0.03 502 0
127Ytterbium:0 Andrew Grasso 15.03 0.02 10 0
128cat:1 haoyu 15.03 0.03 24 0
129CookieMonster:1 CookieMonster 15.03 1.10 1220 0
130Matt Haake:0 haoyu 15.03 0.05 96 0
131Walter Little:0 haoyu 15.03 0.04 3435 0
132Brendan Wright:1 Deric Cheng 15.04 0.10 2 0
133Fanny:0 Aristotle 15.04 0.10 20 0
134EC:1 haoyu 15.04 0.03 443 0
135NA:0 haoyu 15.04 0.03 581 0
136Samuel Jerome:1 haoyu 15.04 0.03 191 0
137Glenn Fisher:1 jabreezy 15.04 0.09 1054 0
138Fanny:1 Aristotle 15.05 0.12 30 0
139snowflakes:1 haoyu 15.05 0.03 858 0
140Ben Chen:0 Elphaba 15.06 0.07 3308 0
141Lisa Kim:0 Aristotle 15.06 0.07 3305 0
142kt4124:1 haoyu 15.07 0.04 714 0
143George Okeowo:0 Andrew Grasso 15.07 0.01 3526 0
144Glenn Fisher:0 Elphaba 15.07 0.02 1231 0
145Sally Smith:1 haoyu 15.07 0.04 2343 0
146AFC:1 Aristotle 15.08 0.16 1375 0
147Brendan Wright:0 haoyu 15.08 0.10 1 0
148snowflakes:0 haoyu 15.09 0.03 1303 0
149Mr. Blobby:0 Green "The Bean" Choi 15.10 0.14 1942 0
150Mark S. Fillmore:0 Supahaka 15.11 0.01 1296 116
151Walter Little:1 haoyu 15.11 0.03 3588 0
152Mr. Blobby:1 dusty 15.11 0.12 1933 0
153soccer:0 haoyu 15.12 0.04 6211 0
154Lisa Kim:1 Bar Shabtai 15.12 0.06 2705 0
155KingBach:1 haoyu 15.13 0.04 11799 0
156Ben Chen:1 spl 15.13 0.20 3565 0
157bfang:1 haoyu 15.16 0.04 7017 0
158DinnerPartyPlannerBM:1 Nihar the Great 15.16 0.06 23214 0
159Mercury:1 haoyu 15.17 0.05 5981 0
160Sally Smith:0 haoyu 15.17 0.04 2204 0
161jabreezy:0 Mercury 15.19 0.09 5519 0
162Mercury:0 haoyu 15.19 0.05 7933 0
163spl:0 Elphaba 15.19 0.09 3283 0
164jabreezy:1 Mercury 15.20 0.10 5460 0
165bfang:0 haoyu 15.20 0.04 6563 0
166Batman:0 haoyu 15.23 0.04 9887 0
167KingBach:0 haoyu 15.23 0.06 12563 0
168Yacob Y.:1 Aristotle 15.24 15.00 9986 1
169Yacob Y.:0 haoyu 15.27 0.06 8981 0
170Batman:1 haoyu 15.27 0.04 8733 0
171spl:1 haoyu 15.28 0.06 3152 0
172Absurdity:0 Aristotle 15.28 0.23 10218 0
173soccer:1 haoyu 15.29 0.04 5516 0
174George Okeowo:1 Andrew Grasso 15.34 0.01 3363 0
175ebp:0 haoyu 15.34 0.04 8303 0
176Deric Cheng:1 jgs 15.35 14.98 57630 1
177Absurdity:1 Aristotle 15.38 0.18 10078 0
178Charliezsc:0 jgs 15.41 14.98 12226 1
179Sabar Dasgupta:0 spl 15.42 0.23 13357 0
180John Whelchel:0 haoyu 15.47 0.06 31321 0
181Khoa:1 Aristotle 15.50 0.09 8083 0
182Sprt:1 haoyu 15.50 0.05 12719 0
183totallyOnFallBreak:1 Nikhilesh Sigatapu 15.56 0.01 2710 0
184Khoa:0 haoyu 15.65 0.09 7253 0
185Andys:1 Aristotle 15.72 0.13 31684 0
186Charliezsc:1 haoyu 15.84 0.07 16033 0
187Andys:0 Aristotle 15.95 0.12 30468 0
188Sabar Dasgupta:1 Aaron Doll 16.03 0.17 14801 0
189John Whelchel:1 haoyu 16.14 0.11 30769 0
190burrito:0 haoyu 16.25 0.09 23904 0
191Mike Hunt:1 Aristotle 16.26 0.29 22830 0
192dfshasdsf12:1 Nihar the Great 16.27 0.11 31085 0
193Aaron H:1 Aristotle 16.37 0.11 27732 0
194dfshasdsf12:0 haoyu 16.46 0.09 19690 0
195Mike Hunt:0 Aristotle 16.55 0.27 23280 0
196burrito:1 haoyu 16.58 0.10 44645 0
197jgs:0 Aristotle 16.73 0.12 57678 0
198BH:0 haoyu 16.75 0.07 19855 0
199Aaron H:0 Aristotle 16.82 0.11 26751 0
200Shaheed Chagani:0 Aristotle 16.86 0.17 33155 0
201BH:1 haoyu 17.02 0.05 20116 0
202Andrew Werner:1 haoyu 17.23 0.11 30270 0
203Lil Thug:0 Andrew Grasso 17.35 0.03 32551 0
204totallyOnFallBreak:0 Nikhilesh Sigatapu 17.47 0.01 1885 0
205DinnerPartyPlannerBM:0 Aristotle 17.63 0.11 45392 0
206Lil Thug:1 Andrew Grasso 18.32 0.03 31121 0
207nupog:1 Aristotle 18.43 0.12 4927 0
208nupog:0 Aristotle 18.54 0.13 4956 0
209Sprt:0 Aristotle 18.72 0.11 27401 0
210Deric Cheng:0 jgs 19.71 14.99 61414 1
211CAPS LOCK:0 Aristotle 20.30 0.20 43406 0
212CAPS LOCK:1 Aristotle 22.38 0.25 73161 0
213Bar Shabtai:1 haoyu 22.77 0.12 54866 0
214jgs:1 haoyu 25.32 0.18 52775 0
215Elphaba:1 Aristotle 25.37 0.22 108292 0
216Elphaba:0 Aristotle 26.44 0.24 123641 0
217Shaheed Chagani:1 Aristotle 28.28 0.11 35357 0
21813a:1 Aaron Doll 38.64 15.00 125196 29
21913a:0 Aaron Doll 48.69 15.00 126171 21
220Nihar the Great:0 Aristotle 91.78 0.23 126044 0
221Aaron Doll:0 Aristotle 107.64 0.56 289625 0
222Nihar the Great:1 Aristotle 112.56 0.25 112081 0
223Matt Goldsmith:0 Nihar the Great - 0.03 - 0
224Aristotle:1 Aristotle - 9.69 - 0
225Aaron Doll:1 Aristotle - 1.27 - 0
226Bar Shabtai:0 Aaron Doll - 15.01 - 1
227Aristotle:0 Aristotle - 15.00 - 1
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist