SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Joshua Zimmer

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 Joshua Zimmer 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 Joshua Zimmer 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: Joshua Zimmer
Rank: 13 / 118
Average Score: 4.76
Median Score: 0.59
Description: This sat-solver generates models via WalkSAT and returns the best one when time runs out.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3bigwig:1 KingBach 0.00 0.00 0 0
4Bebe Shi:0 KingBach 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6Bebe Shi:1 KingBach 0.00 0.00 0 0
7K.L.:1 KingBach 0.00 0.00 0 0
8Miranda:1 cat 0.00 0.00 0 0
9Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
10Solving For Clauses:1 haoyu 0.01 0.00 0 0
11Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
12Joshua Zimmer:1 haoyu 0.01 0.00 0 0
13Miranda:0 cat 0.01 0.00 0 0
14Joshua Zimmer:0 haoyu 0.01 0.00 0 0
15Gewang:0 Jonathan Kwok 0.01 0.00 0 0
16Blam:0 Elphaba 0.01 0.00 0 0
17Gewang:1 Jonathan Kwok 0.01 0.00 0 0
18K.L.:0 haoyu 0.01 0.00 0 0
19BMJ:1 burrito 0.01 0.00 0 0
20bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
21David Paulk:0 cat 0.01 0.00 0 0
22Happy:1 KingBach 0.01 0.00 0 0
23Quite Satisfied:0 haoyu 0.01 0.00 0 0
24R. A. B.:1 cat 0.01 0.00 0 0
25Jonathan Kwok:1 KingBach 0.01 0.00 0 0
26BMJ:0 Elphaba 0.01 0.00 0 0
27David Paulk:1 Bar Shabtai 0.01 0.00 0 0
28Blam:1 Elphaba 0.02 0.00 0 0
29Mike Honcho:0 Miranda 0.02 0.01 0 0
30haoyu:0 KingBach 0.02 0.01 0 0
31Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
32Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
33haoyu:1 Anon5 0.02 0.01 0 0
34bchouGenerator:0 haoyu 0.02 0.00 0 0
35cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
36The Kraken:1 haoyu 0.02 0.00 0 0
37cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
38Daffy Duck:1 haoyu 0.02 0.00 0 0
39Happy:0 haoyu 0.02 0.00 0 0
40Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
41Tree Prophet:0 haoyu 0.03 0.00 0 0
42Scheduling Generator 203:0 jgs 0.03 0.01 0 0
43Tom T:1 Andrew Werner 0.03 0.02 0 0
44weezy:1 Bar Shabtai 0.03 0.01 0 0
45Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
46Tom T:0 EC 0.03 0.02 0 0
47R. A. B.:0 Nihar the Great 0.04 0.00 0 0
48Jameh:0 haoyu 0.04 0.01 0 0
49Mickey Mouse:1 haoyu 0.04 0.01 0 0
50weezy:0 Bar Shabtai 0.04 0.01 0 0
51The Kraken:0 haoyu 0.04 0.00 0 0
52Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
53Boomshanka:1 Bar Shabtai 0.05 0.01 0 0
54David Lackey:0 Anon5 0.05 0.03 0 0
55Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
56Tree Prophet:1 haoyu 0.06 0.00 0 0
57totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
58vluu:1 Nihar the Great 0.06 0.02 0 0
59vluu:0 Nihar the Great 0.06 0.01 0 0
60Dr Roberto:1 Andrew Grasso 0.06 0.02 0 0
61Anon_K_P:1 Aristotle 0.06 0.03 0 0
62totallyOnFallBreak:1 Nikhilesh Sigatapu 0.06 0.01 0 0
63Ytterbium:0 Andrew Grasso 0.06 0.02 0 0
64Jameh:1 haoyu 0.07 0.01 0 0
65cat:1 haoyu 0.07 0.03 0 0
66David Lackey:1 Bar Shabtai 0.08 0.03 0 0
67cat:0 haoyu 0.08 0.03 0 0
68Boomshanka:0 haoyu 0.08 0.01 0 0
69Tiny Wings:0 haoyu 0.09 0.02 0 0
70AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.09 0.01 0 0
71Tiny Wings:1 haoyu 0.09 0.01 0 0
720108:1 haoyu 0.10 0.01 0 0
73Nikhilesh Sigatapu:0 haoyu 0.10 0.03 0 0
74Janie Gu:1 Jonathan Kwok 0.11 0.07 0 0
75Sunny:0 Green "The Bean" Choi 0.11 0.02 0 0
76Dr Roberto:0 Andrew Grasso 0.11 0.03 0 0
77Keji Xu:1 Nihar the Great 0.11 0.04 0 0
78The Whitman Whale:1 Andrew Grasso 0.11 0.03 0 0
79Janie Gu:0 Glenn Fisher 0.11 0.07 0 0
80Sunny:1 jabreezy 0.12 0.01 0 0
81Ytterbium:1 Nihar the Great 0.12 0.02 0 0
82Alex Fish:1 haoyu 0.14 0.02 0 0
83George Okeowo:0 Andrew Grasso 0.15 0.01 0 0
84The Whitman Whale:0 bigwig 0.15 0.04 0 0
85Nikhilesh Sigatapu:1 haoyu 0.16 0.04 0 0
86Keji Xu:0 Nihar the Great 0.16 0.03 0 0
87Lisa Kim:1 Bar Shabtai 0.17 0.06 0 0
88George Okeowo:1 Andrew Grasso 0.17 0.01 0 0
89Linda:0 Andrew Grasso 0.17 0.01 0 0
90Jordan Ash:0 EC 0.19 0.03 0 0
91DeeEmEm:1 haoyu 0.20 0.02 0 0
92AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.23 0.00 0 0
93kt4124:1 haoyu 0.26 0.04 0 0
94kt4124:0 haoyu 0.26 0.03 0 0
95Linda:1 Andrew Grasso 0.27 0.02 0 0
96Matt Haake:1 haoyu 0.28 0.05 0 0
97Samuel Jerome:0 haoyu 0.28 0.03 0 0
98Bob Dondero:0 Andrew Grasso 0.28 0.02 0 0
99Glenn Fisher:0 Elphaba 0.28 0.02 0 0
100Matt Haake:0 haoyu 0.31 0.05 0 0
101Alex Fish:0 haoyu 0.33 0.01 0 0
102Lisa Kim:0 Aristotle 0.33 0.07 0 0
103bfang:0 haoyu 0.34 0.04 0 0
104Yan Wu:0 haoyu 0.38 0.05 0 0
105Anon5:1 Green "The Bean" Choi 0.39 0.07 0 0
106Sally Smith:1 haoyu 0.40 0.04 0 0
107Anon_K_P:0 haoyu 0.41 0.02 0 0
108bfang:1 haoyu 0.42 0.04 0 0
109KingBach:1 haoyu 0.46 0.04 0 0
110Sally Smith:0 haoyu 0.46 0.04 0 0
111Batman:0 haoyu 0.47 0.04 0 0
112Tao:1 Aristotle 0.48 0.07 0 0
113Bob Dondero:1 Mickey Mouse 0.51 0.03 0 0
114Samuel Jerome:1 haoyu 0.59 0.03 0 0
115Batman:1 haoyu 0.63 0.04 0 0
116Tao:0 Bar Shabtai 0.70 0.02 0 0
117KingBach:0 haoyu 0.72 0.06 0 0
118Khoa:0 haoyu 0.74 0.09 0 0
119Sprt:1 haoyu 0.78 0.05 0 0
120Andrew Grasso:0 Aaron Doll 0.79 0.18 0 0
121Mercury:1 haoyu 0.79 0.05 0 0
122Khoa:1 Aristotle 0.81 0.09 0 0
123Mercury:0 haoyu 0.83 0.05 0 0
124Valya Barboy:0 Aristotle 0.85 0.06 0 0
125soccer:0 haoyu 0.97 0.04 0 0
126soccer:1 haoyu 1.00 0.04 0 0
127Yan Wu:1 haoyu 1.14 0.04 0 0
128Brendan Wright:0 haoyu 1.18 0.10 0 0
129Brendan Wright:1 Deric Cheng 1.20 0.10 0 0
130Sabar Dasgupta:1 Aaron Doll 1.20 0.17 0 0
131DinnerPartyPlannerBM:1 Nihar the Great 1.66 0.06 0 0
132Sabar Dasgupta:0 spl 1.77 0.23 0 0
133Fanny:0 Aristotle 1.98 0.10 0 0
134snowflakes:1 haoyu 2.02 0.03 0 0
135Walter Little:1 haoyu 2.05 0.03 0 0
136Mr. Blobby:0 Green "The Bean" Choi 2.09 0.14 0 0
137Mr. Blobby:1 dusty 2.12 0.12 0 0
138snowflakes:0 haoyu 2.23 0.03 0 0
139burrito:0 haoyu 2.25 0.09 0 0
140Yacob Y.:0 haoyu 2.29 0.06 0 0
141Glenn Fisher:1 jabreezy 2.43 0.09 0 0
142dfshasdsf12:0 haoyu 2.63 0.09 0 0
143Lil Thug:0 Andrew Grasso 2.63 0.03 0 0
144Ben Chen:1 spl 2.66 0.20 0 0
145Lil Thug:1 Andrew Grasso 2.69 0.03 0 0
146Charliezsc:1 haoyu 2.80 0.07 0 0
147Aaron H:0 Aristotle 2.88 0.11 0 0
148Valya Barboy:1 Shaheed Chagani 2.89 0.18 0 0
149Aaron H:1 Aristotle 3.29 0.11 0 0
150NA:1 Elphaba 3.43 0.04 0 0
151Sprt:0 Aristotle 3.84 0.11 0 0
152Ben Chen:0 Elphaba 4.14 0.07 0 0
153Fanny:1 Aristotle 4.17 0.12 0 0
154Andys:0 Aristotle 5.06 0.12 0 0
155DinnerPartyPlannerBM:0 Aristotle 5.44 0.11 0 0
156EC:1 haoyu 5.87 0.03 0 0
157Mike Hunt:1 Aristotle 5.93 0.29 0 0
158Andrew Werner:0 Aaron Doll 6.12 0.33 0 0
159dfshasdsf12:1 Nihar the Great 6.75 0.11 0 0
160burrito:1 haoyu 7.16 0.10 0 0
161ebp:1 haoyu 7.39 0.04 0 0
162John Whelchel:0 haoyu 7.41 0.06 0 0
163ebp:0 haoyu 7.81 0.04 0 0
164Andrew Werner:1 haoyu 8.94 0.11 0 0
165Andys:1 Aristotle 9.14 0.13 0 0
166jabreezy:1 Mercury 9.58 0.10 0 0
167BH:0 haoyu 9.61 0.07 0 0
168Bar Shabtai:1 haoyu 10.40 0.12 0 0
169jgs:1 haoyu 11.51 0.18 0 0
170CAPS LOCK:0 Aristotle 11.89 0.20 0 0
171nupog:1 Aristotle 12.16 0.12 0 0
172jabreezy:0 Mercury 12.35 0.09 0 0
173nupog:0 Aristotle 12.66 0.13 0 0
174BH:1 haoyu 12.79 0.05 0 0
175David H.:1 DeeEmEm 15.00 0.33 1 0
176Jessie Chen:0 Joel Faron 15.00 0.13 1 1
177Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
178Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
179Jessie Chen:1 Joel Faron 15.00 0.12 1 1
180Absurdity:1 Aristotle 15.00 0.18 1 0
181Andrew Grasso:1 Shaheed Chagani 15.00 0.15 1 0
182AFC:1 Aristotle 15.00 0.16 1 0
183CookieMonster:0 CookieMonster 15.00 0.82 1 0
184DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1850108:0 jgs 15.00 14.98 1 1
186CookieMonster:1 CookieMonster 15.00 1.10 1 0
187EC:0 haoyu 15.00 0.03 1 0
188Dusty:1 Shaheed Chagani 15.00 0.22 2 0
189Dusty:0 CookieMonster 15.00 1.39 2 0
190David H.:0 AFC 15.00 0.28 2 0
191T. Capote:0 haoyu 15.00 0.00 2 2
192T. Capote:1 haoyu 15.00 0.00 2 2
193spl:1 haoyu 15.00 0.06 3 0
194SuperFan:0 jgs 15.00 14.98 4 4
195SuperFan:1 jgs 15.00 14.98 4 4
196NA:0 haoyu 15.00 0.03 7 0
197Supahaka:1 Joel Faron 15.00 15.00 36 35
198Supahaka:0 Andrew Werner 15.00 15.00 37 35
199Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
200Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
201Aaron Doll:1 Aristotle 15.00 1.27 286120 0
202Walter Little:0 haoyu 15.00 0.04 1 0
203John Whelchel:1 haoyu 15.00 0.11 1 0
204Anon5:0 haoyu 15.00 0.05 1 0
205Charliezsc:0 jgs 15.00 14.98 1 1
206AFC:0 CookieMonster 15.00 0.34 1 0
207Elphaba:0 Aristotle 15.00 0.24 17923 0
208Nihar the Great:0 Aristotle 15.00 0.23 19747 0
209Mike Hunt:0 Aristotle 15.01 0.27 1 0
210spl:0 Elphaba 15.01 0.09 2 0
211Absurdity:0 Aristotle 15.01 0.23 2 0
21213a:0 Aaron Doll 15.01 15.00 29594 21
213Bar Shabtai:0 Aaron Doll 15.01 15.01 283453 1
214Elphaba:1 Aristotle 15.01 0.22 3966 0
215Shaheed Chagani:0 Aristotle 15.01 0.17 4 0
216Shaheed Chagani:1 Aristotle 15.01 0.11 5 0
217Matt Goldsmith:0 Nihar the Great 15.01 0.03 513501 0
21813a:1 Aaron Doll 15.02 15.00 29887 29
219CAPS LOCK:1 Aristotle 15.02 0.25 247 0
220Nihar the Great:1 Aristotle 15.02 0.25 20746 0
221Deric Cheng:1 jgs 15.02 14.98 1 1
222Yacob Y.:1 Aristotle 15.02 15.00 8 1
223Aaron Doll:0 Aristotle 15.02 0.56 229263 0
224Matt Goldsmith:1 Happy 15.04 0.03 506113 0
225Aristotle:1 Aristotle 15.05 9.69 720229 0
226Aristotle:0 Aristotle 15.07 15.00 722321 1
227Deric Cheng:0 jgs 15.07 14.99 1 1
228jgs:0 Aristotle 15.18 0.12 10 0


SatSolvers Ranklist Generators Ranklist