SatSolvers Ranklist Generators Ranklist

Stats for satsolver: An Extremely Ordinary Sloth

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 An Extremely Ordinary Sloth 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 An Extremely Ordinary Sloth 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: An Extremely Ordinary Sloth
Rank: 55 / 118
Average Score: 8.05
Median Score: 3.77
Description: This is a variant of Walk-SAT. It sets up a list of literals whose values should never change and uses random restarts.
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
3David Paulk:0 cat 0.01 0.00 0 0
4Miranda:1 cat 0.01 0.00 0 0
5Ravi Tandon:0 KingBach 0.01 0.00 0 0
6Daffy Duck:1 haoyu 0.01 0.00 0 0
7Ravi Tandon:1 KingBach 0.01 0.00 0 0
8Miranda:0 cat 0.01 0.00 0 0
9R. A. B.:1 cat 0.01 0.00 0 0
10Bebe Shi:1 KingBach 0.01 0.00 0 0
11Bebe Shi:0 KingBach 0.01 0.00 0 0
12Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
13Solving For Clauses:1 haoyu 0.01 0.00 0 0
14BMJ:1 burrito 0.01 0.00 0 0
15K.L.:1 KingBach 0.01 0.00 0 0
16Happy:1 KingBach 0.01 0.00 0 0
17Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
18Joshua Zimmer:1 haoyu 0.01 0.00 0 0
19Blam:1 Elphaba 0.01 0.00 0 0
20Tree Prophet:0 haoyu 0.01 0.00 0 0
21BMJ:0 Elphaba 0.01 0.00 0 0
22Blam:0 Elphaba 0.01 0.00 0 0
23bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
24Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
25Joshua Zimmer:0 haoyu 0.02 0.00 0 0
26haoyu:0 KingBach 0.02 0.01 0 0
27Jonathan Kwok:1 KingBach 0.02 0.00 0 0
28K.L.:0 haoyu 0.02 0.00 0 0
29haoyu:1 Anon5 0.02 0.01 0 0
30Tree Prophet:1 haoyu 0.02 0.00 0 0
31Quite Satisfied:0 haoyu 0.02 0.00 0 0
32David Paulk:1 Bar Shabtai 0.03 0.00 0 0
33bchouGenerator:0 haoyu 0.03 0.00 0 0
34Gewang:1 Jonathan Kwok 0.03 0.00 0 0
35Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
36Mike Honcho:0 Miranda 0.03 0.01 0 0
37Gewang:0 Jonathan Kwok 0.03 0.00 0 0
38George Okeowo:0 Andrew Grasso 0.04 0.01 0 0
39George Okeowo:1 Andrew Grasso 0.04 0.01 0 0
40Scheduling Generator 203:0 jgs 0.04 0.01 0 0
41totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
42totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
43Happy:0 haoyu 0.05 0.00 0 0
44The Kraken:1 haoyu 0.05 0.00 0 0
45The Kraken:0 haoyu 0.05 0.00 0 0
46Boomshanka:0 haoyu 0.07 0.01 0 0
47Boomshanka:1 Bar Shabtai 0.07 0.01 0 0
48cmF5a3ly:0 Nihar the Great 0.07 0.00 0 0
49Qinlan Shen:0 Bar Shabtai 0.07 0.01 0 0
50Jordan Ash:1 Bar Shabtai 0.07 0.01 0 0
51cmF5a3ly:1 Nihar the Great 0.08 0.00 0 0
52Tom T:0 EC 0.09 0.02 0 0
53Jameh:0 haoyu 0.09 0.01 0 0
54Mickey Mouse:0 Bar Shabtai 0.09 0.01 0 0
55Tom T:1 Andrew Werner 0.09 0.02 0 0
56Scheduling Generator 203:1 Jameh 0.11 0.02 0 0
57Mickey Mouse:1 haoyu 0.11 0.01 0 0
58DeeEmEm:1 haoyu 0.12 0.02 0 0
59Jordan Ash:0 EC 0.12 0.03 0 0
60weezy:0 Bar Shabtai 0.12 0.01 0 0
61Dr Roberto:1 Andrew Grasso 0.14 0.02 0 0
62R. A. B.:0 Nihar the Great 0.14 0.00 0 0
63weezy:1 Bar Shabtai 0.14 0.01 0 0
64Alex Fish:1 haoyu 0.15 0.02 0 0
65Sunny:1 jabreezy 0.20 0.01 0 0
66Tiny Wings:1 haoyu 0.20 0.01 0 0
67Ytterbium:0 Andrew Grasso 0.21 0.02 0 0
68Dr Roberto:0 Andrew Grasso 0.22 0.03 0 0
690108:1 haoyu 0.24 0.01 0 0
70Jameh:1 haoyu 0.24 0.01 0 0
71The Whitman Whale:1 Andrew Grasso 0.27 0.03 0 0
72Keji Xu:1 Nihar the Great 0.27 0.04 0 0
73vluu:0 Nihar the Great 0.29 0.01 0 0
74Tiny Wings:0 haoyu 0.30 0.02 0 0
75Alex Fish:0 haoyu 0.30 0.01 0 0
76vluu:1 Nihar the Great 0.31 0.02 0 0
77Keji Xu:0 Nihar the Great 0.34 0.03 0 0
78cat:0 haoyu 0.35 0.03 0 0
79cat:1 haoyu 0.35 0.03 0 0
80Bob Dondero:1 Mickey Mouse 0.36 0.03 0 0
81The Whitman Whale:0 bigwig 0.37 0.04 0 0
82Nikhilesh Sigatapu:0 haoyu 0.38 0.03 0 0
83Ytterbium:1 Nihar the Great 0.39 0.02 0 0
84Anon_K_P:1 Aristotle 0.47 0.03 0 0
85Tao:1 Aristotle 0.66 0.07 0 0
86Samuel Jerome:0 haoyu 0.67 0.03 0 0
87Janie Gu:1 Jonathan Kwok 0.68 0.07 0 0
88Nikhilesh Sigatapu:1 haoyu 0.74 0.04 0 0
89Lisa Kim:1 Bar Shabtai 0.78 0.06 0 0
90kt4124:0 haoyu 0.95 0.03 0 0
91Sunny:0 Green "The Bean" Choi 0.97 0.02 0 0
92Lisa Kim:0 Aristotle 1.11 0.07 0 0
93Linda:0 Andrew Grasso 1.13 0.01 0 0
94Samuel Jerome:1 haoyu 1.19 0.03 0 0
95AARON BURR, DROPPIN' HAMILTONS:0 haoyu 1.25 0.00 0 0
96kt4124:1 haoyu 1.29 0.04 0 0
97Janie Gu:0 Glenn Fisher 1.31 0.07 0 0
98Tao:0 Bar Shabtai 1.54 0.02 0 0
99Sally Smith:0 haoyu 1.77 0.04 0 0
100Bob Dondero:0 Andrew Grasso 1.81 0.02 0 0
101Linda:1 Andrew Grasso 1.89 0.02 0 0
102Sally Smith:1 haoyu 1.92 0.04 0 0
103bfang:0 haoyu 1.94 0.04 0 0
104Mercury:1 haoyu 1.96 0.05 0 0
105Mercury:0 haoyu 2.14 0.05 0 0
106bfang:1 haoyu 2.22 0.04 0 0
107Anon_K_P:0 haoyu 2.51 0.02 0 0
108Batman:1 haoyu 2.71 0.04 0 0
109soccer:0 haoyu 2.85 0.04 0 0
110Batman:0 haoyu 2.96 0.04 0 0
111KingBach:1 haoyu 3.02 0.04 0 0
112AARON BURR, DROPPIN' HAMILTONS:1 haoyu 3.10 0.01 0 0
113Brendan Wright:0 haoyu 3.72 0.10 0 0
114KingBach:0 haoyu 3.82 0.06 0 0
115Charliezsc:1 haoyu 4.64 0.07 0 0
116Khoa:1 Aristotle 4.70 0.09 0 0
117Khoa:0 haoyu 4.77 0.09 0 0
118soccer:1 haoyu 4.97 0.04 0 0
119Sprt:1 haoyu 6.39 0.05 0 0
120burrito:0 haoyu 7.98 0.09 0 0
121Brendan Wright:1 Deric Cheng 8.66 0.10 0 0
122John Whelchel:0 haoyu 9.51 0.06 0 0
123Fanny:0 Aristotle 10.69 0.10 0 0
124DinnerPartyPlannerBM:1 Nihar the Great 13.94 0.06 0 0
125Jessie Chen:0 Joel Faron 15.00 0.13 1 1
126Valya Barboy:1 Shaheed Chagani 15.00 0.18 1 0
127Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
128Jessie Chen:1 Joel Faron 15.00 0.12 1 1
129DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
130Fanny:1 Aristotle 15.00 0.12 1 0
1310108:0 jgs 15.00 14.98 1 1
132CookieMonster:1 CookieMonster 15.00 1.10 1 0
133Anon5:1 Green "The Bean" Choi 15.00 0.07 2 0
134EC:1 haoyu 15.00 0.03 2 0
135David H.:0 AFC 15.00 0.28 2 0
136T. Capote:0 haoyu 15.00 0.00 2 2
137T. Capote:1 haoyu 15.00 0.00 2 2
138EC:0 haoyu 15.00 0.03 2 0
139Valya Barboy:0 Aristotle 15.00 0.06 2 0
140David H.:1 DeeEmEm 15.00 0.33 3 0
141AFC:1 Aristotle 15.00 0.16 3 0
142Anon5:0 haoyu 15.00 0.05 4 0
143AFC:0 CookieMonster 15.00 0.34 4 0
144SuperFan:1 jgs 15.00 14.98 6 4
145Absurdity:1 Aristotle 15.00 0.18 9 0
146SuperFan:0 jgs 15.00 14.98 10 4
147Glenn Fisher:0 Elphaba 15.00 0.02 13 0
148David Lackey:0 Anon5 15.00 0.03 14 0
149jabreezy:0 Mercury 15.00 0.09 15 0
150Andrew Grasso:0 Aaron Doll 15.00 0.18 29 0
151Dusty:1 Shaheed Chagani 15.00 0.22 30 0
152Walter Little:0 haoyu 15.00 0.04 30 0
153ebp:0 haoyu 15.00 0.04 30 0
154Glenn Fisher:1 jabreezy 15.00 0.09 31 0
155Dusty:0 CookieMonster 15.00 1.39 32 0
156Andrew Grasso:1 Shaheed Chagani 15.00 0.15 32 0
157Ben Chen:0 Elphaba 15.00 0.07 33 0
158Mr. Blobby:1 dusty 15.00 0.12 33 0
159Ben Chen:1 spl 15.00 0.20 34 0
160Supahaka:0 Andrew Werner 15.00 15.00 35 35
161Supahaka:1 Joel Faron 15.00 15.00 35 35
162spl:1 haoyu 15.00 0.06 37 0
163NA:1 Elphaba 15.00 0.04 43 0
164NA:0 haoyu 15.00 0.03 57 0
165Matt Haake:0 haoyu 15.00 0.05 72 0
166Matt Haake:1 haoyu 15.00 0.05 74 0
167Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
168Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
169nupog:0 Aristotle 15.00 0.13 3330 0
170dfshasdsf12:1 Nihar the Great 15.00 0.11 15440 0
171CookieMonster:0 CookieMonster 15.00 0.82 1 0
172David Lackey:1 Bar Shabtai 15.00 0.03 11 0
173Yacob Y.:1 Aristotle 15.00 15.00 12 1
174Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 30 0
175Walter Little:1 haoyu 15.00 0.03 36 0
176Yan Wu:0 haoyu 15.00 0.05 38 0
177snowflakes:1 haoyu 15.00 0.03 84 0
178snowflakes:0 haoyu 15.00 0.03 86 0
179Mike Hunt:1 Aristotle 15.00 0.29 1944 0
180Shaheed Chagani:0 Aristotle 15.00 0.17 21321 0
181Sabar Dasgupta:0 spl 15.00 0.23 2 0
182Absurdity:0 Aristotle 15.00 0.23 21 0
183Yan Wu:1 haoyu 15.00 0.04 31 0
184Andrew Werner:1 haoyu 15.00 0.11 806 0
185nupog:1 Aristotle 15.00 0.12 3250 0
186burrito:1 haoyu 15.00 0.10 14096 0
187jabreezy:1 Mercury 15.00 0.10 19 0
188spl:0 Elphaba 15.00 0.09 32 0
189Andrew Werner:0 Aaron Doll 15.00 0.33 811 0
190Yacob Y.:0 haoyu 15.01 0.06 1 0
191ebp:1 haoyu 15.01 0.04 25 0
192Aaron H:1 Aristotle 15.01 0.11 38 0
193Sprt:0 Aristotle 15.01 0.11 4598 0
194Shaheed Chagani:1 Aristotle 15.01 0.11 19658 0
195Deric Cheng:0 jgs 15.01 14.99 33084 1
196Aaron H:0 Aristotle 15.01 0.11 75 0
197BH:0 haoyu 15.01 0.07 4822 0
198Lil Thug:0 Andrew Grasso 15.01 0.03 6148 0
199Lil Thug:1 Andrew Grasso 15.01 0.03 8293 0
200Aristotle:0 Aristotle 15.01 15.00 739472 1
201John Whelchel:1 haoyu 15.01 0.11 3 0
202BH:1 haoyu 15.01 0.05 4153 0
203Bar Shabtai:1 haoyu 15.01 0.12 36462 0
204Deric Cheng:1 jgs 15.01 14.98 27792 1
205Charliezsc:0 jgs 15.01 14.98 2 1
206dfshasdsf12:0 haoyu 15.01 0.09 3006 0
207CAPS LOCK:1 Aristotle 15.01 0.25 43822 0
208Mike Hunt:0 Aristotle 15.01 0.27 56 0
209Sabar Dasgupta:1 Aaron Doll 15.01 0.17 3 0
210Andys:1 Aristotle 15.01 0.13 10 0
21113a:1 Aaron Doll 15.01 15.00 112283 29
212DinnerPartyPlannerBM:0 Aristotle 15.01 0.11 20866 0
213jgs:0 Aristotle 15.02 0.12 37118 0
214Andys:0 Aristotle 15.03 0.12 15 0
215Matt Goldsmith:1 Happy 15.03 0.03 518604 0
216jgs:1 haoyu 15.03 0.18 42072 0
217Nihar the Great:1 Aristotle 15.03 0.25 24780 0
218Elphaba:0 Aristotle 15.04 0.24 86425 0
219CAPS LOCK:0 Aristotle 15.04 0.20 20836 0
220Bar Shabtai:0 Aaron Doll 15.05 15.01 346670 1
221Elphaba:1 Aristotle 15.05 0.22 86723 0
22213a:0 Aaron Doll 15.05 15.00 111544 21
223Matt Goldsmith:0 Nihar the Great 15.08 0.03 507761 0
224Aaron Doll:1 Aristotle 15.09 1.27 336816 0
225Aaron Doll:0 Aristotle 15.11 0.56 273215 0
226Aristotle:1 Aristotle 15.20 9.69 758260 0
227Quite Satisfied:1 Joel Faron 15.40 2.11 1 1
228Nihar the Great:0 Aristotle - 0.23 - 0


SatSolvers Ranklist Generators Ranklist