SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Aaron H

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 Aaron H 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 Aaron H 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: Aaron H
Rank: 43 / 118
Average Score: 6.69
Median Score: 1.11
Description: Uses a modified WalkSAT algorithm with infinite number of flips and random restarts. The timer value indicates when the algorithm should 'give up'.
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
4Ravi Tandon:1 KingBach 0.00 0.00 0 0
5K.L.:1 KingBach 0.00 0.00 0 0
6Bebe Shi:0 KingBach 0.00 0.00 0 0
7Jonathan Kwok:1 KingBach 0.00 0.00 0 0
8Daffy Duck:0 Andrew Werner 0.00 0.00 0 0
9Miranda:1 cat 0.01 0.00 0 0
10Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12Daffy Duck:1 haoyu 0.01 0.00 0 0
13Joshua Zimmer:0 haoyu 0.01 0.00 0 0
14Solving For Clauses:1 haoyu 0.01 0.00 0 0
15Happy:1 KingBach 0.01 0.00 0 0
16bchouGenerator:0 haoyu 0.01 0.00 0 0
17Blam:1 Elphaba 0.01 0.00 0 0
18Bebe Shi:1 KingBach 0.01 0.00 0 0
19Miranda:0 cat 0.01 0.00 0 0
20R. A. B.:1 cat 0.01 0.00 0 0
21Gewang:0 Jonathan Kwok 0.01 0.00 0 0
22K.L.:0 haoyu 0.01 0.00 0 0
23Quite Satisfied:0 haoyu 0.01 0.00 0 0
24Tree Prophet:0 haoyu 0.01 0.00 0 0
25BMJ:1 burrito 0.01 0.00 0 0
26Blam:0 Elphaba 0.01 0.00 0 0
27The Kraken:1 haoyu 0.01 0.00 0 0
28David Paulk:0 cat 0.01 0.00 0 0
29haoyu:1 Anon5 0.01 0.01 0 0
30The Kraken:0 haoyu 0.01 0.00 0 0
31David Paulk:1 Bar Shabtai 0.01 0.00 0 0
32Gewang:1 Jonathan Kwok 0.01 0.00 0 0
33BMJ:0 Elphaba 0.01 0.00 0 0
34haoyu:0 KingBach 0.02 0.01 0 0
35Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
36bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
37Happy:0 haoyu 0.02 0.00 0 0
38Tom T:1 Andrew Werner 0.02 0.02 0 0
39Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
40Tree Prophet:1 haoyu 0.02 0.00 0 0
41cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
42cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
43R. A. B.:0 Nihar the Great 0.02 0.00 0 0
44Scheduling Generator 203:1 Jameh 0.03 0.02 0 0
45Mickey Mouse:1 haoyu 0.03 0.01 0 0
46Scheduling Generator 203:0 jgs 0.03 0.01 0 0
47weezy:0 Bar Shabtai 0.03 0.01 0 0
48Tom T:0 EC 0.03 0.02 0 0
49Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
50Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
51Mike Honcho:0 Miranda 0.04 0.01 0 0
52weezy:1 Bar Shabtai 0.04 0.01 0 0
53Sunny:1 jabreezy 0.04 0.01 0 0
540108:1 haoyu 0.04 0.01 0 0
55DeeEmEm:1 haoyu 0.04 0.02 0 0
56Sunny:0 Green "The Bean" Choi 0.05 0.02 0 0
57Tiny Wings:1 haoyu 0.05 0.01 0 0
58totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
59totallyOnFallBreak:1 Nikhilesh Sigatapu 0.06 0.01 0 0
60Jameh:0 haoyu 0.06 0.01 0 0
61vluu:1 Nihar the Great 0.06 0.02 0 0
62Bob Dondero:0 Andrew Grasso 0.06 0.02 0 0
63Mike Honcho:1 Jessie Chen 0.06 0.01 0 0
64Boomshanka:0 haoyu 0.07 0.01 0 0
65Tiny Wings:0 haoyu 0.07 0.02 0 0
66Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
67vluu:0 Nihar the Great 0.07 0.01 0 0
68Alex Fish:1 haoyu 0.07 0.02 0 0
69Keji Xu:1 Nihar the Great 0.08 0.04 0 0
70Dr Roberto:1 Andrew Grasso 0.08 0.02 0 0
71Dr Roberto:0 Andrew Grasso 0.09 0.03 0 0
72David Lackey:0 Anon5 0.09 0.03 0 0
73Bob Dondero:1 Mickey Mouse 0.10 0.03 0 0
74cat:0 haoyu 0.10 0.03 0 0
75Boomshanka:1 Bar Shabtai 0.11 0.01 0 0
76cat:1 haoyu 0.11 0.03 0 0
77The Whitman Whale:0 bigwig 0.11 0.04 0 0
78Nikhilesh Sigatapu:1 haoyu 0.12 0.04 0 0
79Keji Xu:0 Nihar the Great 0.12 0.03 0 0
80Jameh:1 haoyu 0.13 0.01 0 0
81Alex Fish:0 haoyu 0.13 0.01 0 0
82The Whitman Whale:1 Andrew Grasso 0.13 0.03 0 0
83Anon_K_P:0 haoyu 0.14 0.02 0 0
84Janie Gu:0 Glenn Fisher 0.15 0.07 0 0
85Linda:0 Andrew Grasso 0.15 0.01 0 0
86Nikhilesh Sigatapu:0 haoyu 0.15 0.03 0 0
87Ytterbium:1 Nihar the Great 0.16 0.02 0 0
88AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.16 0.00 0 0
89David Lackey:1 Bar Shabtai 0.16 0.03 0 0
90Janie Gu:1 Jonathan Kwok 0.16 0.07 0 0
91George Okeowo:1 Andrew Grasso 0.19 0.01 0 0
92George Okeowo:0 Andrew Grasso 0.22 0.01 0 0
93Jordan Ash:0 EC 0.24 0.03 0 0
94Samuel Jerome:0 haoyu 0.29 0.03 0 0
95Linda:1 Andrew Grasso 0.30 0.02 0 0
96Tao:1 Aristotle 0.30 0.07 0 0
97Lisa Kim:1 Bar Shabtai 0.33 0.06 0 0
98Sally Smith:0 haoyu 0.34 0.04 0 0
99Lisa Kim:0 Aristotle 0.38 0.07 0 0
100Tao:0 Bar Shabtai 0.43 0.02 0 0
101Sally Smith:1 haoyu 0.46 0.04 0 0
102kt4124:0 haoyu 0.46 0.03 0 0
103Samuel Jerome:1 haoyu 0.49 0.03 0 0
104Batman:0 haoyu 0.53 0.04 0 0
105kt4124:1 haoyu 0.54 0.04 0 0
106Batman:1 haoyu 0.57 0.04 0 0
107bfang:1 haoyu 0.59 0.04 0 0
108bfang:0 haoyu 0.64 0.04 0 0
109KingBach:1 haoyu 0.64 0.04 0 0
110KingBach:0 haoyu 0.84 0.06 0 0
111Glenn Fisher:0 Elphaba 0.90 0.02 0 0
112AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.95 0.01 0 0
113Khoa:0 haoyu 1.00 0.09 0 0
114Khoa:1 Aristotle 1.11 0.09 0 0
115Sprt:1 haoyu 1.12 0.05 0 0
116Yan Wu:1 haoyu 1.14 0.04 0 0
117soccer:1 haoyu 1.16 0.04 0 0
118soccer:0 haoyu 1.19 0.04 0 0
119Mercury:0 haoyu 1.53 0.05 0 0
120Yan Wu:0 haoyu 1.75 0.05 0 0
121Anon_K_P:1 Aristotle 2.06 0.03 0 0
122DinnerPartyPlannerBM:1 Nihar the Great 2.13 0.06 0 0
123Mercury:1 haoyu 2.13 0.05 0 0
124Sabar Dasgupta:1 Aaron Doll 2.61 0.17 0 0
125dfshasdsf12:0 haoyu 2.97 0.09 0 0
126Matt Haake:0 haoyu 3.71 0.05 0 0
127Yacob Y.:0 haoyu 4.12 0.06 0 0
128Matt Haake:1 haoyu 5.05 0.05 0 0
129Fanny:1 Aristotle 5.87 0.12 0 0
130Brendan Wright:1 Deric Cheng 8.41 0.10 0 0
131Fanny:0 Aristotle 10.12 0.10 0 0
132Sabar Dasgupta:0 spl 10.77 0.23 0 0
133Brendan Wright:0 haoyu 14.91 0.10 0 0
134Anon5:1 Green "The Bean" Choi 15.00 0.07 1 0
135Jessie Chen:0 Joel Faron 15.00 0.13 1 1
136Valya Barboy:1 Shaheed Chagani 15.00 0.18 1 0
137Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
138Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
139Jessie Chen:1 Joel Faron 15.00 0.12 1 1
140David H.:0 AFC 15.00 0.28 1 0
141CookieMonster:0 CookieMonster 15.00 0.82 1 0
142DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1430108:0 jgs 15.00 14.98 1 1
144Valya Barboy:0 Aristotle 15.00 0.06 1 0
145Anon5:0 haoyu 15.00 0.05 2 0
146T. Capote:0 haoyu 15.00 0.00 2 2
147T. Capote:1 haoyu 15.00 0.00 2 2
148EC:0 haoyu 15.00 0.03 2 0
149David H.:1 DeeEmEm 15.00 0.33 3 0
150AFC:1 Aristotle 15.00 0.16 3 0
151SuperFan:0 jgs 15.00 14.98 4 4
152burrito:0 haoyu 15.00 0.09 4 0
153SuperFan:1 jgs 15.00 14.98 4 4
154Absurdity:1 Aristotle 15.00 0.18 5 0
155Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 8 0
156jabreezy:1 Mercury 15.00 0.10 8 0
157Walter Little:1 haoyu 15.00 0.03 8 0
158Glenn Fisher:1 jabreezy 15.00 0.09 8 0
159spl:0 Elphaba 15.00 0.09 9 0
160Mr. Blobby:1 dusty 15.00 0.12 9 0
161Walter Little:0 haoyu 15.00 0.04 10 0
162NA:1 Elphaba 15.00 0.04 11 0
163snowflakes:1 haoyu 15.00 0.03 12 0
164Andrew Grasso:1 Shaheed Chagani 15.00 0.15 14 0
165Andrew Grasso:0 Aaron Doll 15.00 0.18 14 0
166Dusty:1 Shaheed Chagani 15.00 0.22 15 0
167Dusty:0 CookieMonster 15.00 1.39 15 0
168NA:0 haoyu 15.00 0.03 15 0
169ebp:1 haoyu 15.00 0.04 16 0
170ebp:0 haoyu 15.00 0.04 18 0
171snowflakes:0 haoyu 15.00 0.03 19 0
172Supahaka:0 Andrew Werner 15.00 15.00 35 35
173Supahaka:1 Joel Faron 15.00 15.00 35 35
174Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
175Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
176Charliezsc:1 haoyu 15.00 0.07 1 0
177AFC:0 CookieMonster 15.00 0.34 3 0
178Ben Chen:0 Elphaba 15.00 0.07 9 0
179Ben Chen:1 spl 15.00 0.20 9 0
180Andys:1 Aristotle 15.00 0.13 11 0
181Aaron H:1 Aristotle 15.00 0.11 24 0
182Mike Hunt:1 Aristotle 15.00 0.29 40 0
183EC:1 haoyu 15.00 0.03 1 0
184CookieMonster:1 CookieMonster 15.00 1.10 1 0
185spl:1 haoyu 15.00 0.06 6 0
186jabreezy:0 Mercury 15.00 0.09 14 0
187Andrew Werner:1 haoyu 15.00 0.11 78 0
188BH:0 haoyu 15.00 0.07 2660 0
189nupog:1 Aristotle 15.00 0.12 3538 0
190nupog:0 Aristotle 15.00 0.13 3573 0
191DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 22240 0
192John Whelchel:1 haoyu 15.00 0.11 5 0
193Lil Thug:1 Andrew Grasso 15.00 0.03 378 0
194Lil Thug:0 Andrew Grasso 15.00 0.03 1028 0
195Shaheed Chagani:0 Aristotle 15.00 0.17 17430 0
196dfshasdsf12:1 Nihar the Great 15.01 0.11 10366 0
197Deric Cheng:1 jgs 15.01 14.98 14650 1
198Shaheed Chagani:1 Aristotle 15.01 0.11 17656 0
199Andys:0 Aristotle 15.01 0.12 17 0
200Mike Hunt:0 Aristotle 15.01 0.27 25 0
201BH:1 haoyu 15.01 0.05 2378 0
202Bar Shabtai:1 haoyu 15.01 0.12 31970 0
203jgs:0 Aristotle 15.01 0.12 38363 0
204Absurdity:0 Aristotle 15.01 0.23 7 0
205Charliezsc:0 jgs 15.01 14.98 1 1
206Yacob Y.:1 Aristotle 15.01 15.00 12 1
207Andrew Werner:0 Aaron Doll 15.01 0.33 439 0
208CAPS LOCK:0 Aristotle 15.01 0.20 7556 0
209Sprt:0 Aristotle 15.01 0.11 2366 0
210Elphaba:1 Aristotle 15.01 0.22 83822 0
211Deric Cheng:0 jgs 15.01 14.99 15730 1
212Nihar the Great:1 Aristotle 15.01 0.25 24832 0
213burrito:1 haoyu 15.02 0.10 14305 0
214John Whelchel:0 haoyu 15.02 0.06 9 0
215Aaron H:0 Aristotle 15.02 0.11 6 0
216jgs:1 haoyu 15.02 0.18 31206 0
217Elphaba:0 Aristotle 15.02 0.24 83891 0
21813a:0 Aaron Doll 15.03 15.00 110215 21
219Nihar the Great:0 Aristotle 15.03 0.23 24620 0
22013a:1 Aaron Doll 15.05 15.00 109244 29
221CAPS LOCK:1 Aristotle 15.05 0.25 43134 0
222Aaron Doll:0 Aristotle 15.05 0.56 265754 0
223Aristotle:1 Aristotle 15.07 9.69 731216 0
224Matt Goldsmith:1 Happy 15.07 0.03 502886 0
225Aaron Doll:1 Aristotle 15.12 1.27 333977 0
226Bar Shabtai:0 Aaron Doll 15.14 15.01 328519 1
227Aristotle:0 Aristotle 15.16 15.00 741432 1
228Matt Goldsmith:0 Nihar the Great 15.16 0.03 509759 0


SatSolvers Ranklist Generators Ranklist