SatSolvers Ranklist Generators Ranklist

Stats for satsolver: AFC

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 AFC 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 AFC 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: AFC
Rank: 33 / 118
Average Score: 5.66
Median Score: 0.88
Description: This sat-solver implements DLL with indexing optimizations, random restarts, and intelligent ordering
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:0 KingBach 0.01 0.00 0 0
4Bebe Shi:1 KingBach 0.01 0.00 0 0
5BMJ:1 burrito 0.01 0.00 0 0
6Ravi Tandon:0 KingBach 0.01 0.00 0 0
7Jonathan Kwok:1 KingBach 0.01 0.00 0 0
8K.L.:1 KingBach 0.01 0.00 0 0
9Happy:1 KingBach 0.01 0.00 0 0
10Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
11BMJ:0 Elphaba 0.01 0.00 0 0
12Miranda:1 cat 0.01 0.00 0 0
13Ravi Tandon:1 KingBach 0.01 0.00 0 0
14K.L.:0 haoyu 0.02 0.00 0 0
15Blam:0 Elphaba 0.02 0.00 0 0
16Happy:0 haoyu 0.02 0.00 0 0
17R. A. B.:1 cat 0.02 0.00 0 0
18David Paulk:0 cat 0.02 0.00 0 0
19Daffy Duck:1 haoyu 0.02 0.00 0 0
20Blam:1 Elphaba 0.02 0.00 0 0
21Joshua Zimmer:0 haoyu 0.02 0.00 0 0
22haoyu:0 KingBach 0.03 0.01 0 0
23Miranda:0 cat 0.03 0.00 0 0
24T. Capote:0 haoyu 0.03 0.00 2 2
25T. Capote:1 haoyu 0.03 0.00 2 2
26Tree Prophet:1 haoyu 0.03 0.00 0 0
27bchouGenerator:0 haoyu 0.03 0.00 0 0
28R. A. B.:0 Nihar the Great 0.03 0.00 0 0
29Tree Prophet:0 haoyu 0.03 0.00 0 0
30Joshua Zimmer:1 haoyu 0.03 0.00 0 0
31Sunny:1 jabreezy 0.03 0.01 0 0
32David Paulk:1 Bar Shabtai 0.04 0.00 0 0
33Solving For Clauses:0 Glenn Fisher 0.04 0.00 0 0
34bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
35Solving For Clauses:1 haoyu 0.04 0.00 0 0
36Quite Satisfied:0 haoyu 0.04 0.00 0 0
37Gewang:0 Jonathan Kwok 0.04 0.00 0 0
38Gewang:1 Jonathan Kwok 0.04 0.00 0 0
39Daffy Duck:0 Andrew Werner 0.05 0.00 0 0
40AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.05 0.01 0 0
41Qinlan Shen:0 Bar Shabtai 0.07 0.01 0 0
420108:1 haoyu 0.07 0.01 0 0
43Jameh:0 haoyu 0.07 0.01 0 0
44Sunny:0 Green "The Bean" Choi 0.08 0.02 0 0
45George Okeowo:0 Andrew Grasso 0.09 0.01 0 0
46AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.09 0.00 0 0
47George Okeowo:1 Andrew Grasso 0.09 0.01 0 0
48DeeEmEm:1 haoyu 0.10 0.02 0 0
49Alex Fish:0 haoyu 0.10 0.01 0 0
50Mickey Mouse:1 haoyu 0.10 0.01 0 0
51weezy:1 Bar Shabtai 0.10 0.01 0 0
52Mickey Mouse:0 Bar Shabtai 0.11 0.01 0 0
53Alex Fish:1 haoyu 0.11 0.02 0 0
54Scheduling Generator 203:0 jgs 0.12 0.01 0 0
55Boomshanka:0 haoyu 0.12 0.01 0 0
56Tiny Wings:0 haoyu 0.12 0.02 0 0
57Anon5:1 Green "The Bean" Choi 0.12 0.07 0 0
58Boomshanka:1 Bar Shabtai 0.12 0.01 0 0
59Anon_K_P:1 Aristotle 0.13 0.03 0 0
60Tiny Wings:1 haoyu 0.13 0.01 0 0
61weezy:0 Bar Shabtai 0.14 0.01 0 0
62David Lackey:0 Anon5 0.16 0.03 0 0
63Jameh:1 haoyu 0.16 0.01 0 0
64Ytterbium:0 Andrew Grasso 0.16 0.02 0 0
65Anon_K_P:0 haoyu 0.16 0.02 0 0
66Tom T:1 Andrew Werner 0.16 0.02 0 0
67Scheduling Generator 203:1 Jameh 0.17 0.02 0 0
68Tom T:0 EC 0.18 0.02 0 0
69Matt Haake:0 haoyu 0.20 0.05 0 0
70cat:1 haoyu 0.20 0.03 0 0
71vluu:1 Nihar the Great 0.20 0.02 0 0
72vluu:0 Nihar the Great 0.20 0.01 0 0
73Nikhilesh Sigatapu:0 haoyu 0.20 0.03 0 0
74David Lackey:1 Bar Shabtai 0.21 0.03 0 0
75cat:0 haoyu 0.21 0.03 0 0
76Matt Haake:1 haoyu 0.21 0.05 0 0
77Samuel Jerome:0 haoyu 0.22 0.03 0 0
78Anon5:0 haoyu 0.22 0.05 0 0
79kt4124:0 haoyu 0.22 0.03 0 0
80EC:0 haoyu 0.23 0.03 0 0
81Nikhilesh Sigatapu:1 haoyu 0.23 0.04 0 0
82kt4124:1 haoyu 0.24 0.04 0 0
83Ytterbium:1 Nihar the Great 0.24 0.02 0 0
84Dr Roberto:0 Andrew Grasso 0.27 0.03 0 0
85David H.:0 AFC 0.28 0.28 0 0
86snowflakes:0 haoyu 0.29 0.03 0 0
87snowflakes:1 haoyu 0.31 0.03 0 0
88EC:1 haoyu 0.32 0.03 0 0
89Glenn Fisher:0 Elphaba 0.34 0.02 0 0
90Yan Wu:1 haoyu 0.36 0.04 0 0
91Lisa Kim:1 Bar Shabtai 0.36 0.06 0 0
92totallyOnFallBreak:1 Nikhilesh Sigatapu 0.37 0.01 0 0
93totallyOnFallBreak:0 Nikhilesh Sigatapu 0.39 0.01 0 0
94Lisa Kim:0 Aristotle 0.42 0.07 0 0
95Linda:0 Andrew Grasso 0.44 0.01 0 0
96cmF5a3ly:1 Nihar the Great 0.49 0.00 0 0
97Tao:1 Aristotle 0.51 0.07 0 0
98cmF5a3ly:0 Nihar the Great 0.52 0.00 0 0
99Brendan Wright:1 Deric Cheng 0.52 0.10 0 0
100Walter Little:1 haoyu 0.52 0.03 0 0
101Fanny:1 Aristotle 0.54 0.12 0 0
102Mercury:0 haoyu 0.55 0.05 0 0
103NA:1 Elphaba 0.56 0.04 0 0
104Mercury:1 haoyu 0.58 0.05 0 0
105bfang:1 haoyu 0.67 0.04 0 0
106Sally Smith:1 haoyu 0.68 0.04 0 0
107bfang:0 haoyu 0.68 0.04 0 0
108Linda:1 Andrew Grasso 0.72 0.02 0 0
109Sally Smith:0 haoyu 0.78 0.04 0 0
110spl:1 haoyu 0.79 0.06 0 0
111Bob Dondero:1 Mickey Mouse 0.82 0.03 0 0
112haoyu:1 Anon5 0.83 0.01 0 0
113David H.:1 DeeEmEm 0.88 0.33 0 0
114spl:0 Elphaba 0.88 0.09 0 0
115Samuel Jerome:1 haoyu 0.89 0.03 0 0
116Bob Dondero:0 Andrew Grasso 0.91 0.02 0 0
117Batman:1 haoyu 0.92 0.04 0 0
118Batman:0 haoyu 0.92 0.04 0 0
119Yacob Y.:0 haoyu 0.96 0.06 0 0
120AFC:0 CookieMonster 1.05 0.34 0 0
121KingBach:0 haoyu 1.07 0.06 0 0
122KingBach:1 haoyu 1.08 0.04 0 0
123Fanny:0 Aristotle 1.15 0.10 0 0
124Charliezsc:1 haoyu 1.58 0.07 0 0
125Khoa:0 haoyu 1.60 0.09 0 0
126Khoa:1 Aristotle 1.61 0.09 0 0
127Sprt:1 haoyu 1.73 0.05 0 0
128Brendan Wright:0 haoyu 1.78 0.10 0 0
129Tao:0 Bar Shabtai 1.84 0.02 0 0
130Jordan Ash:1 Bar Shabtai 2.24 0.01 0 0
131Jordan Ash:0 EC 2.42 0.03 0 0
132burrito:0 haoyu 3.28 0.09 0 0
133The Kraken:1 haoyu 3.78 0.00 0 0
134Mike Honcho:0 Miranda 3.83 0.01 0 0
135Absurdity:0 Aristotle 3.92 0.23 0 0
136Dr Roberto:1 Andrew Grasso 4.11 0.02 0 0
137Mike Hunt:0 Aristotle 4.36 0.27 0 0
138jabreezy:1 Mercury 4.41 0.10 0 0
139jabreezy:0 Mercury 4.50 0.09 0 0
140DinnerPartyPlannerBM:1 Nihar the Great 4.86 0.06 0 0
141Mike Honcho:1 Jessie Chen 5.01 0.01 0 0
142Aaron H:1 Aristotle 5.09 0.11 0 0
143AFC:1 Aristotle 5.14 0.16 0 0
144BH:1 haoyu 5.20 0.05 0 0
145Aaron H:0 Aristotle 5.31 0.11 0 0
146dfshasdsf12:0 haoyu 6.15 0.09 0 0
147Sprt:0 Aristotle 6.71 0.11 0 0
148Janie Gu:0 Glenn Fisher 6.72 0.07 0 0
149Janie Gu:1 Jonathan Kwok 7.05 0.07 0 0
150Lil Thug:1 Andrew Grasso 8.55 0.03 0 0
151Lil Thug:0 Andrew Grasso 9.18 0.03 0 0
152Yan Wu:0 haoyu 9.56 0.05 0 0
153Absurdity:1 Aristotle 11.61 0.18 0 0
154Ben Chen:1 spl 11.76 0.20 0 0
155burrito:1 haoyu 11.80 0.10 0 0
156NA:0 haoyu 12.76 0.03 0 0
157Ben Chen:0 Elphaba 13.15 0.07 0 0
158Jessie Chen:0 Joel Faron 0.06 0.13 2 1
159Jessie Chen:1 Joel Faron 0.08 0.12 2 1
160Quite Satisfied:1 Joel Faron 0.01 2.11 11 1
1610108:0 jgs 0.30 14.98 14 1
162SuperFan:1 jgs 0.21 14.98 31 4
163Mark S. Fillmore:1 Supahaka 0.11 0.04 109 79
164Mark S. Fillmore:0 Supahaka 0.10 0.01 157 116
165Supahaka:0 Andrew Werner 0.03 15.00 315 35
166Supahaka:1 Joel Faron 0.03 15.00 315 35
167Mike Hunt:1 Aristotle 15.00 0.29 2 0
168John Whelchel:0 haoyu 15.00 0.06 2 0
169Yacob Y.:1 Aristotle 15.00 15.00 2 1
170John Whelchel:1 haoyu 15.00 0.11 4 0
171Qinlan Shen:1 R. A. B. 15.00 9.00 4 1
172CookieMonster:1 CookieMonster 15.00 1.10 5 0
173DeeEmEm:0 CAPS LOCK 15.00 13.00 6 1
174The Kraken:0 haoyu 15.00 0.00 6 0
175The Whitman Whale:0 bigwig 15.00 0.04 7 0
176The Whitman Whale:1 Andrew Grasso 15.00 0.03 7 0
177Keji Xu:1 Nihar the Great 15.00 0.04 9 0
178CookieMonster:0 CookieMonster 15.00 0.82 10 0
179Valya Barboy:1 Shaheed Chagani 15.00 0.18 14 0
180Andys:0 Aristotle 15.00 0.12 17 0
181Charliezsc:0 jgs 15.00 14.98 17 1
182soccer:0 haoyu 15.00 0.04 19 0
183ebp:1 haoyu 15.00 0.04 19 0
184soccer:1 haoyu 15.00 0.04 20 0
185Sabar Dasgupta:1 Aaron Doll 15.00 0.17 20 0
186Valya Barboy:0 Aristotle 15.00 0.06 20 0
187Keji Xu:0 Nihar the Great 15.00 0.03 21 0
188ebp:0 haoyu 15.00 0.04 23 0
189Walter Little:0 haoyu 15.00 0.04 25 0
190SuperFan:0 jgs 15.00 14.98 28 4
191Mr. Blobby:1 dusty 15.00 0.12 28 0
192Glenn Fisher:1 jabreezy 15.00 0.09 37 0
193Andrew Werner:1 haoyu 15.00 0.11 40 0
194Sabar Dasgupta:0 spl 15.00 0.23 41 0
195Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 43 0
196Andrew Werner:0 Aaron Doll 15.00 0.33 43 0
197BH:0 haoyu 15.00 0.07 86 0
198Andrew Grasso:0 Aaron Doll 15.00 0.18 115 0
199Andrew Grasso:1 Shaheed Chagani 15.00 0.15 132 0
20013a:0 Aaron Doll 15.00 15.00 146 21
20113a:1 Aaron Doll 15.00 15.00 147 29
202Dusty:0 CookieMonster 15.00 1.39 160 0
203Dusty:1 Shaheed Chagani 15.00 0.22 166 0
204nupog:0 Aristotle 15.00 0.13 2980 0
205nupog:1 Aristotle 15.00 0.12 3139 0
206Bar Shabtai:1 haoyu 15.00 0.12 31 0
207Shaheed Chagani:1 Aristotle 15.00 0.11 480 0
208Deric Cheng:0 jgs 15.00 14.99 4 1
209jgs:0 Aristotle 15.00 0.12 72 0
210Shaheed Chagani:0 Aristotle 15.00 0.17 366 0
211CAPS LOCK:0 Aristotle 15.00 0.20 1134 0
212dfshasdsf12:1 Nihar the Great 15.00 0.11 0 0
213DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 1 0
214Andys:1 Aristotle 15.00 0.13 10 0
215Deric Cheng:1 jgs 15.01 14.98 4 1
216Elphaba:1 Aristotle 15.01 0.22 49 0
217jgs:1 haoyu 15.01 0.18 56 0
218Nihar the Great:1 Aristotle 15.01 0.25 932 0
219Elphaba:0 Aristotle 15.01 0.24 52 0
220Nihar the Great:0 Aristotle 15.01 0.23 934 0
221CAPS LOCK:1 Aristotle 15.04 0.25 1830 0
222Aaron Doll:1 Aristotle 15.04 1.27 158 0
223Aaron Doll:0 Aristotle 15.04 0.56 156 0
224Bar Shabtai:0 Aaron Doll 15.05 15.01 86 1
225Aristotle:1 Aristotle 15.06 9.69 119 0
226Matt Goldsmith:0 Nihar the Great 15.09 0.03 0 0
227Matt Goldsmith:1 Happy 15.09 0.03 0 0
228Aristotle:0 Aristotle 15.09 15.00 119 1


SatSolvers Ranklist Generators Ranklist