SatSolvers Ranklist Generators Ranklist

Stats for satsolver: jabreezy

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 jabreezy 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 jabreezy 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: jabreezy
Rank: 115 / 118
Average Score: 57.97
Median Score: 0.24
Description: This Sat Solver is based on DPLL. It is implemented as an iterative SAT search. It deduces at each step with unit propagation, in addition to preprocessing done before all steps. Each next variable is chosen for assignment based on a priority queue in which the variables are ranked by occurences in clauses. The assignment for said variable is also chosen by heuristic (of which I have two).
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2BMJ:0 Elphaba 0.00 0.00 0 0
3bigwig:1 KingBach 0.00 0.00 0 0
4Blam:1 Elphaba 0.00 0.00 0 0
5Jonathan Kwok:1 KingBach 0.00 0.00 0 0
6BMJ:1 burrito 0.00 0.00 0 0
7Bebe Shi:0 KingBach 0.00 0.00 0 0
8Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
9Ravi Tandon:1 KingBach 0.00 0.00 0 0
10Blam:0 Elphaba 0.00 0.00 0 0
11Bebe Shi:1 KingBach 0.01 0.00 0 0
12David Paulk:0 cat 0.01 0.00 0 0
13Happy:1 KingBach 0.01 0.00 0 0
14Miranda:1 cat 0.01 0.00 0 0
15Miranda:0 cat 0.01 0.00 0 0
16K.L.:1 KingBach 0.01 0.00 0 0
17K.L.:0 haoyu 0.01 0.00 0 0
18Daffy Duck:1 haoyu 0.01 0.00 0 0
19R. A. B.:1 cat 0.01 0.00 0 0
20Tree Prophet:0 haoyu 0.01 0.00 0 0
21Ravi Tandon:0 KingBach 0.01 0.00 0 0
22Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
23Solving For Clauses:1 haoyu 0.01 0.00 0 0
24Tree Prophet:1 haoyu 0.01 0.00 0 0
25Sunny:1 jabreezy 0.01 0.01 0 0
26Joshua Zimmer:0 haoyu 0.02 0.00 0 0
27Quite Satisfied:0 haoyu 0.02 0.00 0 0
28bchouGenerator:0 haoyu 0.02 0.00 0 0
29Joshua Zimmer:1 haoyu 0.02 0.00 0 0
30David Paulk:1 Bar Shabtai 0.02 0.00 0 0
31Gewang:1 Jonathan Kwok 0.02 0.00 0 0
32bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
33Gewang:0 Jonathan Kwok 0.02 0.00 0 0
34Sunny:0 Green "The Bean" Choi 0.02 0.02 0 0
35The Kraken:1 haoyu 0.03 0.00 0 0
36R. A. B.:0 Nihar the Great 0.03 0.00 0 0
37The Kraken:0 haoyu 0.03 0.00 0 0
38Jameh:0 haoyu 0.03 0.01 0 0
39Qinlan Shen:0 Bar Shabtai 0.03 0.01 0 0
400108:1 haoyu 0.03 0.01 0 0
41Boomshanka:0 haoyu 0.05 0.01 0 0
42Jameh:1 haoyu 0.06 0.01 0 0
43Boomshanka:1 Bar Shabtai 0.06 0.01 0 0
44snowflakes:1 haoyu 0.06 0.03 0 0
45NA:1 Elphaba 0.07 0.04 0 0
46Scheduling Generator 203:0 jgs 0.07 0.01 0 0
47snowflakes:0 haoyu 0.07 0.03 0 0
48Alex Fish:0 haoyu 0.07 0.01 0 0
49David Lackey:0 Anon5 0.07 0.03 0 0
50David Lackey:1 Bar Shabtai 0.07 0.03 0 0
51Mickey Mouse:1 haoyu 0.07 0.01 0 0
52Mickey Mouse:0 Bar Shabtai 0.07 0.01 0 0
53Alex Fish:1 haoyu 0.08 0.02 0 0
54weezy:0 Bar Shabtai 0.08 0.01 0 0
55Glenn Fisher:0 Elphaba 0.08 0.02 0 0
56Tiny Wings:1 haoyu 0.08 0.01 0 0
57kt4124:1 haoyu 0.08 0.04 0 0
58Anon5:0 haoyu 0.08 0.05 0 0
59kt4124:0 haoyu 0.08 0.03 0 0
60Glenn Fisher:1 jabreezy 0.09 0.09 0 0
61weezy:1 Bar Shabtai 0.10 0.01 0 0
62Keji Xu:0 Nihar the Great 0.10 0.03 0 0
63Dr Roberto:0 Andrew Grasso 0.12 0.03 0 0
64Tiny Wings:0 haoyu 0.13 0.02 0 0
65Brendan Wright:1 Deric Cheng 0.15 0.10 0 0
66George Okeowo:0 Andrew Grasso 0.16 0.01 0 0
67Dr Roberto:1 Andrew Grasso 0.16 0.02 0 0
68Scheduling Generator 203:1 Jameh 0.19 0.02 0 0
69George Okeowo:1 Andrew Grasso 0.19 0.01 0 0
70Nikhilesh Sigatapu:1 haoyu 0.20 0.04 0 0
71Sally Smith:1 haoyu 0.21 0.04 0 0
72Ytterbium:0 Andrew Grasso 0.23 0.02 0 0
73Bob Dondero:0 Andrew Grasso 0.24 0.02 0 0
74Bob Dondero:1 Mickey Mouse 0.25 0.03 0 0
75totallyOnFallBreak:0 Nikhilesh Sigatapu 0.27 0.01 0 0
76totallyOnFallBreak:1 Nikhilesh Sigatapu 0.28 0.01 0 0
77EC:1 haoyu 0.29 0.03 0 0
78Brendan Wright:0 haoyu 0.31 0.10 0 0
79Sally Smith:0 haoyu 0.33 0.04 0 0
80Linda:0 Andrew Grasso 0.34 0.01 0 0
81Mike Honcho:1 Jessie Chen 0.36 0.01 0 0
82vluu:0 Nihar the Great 0.36 0.01 0 0
83cmF5a3ly:1 Nihar the Great 0.37 0.00 0 0
84Mike Honcho:0 Miranda 0.39 0.01 0 0
85Ytterbium:1 Nihar the Great 0.40 0.02 0 0
86cmF5a3ly:0 Nihar the Great 0.43 0.00 0 0
87vluu:1 Nihar the Great 0.56 0.02 0 0
88Linda:1 Andrew Grasso 0.61 0.02 0 0
89spl:1 haoyu 1.36 0.06 0 0
90spl:0 Elphaba 1.43 0.09 0 0
91KingBach:0 haoyu 1.77 0.06 0 0
92bfang:1 haoyu 2.26 0.04 0 0
93bfang:0 haoyu 2.48 0.04 0 0
94KingBach:1 haoyu 2.73 0.04 0 0
95jabreezy:0 Mercury 3.00 0.09 0 0
96jabreezy:1 Mercury 3.12 0.10 0 0
97BH:1 haoyu 5.51 0.05 0 0
98burrito:0 haoyu 12.70 0.09 0 0
99Quite Satisfied:1 Joel Faron 0.01 2.11 12 1
100Mark S. Fillmore:1 Supahaka 0.03 0.04 109 79
101Mark S. Fillmore:0 Supahaka 0.06 0.01 157 116
102Supahaka:0 Andrew Werner 0.01 15.00 350 35
103Supahaka:1 Joel Faron 0.01 15.00 350 35
104Khoa:1 Aristotle 15.01 0.09 74 0
105Shaheed Chagani:1 Aristotle 15.01 0.11 495 0
106Khoa:0 haoyu 15.01 0.09 82 0
107Aaron H:0 Aristotle 15.01 0.11 90 0
108Andys:0 Aristotle 15.01 0.12 35 0
109CAPS LOCK:0 Aristotle 15.02 0.20 1984 0
110Sprt:1 haoyu 15.02 0.05 50 0
111Aaron H:1 Aristotle 15.02 0.11 90 0
112DinnerPartyPlannerBM:1 Nihar the Great 15.02 0.06 42 0
113dfshasdsf12:0 haoyu 15.02 0.09 52 0
114Mike Hunt:1 Aristotle 15.02 0.29 84 0
115nupog:0 Aristotle 15.02 0.13 4425 0
116Andys:1 Aristotle 15.02 0.13 35 0
117Lil Thug:1 Andrew Grasso 15.03 0.03 50 0
118nupog:1 Aristotle 15.03 0.12 4354 0
119Andrew Werner:0 Aaron Doll 15.03 0.33 49 0
120Shaheed Chagani:0 Aristotle 15.04 0.17 496 0
121Deric Cheng:1 jgs 15.04 14.98 45 1
122Lil Thug:0 Andrew Grasso 15.04 0.03 50 0
123jgs:1 haoyu 15.04 0.18 108 0
124CAPS LOCK:1 Aristotle 15.04 0.25 2406 0
125Mike Hunt:0 Aristotle 15.07 0.27 88 0
126Sprt:0 Aristotle 15.07 0.11 90 0
127Elphaba:1 Aristotle 15.07 0.22 56 0
128Bar Shabtai:1 haoyu 15.08 0.12 35 0
129dfshasdsf12:1 Nihar the Great 15.08 0.11 60 0
130DinnerPartyPlannerBM:0 Aristotle 15.09 0.11 56 0
131jgs:0 Aristotle 15.09 0.12 108 0
132burrito:1 haoyu 15.12 0.10 1848 0
133Andrew Werner:1 haoyu 15.14 0.11 49 0
134Deric Cheng:0 jgs 15.16 14.99 45 1
135Elphaba:0 Aristotle 15.20 0.24 56 0
13613a:1 Aaron Doll 15.50 15.00 150 29
137Bar Shabtai:0 Aaron Doll 15.50 15.01 87 1
138Nihar the Great:1 Aristotle 15.60 0.25 1000 0
139Aaron Doll:0 Aristotle 15.70 0.56 160 0
14013a:0 Aaron Doll 16.26 15.00 150 21
141Nihar the Great:0 Aristotle 16.37 0.23 1000 0
142Aaron Doll:1 Aristotle 16.51 1.27 160 0
143Aristotle:1 Aristotle 44.36 9.69 120 0
144Aristotle:0 Aristotle 48.25 15.00 120 1
145Matt Goldsmith:0 Nihar the Great 52.48 0.03 0 0
146Matt Goldsmith:1 Happy 57.54 0.03 0 0
147Anon_K_P:0 haoyu - 0.02 - 0
148AARON BURR, DROPPIN' HAMILTONS:0 haoyu - 0.00 - 0
149Fanny:0 Aristotle - 0.10 - 0
150Lisa Kim:1 Bar Shabtai - 0.06 - 0
151Anon5:1 Green "The Bean" Choi - 0.07 - 0
152Tao:1 Aristotle - 0.07 - 0
153Daffy Duck:0 Andrew Werner - 0.00 - 0
154David H.:1 DeeEmEm - 0.33 - 0
155Charliezsc:1 haoyu - 0.07 - 0
156Yan Wu:0 haoyu - 0.05 - 0
157Mr. Blobby:0 Green "The Bean" Choi - 0.14 - 0
158Jessie Chen:0 Joel Faron - 0.13 - 1
159Dusty:1 Shaheed Chagani - 0.22 - 0
160Walter Little:0 haoyu - 0.04 - 0
161Keji Xu:1 Nihar the Great - 0.04 - 0
162Mercury:0 haoyu - 0.05 - 0
163soccer:1 haoyu - 0.04 - 0
164Batman:1 haoyu - 0.04 - 0
165Samuel Jerome:1 haoyu - 0.03 - 0
166Sabar Dasgupta:0 spl - 0.23 - 0
167Valya Barboy:1 Shaheed Chagani - 0.18 - 0
168The Whitman Whale:0 bigwig - 0.04 - 0
169cat:1 haoyu - 0.03 - 0
170John Whelchel:1 haoyu - 0.11 - 0
171Ben Chen:0 Elphaba - 0.07 - 0
172Qinlan Shen:1 R. A. B. - 9.00 - 1
173DeeEmEm:1 haoyu - 0.02 - 0
174ebp:0 haoyu - 0.04 - 0
175Lisa Kim:0 Aristotle - 0.07 - 0
176Tom T:0 EC - 0.02 - 0
177Dusty:0 CookieMonster - 1.39 - 0
178haoyu:0 KingBach - 0.01 - 0
179Charliezsc:0 jgs - 14.98 - 1
180Jessie Chen:1 Joel Faron - 0.12 - 1
181Walter Little:1 haoyu - 0.03 - 0
182Yacob Y.:0 haoyu - 0.06 - 0
183Jordan Ash:1 Bar Shabtai - 0.01 - 0
184Mercury:1 haoyu - 0.05 - 0
185SuperFan:0 jgs - 14.98 - 4
186David H.:0 AFC - 0.28 - 0
187T. Capote:0 haoyu - 0.00 - 2
188soccer:0 haoyu - 0.04 - 0
189Absurdity:1 Aristotle - 0.18 - 0
190Andrew Grasso:1 Shaheed Chagani - 0.15 - 0
191AFC:1 Aristotle - 0.16 - 0
192cat:0 haoyu - 0.03 - 0
193Matt Haake:1 haoyu - 0.05 - 0
194John Whelchel:0 haoyu - 0.06 - 0
195Janie Gu:0 Glenn Fisher - 0.07 - 0
196BH:0 haoyu - 0.07 - 0
197Anon_K_P:1 Aristotle - 0.03 - 0
198CookieMonster:0 CookieMonster - 0.82 - 0
199DeeEmEm:0 CAPS LOCK - 13.00 - 1
200ebp:1 haoyu - 0.04 - 0
201NA:0 haoyu - 0.03 - 0
202Tom T:1 Andrew Werner - 0.02 - 0
203haoyu:1 Anon5 - 0.01 - 0
204AARON BURR, DROPPIN' HAMILTONS:1 haoyu - 0.01 - 0
205The Whitman Whale:1 Andrew Grasso - 0.03 - 0
206Fanny:1 Aristotle - 0.12 - 0
2070108:0 jgs - 14.98 - 1
208Nikhilesh Sigatapu:0 haoyu - 0.03 - 0
209Jordan Ash:0 EC - 0.03 - 0
210Happy:0 haoyu - 0.00 - 0
211SuperFan:1 jgs - 14.98 - 4
212CookieMonster:1 CookieMonster - 1.10 - 0
213T. Capote:1 haoyu - 0.00 - 2
214Yan Wu:1 haoyu - 0.04 - 0
215Mr. Blobby:1 dusty - 0.12 - 0
216Absurdity:0 Aristotle - 0.23 - 0
217Andrew Grasso:0 Aaron Doll - 0.18 - 0
218AFC:0 CookieMonster - 0.34 - 0
219EC:0 haoyu - 0.03 - 0
220Janie Gu:1 Jonathan Kwok - 0.07 - 0
221Batman:0 haoyu - 0.04 - 0
222Samuel Jerome:0 haoyu - 0.03 - 0
223Matt Haake:0 haoyu - 0.05 - 0
224Sabar Dasgupta:1 Aaron Doll - 0.17 - 0
225Tao:0 Bar Shabtai - 0.02 - 0
226Valya Barboy:0 Aristotle - 0.06 - 0
227Yacob Y.:1 Aristotle - 15.00 - 1
228Ben Chen:1 spl - 0.20 - 0


SatSolvers Ranklist Generators Ranklist