SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Elphaba

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 Elphaba 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 Elphaba 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: Elphaba
Rank: 53 / 118
Average Score: 8.01
Median Score: 15.00
Description: This sat-solver implements DPLL and relies on the degree heuristic for variable ordering. When time runs out it returns the current model with unset literals set to false.
Generator Best solver Time taken Best time Unsat Best unsat
1Bebe Shi:1 KingBach 0.00 0.00 0 0
2Blam:1 Elphaba 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4Miranda:1 cat 0.00 0.00 0 0
5BMJ:0 Elphaba 0.00 0.00 0 0
6bigwig:1 KingBach 0.00 0.00 0 0
7Bebe Shi:0 KingBach 0.00 0.00 0 0
8Blam:0 Elphaba 0.00 0.00 0 0
9Miranda:0 cat 0.00 0.00 0 0
10Jonathan Kwok:1 KingBach 0.00 0.00 0 0
11BMJ:1 burrito 0.00 0.00 0 0
12K.L.:1 KingBach 0.00 0.00 0 0
13David Paulk:0 cat 0.00 0.00 0 0
14Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
15Tree Prophet:0 haoyu 0.00 0.00 0 0
16David Paulk:1 Bar Shabtai 0.00 0.00 0 0
17Happy:0 haoyu 0.00 0.00 0 0
18Tree Prophet:1 haoyu 0.00 0.00 0 0
19bchouGenerator:0 haoyu 0.01 0.00 0 0
20Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
21Solving For Clauses:1 haoyu 0.01 0.00 0 0
22Quite Satisfied:0 haoyu 0.01 0.00 0 0
23Gewang:1 Jonathan Kwok 0.01 0.00 0 0
24Gewang:0 Jonathan Kwok 0.01 0.00 0 0
25Joshua Zimmer:1 haoyu 0.01 0.00 0 0
26George Okeowo:0 Andrew Grasso 0.01 0.01 0 0
27Joshua Zimmer:0 haoyu 0.01 0.00 0 0
28George Okeowo:1 Andrew Grasso 0.01 0.01 0 0
29bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
30R. A. B.:1 cat 0.01 0.00 0 0
31The Kraken:0 haoyu 0.01 0.00 0 0
32The Kraken:1 haoyu 0.01 0.00 0 0
330108:1 haoyu 0.01 0.01 0 0
34R. A. B.:0 Nihar the Great 0.01 0.00 0 0
35cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
36cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
37Glenn Fisher:0 Elphaba 0.02 0.02 0 0
38totallyOnFallBreak:1 Nikhilesh Sigatapu 0.02 0.01 0 0
39totallyOnFallBreak:0 Nikhilesh Sigatapu 0.02 0.01 0 0
40weezy:1 Bar Shabtai 0.03 0.01 0 0
41weezy:0 Bar Shabtai 0.03 0.01 0 0
42Jameh:0 haoyu 0.03 0.01 0 0
43Alex Fish:1 haoyu 0.03 0.02 0 0
44NA:1 Elphaba 0.04 0.04 0 0
45Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
46Mickey Mouse:1 haoyu 0.04 0.01 0 0
47Alex Fish:0 haoyu 0.04 0.01 0 0
48Jameh:1 haoyu 0.04 0.01 0 0
49snowflakes:1 haoyu 0.04 0.03 0 0
50David Lackey:1 Bar Shabtai 0.04 0.03 0 0
51Tiny Wings:0 haoyu 0.04 0.02 0 0
52David Lackey:0 Anon5 0.04 0.03 0 0
53Tiny Wings:1 haoyu 0.04 0.01 0 0
54Samuel Jerome:0 haoyu 0.05 0.03 0 0
55snowflakes:0 haoyu 0.05 0.03 0 0
56Tom T:0 EC 0.05 0.02 0 0
57Ytterbium:1 Nihar the Great 0.05 0.02 0 0
58Nikhilesh Sigatapu:1 haoyu 0.05 0.04 0 0
59The Whitman Whale:0 bigwig 0.06 0.04 0 0
60Scheduling Generator 203:0 jgs 0.06 0.01 0 0
61Tom T:1 Andrew Werner 0.06 0.02 0 0
62Ytterbium:0 Andrew Grasso 0.06 0.02 0 0
63Scheduling Generator 203:1 Jameh 0.07 0.02 0 0
64The Whitman Whale:1 Andrew Grasso 0.07 0.03 0 0
65Lisa Kim:0 Aristotle 0.07 0.07 0 0
66Boomshanka:1 Bar Shabtai 0.07 0.01 0 0
67Ben Chen:0 Elphaba 0.07 0.07 0 0
68Mercury:0 haoyu 0.07 0.05 0 0
69Lisa Kim:1 Bar Shabtai 0.07 0.06 0 0
70cat:1 haoyu 0.08 0.03 0 0
71Boomshanka:0 haoyu 0.08 0.01 0 0
72cat:0 haoyu 0.08 0.03 0 0
73spl:1 haoyu 0.08 0.06 0 0
74bfang:1 haoyu 0.09 0.04 0 0
75bfang:0 haoyu 0.09 0.04 0 0
76spl:0 Elphaba 0.09 0.09 0 0
77Batman:0 haoyu 0.10 0.04 0 0
78Batman:1 haoyu 0.10 0.04 0 0
79kt4124:1 haoyu 0.11 0.04 0 0
80Bob Dondero:0 Andrew Grasso 0.12 0.02 0 0
81Sally Smith:0 haoyu 0.12 0.04 0 0
82Bob Dondero:1 Mickey Mouse 0.12 0.03 0 0
83kt4124:0 haoyu 0.12 0.03 0 0
84Sally Smith:1 haoyu 0.12 0.04 0 0
85Brendan Wright:1 Deric Cheng 0.14 0.10 0 0
86BH:1 haoyu 0.15 0.05 0 0
87ebp:0 haoyu 0.19 0.04 0 0
88ebp:1 haoyu 0.19 0.04 0 0
89Sprt:1 haoyu 0.19 0.05 0 0
90KingBach:1 haoyu 0.20 0.04 0 0
91Mike Honcho:0 Miranda 0.27 0.01 0 0
92Mike Hunt:0 Aristotle 0.28 0.27 0 0
93Mike Honcho:1 Jessie Chen 0.29 0.01 0 0
94Khoa:0 haoyu 0.33 0.09 0 0
95Mike Hunt:1 Aristotle 0.35 0.29 0 0
96DinnerPartyPlannerBM:1 Nihar the Great 0.37 0.06 0 0
97Khoa:1 Aristotle 0.37 0.09 0 0
98Linda:0 Andrew Grasso 0.41 0.01 0 0
99Lil Thug:0 Andrew Grasso 0.45 0.03 0 0
100Lil Thug:1 Andrew Grasso 0.48 0.03 0 0
101Brendan Wright:0 haoyu 0.51 0.10 0 0
102Sprt:0 Aristotle 0.66 0.11 0 0
103Linda:1 Andrew Grasso 0.80 0.02 0 0
104DinnerPartyPlannerBM:0 Aristotle 0.84 0.11 0 0
105jgs:1 haoyu 1.34 0.18 0 0
106CAPS LOCK:0 Aristotle 3.10 0.20 0 0
107Shaheed Chagani:0 Aristotle 5.33 0.17 0 0
108Shaheed Chagani:1 Aristotle 5.37 0.11 0 0
109Aaron Doll:0 Aristotle 7.89 0.56 0 0
110Matt Goldsmith:1 Happy 11.90 0.03 0 0
111T. Capote:0 haoyu 0.00 0.00 4 2
112T. Capote:1 haoyu 0.00 0.00 4 2
113Daffy Duck:0 Andrew Werner 0.00 0.00 6 0
114Dr Roberto:1 Andrew Grasso 0.09 0.02 6 0
115Dr Roberto:0 Andrew Grasso 0.09 0.03 6 0
116Daffy Duck:1 haoyu 0.00 0.00 6 0
117K.L.:0 haoyu 0.00 0.00 7 0
118Ravi Tandon:0 KingBach 0.00 0.00 8 0
119Happy:1 KingBach 0.00 0.00 8 0
120Qinlan Shen:1 R. A. B. 0.01 9.00 10 1
121Qinlan Shen:0 Bar Shabtai 0.01 0.01 10 0
122Anon5:1 Green "The Bean" Choi 0.02 0.07 11 0
123Quite Satisfied:1 Joel Faron 0.00 2.11 12 1
124Ravi Tandon:1 KingBach 0.01 0.00 12 0
125Valya Barboy:1 Shaheed Chagani 0.04 0.18 13 0
126Jessie Chen:1 Joel Faron 0.00 0.12 13 1
127Jessie Chen:0 Joel Faron 0.00 0.13 14 1
128Valya Barboy:0 Aristotle 0.02 0.06 14 0
129AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.02 0.00 15 0
130EC:1 haoyu 0.04 0.03 16 0
131DeeEmEm:0 CAPS LOCK 0.02 13.00 16 1
132DeeEmEm:1 haoyu 0.01 0.02 17 0
133EC:0 haoyu 0.04 0.03 19 0
134Tao:1 Aristotle 0.06 0.07 20 0
135Anon_K_P:1 Aristotle 0.03 0.03 20 0
136AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.02 0.01 20 0
137Sunny:0 Green "The Bean" Choi 0.01 0.02 21 0
138Jordan Ash:1 Bar Shabtai 0.01 0.01 21 0
139Sunny:1 jabreezy 0.01 0.01 21 0
140haoyu:1 Anon5 0.01 0.01 23 0
141vluu:0 Nihar the Great 0.02 0.01 25 0
142vluu:1 Nihar the Great 0.01 0.02 25 0
143Anon5:0 haoyu 0.02 0.05 25 0
144Anon_K_P:0 haoyu 0.04 0.02 26 0
145CookieMonster:0 CookieMonster 0.03 0.82 26 0
146Tao:0 Bar Shabtai 0.05 0.02 26 0
147David H.:1 DeeEmEm 0.01 0.33 27 0
148haoyu:0 KingBach 0.01 0.01 27 0
149David H.:0 AFC 0.02 0.28 27 0
1500108:0 jgs 0.01 14.98 27 1
151soccer:1 haoyu 0.13 0.04 28 0
152Jordan Ash:0 EC 0.03 0.03 28 0
153CookieMonster:1 CookieMonster 0.02 1.10 28 0
154Charliezsc:0 jgs 0.06 14.98 30 1
155soccer:0 haoyu 0.11 0.04 31 0
156Charliezsc:1 haoyu 0.06 0.07 32 0
157Bar Shabtai:1 haoyu 0.85 0.12 35 0
158Andys:1 Aristotle 0.15 0.13 35 0
159Mercury:1 haoyu 0.09 0.05 36 0
160KingBach:0 haoyu 0.07 0.06 37 0
161Samuel Jerome:1 haoyu 0.04 0.03 37 0
162Yacob Y.:0 haoyu 0.12 0.06 38 0
163Keji Xu:1 Nihar the Great 0.06 0.04 39 0
164Sabar Dasgupta:0 spl 0.06 0.23 40 0
165Nikhilesh Sigatapu:0 haoyu 0.06 0.03 40 0
166Keji Xu:0 Nihar the Great 0.04 0.03 41 0
167Fanny:0 Aristotle 0.09 0.10 42 0
168AFC:1 Aristotle 0.04 0.16 42 0
169Fanny:1 Aristotle 0.10 0.12 42 0
170Glenn Fisher:1 jabreezy 0.05 0.09 42 0
171AFC:0 CookieMonster 0.04 0.34 42 0
172Walter Little:1 haoyu 0.05 0.03 43 0
173John Whelchel:0 haoyu 0.14 0.06 43 0
174Sabar Dasgupta:1 Aaron Doll 0.09 0.17 44 0
175jabreezy:1 Mercury 0.03 0.10 48 0
176jabreezy:0 Mercury 0.03 0.09 48 0
177Yacob Y.:1 Aristotle 0.09 15.00 48 1
178SuperFan:0 jgs 0.01 14.98 52 4
179Elphaba:0 Aristotle 1.11 0.24 53 0
180Elphaba:1 Aristotle 1.68 0.22 54 0
181Deric Cheng:1 jgs 1.26 14.98 54 1
182Deric Cheng:0 jgs 1.29 14.99 54 1
183SuperFan:1 jgs 0.01 14.98 54 4
184John Whelchel:1 haoyu 0.14 0.11 55 0
185Andrew Werner:1 haoyu 0.50 0.11 55 0
186Walter Little:0 haoyu 0.04 0.04 57 0
187Mr. Blobby:0 Green "The Bean" Choi 0.09 0.14 61 0
188Absurdity:1 Aristotle 0.10 0.18 62 0
189Absurdity:0 Aristotle 0.12 0.23 64 0
190Ben Chen:1 spl 0.08 0.20 64 0
191Andys:0 Aristotle 0.19 0.12 65 0
192Yan Wu:0 haoyu 0.05 0.05 65 0
193Yan Wu:1 haoyu 0.09 0.04 65 0
194Mr. Blobby:1 dusty 0.06 0.12 67 0
195Aaron H:0 Aristotle 0.36 0.11 74 0
196Aaron H:1 Aristotle 0.41 0.11 78 0
197Bar Shabtai:0 Aaron Doll 3.37 15.01 87 1
198jgs:0 Aristotle 1.37 0.12 104 0
199Mark S. Fillmore:1 Supahaka 0.02 0.04 109 79
200NA:0 haoyu 0.03 0.03 138 0
20113a:0 Aaron Doll 0.61 15.00 150 21
20213a:1 Aaron Doll 0.42 15.00 150 29
203Aaron Doll:1 Aristotle 7.25 1.27 154 0
204Mark S. Fillmore:0 Supahaka 0.01 0.01 157 116
205Dusty:1 Shaheed Chagani 0.04 0.22 187 0
206Dusty:0 CookieMonster 0.04 1.39 191 0
207Andrew Grasso:0 Aaron Doll 0.04 0.18 229 0
208Andrew Grasso:1 Shaheed Chagani 0.05 0.15 232 0
209Matt Haake:1 haoyu 0.06 0.05 278 0
210BH:0 haoyu 0.17 0.07 292 0
211Matt Haake:0 haoyu 0.05 0.05 296 0
212Andrew Werner:0 Aaron Doll 0.54 0.33 303 0
213Supahaka:0 Andrew Werner 0.00 15.00 350 35
214Supahaka:1 Joel Faron 0.00 15.00 350 35
215Janie Gu:1 Jonathan Kwok 0.12 0.07 427 0
216Janie Gu:0 Glenn Fisher 0.12 0.07 432 0
217burrito:0 haoyu 0.42 0.09 1192 0
218burrito:1 haoyu 1.29 0.10 1892 0
219CAPS LOCK:1 Aristotle 5.86 0.25 2226 0
220dfshasdsf12:0 haoyu 0.06 0.09 41566 0
221dfshasdsf12:1 Nihar the Great 0.08 0.11 77352 0
222Matt Goldsmith:0 Nihar the Great 15.09 0.03 0 0
223nupog:0 Aristotle 16.11 0.13 2702 0
224nupog:1 Aristotle 16.17 0.12 2619 0
225Aristotle:0 Aristotle 16.88 15.00 69 1
226Aristotle:1 Aristotle 16.92 9.69 68 0
227Nihar the Great:1 Aristotle 17.30 0.25 762 0
228Nihar the Great:0 Aristotle 17.41 0.23 752 0


SatSolvers Ranklist Generators Ranklist