SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Joel Faron

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 Joel Faron 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 Joel Faron 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: Joel Faron
Rank: 68 / 118
Average Score: 10.49
Median Score: 6.61
Description: This is a modified version of the DPLL sat-solver which includes better variable ordering and some randomization.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.01 0.00 0 0
2bigwig:1 KingBach 0.01 0.00 0 0
3Bebe Shi:1 KingBach 0.01 0.00 0 0
4Happy:1 KingBach 0.01 0.00 0 0
5Bebe Shi:0 KingBach 0.01 0.00 0 0
6BMJ:1 burrito 0.01 0.00 0 0
7BMJ:0 Elphaba 0.01 0.00 0 0
8Jonathan Kwok:1 KingBach 0.02 0.00 0 0
9K.L.:1 KingBach 0.02 0.00 0 0
10Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
11T. Capote:0 haoyu 0.03 0.00 2 2
12Daffy Duck:1 haoyu 0.03 0.00 0 0
13cmF5a3ly:1 Nihar the Great 0.04 0.00 0 0
14T. Capote:1 haoyu 0.04 0.00 2 2
15Happy:0 haoyu 0.04 0.00 0 0
16cmF5a3ly:0 Nihar the Great 0.05 0.00 0 0
17Solving For Clauses:0 Glenn Fisher 0.06 0.00 0 0
18Blam:0 Elphaba 0.07 0.00 0 0
19Joshua Zimmer:0 haoyu 0.07 0.00 0 0
20Solving For Clauses:1 haoyu 0.07 0.00 0 0
21Joshua Zimmer:1 haoyu 0.07 0.00 0 0
22Quite Satisfied:0 haoyu 0.08 0.00 0 0
23bchouGenerator:0 haoyu 0.08 0.00 0 0
24K.L.:0 haoyu 0.08 0.00 0 0
25Gewang:1 Jonathan Kwok 0.09 0.00 0 0
26Blam:1 Elphaba 0.09 0.00 0 0
27Gewang:0 Jonathan Kwok 0.09 0.00 0 0
28Daffy Duck:0 Andrew Werner 0.09 0.00 0 0
29The Kraken:0 haoyu 0.09 0.00 0 0
30The Kraken:1 haoyu 0.10 0.00 0 0
31Tree Prophet:0 haoyu 0.10 0.00 0 0
32AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.11 0.00 0 0
330108:1 haoyu 0.11 0.01 0 0
34Tree Prophet:1 haoyu 0.12 0.00 0 0
35Jessie Chen:1 Joel Faron 0.12 0.12 1 1
36Jessie Chen:0 Joel Faron 0.13 0.13 1 1
37Sunny:0 Green "The Bean" Choi 0.16 0.02 0 0
38Scheduling Generator 203:0 jgs 0.16 0.01 0 0
39Jameh:0 haoyu 0.21 0.01 0 0
40Tiny Wings:0 haoyu 0.23 0.02 0 0
41Ravi Tandon:0 KingBach 0.24 0.00 0 0
42Tom T:0 EC 0.25 0.02 0 0
43bchouGenerator:1 Jonathan Kwok 0.25 0.01 0 0
44totallyOnFallBreak:0 Nikhilesh Sigatapu 0.26 0.01 0 0
45totallyOnFallBreak:1 Nikhilesh Sigatapu 0.29 0.01 0 0
46Boomshanka:0 haoyu 0.29 0.01 0 0
47Dr Roberto:0 Andrew Grasso 0.32 0.03 0 0
48Scheduling Generator 203:1 Jameh 0.33 0.02 0 0
49AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.36 0.01 0 0
50Ytterbium:0 Andrew Grasso 0.38 0.02 0 0
51Anon_K_P:1 Aristotle 0.40 0.03 0 0
52David Lackey:0 Anon5 0.41 0.03 0 0
53David Lackey:1 Bar Shabtai 0.45 0.03 0 0
54Anon_K_P:0 haoyu 0.47 0.02 0 0
55Nikhilesh Sigatapu:1 haoyu 0.49 0.04 0 0
56Boomshanka:1 Bar Shabtai 0.50 0.01 0 0
57Dr Roberto:1 Andrew Grasso 0.51 0.02 0 0
58Jameh:1 haoyu 0.52 0.01 0 0
59cat:0 haoyu 0.53 0.03 0 0
60Nikhilesh Sigatapu:0 haoyu 0.54 0.03 0 0
61vluu:1 Nihar the Great 0.55 0.02 0 0
62vluu:0 Nihar the Great 0.56 0.01 0 0
63Ravi Tandon:1 KingBach 0.57 0.00 0 0
64Samuel Jerome:0 haoyu 0.63 0.03 0 0
65Bob Dondero:1 Mickey Mouse 0.65 0.03 0 0
66haoyu:0 KingBach 0.72 0.01 0 0
67Bob Dondero:0 Andrew Grasso 0.73 0.02 0 0
68Samuel Jerome:1 haoyu 0.75 0.03 0 0
69Glenn Fisher:0 Elphaba 0.82 0.02 0 0
70Sunny:1 jabreezy 0.85 0.01 0 0
71kt4124:0 haoyu 0.86 0.03 0 0
72snowflakes:0 haoyu 0.86 0.03 0 0
73Brendan Wright:1 Deric Cheng 0.87 0.10 0 0
74EC:0 haoyu 0.88 0.03 0 0
75Linda:0 Andrew Grasso 0.90 0.01 0 0
76Ytterbium:1 Nihar the Great 0.91 0.02 0 0
77snowflakes:1 haoyu 0.91 0.03 0 0
78kt4124:1 haoyu 0.95 0.04 0 0
79George Okeowo:0 Andrew Grasso 1.03 0.01 0 0
80George Okeowo:1 Andrew Grasso 1.07 0.01 0 0
81NA:1 Elphaba 1.16 0.04 0 0
82Mike Honcho:0 Miranda 1.30 0.01 0 0
83Brendan Wright:0 haoyu 1.36 0.10 0 0
84Alex Fish:1 haoyu 1.39 0.02 0 0
85Mercury:1 haoyu 1.54 0.05 0 0
86Mercury:0 haoyu 1.61 0.05 0 0
87Walter Little:1 haoyu 1.74 0.03 0 0
88Alex Fish:0 haoyu 1.96 0.01 0 0
89Mike Honcho:1 Jessie Chen 2.05 0.01 0 0
90Quite Satisfied:1 Joel Faron 2.11 2.11 1 1
91Sally Smith:0 haoyu 2.17 0.04 0 0
92Sally Smith:1 haoyu 2.25 0.04 0 0
93bfang:0 haoyu 2.26 0.04 0 0
94bfang:1 haoyu 2.29 0.04 0 0
95Linda:1 Andrew Grasso 2.33 0.02 0 0
96soccer:0 haoyu 2.71 0.04 0 0
97spl:1 haoyu 2.81 0.06 0 0
98Anon5:0 haoyu 2.87 0.05 0 0
99Anon5:1 Green "The Bean" Choi 2.91 0.07 0 0
100Yacob Y.:0 haoyu 3.15 0.06 0 0
101spl:0 Elphaba 3.15 0.09 0 0
102Tom T:1 Andrew Werner 3.22 0.02 0 0
103Batman:1 haoyu 3.29 0.04 0 0
104Batman:0 haoyu 3.45 0.04 0 0
105KingBach:1 haoyu 3.69 0.04 0 0
106NA:0 haoyu 4.07 0.03 0 0
107DeeEmEm:1 haoyu 4.44 0.02 0 0
108Charliezsc:1 haoyu 5.47 0.07 0 0
109ebp:0 haoyu 5.97 0.04 0 0
110Khoa:0 haoyu 6.19 0.09 0 0
111David H.:0 AFC 6.22 0.28 0 0
112Sprt:1 haoyu 6.61 0.05 0 0
113haoyu:1 Anon5 8.18 0.01 0 0
114David H.:1 DeeEmEm 12.00 0.33 0 0
115ebp:1 haoyu 13.86 0.04 0 0
116BH:1 haoyu 14.05 0.05 0 0
117Aaron H:1 Aristotle 14.19 0.11 0 0
118DinnerPartyPlannerBM:1 Nihar the Great 14.30 0.06 0 0
119Yan Wu:1 haoyu 14.57 0.04 0 0
120Aaron H:0 Aristotle 14.57 0.11 0 0
121John Whelchel:0 haoyu 14.61 0.06 0 0
122David Paulk:1 Bar Shabtai 15.00 0.00 0 0
123David Paulk:0 cat 15.00 0.00 0 0
124Miranda:1 cat 15.00 0.00 0 0
125R. A. B.:0 Nihar the Great 15.00 0.00 0 0
126Miranda:0 cat 15.00 0.00 0 0
127R. A. B.:1 cat 15.00 0.00 0 0
1280108:0 jgs 15.00 14.98 1 1
129SuperFan:1 jgs 15.00 14.98 4 4
130Supahaka:1 Joel Faron 15.00 15.00 35 35
131Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
132Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
133EC:1 haoyu 15.00 0.03 1 0
134Mickey Mouse:1 haoyu 15.00 0.01 1 0
135cat:1 haoyu 15.00 0.03 1 0
136Tiny Wings:1 haoyu 15.00 0.01 1 0
137weezy:1 Bar Shabtai 15.00 0.01 1 0
138CookieMonster:0 CookieMonster 15.00 0.82 1 0
139CookieMonster:1 CookieMonster 15.00 1.10 1 0
140weezy:0 Bar Shabtai 15.00 0.01 1 0
141Khoa:1 Aristotle 15.00 0.09 1 0
142KingBach:0 haoyu 15.00 0.06 2 0
143Qinlan Shen:1 R. A. B. 15.00 9.00 2 1
144Charliezsc:0 jgs 15.00 14.98 2 1
145Jordan Ash:1 Bar Shabtai 15.00 0.01 2 0
146DeeEmEm:0 CAPS LOCK 15.00 13.00 2 1
147Qinlan Shen:0 Bar Shabtai 15.00 0.01 2 0
148Tao:1 Aristotle 15.00 0.07 3 0
149AFC:0 CookieMonster 15.00 0.34 3 0
150Tao:0 Bar Shabtai 15.00 0.02 3 0
151AFC:1 Aristotle 15.00 0.16 4 0
152Jordan Ash:0 EC 15.00 0.03 4 0
153Glenn Fisher:1 jabreezy 15.00 0.09 4 0
154Lisa Kim:1 Bar Shabtai 15.00 0.06 5 0
155soccer:1 haoyu 15.00 0.04 5 0
156Matt Haake:0 haoyu 15.00 0.05 5 0
157Valya Barboy:1 Shaheed Chagani 15.00 0.18 7 0
158Mike Hunt:0 Aristotle 15.00 0.27 7 0
159Valya Barboy:0 Aristotle 15.00 0.06 7 0
160Fanny:0 Aristotle 15.00 0.10 8 0
161Walter Little:0 haoyu 15.00 0.04 8 0
162Lisa Kim:0 Aristotle 15.00 0.07 8 0
163Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 9 0
164SuperFan:0 jgs 1.20 14.98 9 4
165The Whitman Whale:1 Andrew Grasso 15.00 0.03 9 0
166Mickey Mouse:0 Bar Shabtai 15.00 0.01 9 0
167Yacob Y.:1 Aristotle 15.00 15.00 9 1
168The Whitman Whale:0 bigwig 15.00 0.04 10 0
169Ben Chen:1 spl 15.00 0.20 10 0
170Keji Xu:1 Nihar the Great 15.00 0.04 11 0
171Sabar Dasgupta:0 spl 15.00 0.23 11 0
172Matt Haake:1 haoyu 15.00 0.05 11 0
173Keji Xu:0 Nihar the Great 15.00 0.03 11 0
174Sabar Dasgupta:1 Aaron Doll 15.00 0.17 12 0
175Ben Chen:0 Elphaba 15.00 0.07 13 0
176Fanny:1 Aristotle 15.00 0.12 13 0
177Absurdity:1 Aristotle 15.00 0.18 15 0
178Andys:0 Aristotle 15.00 0.12 18 0
179Mr. Blobby:1 dusty 15.00 0.12 19 0
180jabreezy:1 Mercury 15.00 0.10 20 0
181jabreezy:0 Mercury 15.00 0.09 21 0
182Absurdity:0 Aristotle 15.00 0.23 21 0
183John Whelchel:1 haoyu 15.00 0.11 24 0
184Andys:1 Aristotle 15.00 0.13 29 0
185Supahaka:0 Andrew Werner 15.00 15.00 36 35
186Janie Gu:0 Glenn Fisher 15.00 0.07 37 0
187Janie Gu:1 Jonathan Kwok 15.00 0.07 41 0
188Dusty:1 Shaheed Chagani 15.00 0.22 53 0
189Dusty:0 CookieMonster 15.00 1.39 54 0
190Yan Wu:0 haoyu 15.00 0.05 61 0
191BH:0 haoyu 15.00 0.07 98 0
192Andrew Grasso:0 Aaron Doll 15.00 0.18 116 0
193Andrew Grasso:1 Shaheed Chagani 15.00 0.15 120 0
194Shaheed Chagani:1 Aristotle 15.00 0.11 498 0
195nupog:1 Aristotle 15.00 0.12 4252 0
196Mike Hunt:1 Aristotle 15.00 0.29 46 0
197DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 48 0
198Sprt:0 Aristotle 15.00 0.11 55 0
199burrito:0 haoyu 15.00 0.09 612 0
200dfshasdsf12:1 Nihar the Great 15.00 0.11 48 0
201Lil Thug:0 Andrew Grasso 15.00 0.03 38 0
202Andrew Werner:0 Aaron Doll 15.00 0.33 42 0
203jgs:1 haoyu 15.01 0.18 104 0
204burrito:1 haoyu 15.01 0.10 1892 0
205Deric Cheng:0 jgs 15.01 14.99 39 1
206Shaheed Chagani:0 Aristotle 15.01 0.17 498 0
207dfshasdsf12:0 haoyu 15.01 0.09 30 0
208Lil Thug:1 Andrew Grasso 15.01 0.03 37 0
209Andrew Werner:1 haoyu 15.01 0.11 34 0
210nupog:0 Aristotle 15.02 0.13 4462 0
21113a:0 Aaron Doll 15.02 15.00 148 21
212Deric Cheng:1 jgs 15.03 14.98 40 1
213jgs:0 Aristotle 15.04 0.12 104 0
214Elphaba:0 Aristotle 15.05 0.24 55 0
215Elphaba:1 Aristotle 15.05 0.22 55 0
216Matt Goldsmith:0 Nihar the Great 15.06 0.03 0 0
21713a:1 Aaron Doll 15.06 15.00 149 29
218CAPS LOCK:1 Aristotle 15.07 0.25 2118 0
219CAPS LOCK:0 Aristotle 15.08 0.20 1768 0
220Aristotle:1 Aristotle 15.11 9.69 119 0
221Matt Goldsmith:1 Happy 15.17 0.03 0 0
222Aaron Doll:1 Aristotle 15.17 1.27 158 0
223Aaron Doll:0 Aristotle 15.17 0.56 158 0
224Aristotle:0 Aristotle 15.53 15.00 119 1
225Bar Shabtai:1 haoyu - 0.12 - 0
226Nihar the Great:0 Aristotle - 0.23 - 0
227Bar Shabtai:0 Aaron Doll - 15.01 - 1
228Nihar the Great:1 Aristotle - 0.25 - 0


SatSolvers Ranklist Generators Ranklist