SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Sprt

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 Sprt 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 Sprt 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: Sprt
Rank: 69 / 118
Average Score: 10.62
Median Score: 0.83
Description: This sat-solver combines elements of DPLL (namely pure symbol finding) with a modified WalkSat algorithm (randomly flips two variables in an unsatisfied clause rather than one) in order to find a model satisfying the provided CNF, or to return the best model found so far if a solution cannot be found within the time limit.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3K.L.:1 KingBach 0.00 0.00 0 0
4David Paulk:0 cat 0.00 0.00 0 0
5Miranda:1 cat 0.00 0.00 0 0
6Bebe Shi:0 KingBach 0.00 0.00 0 0
7Ravi Tandon:1 KingBach 0.00 0.00 0 0
8Miranda:0 cat 0.00 0.00 0 0
9Bebe Shi:1 KingBach 0.00 0.00 0 0
10Happy:1 KingBach 0.00 0.00 0 0
11Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
12Daffy Duck:1 haoyu 0.00 0.00 0 0
13Solving For Clauses:1 haoyu 0.01 0.00 0 0
14Joshua Zimmer:0 haoyu 0.01 0.00 0 0
15Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
16Jonathan Kwok:1 KingBach 0.01 0.00 0 0
17Joshua Zimmer:1 haoyu 0.01 0.00 0 0
18bchouGenerator:0 haoyu 0.01 0.00 0 0
19Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
20K.L.:0 haoyu 0.01 0.00 0 0
21George Okeowo:1 Andrew Grasso 0.01 0.01 0 0
22George Okeowo:0 Andrew Grasso 0.01 0.01 0 0
23haoyu:1 Anon5 0.01 0.01 0 0
24Blam:1 Elphaba 0.01 0.00 0 0
25BMJ:1 burrito 0.01 0.00 0 0
26BMJ:0 Elphaba 0.01 0.00 0 0
27haoyu:0 KingBach 0.02 0.01 0 0
28Quite Satisfied:0 haoyu 0.02 0.00 0 0
29The Kraken:0 haoyu 0.02 0.00 0 0
30The Kraken:1 haoyu 0.02 0.00 0 0
31bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
32Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
33cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
34R. A. B.:0 Nihar the Great 0.03 0.00 0 0
35cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
36totallyOnFallBreak:1 Nikhilesh Sigatapu 0.04 0.01 0 0
37Scheduling Generator 203:0 jgs 0.04 0.01 0 0
38Sunny:0 Green "The Bean" Choi 0.04 0.02 0 0
39Jordan Ash:1 Bar Shabtai 0.04 0.01 0 0
40Jameh:0 haoyu 0.05 0.01 0 0
41totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
42Qinlan Shen:0 Bar Shabtai 0.05 0.01 0 0
43Mickey Mouse:1 haoyu 0.05 0.01 0 0
44Happy:0 haoyu 0.05 0.00 0 0
45Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
46Scheduling Generator 203:1 Jameh 0.05 0.02 0 0
47Tom T:0 EC 0.05 0.02 0 0
48Jordan Ash:0 EC 0.06 0.03 0 0
49DeeEmEm:1 haoyu 0.06 0.02 0 0
50Tiny Wings:1 haoyu 0.06 0.01 0 0
510108:1 haoyu 0.06 0.01 0 0
52weezy:0 Bar Shabtai 0.07 0.01 0 0
53Ytterbium:0 Andrew Grasso 0.07 0.02 0 0
54Blam:0 Elphaba 0.07 0.00 0 0
55weezy:1 Bar Shabtai 0.07 0.01 0 0
56Boomshanka:0 haoyu 0.07 0.01 0 0
57Alex Fish:0 haoyu 0.08 0.01 0 0
58Tom T:1 Andrew Werner 0.08 0.02 0 0
59Jameh:1 haoyu 0.08 0.01 0 0
60Sunny:1 jabreezy 0.09 0.01 0 0
61Mike Honcho:0 Miranda 0.09 0.01 0 0
62vluu:0 Nihar the Great 0.09 0.01 0 0
63The Whitman Whale:1 Andrew Grasso 0.09 0.03 0 0
64Keji Xu:0 Nihar the Great 0.10 0.03 0 0
65The Whitman Whale:0 bigwig 0.10 0.04 0 0
66Janie Gu:0 Glenn Fisher 0.10 0.07 0 0
67Dr Roberto:1 Andrew Grasso 0.10 0.02 0 0
68Ytterbium:1 Nihar the Great 0.11 0.02 0 0
69Tiny Wings:0 haoyu 0.11 0.02 0 0
70Alex Fish:1 haoyu 0.11 0.02 0 0
71Keji Xu:1 Nihar the Great 0.11 0.04 0 0
72Mike Honcho:1 Jessie Chen 0.12 0.01 0 0
73vluu:1 Nihar the Great 0.13 0.02 0 0
74David Lackey:1 Bar Shabtai 0.13 0.03 0 0
75Dr Roberto:0 Andrew Grasso 0.13 0.03 0 0
76David Lackey:0 Anon5 0.16 0.03 0 0
77Tao:1 Aristotle 0.17 0.07 0 0
78Bob Dondero:0 Andrew Grasso 0.17 0.02 0 0
79Janie Gu:1 Jonathan Kwok 0.17 0.07 0 0
80Linda:0 Andrew Grasso 0.18 0.01 0 0
81cat:0 haoyu 0.18 0.03 0 0
82cat:1 haoyu 0.20 0.03 0 0
83kt4124:0 haoyu 0.20 0.03 0 0
84Anon_K_P:0 haoyu 0.22 0.02 0 0
85Bob Dondero:1 Mickey Mouse 0.23 0.03 0 0
86Lisa Kim:1 Bar Shabtai 0.25 0.06 0 0
87AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.27 0.01 0 0
88Nikhilesh Sigatapu:1 haoyu 0.29 0.04 0 0
89AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.30 0.00 0 0
90kt4124:1 haoyu 0.31 0.04 0 0
91Samuel Jerome:1 haoyu 0.31 0.03 0 0
92Fanny:1 Aristotle 0.32 0.12 0 0
93Fanny:0 Aristotle 0.34 0.10 0 0
94Lisa Kim:0 Aristotle 0.34 0.07 0 0
95Nikhilesh Sigatapu:0 haoyu 0.35 0.03 0 0
96Yan Wu:0 haoyu 0.38 0.05 0 0
97Tao:0 Bar Shabtai 0.39 0.02 0 0
98Anon_K_P:1 Aristotle 0.40 0.03 0 0
99Sally Smith:0 haoyu 0.42 0.04 0 0
100Mercury:0 haoyu 0.43 0.05 0 0
101Samuel Jerome:0 haoyu 0.45 0.03 0 0
102Sally Smith:1 haoyu 0.49 0.04 0 0
103Batman:0 haoyu 0.50 0.04 0 0
104Linda:1 Andrew Grasso 0.50 0.02 0 0
105bfang:0 haoyu 0.55 0.04 0 0
106Glenn Fisher:0 Elphaba 0.56 0.02 0 0
107KingBach:1 haoyu 0.70 0.04 0 0
108KingBach:0 haoyu 0.72 0.06 0 0
109Mercury:1 haoyu 0.79 0.05 0 0
110soccer:0 haoyu 0.83 0.04 0 0
111soccer:1 haoyu 0.91 0.04 0 0
112Batman:1 haoyu 0.91 0.04 0 0
113Sprt:1 haoyu 0.92 0.05 0 0
114Khoa:0 haoyu 0.95 0.09 0 0
115Yan Wu:1 haoyu 1.01 0.04 0 0
116Khoa:1 Aristotle 1.07 0.09 0 0
117bfang:1 haoyu 1.34 0.04 0 0
118Brendan Wright:1 Deric Cheng 1.53 0.10 0 0
119Matt Haake:0 haoyu 1.55 0.05 0 0
120burrito:0 haoyu 1.56 0.09 0 0
121Sabar Dasgupta:0 spl 1.59 0.23 0 0
122Matt Haake:1 haoyu 1.77 0.05 0 0
123DinnerPartyPlannerBM:1 Nihar the Great 1.90 0.06 0 0
124dfshasdsf12:0 haoyu 2.73 0.09 0 0
125Aaron H:0 Aristotle 2.75 0.11 0 0
126Mr. Blobby:1 dusty 2.92 0.12 0 0
127Lil Thug:1 Andrew Grasso 2.95 0.03 0 0
128Sabar Dasgupta:1 Aaron Doll 3.19 0.17 0 0
129Aaron H:1 Aristotle 3.29 0.11 0 0
130Lil Thug:0 Andrew Grasso 3.41 0.03 0 0
131Sprt:0 Aristotle 3.53 0.11 0 0
132Walter Little:1 haoyu 3.82 0.03 0 0
133EC:1 haoyu 3.92 0.03 0 0
134Ben Chen:1 spl 3.94 0.20 0 0
135Glenn Fisher:1 jabreezy 4.21 0.09 0 0
136dfshasdsf12:1 Nihar the Great 5.07 0.11 0 0
137Mike Hunt:1 Aristotle 5.08 0.29 0 0
138Anon5:1 Green "The Bean" Choi 5.48 0.07 0 0
139Ben Chen:0 Elphaba 5.62 0.07 0 0
140burrito:1 haoyu 5.82 0.10 0 0
141ebp:1 haoyu 6.08 0.04 0 0
142jabreezy:0 Mercury 6.12 0.09 0 0
143John Whelchel:0 haoyu 6.19 0.06 0 0
144Mike Hunt:0 Aristotle 6.47 0.27 0 0
145Andys:0 Aristotle 6.62 0.12 0 0
146jabreezy:1 Mercury 6.85 0.10 0 0
147Yacob Y.:0 haoyu 7.06 0.06 0 0
148Walter Little:0 haoyu 8.96 0.04 0 0
149CAPS LOCK:0 Aristotle 11.31 0.20 0 0
150Charliezsc:1 haoyu 11.68 0.07 0 0
151Valya Barboy:1 Shaheed Chagani 12.21 0.18 0 0
152nupog:1 Aristotle 13.11 0.12 0 0
153Andrew Werner:1 haoyu 13.23 0.11 0 0
154nupog:0 Aristotle 13.68 0.13 0 0
155DinnerPartyPlannerBM:0 Aristotle 14.08 0.11 0 0
156David H.:1 DeeEmEm 15.00 0.33 1 0
157Jessie Chen:0 Joel Faron 15.00 0.13 1 1
158snowflakes:0 haoyu 15.00 0.03 1 0
159Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
160Gewang:1 Jonathan Kwok 15.00 0.00 1 0
161Charliezsc:0 jgs 15.00 14.98 1 1
162Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
163Brendan Wright:0 haoyu 15.00 0.10 1 0
164Jessie Chen:1 Joel Faron 15.00 0.12 1 1
165Gewang:0 Jonathan Kwok 15.00 0.00 1 0
166DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1670108:0 jgs 15.00 14.98 1 1
168EC:0 haoyu 15.00 0.03 1 0
169Valya Barboy:0 Aristotle 15.00 0.06 1 0
170Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 2 0
171Dusty:1 Shaheed Chagani 15.00 0.22 2 0
172David H.:0 AFC 15.00 0.28 2 0
173T. Capote:0 haoyu 15.00 0.00 2 2
174T. Capote:1 haoyu 15.00 0.00 2 2
175snowflakes:1 haoyu 15.00 0.03 2 0
176Tree Prophet:0 haoyu 15.00 0.00 3 0
177ebp:0 haoyu 15.00 0.04 3 0
178Anon5:0 haoyu 15.00 0.05 3 0
179AFC:1 Aristotle 15.00 0.16 3 0
180Dusty:0 CookieMonster 15.00 1.39 3 0
181SuperFan:0 jgs 15.00 14.98 4 4
182SuperFan:1 jgs 15.00 14.98 4 4
183Absurdity:0 Aristotle 15.00 0.23 4 0
184Shaheed Chagani:0 Aristotle 15.00 0.17 5 0
185Andrew Grasso:1 Shaheed Chagani 15.00 0.15 5 0
186Andrew Grasso:0 Aaron Doll 15.00 0.18 6 0
187NA:1 Elphaba 15.00 0.04 7 0
188Tree Prophet:1 haoyu 15.00 0.00 7 0
189Yacob Y.:1 Aristotle 15.00 15.00 9 1
190NA:0 haoyu 15.00 0.03 11 0
191David Paulk:1 Bar Shabtai 15.00 0.00 15 0
192Supahaka:1 Joel Faron 15.00 15.00 38 35
193Supahaka:0 Andrew Werner 15.00 15.00 40 35
194BH:1 haoyu 15.00 0.05 170 0
195BH:0 haoyu 15.00 0.07 198 0
196CookieMonster:0 CookieMonster 15.00 0.82 1 0
197CookieMonster:1 CookieMonster 15.00 1.10 1 0
198AFC:0 CookieMonster 15.00 0.34 2 0
199Absurdity:1 Aristotle 15.00 0.18 5 0
200Shaheed Chagani:1 Aristotle 15.00 0.11 4003 0
201Elphaba:0 Aristotle 15.00 0.24 12125 0
202Nihar the Great:0 Aristotle 15.00 0.23 20409 0
20313a:1 Aaron Doll 15.01 15.00 58839 29
204Aaron Doll:0 Aristotle 15.01 0.56 222640 0
20513a:0 Aaron Doll 15.01 15.00 61205 21
206Andys:1 Aristotle 15.02 0.13 4 0
207Nihar the Great:1 Aristotle 15.02 0.25 19723 0
208John Whelchel:1 haoyu 15.02 0.11 1 0
209Elphaba:1 Aristotle 15.02 0.22 20468 0
210Aaron Doll:1 Aristotle 15.04 1.27 293264 0
211jgs:0 Aristotle 15.05 0.12 29 0
212Deric Cheng:0 jgs 15.08 14.99 1 1
213Bar Shabtai:0 Aaron Doll 15.08 15.01 304462 1
214Andrew Werner:0 Aaron Doll 15.10 0.33 2 0
215jgs:1 haoyu 15.10 0.18 32 0
216Aristotle:1 Aristotle 15.11 9.69 717168 0
217Aristotle:0 Aristotle 15.15 15.00 728225 1
218Deric Cheng:1 jgs 15.15 14.98 1 1
219Bar Shabtai:1 haoyu 15.18 0.12 1 0
220CAPS LOCK:1 Aristotle 15.48 0.25 26 0
221Matt Goldsmith:0 Nihar the Great - 0.03 - 0
222Mark S. Fillmore:1 Supahaka - 0.04 - 79
223bigwig:0 Andrew Werner - 0.00 - 0
224spl:0 Elphaba - 0.09 - 0
225Mark S. Fillmore:0 Supahaka - 0.01 - 116
226spl:1 haoyu - 0.06 - 0
227R. A. B.:1 cat - 0.00 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist