SatSolvers Ranklist Generators Ranklist

Stats for satsolver: NA

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 NA 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 NA 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: NA
Rank: 20 / 118
Average Score: 5.14
Median Score: 0.56
Description: Modified WalkSAT
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:1 KingBach 0.00 0.00 0 0
4Ravi Tandon:0 KingBach 0.00 0.00 0 0
5Bebe Shi:1 KingBach 0.00 0.00 0 0
6K.L.:1 KingBach 0.00 0.00 0 0
7Miranda:1 cat 0.00 0.00 0 0
8Happy:1 KingBach 0.00 0.00 0 0
9Bebe Shi:0 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
12Solving For Clauses:1 haoyu 0.01 0.00 0 0
13Joshua Zimmer:0 haoyu 0.01 0.00 0 0
14Joshua Zimmer:1 haoyu 0.01 0.00 0 0
15Daffy Duck:1 haoyu 0.01 0.00 0 0
16BMJ:1 burrito 0.01 0.00 0 0
17K.L.:0 haoyu 0.01 0.00 0 0
18haoyu:1 Anon5 0.01 0.01 0 0
19Blam:0 Elphaba 0.01 0.00 0 0
20Blam:1 Elphaba 0.01 0.00 0 0
21BMJ:0 Elphaba 0.01 0.00 0 0
22R. A. B.:1 cat 0.01 0.00 0 0
23Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
24Happy:0 haoyu 0.01 0.00 0 0
25bchouGenerator:0 haoyu 0.01 0.00 0 0
26Gewang:0 Jonathan Kwok 0.01 0.00 0 0
27Tree Prophet:0 haoyu 0.02 0.00 0 0
28Gewang:1 Jonathan Kwok 0.02 0.00 0 0
29Jonathan Kwok:1 KingBach 0.02 0.00 0 0
30David Paulk:0 cat 0.02 0.00 0 0
31Tree Prophet:1 haoyu 0.02 0.00 0 0
32The Kraken:1 haoyu 0.02 0.00 0 0
33Scheduling Generator 203:0 jgs 0.02 0.01 0 0
34David Paulk:1 Bar Shabtai 0.02 0.00 0 0
35The Kraken:0 haoyu 0.02 0.00 0 0
36Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
37Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
38cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
39Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
40Quite Satisfied:0 haoyu 0.02 0.00 0 0
41Tom T:1 Andrew Werner 0.02 0.02 0 0
42bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
43Scheduling Generator 203:1 Jameh 0.03 0.02 0 0
44haoyu:0 KingBach 0.03 0.01 0 0
45Mickey Mouse:1 haoyu 0.03 0.01 0 0
46weezy:0 Bar Shabtai 0.03 0.01 0 0
47Tom T:0 EC 0.03 0.02 0 0
480108:1 haoyu 0.03 0.01 0 0
49R. A. B.:0 Nihar the Great 0.03 0.00 0 0
50AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.03 0.00 0 0
51Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
52cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
53Tiny Wings:0 haoyu 0.03 0.02 0 0
54Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
55Jameh:0 haoyu 0.04 0.01 0 0
56Tiny Wings:1 haoyu 0.04 0.01 0 0
57Jordan Ash:0 EC 0.04 0.03 0 0
58Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
59weezy:1 Bar Shabtai 0.04 0.01 0 0
60Mike Honcho:0 Miranda 0.05 0.01 0 0
61totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
62Jameh:1 haoyu 0.05 0.01 0 0
63Keji Xu:0 Nihar the Great 0.05 0.03 0 0
64totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
65vluu:0 Nihar the Great 0.06 0.01 0 0
66vluu:1 Nihar the Great 0.06 0.02 0 0
67Sunny:1 jabreezy 0.06 0.01 0 0
68David Lackey:1 Bar Shabtai 0.06 0.03 0 0
69Ytterbium:0 Andrew Grasso 0.06 0.02 0 0
70The Whitman Whale:1 Andrew Grasso 0.06 0.03 0 0
71The Whitman Whale:0 bigwig 0.07 0.04 0 0
72Keji Xu:1 Nihar the Great 0.07 0.04 0 0
73Dr Roberto:1 Andrew Grasso 0.07 0.02 0 0
74Boomshanka:0 haoyu 0.08 0.01 0 0
75Alex Fish:1 haoyu 0.08 0.02 0 0
76cat:1 haoyu 0.09 0.03 0 0
77Alex Fish:0 haoyu 0.09 0.01 0 0
78Bob Dondero:1 Mickey Mouse 0.09 0.03 0 0
79Dr Roberto:0 Andrew Grasso 0.10 0.03 0 0
80David Lackey:0 Anon5 0.10 0.03 0 0
81Janie Gu:0 Glenn Fisher 0.10 0.07 0 0
82Ytterbium:1 Nihar the Great 0.12 0.02 0 0
83cat:0 haoyu 0.12 0.03 0 0
84Nikhilesh Sigatapu:1 haoyu 0.12 0.04 0 0
85George Okeowo:1 Andrew Grasso 0.13 0.01 0 0
86Nikhilesh Sigatapu:0 haoyu 0.13 0.03 0 0
87George Okeowo:0 Andrew Grasso 0.15 0.01 0 0
88Janie Gu:1 Jonathan Kwok 0.15 0.07 0 0
89Sunny:0 Green "The Bean" Choi 0.17 0.02 0 0
90Linda:0 Andrew Grasso 0.17 0.01 0 0
91Tao:1 Aristotle 0.17 0.07 0 0
92Lisa Kim:0 Aristotle 0.18 0.07 0 0
93Lisa Kim:1 Bar Shabtai 0.20 0.06 0 0
94Bob Dondero:0 Andrew Grasso 0.21 0.02 0 0
95kt4124:1 haoyu 0.24 0.04 0 0
96AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.25 0.01 0 0
97kt4124:0 haoyu 0.26 0.03 0 0
98EC:1 haoyu 0.28 0.03 0 0
99Glenn Fisher:0 Elphaba 0.29 0.02 0 0
100Sally Smith:0 haoyu 0.31 0.04 0 0
101Tao:0 Bar Shabtai 0.31 0.02 0 0
102DeeEmEm:1 haoyu 0.32 0.02 0 0
103Sally Smith:1 haoyu 0.33 0.04 0 0
104Samuel Jerome:1 haoyu 0.36 0.03 0 0
105Linda:1 Andrew Grasso 0.36 0.02 0 0
106Mercury:1 haoyu 0.41 0.05 0 0
107Yan Wu:0 haoyu 0.45 0.05 0 0
108bfang:1 haoyu 0.47 0.04 0 0
109Anon_K_P:1 Aristotle 0.50 0.03 0 0
110Samuel Jerome:0 haoyu 0.50 0.03 0 0
111bfang:0 haoyu 0.53 0.04 0 0
112KingBach:1 haoyu 0.53 0.04 0 0
113Batman:0 haoyu 0.56 0.04 0 0
114Batman:1 haoyu 0.56 0.04 0 0
115Anon_K_P:0 haoyu 0.65 0.02 0 0
116Yan Wu:1 haoyu 0.68 0.04 0 0
117Khoa:0 haoyu 0.70 0.09 0 0
118Khoa:1 Aristotle 0.71 0.09 0 0
119Mercury:0 haoyu 0.76 0.05 0 0
120KingBach:0 haoyu 0.78 0.06 0 0
121Sprt:1 haoyu 0.79 0.05 0 0
122soccer:0 haoyu 0.90 0.04 0 0
123Glenn Fisher:1 jabreezy 0.91 0.09 0 0
124Anon5:1 Green "The Bean" Choi 1.10 0.07 0 0
125soccer:1 haoyu 1.39 0.04 0 0
126Ben Chen:0 Elphaba 1.47 0.07 0 0
127Fanny:1 Aristotle 1.49 0.12 0 0
128burrito:0 haoyu 1.78 0.09 0 0
129Matt Haake:1 haoyu 1.78 0.05 0 0
130Yacob Y.:0 haoyu 1.83 0.06 0 0
131Brendan Wright:1 Deric Cheng 1.87 0.10 0 0
132Matt Haake:0 haoyu 1.93 0.05 0 0
133DinnerPartyPlannerBM:1 Nihar the Great 1.94 0.06 0 0
134dfshasdsf12:0 haoyu 2.36 0.09 0 0
135Brendan Wright:0 haoyu 2.57 0.10 0 0
136Aaron H:0 Aristotle 3.09 0.11 0 0
137Sprt:0 Aristotle 3.26 0.11 0 0
138Sabar Dasgupta:0 spl 3.43 0.23 0 0
139Lil Thug:0 Andrew Grasso 3.57 0.03 0 0
140Fanny:0 Aristotle 3.71 0.10 0 0
141Anon5:0 haoyu 3.79 0.05 0 0
142Aaron H:1 Aristotle 3.85 0.11 0 0
143Mike Hunt:1 Aristotle 3.85 0.29 0 0
144dfshasdsf12:1 Nihar the Great 4.38 0.11 0 0
145Valya Barboy:1 Shaheed Chagani 4.91 0.18 0 0
146Lil Thug:1 Andrew Grasso 5.07 0.03 0 0
147Sabar Dasgupta:1 Aaron Doll 5.18 0.17 0 0
148Charliezsc:1 haoyu 5.25 0.07 0 0
149David H.:0 AFC 5.36 0.28 0 0
150ebp:0 haoyu 5.75 0.04 0 0
151Mr. Blobby:0 Green "The Bean" Choi 5.92 0.14 0 0
152Valya Barboy:0 Aristotle 6.11 0.06 0 0
153Andys:1 Aristotle 6.12 0.13 0 0
154John Whelchel:0 haoyu 7.37 0.06 0 0
155jabreezy:1 Mercury 7.84 0.10 0 0
156Mike Hunt:0 Aristotle 8.18 0.27 0 0
157Walter Little:0 haoyu 8.35 0.04 0 0
158jabreezy:0 Mercury 8.93 0.09 0 0
159CAPS LOCK:0 Aristotle 9.19 0.20 0 0
160David H.:1 DeeEmEm 9.40 0.33 0 0
161ebp:1 haoyu 9.42 0.04 0 0
162Andrew Werner:0 Aaron Doll 10.96 0.33 0 0
163DinnerPartyPlannerBM:0 Aristotle 11.41 0.11 0 0
164Ben Chen:1 spl 11.55 0.20 0 0
165John Whelchel:1 haoyu 11.64 0.11 0 0
166nupog:1 Aristotle 12.17 0.12 0 0
167BH:1 haoyu 12.18 0.05 0 0
168nupog:0 Aristotle 12.32 0.13 0 0
169burrito:1 haoyu 12.85 0.10 0 0
170BH:0 haoyu 13.80 0.07 0 0
171Andys:0 Aristotle 14.04 0.12 0 0
172DeeEmEm:0 CAPS LOCK 14.99 13.00 1 1
1730108:0 jgs 14.99 14.98 1 1
174T. Capote:0 haoyu 14.99 0.00 2 2
175T. Capote:1 haoyu 14.99 0.00 2 2
176SuperFan:0 jgs 14.99 14.98 4 4
177SuperFan:1 jgs 14.99 14.98 4 4
178Mark S. Fillmore:1 Supahaka 14.99 0.04 79 79
179Mark S. Fillmore:0 Supahaka 14.99 0.01 116 116
180Walter Little:1 haoyu 14.99 0.03 1 0
181Mr. Blobby:1 dusty 14.99 0.12 1 0
182EC:0 haoyu 14.99 0.03 2 0
183Qinlan Shen:1 R. A. B. 14.99 9.00 3 1
184AFC:1 Aristotle 14.99 0.16 3 0
185Absurdity:0 Aristotle 14.99 0.23 3 0
186AFC:0 CookieMonster 14.99 0.34 3 0
187Jessie Chen:0 Joel Faron 14.99 0.13 4 1
188NA:1 Elphaba 14.99 0.04 4 0
189Jessie Chen:1 Joel Faron 14.99 0.12 4 1
190Andrew Grasso:1 Shaheed Chagani 14.99 0.15 4 0
191CookieMonster:0 CookieMonster 15.00 0.82 4 0
192Andrew Grasso:0 Aaron Doll 14.99 0.18 4 0
193spl:0 Elphaba 14.99 0.09 5 0
194NA:0 haoyu 14.99 0.03 5 0
195spl:1 haoyu 14.99 0.06 5 0
196Dusty:1 Shaheed Chagani 14.99 0.22 6 0
197Charliezsc:0 jgs 14.99 14.98 6 1
198Quite Satisfied:1 Joel Faron 14.99 2.11 6 1
199Absurdity:1 Aristotle 14.99 0.18 6 0
200CookieMonster:1 CookieMonster 14.99 1.10 6 0
201Dusty:0 CookieMonster 14.99 1.39 8 0
202snowflakes:1 haoyu 14.99 0.03 8 0
203Yacob Y.:1 Aristotle 15.00 15.00 8 1
204snowflakes:0 haoyu 14.99 0.03 11 0
205Shaheed Chagani:1 Aristotle 14.99 0.11 31 0
206Supahaka:0 Andrew Werner 14.99 15.00 36 35
207Supahaka:1 Joel Faron 14.99 15.00 37 35
208Shaheed Chagani:0 Aristotle 15.00 0.17 844 0
209Elphaba:0 Aristotle 15.00 0.24 12547 0
210Nihar the Great:0 Aristotle 14.99 0.23 18689 0
211Nihar the Great:1 Aristotle 15.00 0.25 19128 0
212Andrew Werner:1 haoyu 15.00 0.11 3 0
213Elphaba:1 Aristotle 15.00 0.22 16315 0
21413a:1 Aaron Doll 15.01 15.00 54580 29
215Aaron Doll:0 Aristotle 15.02 0.56 236853 0
216Aaron Doll:1 Aristotle 15.03 1.27 284911 0
217Bar Shabtai:0 Aaron Doll 15.03 15.01 295486 1
21813a:0 Aaron Doll 15.03 15.00 81291 21
219Matt Goldsmith:0 Nihar the Great 15.03 0.03 514285 0
220CAPS LOCK:1 Aristotle 15.05 0.25 30 0
221jgs:0 Aristotle 15.05 0.12 12 0
222Matt Goldsmith:1 Happy 15.05 0.03 511592 0
223Deric Cheng:0 jgs 15.09 14.99 7 1
224Deric Cheng:1 jgs 15.10 14.98 7 1
225Aristotle:0 Aristotle 15.13 15.00 748428 1
226Aristotle:1 Aristotle 15.17 9.69 709398 0
227jgs:1 haoyu 15.23 0.18 13 0
228Bar Shabtai:1 haoyu 15.34 0.12 1 0


SatSolvers Ranklist Generators Ranklist