SatSolvers Ranklist Generators Ranklist

Stats for satsolver: jgs

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 jgs 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 jgs 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: jgs
Rank: 12 / 118
Average Score: 4.67
Median Score: 0.45
Description: This sat-solver uses WalkSAT with an empirically optimized probability to try and maximize the number clauses it can satisfy before time runs out.
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
3Jonathan Kwok:1 KingBach 0.00 0.00 0 0
4BMJ:1 burrito 0.00 0.00 0 0
5bigwig:0 Andrew Werner 0.00 0.00 0 0
6Bebe Shi:0 KingBach 0.00 0.00 0 0
7Ravi Tandon:1 KingBach 0.00 0.00 0 0
8Ravi Tandon:0 KingBach 0.00 0.00 0 0
9K.L.:1 KingBach 0.00 0.00 0 0
10Happy:1 KingBach 0.00 0.00 0 0
11R. A. B.:1 cat 0.00 0.00 0 0
12Solving For Clauses:1 haoyu 0.00 0.00 0 0
13Joshua Zimmer:0 haoyu 0.00 0.00 0 0
14Miranda:0 cat 0.01 0.00 0 0
15Miranda:1 cat 0.01 0.00 0 0
16Blam:1 Elphaba 0.01 0.00 0 0
17Gewang:1 Jonathan Kwok 0.01 0.00 0 0
18Joshua Zimmer:1 haoyu 0.01 0.00 0 0
19Gewang:0 Jonathan Kwok 0.01 0.00 0 0
20K.L.:0 haoyu 0.01 0.00 0 0
21bchouGenerator:0 haoyu 0.01 0.00 0 0
22Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
23haoyu:0 KingBach 0.01 0.01 0 0
24Quite Satisfied:0 haoyu 0.01 0.00 0 0
25Tree Prophet:1 haoyu 0.01 0.00 0 0
26The Kraken:0 haoyu 0.01 0.00 0 0
27David Paulk:1 Bar Shabtai 0.01 0.00 0 0
28David Paulk:0 cat 0.01 0.00 0 0
29Scheduling Generator 203:0 jgs 0.01 0.01 0 0
30Blam:0 Elphaba 0.01 0.00 0 0
31Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
32Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
33BMJ:0 Elphaba 0.01 0.00 0 0
34The Kraken:1 haoyu 0.01 0.00 0 0
35Tree Prophet:0 haoyu 0.01 0.00 0 0
36bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
37R. A. B.:0 Nihar the Great 0.01 0.00 0 0
38haoyu:1 Anon5 0.01 0.01 0 0
39Happy:0 haoyu 0.01 0.00 0 0
40Daffy Duck:1 haoyu 0.01 0.00 0 0
41Qinlan Shen:0 Bar Shabtai 0.01 0.01 0 0
42Mickey Mouse:1 haoyu 0.02 0.01 0 0
43cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
44Mike Honcho:0 Miranda 0.02 0.01 0 0
45cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
46Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
47weezy:0 Bar Shabtai 0.02 0.01 0 0
48Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
49Scheduling Generator 203:1 Jameh 0.02 0.02 0 0
50weezy:1 Bar Shabtai 0.02 0.01 0 0
51Tom T:0 EC 0.02 0.02 0 0
52Tom T:1 Andrew Werner 0.03 0.02 0 0
53Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
54Sunny:1 jabreezy 0.03 0.01 0 0
55Tiny Wings:0 haoyu 0.04 0.02 0 0
56Dr Roberto:1 Andrew Grasso 0.04 0.02 0 0
57totallyOnFallBreak:0 Nikhilesh Sigatapu 0.04 0.01 0 0
58vluu:1 Nihar the Great 0.04 0.02 0 0
59Ytterbium:0 Andrew Grasso 0.04 0.02 0 0
60Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
61totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
62Jameh:0 haoyu 0.05 0.01 0 0
63Dr Roberto:0 Andrew Grasso 0.05 0.03 0 0
64Boomshanka:0 haoyu 0.06 0.01 0 0
65David Lackey:1 Bar Shabtai 0.06 0.03 0 0
66Keji Xu:0 Nihar the Great 0.06 0.03 0 0
67Tiny Wings:1 haoyu 0.06 0.01 0 0
68vluu:0 Nihar the Great 0.06 0.01 0 0
69AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.06 0.00 0 0
70cat:0 haoyu 0.06 0.03 0 0
71Anon_K_P:1 Aristotle 0.07 0.03 0 0
72Keji Xu:1 Nihar the Great 0.07 0.04 0 0
73AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.07 0.01 0 0
74Sunny:0 Green "The Bean" Choi 0.07 0.02 0 0
75Jameh:1 haoyu 0.07 0.01 0 0
76The Whitman Whale:1 Andrew Grasso 0.07 0.03 0 0
77Jordan Ash:0 EC 0.07 0.03 0 0
780108:1 haoyu 0.08 0.01 0 0
79Bob Dondero:0 Andrew Grasso 0.08 0.02 0 0
80Tao:1 Aristotle 0.09 0.07 0 0
81David Lackey:0 Anon5 0.09 0.03 0 0
82Ytterbium:1 Nihar the Great 0.12 0.02 0 0
83Alex Fish:1 haoyu 0.12 0.02 0 0
84Alex Fish:0 haoyu 0.13 0.01 0 0
85Nikhilesh Sigatapu:0 haoyu 0.13 0.03 0 0
86cat:1 haoyu 0.14 0.03 0 0
87George Okeowo:0 Andrew Grasso 0.14 0.01 0 0
88Matt Haake:0 haoyu 0.14 0.05 0 0
89Tao:0 Bar Shabtai 0.15 0.02 0 0
90George Okeowo:1 Andrew Grasso 0.15 0.01 0 0
91Linda:0 Andrew Grasso 0.15 0.01 0 0
92The Whitman Whale:0 bigwig 0.17 0.04 0 0
93Lisa Kim:1 Bar Shabtai 0.18 0.06 0 0
94Anon_K_P:0 haoyu 0.19 0.02 0 0
95Bob Dondero:1 Mickey Mouse 0.20 0.03 0 0
96Linda:1 Andrew Grasso 0.21 0.02 0 0
97Yan Wu:0 haoyu 0.22 0.05 0 0
98kt4124:0 haoyu 0.25 0.03 0 0
99Matt Haake:1 haoyu 0.27 0.05 0 0
100DeeEmEm:1 haoyu 0.27 0.02 0 0
101Nikhilesh Sigatapu:1 haoyu 0.27 0.04 0 0
102Lisa Kim:0 Aristotle 0.27 0.07 0 0
103Fanny:0 Aristotle 0.28 0.10 0 0
104Samuel Jerome:0 haoyu 0.28 0.03 0 0
105kt4124:1 haoyu 0.29 0.04 0 0
106Sally Smith:1 haoyu 0.30 0.04 0 0
107Mercury:1 haoyu 0.30 0.05 0 0
108bfang:0 haoyu 0.31 0.04 0 0
109Janie Gu:1 Jonathan Kwok 0.31 0.07 0 0
110Mercury:0 haoyu 0.32 0.05 0 0
111bfang:1 haoyu 0.33 0.04 0 0
112Sally Smith:0 haoyu 0.35 0.04 0 0
113Samuel Jerome:1 haoyu 0.40 0.03 0 0
114KingBach:1 haoyu 0.45 0.04 0 0
115Batman:0 haoyu 0.52 0.04 0 0
116Batman:1 haoyu 0.57 0.04 0 0
117Janie Gu:0 Glenn Fisher 0.72 0.07 0 0
118Sprt:1 haoyu 0.73 0.05 0 0
119soccer:1 haoyu 0.75 0.04 0 0
120Mr. Blobby:1 dusty 0.77 0.12 0 0
121Khoa:1 Aristotle 0.77 0.09 0 0
122Ben Chen:1 spl 0.79 0.20 0 0
123Andrew Grasso:0 Aaron Doll 0.81 0.18 0 0
124Mr. Blobby:0 Green "The Bean" Choi 0.88 0.14 0 0
125Khoa:0 haoyu 0.88 0.09 0 0
126KingBach:0 haoyu 0.89 0.06 0 0
127Brendan Wright:1 Deric Cheng 1.00 0.10 0 0
128Yan Wu:1 haoyu 1.08 0.04 0 0
129Glenn Fisher:0 Elphaba 1.54 0.02 0 0
130DinnerPartyPlannerBM:1 Nihar the Great 1.56 0.06 0 0
131soccer:0 haoyu 1.71 0.04 0 0
132Yacob Y.:0 haoyu 1.72 0.06 0 0
133Valya Barboy:0 Aristotle 1.75 0.06 0 0
134burrito:0 haoyu 1.90 0.09 0 0
135Valya Barboy:1 Shaheed Chagani 2.09 0.18 0 0
136Sabar Dasgupta:1 Aaron Doll 2.10 0.17 0 0
137Aaron H:1 Aristotle 2.38 0.11 0 0
138Sabar Dasgupta:0 spl 2.40 0.23 0 0
139EC:1 haoyu 2.44 0.03 0 0
140Aaron H:0 Aristotle 2.46 0.11 0 0
141Fanny:1 Aristotle 2.58 0.12 0 0
142Glenn Fisher:1 jabreezy 2.88 0.09 0 0
143Brendan Wright:0 haoyu 2.89 0.10 0 0
144Lil Thug:1 Andrew Grasso 2.92 0.03 0 0
145Ben Chen:0 Elphaba 2.93 0.07 0 0
146dfshasdsf12:0 haoyu 3.23 0.09 0 0
147Anon5:1 Green "The Bean" Choi 3.24 0.07 0 0
148Lil Thug:0 Andrew Grasso 3.44 0.03 0 0
149ebp:1 haoyu 3.79 0.04 0 0
150Sprt:0 Aristotle 3.97 0.11 0 0
151Absurdity:1 Aristotle 4.14 0.18 0 0
152Charliezsc:1 haoyu 4.31 0.07 0 0
153ebp:0 haoyu 4.41 0.04 0 0
154Absurdity:0 Aristotle 4.45 0.23 0 0
155John Whelchel:0 haoyu 4.56 0.06 0 0
156Mike Hunt:0 Aristotle 4.71 0.27 0 0
157Andrew Grasso:1 Shaheed Chagani 5.48 0.15 0 0
158David H.:0 AFC 5.76 0.28 0 0
159DinnerPartyPlannerBM:0 Aristotle 5.80 0.11 0 0
160dfshasdsf12:1 Nihar the Great 6.23 0.11 0 0
161EC:0 haoyu 6.38 0.03 0 0
162Walter Little:0 haoyu 6.42 0.04 0 0
163Mike Hunt:1 Aristotle 8.07 0.29 0 0
164jabreezy:1 Mercury 9.40 0.10 0 0
165CAPS LOCK:0 Aristotle 9.51 0.20 0 0
166BH:1 haoyu 9.56 0.05 0 0
167Bar Shabtai:1 haoyu 9.59 0.12 0 0
168jabreezy:0 Mercury 9.77 0.09 0 0
169Andrew Werner:0 Aaron Doll 10.22 0.33 0 0
170Andys:0 Aristotle 10.46 0.12 0 0
171snowflakes:1 haoyu 10.70 0.03 0 0
172BH:0 haoyu 11.10 0.07 0 0
173nupog:1 Aristotle 12.00 0.12 0 0
174burrito:1 haoyu 12.19 0.10 0 0
175snowflakes:0 haoyu 12.40 0.03 0 0
176nupog:0 Aristotle 12.65 0.13 0 0
177Dusty:1 Shaheed Chagani 13.78 0.22 0 0
178NA:1 Elphaba 13.88 0.04 0 0
179Andrew Werner:1 haoyu 14.79 0.11 0 0
180Jessie Chen:0 Joel Faron 14.98 0.13 1 1
181Qinlan Shen:1 R. A. B. 14.98 9.00 1 1
182Charliezsc:0 jgs 14.98 14.98 1 1
183Quite Satisfied:1 Joel Faron 14.98 2.11 1 1
184Jessie Chen:1 Joel Faron 14.98 0.12 1 1
185DeeEmEm:0 CAPS LOCK 14.98 13.00 1 1
1860108:0 jgs 14.98 14.98 1 1
187T. Capote:0 haoyu 14.98 0.00 2 2
188T. Capote:1 haoyu 14.98 0.00 2 2
189SuperFan:0 jgs 14.98 14.98 4 4
190SuperFan:1 jgs 14.98 14.98 4 4
191Mark S. Fillmore:1 Supahaka 14.98 0.04 79 79
192Mark S. Fillmore:0 Supahaka 14.98 0.01 116 116
193Deric Cheng:1 jgs 14.98 14.98 1 1
194Deric Cheng:0 jgs 14.99 14.99 1 1
195David H.:1 DeeEmEm 14.98 0.33 1 0
196Andys:1 Aristotle 14.98 0.13 1 0
197John Whelchel:1 haoyu 14.98 0.11 1 0
198Dusty:0 CookieMonster 14.98 1.39 1 0
199Walter Little:1 haoyu 14.98 0.03 1 0
200AFC:1 Aristotle 14.98 0.16 1 0
201CookieMonster:0 CookieMonster 14.98 0.82 1 0
202CookieMonster:1 CookieMonster 14.98 1.10 1 0
203AFC:0 CookieMonster 14.98 0.34 1 0
204Anon5:0 haoyu 14.98 0.05 2 0
205spl:0 Elphaba 14.98 0.09 2 0
206NA:0 haoyu 14.98 0.03 2 0
207spl:1 haoyu 14.98 0.06 2 0
208jgs:0 Aristotle 14.98 0.12 3 0
209Shaheed Chagani:0 Aristotle 14.98 0.17 5 0
210Shaheed Chagani:1 Aristotle 14.98 0.11 5 0
211Yacob Y.:1 Aristotle 14.98 15.00 7 1
212jgs:1 haoyu 14.98 0.18 9 0
213Supahaka:1 Joel Faron 14.98 15.00 37 35
214Supahaka:0 Andrew Werner 14.98 15.00 38 35
215CAPS LOCK:1 Aristotle 14.99 0.25 410 0
216Elphaba:1 Aristotle 14.99 0.22 15045 0
217Elphaba:0 Aristotle 14.98 0.24 16051 0
218Nihar the Great:1 Aristotle 14.99 0.25 17948 0
219Nihar the Great:0 Aristotle 14.99 0.23 20496 0
22013a:1 Aaron Doll 14.99 15.00 33871 29
22113a:0 Aaron Doll 14.98 15.00 49986 21
222Aaron Doll:0 Aristotle 14.98 0.56 206196 0
223Bar Shabtai:0 Aaron Doll 14.98 15.01 286217 1
224Aaron Doll:1 Aristotle 14.99 1.27 291128 0
225Matt Goldsmith:1 Happy 14.98 0.03 508156 0
226Matt Goldsmith:0 Nihar the Great 15.02 0.03 510335 0
227Aristotle:0 Aristotle 15.03 15.00 698703 1
228Aristotle:1 Aristotle 15.04 9.69 733590 0


SatSolvers Ranklist Generators Ranklist