SatSolvers Ranklist Generators Ranklist

Stats for satsolver: cmF5a3ly

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 cmF5a3ly 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 cmF5a3ly 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: cmF5a3ly
Rank: 96 / 118
Average Score: 17.39
Median Score: 15.02
Description: Modified WalkSAT with randomization and restart. When encountering multiple options on which symbol to flip, WalkSAT picks a random one, cycling through each symbol a large number of times. After randomizing a large number of symbols, WalkSAT restarts to look for a better locally optimal solution.
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
3Bebe Shi:0 KingBach 0.01 0.00 0 0
4Ravi Tandon:1 KingBach 0.01 0.00 0 0
5K.L.:1 KingBach 0.01 0.00 0 0
6Happy:1 KingBach 0.01 0.00 0 0
7Bebe Shi:1 KingBach 0.01 0.00 0 0
8Jonathan Kwok:1 KingBach 0.01 0.00 0 0
9Ravi Tandon:0 KingBach 0.01 0.00 0 0
10Mike Honcho:0 Miranda 0.02 0.01 0 0
11Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
12Daffy Duck:1 haoyu 0.02 0.00 0 0
13Solving For Clauses:0 Glenn Fisher 0.04 0.00 0 0
14Miranda:0 cat 0.04 0.00 0 0
15Joshua Zimmer:1 haoyu 0.04 0.00 0 0
16R. A. B.:1 cat 0.04 0.00 0 0
17Solving For Clauses:1 haoyu 0.04 0.00 0 0
18Joshua Zimmer:0 haoyu 0.04 0.00 0 0
19bchouGenerator:0 haoyu 0.04 0.00 0 0
20Miranda:1 cat 0.05 0.00 0 0
21haoyu:1 Anon5 0.05 0.01 0 0
22Blam:1 Elphaba 0.06 0.00 0 0
23K.L.:0 haoyu 0.07 0.00 0 0
24bchouGenerator:1 Jonathan Kwok 0.07 0.01 0 0
25Happy:0 haoyu 0.08 0.00 0 0
26haoyu:0 KingBach 0.09 0.01 0 0
27BMJ:1 burrito 0.09 0.00 0 0
28BMJ:0 Elphaba 0.09 0.00 0 0
29Quite Satisfied:0 haoyu 0.10 0.00 0 0
30Gewang:1 Jonathan Kwok 0.10 0.00 0 0
31Daffy Duck:0 Andrew Werner 0.12 0.00 0 0
32Scheduling Generator 203:0 jgs 0.13 0.01 0 0
33Blam:0 Elphaba 0.13 0.00 0 0
34The Kraken:1 haoyu 0.16 0.00 0 0
35Jordan Ash:1 Bar Shabtai 0.22 0.01 0 0
36Tom T:1 Andrew Werner 0.23 0.02 0 0
37The Kraken:0 haoyu 0.24 0.00 0 0
38Tree Prophet:0 haoyu 0.27 0.00 0 0
39Tom T:0 EC 0.28 0.02 0 0
40Qinlan Shen:0 Bar Shabtai 0.31 0.01 0 0
41David Paulk:1 Bar Shabtai 0.35 0.00 0 0
42Gewang:0 Jonathan Kwok 0.39 0.00 0 0
43David Paulk:0 cat 0.41 0.00 0 0
44David Lackey:1 Bar Shabtai 0.42 0.03 0 0
45Scheduling Generator 203:1 Jameh 0.45 0.02 0 0
46David Lackey:0 Anon5 0.61 0.03 0 0
47Boomshanka:0 haoyu 0.66 0.01 0 0
48Dr Roberto:1 Andrew Grasso 0.68 0.02 0 0
49Dr Roberto:0 Andrew Grasso 0.98 0.03 0 0
50Mickey Mouse:0 Bar Shabtai 1.34 0.01 0 0
51weezy:1 Bar Shabtai 1.41 0.01 0 0
52cmF5a3ly:0 Nihar the Great 1.48 0.00 0 0
53Bob Dondero:1 Mickey Mouse 1.79 0.03 0 0
54cmF5a3ly:1 Nihar the Great 1.81 0.00 0 0
55Bob Dondero:0 Andrew Grasso 1.91 0.02 0 0
56weezy:0 Bar Shabtai 2.57 0.01 0 0
57Mickey Mouse:1 haoyu 2.58 0.01 0 0
58Jordan Ash:0 EC 5.31 0.03 0 0
59Linda:0 Andrew Grasso 6.64 0.01 0 0
60Boomshanka:1 Bar Shabtai 6.89 0.01 0 0
61Mike Honcho:1 Jessie Chen 7.61 0.01 0 0
62Tiny Wings:0 haoyu 9.38 0.02 0 0
63Keji Xu:1 Nihar the Great 10.52 0.04 0 0
64Alex Fish:0 haoyu 13.61 0.01 0 0
65Janie Gu:1 Jonathan Kwok 14.12 0.07 0 0
66AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 1 0
67T. Capote:0 haoyu 15.00 0.00 2 2
68T. Capote:1 haoyu 15.00 0.00 2 2
69Jessie Chen:1 Joel Faron 15.00 0.12 3 1
70AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 4 0
71Sunny:1 jabreezy 15.00 0.01 4 0
72Jessie Chen:0 Joel Faron 15.00 0.13 5 1
73Quite Satisfied:1 Joel Faron 15.00 2.11 5 1
74Tree Prophet:1 haoyu 15.00 0.00 5 0
75SuperFan:0 jgs 15.00 14.98 10 4
76SuperFan:1 jgs 15.00 14.98 11 4
77Sunny:0 Green "The Bean" Choi 15.00 0.02 134 0
78Alex Fish:1 haoyu 15.00 0.02 1 0
79Qinlan Shen:1 R. A. B. 15.00 9.00 2 1
80David H.:1 DeeEmEm 15.00 0.33 4 0
81R. A. B.:0 Nihar the Great 15.00 0.00 4 0
82David H.:0 AFC 15.00 0.28 5 0
830108:1 haoyu 15.00 0.01 136 0
84DeeEmEm:0 CAPS LOCK 15.00 13.00 6 1
85Jameh:0 haoyu 15.00 0.01 29 0
86DeeEmEm:1 haoyu 15.00 0.02 451 0
87Nikhilesh Sigatapu:1 haoyu 15.00 0.04 856 0
88AFC:1 Aristotle 15.00 0.16 4588 0
89NA:0 haoyu 15.00 0.03 452 0
90Tiny Wings:1 haoyu 15.01 0.01 1 0
910108:0 jgs 15.01 14.98 4 1
92Andrew Grasso:0 Aaron Doll 15.01 0.18 348 0
93Yacob Y.:0 haoyu 15.01 0.06 8840 0
94Anon5:1 Green "The Bean" Choi 15.01 0.07 5 0
95Supahaka:1 Joel Faron 15.01 15.00 187 35
96Keji Xu:0 Nihar the Great 15.01 0.03 1094 0
97Matt Haake:1 haoyu 15.01 0.05 1105 0
98Samuel Jerome:1 haoyu 15.01 0.03 3485 0
99Supahaka:0 Andrew Werner 15.01 15.00 52 35
100Samuel Jerome:0 haoyu 15.01 0.03 132 0
101Valya Barboy:0 Aristotle 15.01 0.06 406 0
102EC:1 haoyu 15.01 0.03 1222 0
103Tao:0 Bar Shabtai 15.01 0.02 1826 0
104Janie Gu:0 Glenn Fisher 15.01 0.07 5 0
105EC:0 haoyu 15.01 0.03 7 0
106cat:1 haoyu 15.01 0.03 1018 0
107Tao:1 Aristotle 15.01 0.07 1607 0
108Anon_K_P:0 haoyu 15.01 0.02 5 0
109Dusty:0 CookieMonster 15.02 1.39 391 0
110Valya Barboy:1 Shaheed Chagani 15.02 0.18 1002 0
111Anon_K_P:1 Aristotle 15.02 0.03 5 0
112kt4124:0 haoyu 15.02 0.03 548 0
113Glenn Fisher:1 jabreezy 15.02 0.09 1359 0
114Matt Haake:0 haoyu 15.02 0.05 1599 0
115Yacob Y.:1 Aristotle 15.02 15.00 10893 1
116The Whitman Whale:1 Andrew Grasso 15.02 0.03 192 0
117Jameh:1 haoyu 15.02 0.01 68 0
118The Whitman Whale:0 bigwig 15.03 0.04 500 0
119vluu:0 Nihar the Great 15.03 0.01 2106 0
120Andrew Grasso:1 Shaheed Chagani 15.03 0.15 212 0
121Dusty:1 Shaheed Chagani 15.03 0.22 23 0
122Ben Chen:1 spl 15.03 0.20 3219 0
123Brendan Wright:1 Deric Cheng 15.03 0.10 6 0
124soccer:1 haoyu 15.03 0.04 5545 0
125Ytterbium:0 Andrew Grasso 15.03 0.02 384 0
126snowflakes:0 haoyu 15.04 0.03 2061 0
127vluu:1 Nihar the Great 15.04 0.02 315 0
128cat:0 haoyu 15.04 0.03 786 0
129Lisa Kim:0 Aristotle 15.04 0.07 4832 0
130Mr. Blobby:0 Green "The Bean" Choi 15.04 0.14 2045 0
131Fanny:1 Aristotle 15.04 0.12 6 0
132Glenn Fisher:0 Elphaba 15.04 0.02 1371 0
133Sprt:1 haoyu 15.04 0.05 11220 0
134Mark S. Fillmore:1 Supahaka 15.04 0.04 516 79
135Anon5:0 haoyu 15.04 0.05 1557 0
136kt4124:1 haoyu 15.04 0.04 1485 0
137Mercury:1 haoyu 15.04 0.05 6269 0
138Lisa Kim:1 Bar Shabtai 15.04 0.06 2601 0
139spl:1 haoyu 15.05 0.06 3732 0
140Nikhilesh Sigatapu:0 haoyu 15.05 0.03 1554 0
141NA:1 Elphaba 15.06 0.04 521 0
142Fanny:0 Aristotle 15.06 0.10 806 0
143snowflakes:1 haoyu 15.06 0.03 1083 0
144Mark S. Fillmore:0 Supahaka 15.07 0.01 1302 116
145jabreezy:0 Mercury 15.07 0.09 5143 0
146AFC:0 CookieMonster 15.08 0.34 3741 0
147Yan Wu:1 haoyu 15.08 0.04 23 0
148CookieMonster:0 CookieMonster 15.08 0.82 1032 0
149Ben Chen:0 Elphaba 15.09 0.07 3520 0
150Walter Little:1 haoyu 15.11 0.03 5547 0
151Mr. Blobby:1 dusty 15.12 0.12 3203 0
152CookieMonster:1 CookieMonster 15.12 1.10 3893 0
153Yan Wu:0 haoyu 15.13 0.05 21 0
154George Okeowo:0 Andrew Grasso 15.14 0.01 2990 0
155bfang:0 haoyu 15.14 0.04 6209 0
156Mercury:0 haoyu 15.15 0.05 7766 0
157Ytterbium:1 Nihar the Great 15.15 0.02 4109 0
158soccer:0 haoyu 15.16 0.04 6354 0
159Linda:1 Andrew Grasso 15.18 0.02 24 0
160Sally Smith:1 haoyu 15.20 0.04 2072 0
161Walter Little:0 haoyu 15.20 0.04 3676 0
162Sally Smith:0 haoyu 15.21 0.04 2971 0
163ebp:1 haoyu 15.22 0.04 7870 0
164Batman:1 haoyu 15.25 0.04 8669 0
165Batman:0 haoyu 15.26 0.04 8847 0
166Brendan Wright:0 haoyu 15.26 0.10 7 0
167spl:0 Elphaba 15.27 0.09 4144 0
168KingBach:1 haoyu 15.30 0.04 9971 0
169bfang:1 haoyu 15.31 0.04 6724 0
170Khoa:0 haoyu 15.34 0.09 7625 0
171dfshasdsf12:0 haoyu 15.34 0.09 19587 0
172BH:1 haoyu 15.34 0.05 21688 0
173jabreezy:1 Mercury 15.37 0.10 5165 0
174totallyOnFallBreak:0 Nikhilesh Sigatapu 15.38 0.01 1296 0
175Shaheed Chagani:1 Aristotle 15.41 0.11 36676 0
176BH:0 haoyu 15.48 0.07 22325 0
177totallyOnFallBreak:1 Nikhilesh Sigatapu 15.51 0.01 1347 0
178Absurdity:0 Aristotle 15.53 0.23 9364 0
179KingBach:0 haoyu 15.58 0.06 12473 0
180George Okeowo:1 Andrew Grasso 15.60 0.01 3628 0
181Charliezsc:0 jgs 15.62 14.98 11590 1
182Khoa:1 Aristotle 15.63 0.09 7636 0
183burrito:0 haoyu 15.69 0.09 24226 0
184Absurdity:1 Aristotle 15.69 0.18 9831 0
185ebp:0 haoyu 15.71 0.04 7359 0
186Charliezsc:1 haoyu 15.76 0.07 13522 0
187Sabar Dasgupta:1 Aaron Doll 15.99 0.17 13931 0
188Sabar Dasgupta:0 spl 16.12 0.23 13510 0
189Deric Cheng:0 jgs 16.39 14.99 57530 1
190Andrew Werner:1 haoyu 16.42 0.11 30666 0
191DinnerPartyPlannerBM:1 Nihar the Great 16.43 0.06 23936 0
192Sprt:0 Aristotle 16.47 0.11 27814 0
193Aaron H:0 Aristotle 16.57 0.11 27712 0
194John Whelchel:0 haoyu 16.57 0.06 30105 0
195Mike Hunt:0 Aristotle 16.58 0.27 23792 0
196Mike Hunt:1 Aristotle 16.75 0.29 23143 0
197Andys:1 Aristotle 16.91 0.13 32871 0
198Lil Thug:1 Andrew Grasso 17.17 0.03 30616 0
199John Whelchel:1 haoyu 17.45 0.11 30315 0
200Shaheed Chagani:0 Aristotle 18.36 0.17 35715 0
201CAPS LOCK:0 Aristotle 18.92 0.20 54002 0
202Andys:0 Aristotle 19.02 0.12 33237 0
203Deric Cheng:1 jgs 19.37 14.98 56850 1
204Aaron H:1 Aristotle 19.66 0.11 27112 0
205Andrew Werner:0 Aaron Doll 19.68 0.33 32753 0
206Lil Thug:0 Andrew Grasso 19.94 0.03 31436 0
207Bar Shabtai:1 haoyu 20.14 0.12 51778 0
208burrito:1 haoyu 21.08 0.10 43051 0
209dfshasdsf12:1 Nihar the Great 22.00 0.11 30941 0
210nupog:0 Aristotle 22.81 0.13 5077 0
211DinnerPartyPlannerBM:0 Aristotle 22.83 0.11 48134 0
212nupog:1 Aristotle 23.22 0.12 5088 0
213CAPS LOCK:1 Aristotle 27.47 0.25 67078 0
214Elphaba:0 Aristotle 27.70 0.24 112441 0
215Elphaba:1 Aristotle 28.88 0.22 110035 0
216jgs:0 Aristotle 29.53 0.12 58515 0
217jgs:1 haoyu 30.41 0.18 60070 0
21813a:0 Aaron Doll 45.36 15.00 120723 21
21913a:1 Aaron Doll 50.87 15.00 123007 29
220Nihar the Great:1 Aristotle 132.68 0.25 136590 0
221Nihar the Great:0 Aristotle 132.86 0.23 146961 0
222Matt Goldsmith:0 Nihar the Great - 0.03 - 0
223Aristotle:1 Aristotle - 9.69 - 0
224Aaron Doll:0 Aristotle - 0.56 - 0
225Aaron Doll:1 Aristotle - 1.27 - 0
226Bar Shabtai:0 Aaron Doll - 15.01 - 1
227Aristotle:0 Aristotle - 15.00 - 1
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist