SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Cam Porter

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 Cam Porter 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 Cam Porter 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: Cam Porter
Rank: 82 / 118
Average Score: 13.10
Median Score: 15.00
Description: Improvised WalkSat algorithm that takes into account the timer, as well as implementing a few efficiencyimprovements based on trial and error, and methods mentioned in the book
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.01 0.00 0 0
2Ravi Tandon:1 KingBach 0.01 0.00 0 0
3Miranda:0 cat 0.01 0.00 0 0
4Miranda:1 cat 0.01 0.00 0 0
5Mike Honcho:0 Miranda 0.03 0.01 0 0
6Solving For Clauses:1 haoyu 0.03 0.00 0 0
7Solving For Clauses:0 Glenn Fisher 0.03 0.00 0 0
8Scheduling Generator 203:0 jgs 0.03 0.01 0 0
9Happy:1 KingBach 0.04 0.00 0 0
10Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
11Bebe Shi:0 KingBach 0.04 0.00 0 0
12Bebe Shi:1 KingBach 0.06 0.00 0 0
13Scheduling Generator 203:1 Jameh 0.11 0.02 0 0
14bigwig:1 KingBach 0.13 0.00 0 0
15Tom T:1 Andrew Werner 0.13 0.02 0 0
16BMJ:1 burrito 0.14 0.00 0 0
17Jonathan Kwok:1 KingBach 0.21 0.00 0 0
18Dr Roberto:0 Andrew Grasso 0.24 0.03 0 0
19Bob Dondero:0 Andrew Grasso 0.32 0.02 0 0
20Bob Dondero:1 Mickey Mouse 0.40 0.03 0 0
21Tom T:0 EC 0.47 0.02 0 0
22Dr Roberto:1 Andrew Grasso 0.55 0.02 0 0
23bigwig:0 Andrew Werner 0.61 0.00 0 0
24BMJ:0 Elphaba 0.92 0.00 0 0
25Jonathan Kwok:0 Elphaba 0.97 0.00 0 0
26Daffy Duck:1 haoyu 1.08 0.00 0 0
27cmF5a3ly:1 Nihar the Great 1.58 0.00 0 0
28K.L.:1 KingBach 1.60 0.00 0 0
29cmF5a3ly:0 Nihar the Great 2.03 0.00 0 0
30Daffy Duck:0 Andrew Werner 4.87 0.00 0 0
31Boomshanka:0 haoyu 14.76 0.01 0 0
32Janie Gu:0 Glenn Fisher 15.00 0.07 6 0
33T. Capote:1 haoyu 15.00 0.00 6 2
34Janie Gu:1 Jonathan Kwok 15.00 0.07 6 0
35Boomshanka:1 Bar Shabtai 15.00 0.01 7 0
36totallyOnFallBreak:0 Nikhilesh Sigatapu 15.00 0.01 7 0
37T. Capote:0 haoyu 15.00 0.00 11 2
38haoyu:1 Anon5 15.00 0.01 17 0
39K.L.:0 haoyu 15.00 0.00 24 0
40Happy:0 haoyu 15.00 0.00 24 0
41Jessie Chen:1 Joel Faron 15.00 0.12 25 1
42haoyu:0 KingBach 15.00 0.01 27 0
43David Lackey:0 Anon5 15.00 0.03 37 0
44David Lackey:1 Bar Shabtai 15.00 0.03 38 0
45Joshua Zimmer:0 haoyu 15.00 0.00 42 0
46R. A. B.:1 cat 15.00 0.00 49 0
47bchouGenerator:1 Jonathan Kwok 15.00 0.01 61 0
48Blam:1 Elphaba 15.00 0.00 62 0
49Jessie Chen:0 Joel Faron 15.00 0.13 65 1
50Blam:0 Elphaba 15.00 0.00 69 0
51Tree Prophet:0 haoyu 15.00 0.00 73 0
52Joshua Zimmer:1 haoyu 15.00 0.00 78 0
53AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 79 0
54David Paulk:0 cat 15.00 0.00 82 0
55SuperFan:1 jgs 15.00 14.98 83 4
56Tree Prophet:1 haoyu 15.00 0.00 83 0
57AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 86 0
58Sunny:1 jabreezy 15.00 0.01 87 0
59Sunny:0 Green "The Bean" Choi 15.00 0.02 94 0
60SuperFan:0 jgs 15.00 14.98 94 4
61bchouGenerator:0 haoyu 15.00 0.00 111 0
62The Kraken:1 haoyu 15.00 0.00 114 0
63R. A. B.:0 Nihar the Great 15.00 0.00 127 0
64David Paulk:1 Bar Shabtai 15.00 0.00 128 0
65Supahaka:0 Andrew Werner 15.00 15.00 138 35
66Fanny:0 Aristotle 15.00 0.10 145 0
67Supahaka:1 Joel Faron 15.00 15.00 150 35
68Gewang:1 Jonathan Kwok 15.00 0.00 154 0
69Fanny:1 Aristotle 15.00 0.12 163 0
70Qinlan Shen:0 Bar Shabtai 15.00 0.01 164 0
71Quite Satisfied:1 Joel Faron 15.00 2.11 176 1
72The Kraken:0 haoyu 15.00 0.00 179 0
73Quite Satisfied:0 haoyu 15.00 0.00 197 0
74totallyOnFallBreak:1 Nikhilesh Sigatapu 15.00 0.01 217 0
75DeeEmEm:1 haoyu 15.00 0.02 237 0
76Qinlan Shen:1 R. A. B. 15.00 9.00 245 1
77Dusty:1 Shaheed Chagani 15.00 0.22 246 0
780108:1 haoyu 15.00 0.01 273 0
79Andrew Grasso:1 Shaheed Chagani 15.00 0.15 298 0
80DeeEmEm:0 CAPS LOCK 15.00 13.00 315 1
81Jordan Ash:1 Bar Shabtai 15.00 0.01 317 0
82Jordan Ash:0 EC 15.00 0.03 321 0
83Dusty:0 CookieMonster 15.00 1.39 329 0
84Gewang:0 Jonathan Kwok 15.00 0.00 356 0
85Andrew Grasso:0 Aaron Doll 15.00 0.18 381 0
86Anon5:1 Green "The Bean" Choi 15.00 0.07 513 0
87Valya Barboy:1 Shaheed Chagani 15.00 0.18 552 0
88Valya Barboy:0 Aristotle 15.00 0.06 555 0
890108:0 jgs 15.00 14.98 558 1
90Mickey Mouse:0 Bar Shabtai 15.00 0.01 576 0
91Jameh:0 haoyu 15.00 0.01 588 0
92Keji Xu:1 Nihar the Great 15.00 0.04 597 0
93Alex Fish:0 haoyu 15.00 0.01 613 0
94Matt Haake:0 haoyu 15.00 0.05 639 0
95Mickey Mouse:1 haoyu 15.00 0.01 670 0
96NA:0 haoyu 15.00 0.03 692 0
97NA:1 Elphaba 15.00 0.04 718 0
98The Whitman Whale:1 Andrew Grasso 15.00 0.03 725 0
99Anon_K_P:1 Aristotle 15.00 0.03 744 0
100kt4124:0 haoyu 15.00 0.03 791 0
101weezy:1 Bar Shabtai 15.00 0.01 798 0
102Matt Haake:1 haoyu 15.00 0.05 802 0
103Tiny Wings:0 haoyu 15.00 0.02 838 0
104Ytterbium:0 Andrew Grasso 15.00 0.02 851 0
105David H.:1 DeeEmEm 15.00 0.33 857 0
106vluu:1 Nihar the Great 15.00 0.02 907 0
107Jameh:1 haoyu 15.00 0.01 946 0
108kt4124:1 haoyu 15.00 0.04 947 0
109Keji Xu:0 Nihar the Great 15.00 0.03 991 0
110Tiny Wings:1 haoyu 15.00 0.01 997 0
111David H.:0 AFC 15.00 0.28 1015 0
112cat:0 haoyu 15.00 0.03 1037 0
113Tao:1 Aristotle 15.00 0.07 1062 0
114Alex Fish:1 haoyu 15.00 0.02 1116 0
115Tao:0 Bar Shabtai 15.00 0.02 1117 0
116Anon_K_P:0 haoyu 15.00 0.02 1145 0
117The Whitman Whale:0 bigwig 15.00 0.04 1155 0
118cat:1 haoyu 15.00 0.03 1156 0
119weezy:0 Bar Shabtai 15.00 0.01 1178 0
120vluu:0 Nihar the Great 15.00 0.01 1230 0
121Sally Smith:1 haoyu 15.00 0.04 1360 0
122snowflakes:0 haoyu 15.00 0.03 1506 0
123Mark S. Fillmore:1 Supahaka 15.00 0.04 1517 79
124Nikhilesh Sigatapu:0 haoyu 15.00 0.03 1545 0
125Anon5:0 haoyu 15.00 0.05 1556 0
126Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 1567 0
127snowflakes:1 haoyu 15.00 0.03 1587 0
128Mr. Blobby:1 dusty 15.00 0.12 1611 0
129Sally Smith:0 haoyu 15.00 0.04 1736 0
130Samuel Jerome:0 haoyu 15.00 0.03 1780 0
131Nikhilesh Sigatapu:1 haoyu 15.00 0.04 1798 0
132Glenn Fisher:0 Elphaba 15.00 0.02 1811 0
133Glenn Fisher:1 jabreezy 15.00 0.09 2135 0
134spl:0 Elphaba 15.00 0.09 2219 0
135Ytterbium:1 Nihar the Great 15.00 0.02 2310 0
136EC:1 haoyu 15.00 0.03 2326 0
137Samuel Jerome:1 haoyu 15.00 0.03 2407 0
138CookieMonster:1 CookieMonster 15.00 1.10 2427 0
139AFC:1 Aristotle 15.00 0.16 2503 0
140George Okeowo:1 Andrew Grasso 15.00 0.01 2553 0
141Ben Chen:1 spl 15.00 0.20 2626 0
142Mark S. Fillmore:0 Supahaka 15.00 0.01 2644 116
143AFC:0 CookieMonster 15.00 0.34 2663 0
144Ben Chen:0 Elphaba 15.00 0.07 2665 0
145Lisa Kim:1 Bar Shabtai 15.00 0.06 2727 0
146Lisa Kim:0 Aristotle 15.00 0.07 2797 0
147CookieMonster:0 CookieMonster 15.00 0.82 3018 0
148Walter Little:0 haoyu 15.00 0.04 3052 0
149jabreezy:1 Mercury 15.00 0.10 3068 0
150Walter Little:1 haoyu 15.00 0.03 3252 0
151George Okeowo:0 Andrew Grasso 15.00 0.01 3415 0
152EC:0 haoyu 15.00 0.03 3462 0
153jabreezy:0 Mercury 15.00 0.09 3752 0
154soccer:0 haoyu 15.00 0.04 4075 0
155soccer:1 haoyu 15.00 0.04 4119 0
156Mercury:0 haoyu 15.00 0.05 4215 0
157ebp:1 haoyu 15.00 0.04 4268 0
158bfang:0 haoyu 15.00 0.04 4456 0
159ebp:0 haoyu 15.00 0.04 4562 0
160Khoa:0 haoyu 15.00 0.09 4670 0
161bfang:1 haoyu 15.00 0.04 4914 0
162Khoa:1 Aristotle 15.00 0.09 5112 0
163Absurdity:1 Aristotle 15.00 0.18 5164 0
164Batman:1 haoyu 15.00 0.04 5604 0
165Batman:0 haoyu 15.00 0.04 5650 0
166Mercury:1 haoyu 15.00 0.05 5669 0
167Absurdity:0 Aristotle 15.00 0.23 5814 0
168KingBach:1 haoyu 15.00 0.04 5926 0
169Yacob Y.:0 haoyu 15.00 0.06 6367 0
170KingBach:0 haoyu 15.00 0.06 6590 0
171Charliezsc:0 jgs 15.00 14.98 6784 1
172Yacob Y.:1 Aristotle 15.00 15.00 7411 1
173Sprt:1 haoyu 15.00 0.05 7434 0
174Charliezsc:1 haoyu 15.00 0.07 7736 0
175Sabar Dasgupta:0 spl 15.00 0.23 8186 0
176Sabar Dasgupta:1 Aaron Doll 15.00 0.17 8210 0
177burrito:0 haoyu 15.00 0.09 12786 0
178dfshasdsf12:0 haoyu 15.00 0.09 14565 0
179Aaron H:0 Aristotle 15.00 0.11 15692 0
180John Whelchel:1 haoyu 15.00 0.11 15697 0
181John Whelchel:0 haoyu 15.00 0.06 16844 0
182Aaron H:1 Aristotle 15.00 0.11 18586 0
183Andys:0 Aristotle 15.00 0.12 18941 0
184Sprt:0 Aristotle 15.00 0.11 19433 0
185Lil Thug:1 Andrew Grasso 15.00 0.03 20858 0
186Andrew Werner:0 Aaron Doll 15.00 0.33 22105 0
187Lil Thug:0 Andrew Grasso 15.00 0.03 22729 0
188burrito:1 haoyu 15.00 0.10 30613 0
189Bar Shabtai:1 haoyu 15.00 0.12 44945 0
190Yan Wu:0 haoyu 15.00 0.05 204 0
191spl:1 haoyu 15.00 0.06 1863 0
192nupog:0 Aristotle 15.00 0.13 3132 0
193Mike Hunt:1 Aristotle 15.00 0.29 13400 0
194BH:0 haoyu 15.00 0.07 13602 0
195DinnerPartyPlannerBM:1 Nihar the Great 15.00 0.06 16060 0
196Andys:1 Aristotle 15.00 0.13 19276 0
197Andrew Werner:1 haoyu 15.00 0.11 19935 0
198DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 38780 0
199Elphaba:1 Aristotle 15.00 0.22 99704 0
200Nihar the Great:0 Aristotle 15.00 0.23 477792 0
201Mike Hunt:0 Aristotle 15.00 0.27 12655 0
202BH:1 haoyu 15.00 0.05 15198 0
203Shaheed Chagani:1 Aristotle 15.00 0.11 25656 0
204jgs:1 haoyu 15.00 0.18 52450 0
205Nihar the Great:1 Aristotle 15.00 0.25 478339 0
206Brendan Wright:1 Deric Cheng 15.00 0.10 19978 0
207Shaheed Chagani:0 Aristotle 15.00 0.17 27959 0
208Brendan Wright:0 haoyu 15.00 0.10 32584 0
209Deric Cheng:0 jgs 15.00 14.99 45868 1
210Yan Wu:1 haoyu 15.01 0.04 173 0
211Deric Cheng:1 jgs 15.01 14.98 39292 1
212Bar Shabtai:0 Aaron Doll 15.01 15.01 331587 1
213nupog:1 Aristotle 15.01 0.12 2860 0
214CAPS LOCK:0 Aristotle 15.01 0.20 9391 0
215jgs:0 Aristotle 15.01 0.12 41784 0
216dfshasdsf12:1 Nihar the Great 15.01 0.11 23546 0
217Linda:0 Andrew Grasso 15.01 0.01 219 0
21813a:0 Aaron Doll 15.01 15.00 112393 21
219Linda:1 Andrew Grasso 15.01 0.02 286 0
220Elphaba:0 Aristotle 15.02 0.24 96613 0
22113a:1 Aaron Doll 15.02 15.00 116728 29
222Aaron Doll:0 Aristotle 15.02 0.56 287757 0
223Aaron Doll:1 Aristotle 15.03 1.27 333252 0
224CAPS LOCK:1 Aristotle 15.04 0.25 35562 0
225Matt Goldsmith:0 Nihar the Great 15.04 0.03 527058 0
226Aristotle:0 Aristotle 15.05 15.00 747469 1
227Matt Goldsmith:1 Happy 15.06 0.03 519312 0
228Aristotle:1 Aristotle 15.08 9.69 760607 0


SatSolvers Ranklist Generators Ranklist