SatSolvers Ranklist Generators Ranklist

Stats for satsolver: kt4124

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 kt4124 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 kt4124 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: kt4124
Rank: 57 / 118
Average Score: 8.36
Median Score: 15.00
Description: Variant of WalkSat and Novelty. With probability (1-p), flips either the symbol in a given clause that minimizes the number of unsatisfied clauses in the model, or the 2nd best symbol, based on the symbol's age. Otherwise, flips a random symbol in the clause.
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
5Miranda:0 cat 0.00 0.00 0 0
6Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
7Miranda:1 cat 0.01 0.00 0 0
8Joshua Zimmer:1 haoyu 0.01 0.00 0 0
9Bebe Shi:0 KingBach 0.01 0.00 0 0
10Joshua Zimmer:0 haoyu 0.01 0.00 0 0
11Jonathan Kwok:1 KingBach 0.01 0.00 0 0
12Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
13Bebe Shi:1 KingBach 0.01 0.00 0 0
14Happy:1 KingBach 0.01 0.00 0 0
15R. A. B.:1 cat 0.01 0.00 0 0
16Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
17Tree Prophet:0 haoyu 0.01 0.00 0 0
18K.L.:1 KingBach 0.01 0.00 0 0
19BMJ:1 burrito 0.02 0.00 0 0
20Mike Honcho:0 Miranda 0.02 0.01 0 0
21Solving For Clauses:1 haoyu 0.02 0.00 0 0
22Blam:0 Elphaba 0.02 0.00 0 0
23David Paulk:0 cat 0.02 0.00 0 0
24Gewang:0 Jonathan Kwok 0.02 0.00 0 0
25Gewang:1 Jonathan Kwok 0.02 0.00 0 0
26bchouGenerator:0 haoyu 0.03 0.00 0 0
27Scheduling Generator 203:0 jgs 0.03 0.01 0 0
28Daffy Duck:1 haoyu 0.03 0.00 0 0
29Happy:0 haoyu 0.03 0.00 0 0
30haoyu:1 Anon5 0.03 0.01 0 0
31K.L.:0 haoyu 0.03 0.00 0 0
32The Kraken:0 haoyu 0.03 0.00 0 0
33The Kraken:1 haoyu 0.03 0.00 0 0
34BMJ:0 Elphaba 0.03 0.00 0 0
35David Paulk:1 Bar Shabtai 0.03 0.00 0 0
36Blam:1 Elphaba 0.03 0.00 0 0
37weezy:1 Bar Shabtai 0.04 0.01 0 0
38Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
39weezy:0 Bar Shabtai 0.04 0.01 0 0
40bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
41Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
42Quite Satisfied:0 haoyu 0.05 0.00 0 0
43Tree Prophet:1 haoyu 0.05 0.00 0 0
44Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
45R. A. B.:0 Nihar the Great 0.05 0.00 0 0
46Mickey Mouse:1 haoyu 0.05 0.01 0 0
47Qinlan Shen:0 Bar Shabtai 0.05 0.01 0 0
48cmF5a3ly:1 Nihar the Great 0.06 0.00 0 0
49Tom T:1 Andrew Werner 0.06 0.02 0 0
50cmF5a3ly:0 Nihar the Great 0.06 0.00 0 0
51haoyu:0 KingBach 0.07 0.01 0 0
52Tiny Wings:0 haoyu 0.07 0.02 0 0
53Jameh:0 haoyu 0.08 0.01 0 0
54Sunny:0 Green "The Bean" Choi 0.08 0.02 0 0
55totallyOnFallBreak:1 Nikhilesh Sigatapu 0.09 0.01 0 0
56vluu:0 Nihar the Great 0.10 0.01 0 0
57Ytterbium:0 Andrew Grasso 0.10 0.02 0 0
58totallyOnFallBreak:0 Nikhilesh Sigatapu 0.11 0.01 0 0
59Sunny:1 jabreezy 0.12 0.01 0 0
60Tom T:0 EC 0.12 0.02 0 0
61Boomshanka:1 Bar Shabtai 0.15 0.01 0 0
62vluu:1 Nihar the Great 0.16 0.02 0 0
63Boomshanka:0 haoyu 0.18 0.01 0 0
64Jameh:1 haoyu 0.20 0.01 0 0
65Tiny Wings:1 haoyu 0.21 0.01 0 0
66Jordan Ash:1 Bar Shabtai 0.21 0.01 0 0
67Ytterbium:1 Nihar the Great 0.21 0.02 0 0
68cat:0 haoyu 0.25 0.03 0 0
69Linda:0 Andrew Grasso 0.25 0.01 0 0
70Dr Roberto:1 Andrew Grasso 0.27 0.02 0 0
71cat:1 haoyu 0.29 0.03 0 0
72George Okeowo:1 Andrew Grasso 0.30 0.01 0 0
73George Okeowo:0 Andrew Grasso 0.30 0.01 0 0
74The Whitman Whale:1 Andrew Grasso 0.32 0.03 0 0
75Janie Gu:1 Jonathan Kwok 0.37 0.07 0 0
76Linda:1 Andrew Grasso 0.38 0.02 0 0
77Dr Roberto:0 Andrew Grasso 0.39 0.03 0 0
78Bob Dondero:1 Mickey Mouse 0.43 0.03 0 0
79Lisa Kim:1 Bar Shabtai 0.48 0.06 0 0
80Bob Dondero:0 Andrew Grasso 0.49 0.02 0 0
81DeeEmEm:1 haoyu 0.56 0.02 0 0
82Janie Gu:0 Glenn Fisher 0.65 0.07 0 0
83kt4124:0 haoyu 0.70 0.03 0 0
84The Whitman Whale:0 bigwig 0.94 0.04 0 0
85Keji Xu:1 Nihar the Great 0.95 0.04 0 0
86kt4124:1 haoyu 1.15 0.04 0 0
870108:1 haoyu 1.28 0.01 0 0
88Jordan Ash:0 EC 1.46 0.03 0 0
89Sprt:1 haoyu 1.47 0.05 0 0
90Sally Smith:0 haoyu 1.64 0.04 0 0
91Keji Xu:0 Nihar the Great 1.68 0.03 0 0
92Khoa:1 Aristotle 2.07 0.09 0 0
93AARON BURR, DROPPIN' HAMILTONS:0 haoyu 2.10 0.00 0 0
94KingBach:1 haoyu 2.23 0.04 0 0
95AARON BURR, DROPPIN' HAMILTONS:1 haoyu 2.51 0.01 0 0
96Lisa Kim:0 Aristotle 2.65 0.07 0 0
97Khoa:0 haoyu 2.75 0.09 0 0
98DinnerPartyPlannerBM:1 Nihar the Great 2.77 0.06 0 0
99Sally Smith:1 haoyu 3.65 0.04 0 0
100dfshasdsf12:0 haoyu 3.78 0.09 0 0
101Lil Thug:1 Andrew Grasso 3.90 0.03 0 0
102Lil Thug:0 Andrew Grasso 4.10 0.03 0 0
103Sprt:0 Aristotle 6.05 0.11 0 0
104Batman:1 haoyu 6.95 0.04 0 0
105Brendan Wright:0 haoyu 8.18 0.10 0 0
106dfshasdsf12:1 Nihar the Great 9.43 0.11 0 0
107David Lackey:1 Bar Shabtai 11.89 0.03 0 0
108DinnerPartyPlannerBM:0 Aristotle 11.98 0.11 0 0
109KingBach:0 haoyu 12.72 0.06 0 0
110T. Capote:0 haoyu 15.00 0.00 2 2
111T. Capote:1 haoyu 15.00 0.00 2 2
112Brendan Wright:1 Deric Cheng 15.00 0.10 3 0
113Quite Satisfied:1 Joel Faron 15.00 2.11 4 1
114CookieMonster:1 CookieMonster 15.00 1.10 4 0
115Jessie Chen:1 Joel Faron 15.00 0.12 5 1
116Jessie Chen:0 Joel Faron 15.00 0.13 6 1
117Batman:0 haoyu 15.00 0.04 6 0
118Qinlan Shen:1 R. A. B. 15.00 9.00 7 1
119DeeEmEm:0 CAPS LOCK 15.00 13.00 7 1
120Tao:0 Bar Shabtai 15.00 0.02 7 0
121Alex Fish:1 haoyu 15.00 0.02 8 0
122Tao:1 Aristotle 15.00 0.07 9 0
123Charliezsc:0 jgs 15.00 14.98 9 1
1240108:0 jgs 15.00 14.98 9 1
125soccer:1 haoyu 15.00 0.04 11 0
126Alex Fish:0 haoyu 15.00 0.01 11 0
127Nikhilesh Sigatapu:1 haoyu 15.00 0.04 14 0
128Valya Barboy:0 Aristotle 15.00 0.06 15 0
129Anon5:1 Green "The Bean" Choi 15.00 0.07 16 0
130Anon5:0 haoyu 15.00 0.05 16 0
131Anon_K_P:1 Aristotle 15.00 0.03 17 0
132EC:0 haoyu 15.00 0.03 17 0
133Samuel Jerome:0 haoyu 15.00 0.03 17 0
134Valya Barboy:1 Shaheed Chagani 15.00 0.18 19 0
135Samuel Jerome:1 haoyu 15.00 0.03 20 0
136jabreezy:1 Mercury 15.00 0.10 20 0
137Nikhilesh Sigatapu:0 haoyu 15.00 0.03 20 0
138Anon_K_P:0 haoyu 15.00 0.02 21 0
139David H.:1 DeeEmEm 15.00 0.33 21 0
140David H.:0 AFC 15.00 0.28 24 0
141Sabar Dasgupta:1 Aaron Doll 15.00 0.17 27 0
142ebp:1 haoyu 15.00 0.04 33 0
143SuperFan:1 jgs 15.00 14.98 33 4
144SuperFan:0 jgs 15.00 14.98 36 4
145Glenn Fisher:1 jabreezy 15.00 0.09 37 0
146David Lackey:0 Anon5 15.00 0.03 44 0
147Andrew Grasso:1 Shaheed Chagani 15.00 0.15 45 0
148spl:1 haoyu 15.00 0.06 48 0
149Supahaka:1 Joel Faron 15.00 15.00 52 35
150Dusty:1 Shaheed Chagani 15.00 0.22 53 0
151Supahaka:0 Andrew Werner 15.00 15.00 54 35
152Andrew Grasso:0 Aaron Doll 15.00 0.18 54 0
153Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 55 0
154Dusty:0 CookieMonster 15.00 1.39 56 0
155Mr. Blobby:1 dusty 15.00 0.12 56 0
156Glenn Fisher:0 Elphaba 15.00 0.02 58 0
157Ben Chen:0 Elphaba 15.00 0.07 59 0
158Yan Wu:1 haoyu 15.00 0.04 62 0
159Yan Wu:0 haoyu 15.00 0.05 70 0
160Ben Chen:1 spl 15.00 0.20 78 0
161Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
162NA:0 haoyu 15.00 0.03 91 0
163NA:1 Elphaba 15.00 0.04 94 0
164Matt Haake:0 haoyu 15.00 0.05 105 0
165Matt Haake:1 haoyu 15.00 0.05 111 0
166Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
167snowflakes:0 haoyu 15.00 0.03 130 0
168snowflakes:1 haoyu 15.00 0.03 151 0
169Shaheed Chagani:1 Aristotle 15.00 0.11 1942 0
170CookieMonster:0 CookieMonster 15.00 0.82 3 0
171bfang:0 haoyu 15.00 0.04 15 0
172EC:1 haoyu 15.00 0.03 16 0
173AFC:0 CookieMonster 15.00 0.34 26 0
174Fanny:1 Aristotle 15.00 0.12 37 0
175Walter Little:1 haoyu 15.00 0.03 56 0
176Walter Little:0 haoyu 15.00 0.04 63 0
177Shaheed Chagani:0 Aristotle 15.00 0.17 272 0
178BH:0 haoyu 15.00 0.07 612 0
179BH:1 haoyu 15.00 0.05 739 0
180Elphaba:1 Aristotle 15.00 0.22 32470 0
181AFC:1 Aristotle 15.00 0.16 18 0
182jabreezy:0 Mercury 15.00 0.09 18 0
183bfang:1 haoyu 15.00 0.04 24 0
184Yacob Y.:0 haoyu 15.00 0.06 27 0
185Mike Hunt:0 Aristotle 15.00 0.27 34 0
186spl:0 Elphaba 15.00 0.09 35 0
187ebp:0 haoyu 15.00 0.04 37 0
188Yacob Y.:1 Aristotle 15.00 15.00 39 1
189Absurdity:1 Aristotle 15.00 0.18 57 0
190nupog:1 Aristotle 15.00 0.12 2217 0
191Aaron Doll:1 Aristotle 15.00 1.27 297422 0
192Mercury:0 haoyu 15.00 0.05 16 0
193Aaron H:1 Aristotle 15.00 0.11 25 0
194Mercury:1 haoyu 15.00 0.05 27 0
195Fanny:0 Aristotle 15.00 0.10 32 0
196Absurdity:0 Aristotle 15.00 0.23 44 0
197nupog:0 Aristotle 15.00 0.13 2903 0
198soccer:0 haoyu 15.01 0.04 5 0
199Charliezsc:1 haoyu 15.01 0.07 11 0
200jgs:0 Aristotle 15.01 0.12 1765 0
20113a:0 Aaron Doll 15.01 15.00 74099 21
202jgs:1 haoyu 15.01 0.18 1424 0
203Nihar the Great:0 Aristotle 15.01 0.23 20458 0
204Andrew Werner:1 haoyu 15.01 0.11 3 0
205John Whelchel:1 haoyu 15.02 0.11 20 0
206Andys:0 Aristotle 15.02 0.12 32 0
207Nihar the Great:1 Aristotle 15.02 0.25 22549 0
208Andys:1 Aristotle 15.02 0.13 41 0
209Elphaba:0 Aristotle 15.02 0.24 34196 0
21013a:1 Aaron Doll 15.02 15.00 79190 29
211Mike Hunt:1 Aristotle 15.02 0.29 45 0
212burrito:0 haoyu 15.02 0.09 13 0
213CAPS LOCK:1 Aristotle 15.02 0.25 4703 0
214Aaron Doll:0 Aristotle 15.02 0.56 243388 0
215Matt Goldsmith:1 Happy 15.03 0.03 513041 0
216Aaron H:0 Aristotle 15.03 0.11 13 0
217Deric Cheng:1 jgs 15.03 14.98 27 1
218John Whelchel:0 haoyu 15.03 0.06 10 0
219Sabar Dasgupta:0 spl 15.03 0.23 29 0
220burrito:1 haoyu 15.03 0.10 57 0
221Bar Shabtai:0 Aaron Doll 15.05 15.01 314515 1
222Bar Shabtai:1 haoyu 15.05 0.12 16 0
223Andrew Werner:0 Aaron Doll 15.06 0.33 10 0
224Matt Goldsmith:0 Nihar the Great 15.09 0.03 508356 0
225Aristotle:0 Aristotle 15.09 15.00 731574 1
226Deric Cheng:0 jgs 15.12 14.99 28 1
227Aristotle:1 Aristotle 15.13 9.69 726088 0
228CAPS LOCK:0 Aristotle 15.15 0.20 16 0


SatSolvers Ranklist Generators Ranklist