SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Janie Gu

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 Janie Gu 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 Janie Gu 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: Janie Gu
Rank: 14 / 118
Average Score: 4.92
Median Score: 0.57
Description: This sat-solver is a variant of the WalkSAT algorithm that uses an adaptive mechanism to dynamically adjust the probability of random walk.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Ravi Tandon:0 KingBach 0.00 0.00 0 0
4Bebe Shi:1 KingBach 0.00 0.00 0 0
5K.L.:1 KingBach 0.00 0.00 0 0
6Miranda:1 cat 0.00 0.00 0 0
7Bebe Shi:0 KingBach 0.00 0.00 0 0
8BMJ:0 Elphaba 0.00 0.00 0 0
9Ravi Tandon:1 KingBach 0.00 0.00 0 0
10Miranda:0 cat 0.00 0.00 0 0
11Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
12Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
13Solving For Clauses:1 haoyu 0.01 0.00 0 0
14Jonathan Kwok:1 KingBach 0.01 0.00 0 0
15Joshua Zimmer:1 haoyu 0.01 0.00 0 0
16Joshua Zimmer:0 haoyu 0.01 0.00 0 0
17Happy:1 KingBach 0.01 0.00 0 0
18K.L.:0 haoyu 0.01 0.00 0 0
19bchouGenerator:0 haoyu 0.01 0.00 0 0
20Tree Prophet:0 haoyu 0.01 0.00 0 0
21R. A. B.:1 cat 0.01 0.00 0 0
22bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
23haoyu:1 Anon5 0.01 0.01 0 0
24Blam:1 Elphaba 0.01 0.00 0 0
25Daffy Duck:1 haoyu 0.01 0.00 0 0
26BMJ:1 burrito 0.01 0.00 0 0
27Quite Satisfied:0 haoyu 0.01 0.00 0 0
28Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
29Gewang:0 Jonathan Kwok 0.02 0.00 0 0
30Blam:0 Elphaba 0.02 0.00 0 0
31haoyu:0 KingBach 0.02 0.01 0 0
32cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
33The Kraken:1 haoyu 0.02 0.00 0 0
34Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
35The Kraken:0 haoyu 0.02 0.00 0 0
36Gewang:1 Jonathan Kwok 0.02 0.00 0 0
37David Paulk:0 cat 0.02 0.00 0 0
38cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
39Mike Honcho:0 Miranda 0.02 0.01 0 0
40Happy:0 haoyu 0.02 0.00 0 0
41Scheduling Generator 203:0 jgs 0.02 0.01 0 0
42Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
43David Paulk:1 Bar Shabtai 0.03 0.00 0 0
44Tom T:0 EC 0.03 0.02 0 0
45R. A. B.:0 Nihar the Great 0.03 0.00 0 0
46Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
47Mickey Mouse:1 haoyu 0.03 0.01 0 0
48Tree Prophet:1 haoyu 0.03 0.00 0 0
49weezy:1 Bar Shabtai 0.04 0.01 0 0
50Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
51Tom T:1 Andrew Werner 0.04 0.02 0 0
520108:1 haoyu 0.04 0.01 0 0
53Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
54totallyOnFallBreak:1 Nikhilesh Sigatapu 0.04 0.01 0 0
55Boomshanka:1 Bar Shabtai 0.05 0.01 0 0
56AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.05 0.00 0 0
57Tiny Wings:1 haoyu 0.05 0.01 0 0
58Jameh:0 haoyu 0.05 0.01 0 0
59Dr Roberto:1 Andrew Grasso 0.05 0.02 0 0
60totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
61weezy:0 Bar Shabtai 0.06 0.01 0 0
62Sunny:1 jabreezy 0.06 0.01 0 0
63vluu:0 Nihar the Great 0.06 0.01 0 0
64Alex Fish:1 haoyu 0.06 0.02 0 0
65Sunny:0 Green "The Bean" Choi 0.06 0.02 0 0
66David Lackey:1 Bar Shabtai 0.06 0.03 0 0
67Jordan Ash:0 EC 0.06 0.03 0 0
68David Lackey:0 Anon5 0.07 0.03 0 0
69Boomshanka:0 haoyu 0.07 0.01 0 0
70Keji Xu:0 Nihar the Great 0.07 0.03 0 0
71vluu:1 Nihar the Great 0.07 0.02 0 0
72Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
73Tiny Wings:0 haoyu 0.09 0.02 0 0
74AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.09 0.01 0 0
75Nikhilesh Sigatapu:1 haoyu 0.10 0.04 0 0
76DeeEmEm:1 haoyu 0.10 0.02 0 0
77Nikhilesh Sigatapu:0 haoyu 0.10 0.03 0 0
78The Whitman Whale:1 Andrew Grasso 0.10 0.03 0 0
79Jameh:1 haoyu 0.11 0.01 0 0
80The Whitman Whale:0 bigwig 0.11 0.04 0 0
81Keji Xu:1 Nihar the Great 0.11 0.04 0 0
82cat:0 haoyu 0.11 0.03 0 0
83cat:1 haoyu 0.11 0.03 0 0
84Alex Fish:0 haoyu 0.12 0.01 0 0
85Janie Gu:1 Jonathan Kwok 0.13 0.07 0 0
86Tao:1 Aristotle 0.15 0.07 0 0
87Ytterbium:1 Nihar the Great 0.15 0.02 0 0
88Fanny:0 Aristotle 0.16 0.10 0 0
89George Okeowo:1 Andrew Grasso 0.17 0.01 0 0
90George Okeowo:0 Andrew Grasso 0.19 0.01 0 0
91Dr Roberto:0 Andrew Grasso 0.20 0.03 0 0
92Samuel Jerome:0 haoyu 0.21 0.03 0 0
93Lisa Kim:1 Bar Shabtai 0.22 0.06 0 0
94Bob Dondero:1 Mickey Mouse 0.24 0.03 0 0
95Anon_K_P:1 Aristotle 0.25 0.03 0 0
96Lisa Kim:0 Aristotle 0.26 0.07 0 0
97Linda:0 Andrew Grasso 0.27 0.01 0 0
98kt4124:0 haoyu 0.27 0.03 0 0
99Matt Haake:1 haoyu 0.29 0.05 0 0
100Glenn Fisher:0 Elphaba 0.31 0.02 0 0
101Bob Dondero:0 Andrew Grasso 0.32 0.02 0 0
102Samuel Jerome:1 haoyu 0.35 0.03 0 0
103bfang:0 haoyu 0.35 0.04 0 0
104Mercury:1 haoyu 0.39 0.05 0 0
105Sally Smith:1 haoyu 0.40 0.04 0 0
106Yan Wu:0 haoyu 0.41 0.05 0 0
107Matt Haake:0 haoyu 0.41 0.05 0 0
108Tao:0 Bar Shabtai 0.47 0.02 0 0
109kt4124:1 haoyu 0.47 0.04 0 0
110Batman:0 haoyu 0.50 0.04 0 0
111Sally Smith:0 haoyu 0.51 0.04 0 0
112KingBach:1 haoyu 0.52 0.04 0 0
113bfang:1 haoyu 0.56 0.04 0 0
114Janie Gu:0 Glenn Fisher 0.57 0.07 0 0
115Anon_K_P:0 haoyu 0.58 0.02 0 0
116Linda:1 Andrew Grasso 0.60 0.02 0 0
117Yan Wu:1 haoyu 0.60 0.04 0 0
118Batman:1 haoyu 0.63 0.04 0 0
119Valya Barboy:0 Aristotle 0.70 0.06 0 0
120Khoa:0 haoyu 0.80 0.09 0 0
121Sprt:1 haoyu 0.82 0.05 0 0
122KingBach:0 haoyu 0.86 0.06 0 0
123Brendan Wright:0 haoyu 0.87 0.10 0 0
124Khoa:1 Aristotle 0.89 0.09 0 0
125Mercury:0 haoyu 0.97 0.05 0 0
126Anon5:1 Green "The Bean" Choi 1.00 0.07 0 0
127Brendan Wright:1 Deric Cheng 1.26 0.10 0 0
128burrito:0 haoyu 1.46 0.09 0 0
129Mr. Blobby:0 Green "The Bean" Choi 1.47 0.14 0 0
130Ben Chen:1 spl 1.55 0.20 0 0
131soccer:0 haoyu 1.77 0.04 0 0
132DinnerPartyPlannerBM:1 Nihar the Great 1.87 0.06 0 0
133Yacob Y.:0 haoyu 2.02 0.06 0 0
134EC:1 haoyu 2.10 0.03 0 0
135soccer:1 haoyu 2.27 0.04 0 0
136NA:1 Elphaba 2.36 0.04 0 0
137Ben Chen:0 Elphaba 2.37 0.07 0 0
138Sabar Dasgupta:1 Aaron Doll 2.52 0.17 0 0
139dfshasdsf12:0 haoyu 2.63 0.09 0 0
140Aaron H:0 Aristotle 2.72 0.11 0 0
141Fanny:1 Aristotle 2.91 0.12 0 0
142Sabar Dasgupta:0 spl 3.27 0.23 0 0
143ebp:1 haoyu 3.41 0.04 0 0
144Lil Thug:1 Andrew Grasso 3.51 0.03 0 0
145Sprt:0 Aristotle 3.53 0.11 0 0
146Lil Thug:0 Andrew Grasso 3.57 0.03 0 0
147Aaron H:1 Aristotle 3.69 0.11 0 0
148Mike Hunt:1 Aristotle 3.91 0.29 0 0
149John Whelchel:0 haoyu 4.00 0.06 0 0
150Anon5:0 haoyu 4.26 0.05 0 0
151Mr. Blobby:1 dusty 4.54 0.12 0 0
152dfshasdsf12:1 Nihar the Great 4.84 0.11 0 0
153Walter Little:1 haoyu 4.86 0.03 0 0
154Walter Little:0 haoyu 4.90 0.04 0 0
155Glenn Fisher:1 jabreezy 5.13 0.09 0 0
156ebp:0 haoyu 5.25 0.04 0 0
157Mike Hunt:0 Aristotle 5.44 0.27 0 0
158Andys:1 Aristotle 5.57 0.13 0 0
159Andys:0 Aristotle 5.58 0.12 0 0
160DinnerPartyPlannerBM:0 Aristotle 6.57 0.11 0 0
161CAPS LOCK:0 Aristotle 8.52 0.20 0 0
162BH:0 haoyu 9.00 0.07 0 0
163jabreezy:1 Mercury 9.34 0.10 0 0
164jabreezy:0 Mercury 9.77 0.09 0 0
165Charliezsc:1 haoyu 10.10 0.07 0 0
166BH:1 haoyu 10.87 0.05 0 0
167nupog:0 Aristotle 12.58 0.13 0 0
168nupog:1 Aristotle 13.12 0.12 0 0
169Andrew Werner:1 haoyu 13.26 0.11 0 0
170Andrew Werner:0 Aaron Doll 14.70 0.33 0 0
171T. Capote:0 haoyu 15.00 0.00 2 2
172T. Capote:1 haoyu 15.00 0.00 2 2
173Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
174Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
175CookieMonster:0 CookieMonster 15.00 0.82 1 0
176Jessie Chen:1 Joel Faron 15.00 0.12 2 1
177Jessie Chen:0 Joel Faron 15.00 0.13 3 1
178DeeEmEm:0 CAPS LOCK 15.00 13.00 3 1
179CookieMonster:1 CookieMonster 15.00 1.10 3 0
180Valya Barboy:1 Shaheed Chagani 15.00 0.18 4 0
1810108:0 jgs 15.00 14.98 4 1
182David H.:1 DeeEmEm 15.00 0.33 6 0
183Qinlan Shen:1 R. A. B. 15.00 9.00 6 1
184Quite Satisfied:1 Joel Faron 15.00 2.11 6 1
185spl:0 Elphaba 15.00 0.09 6 0
186EC:0 haoyu 15.00 0.03 7 0
187spl:1 haoyu 15.00 0.06 9 0
188David H.:0 AFC 15.00 0.28 11 0
189SuperFan:1 jgs 15.00 14.98 13 4
190AFC:0 CookieMonster 15.00 0.34 14 0
191Andrew Grasso:0 Aaron Doll 15.00 0.18 15 0
192Dusty:0 CookieMonster 15.00 1.39 16 0
193SuperFan:0 jgs 15.00 14.98 19 4
194Andrew Grasso:1 Shaheed Chagani 15.00 0.15 19 0
195Dusty:1 Shaheed Chagani 15.00 0.22 22 0
196snowflakes:1 haoyu 15.00 0.03 28 0
197NA:0 haoyu 15.00 0.03 37 0
198snowflakes:0 haoyu 15.00 0.03 39 0
199Supahaka:0 Andrew Werner 15.00 15.00 46 35
200Supahaka:1 Joel Faron 15.00 15.00 56 35
201AFC:1 Aristotle 15.00 0.16 10 0
202Bar Shabtai:1 haoyu 15.00 0.12 16 0
203John Whelchel:1 haoyu 15.00 0.11 2 0
204Yacob Y.:1 Aristotle 15.00 15.00 9 1
205Absurdity:1 Aristotle 15.00 0.18 13 0
20613a:0 Aaron Doll 15.00 15.00 74482 21
207Charliezsc:0 jgs 15.00 14.98 2 1
208jgs:1 haoyu 15.00 0.18 1639 0
209Nihar the Great:0 Aristotle 15.00 0.23 19216 0
210Nihar the Great:1 Aristotle 15.01 0.25 18494 0
211Shaheed Chagani:0 Aristotle 15.01 0.17 5 0
212Absurdity:0 Aristotle 15.01 0.23 9 0
213Shaheed Chagani:1 Aristotle 15.01 0.11 6 0
214Aaron Doll:1 Aristotle 15.01 1.27 284931 0
215Elphaba:0 Aristotle 15.01 0.24 10935 0
21613a:1 Aaron Doll 15.02 15.00 75861 29
217CAPS LOCK:1 Aristotle 15.03 0.25 10 0
218Elphaba:1 Aristotle 15.03 0.22 24000 0
219Matt Goldsmith:1 Happy 15.05 0.03 503985 0
220Bar Shabtai:0 Aaron Doll 15.05 15.01 295621 1
221Aaron Doll:0 Aristotle 15.05 0.56 240613 0
222Deric Cheng:1 jgs 15.07 14.98 3 1
223burrito:1 haoyu 15.10 0.10 2 0
224Deric Cheng:0 jgs 15.11 14.99 1 1
225jgs:0 Aristotle 15.12 0.12 5 0
226Matt Goldsmith:0 Nihar the Great 15.12 0.03 504820 0
227Aristotle:0 Aristotle 15.19 15.00 725425 1
228Aristotle:1 Aristotle 15.28 9.69 730869 0


SatSolvers Ranklist Generators Ranklist