SatSolvers Ranklist Generators Ranklist

Stats for satsolver: George Okeowo

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 George Okeowo 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 George Okeowo 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: George Okeowo
Rank: 80 / 118
Average Score: 12.57
Median Score: 15.00
Description: This sat-solver uses a simplified blend of DPLL and randomization, returning the best found thus far when time runs out.
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
3R. A. B.:1 cat 0.01 0.00 0 0
4K.L.:1 KingBach 0.01 0.00 0 0
5Happy:1 KingBach 0.01 0.00 0 0
6Bebe Shi:1 KingBach 0.01 0.00 0 0
7T. Capote:0 haoyu 0.01 0.00 2 2
8Miranda:1 cat 0.01 0.00 0 0
9Bebe Shi:0 KingBach 0.01 0.00 0 0
10R. A. B.:0 Nihar the Great 0.01 0.00 0 0
11David Paulk:1 Bar Shabtai 0.01 0.00 0 0
12Miranda:0 cat 0.02 0.00 0 0
13Blam:0 Elphaba 0.02 0.00 0 0
14David Paulk:0 cat 0.02 0.00 0 0
15Blam:1 Elphaba 0.03 0.00 0 0
16Solving For Clauses:0 Glenn Fisher 0.03 0.00 0 0
17Gewang:1 Jonathan Kwok 0.06 0.00 0 0
18weezy:0 Bar Shabtai 0.12 0.01 0 0
19weezy:1 Bar Shabtai 0.14 0.01 0 0
20Ytterbium:0 Andrew Grasso 0.16 0.02 0 0
21cmF5a3ly:0 Nihar the Great 0.16 0.00 0 0
22vluu:1 Nihar the Great 0.16 0.02 0 0
23cmF5a3ly:1 Nihar the Great 0.18 0.00 0 0
24Scheduling Generator 203:1 Jameh 0.18 0.02 0 0
25vluu:0 Nihar the Great 0.18 0.01 0 0
26Ytterbium:1 Nihar the Great 0.25 0.02 0 0
27George Okeowo:1 Andrew Grasso 0.46 0.01 0 0
28George Okeowo:0 Andrew Grasso 0.47 0.01 0 0
29Linda:0 Andrew Grasso 0.52 0.01 0 0
30Dr Roberto:0 Andrew Grasso 0.67 0.03 0 0
31Bob Dondero:0 Andrew Grasso 0.94 0.02 0 0
32Bob Dondero:1 Mickey Mouse 0.95 0.03 0 0
33Linda:1 Andrew Grasso 1.55 0.02 0 0
34Mike Honcho:0 Miranda 2.43 0.01 0 0
35Mike Honcho:1 Jessie Chen 2.59 0.01 0 0
36Matt Goldsmith:0 Nihar the Great 2.97 0.03 0 0
37Matt Goldsmith:1 Happy 3.73 0.03 0 0
38Lil Thug:0 Andrew Grasso 4.89 0.03 0 0
39Lil Thug:1 Andrew Grasso 6.20 0.03 0 0
40Dr Roberto:1 Andrew Grasso 1.35 0.02 1 0
41Gewang:0 Jonathan Kwok 0.06 0.00 1 0
42Ravi Tandon:0 KingBach 0.01 0.00 2 0
43Scheduling Generator 203:0 jgs 0.21 0.01 2 0
44Ravi Tandon:1 KingBach 0.01 0.00 2 0
45totallyOnFallBreak:0 Nikhilesh Sigatapu 0.93 0.01 2 0
46Solving For Clauses:1 haoyu 0.04 0.00 3 0
47BMJ:1 burrito 0.01 0.00 3 0
48totallyOnFallBreak:1 Nikhilesh Sigatapu 0.88 0.01 3 0
49CookieMonster:0 CookieMonster 0.33 0.82 3 0
50T. Capote:1 haoyu 0.01 0.00 3 2
51Daffy Duck:0 Andrew Werner 0.02 0.00 5 0
52BMJ:0 Elphaba 0.01 0.00 5 0
53haoyu:1 Anon5 0.03 0.01 5 0
54bchouGenerator:0 haoyu 0.04 0.00 5 0
55Jessie Chen:1 Joel Faron 0.03 0.12 6 1
56Daffy Duck:1 haoyu 0.02 0.00 6 0
57CookieMonster:1 CookieMonster 0.36 1.10 6 0
58bchouGenerator:1 Jonathan Kwok 0.04 0.01 8 0
59Jonathan Kwok:0 Elphaba 0.01 0.00 9 0
60Qinlan Shen:1 R. A. B. 0.07 9.00 10 1
61Jonathan Kwok:1 KingBach 0.01 0.00 10 0
62haoyu:0 KingBach 0.03 0.01 10 0
63Qinlan Shen:0 Bar Shabtai 0.06 0.01 10 0
64Tom T:0 EC 0.39 0.02 11 0
65Quite Satisfied:0 haoyu 0.05 0.00 11 0
66The Kraken:0 haoyu 0.06 0.00 11 0
67The Kraken:1 haoyu 0.06 0.00 12 0
68Quite Satisfied:1 Joel Faron 0.05 2.11 12 1
69Happy:0 haoyu 0.03 0.00 13 0
70Tom T:1 Andrew Werner 0.40 0.02 14 0
71Tree Prophet:0 haoyu 0.04 0.00 15 0
72Alex Fish:0 haoyu 0.15 0.01 15 0
73Alex Fish:1 haoyu 0.22 0.02 15 0
74Mickey Mouse:1 haoyu 0.11 0.01 16 0
75Tiny Wings:1 haoyu 0.14 0.01 16 0
76Boomshanka:0 haoyu 0.16 0.01 16 0
77Tiny Wings:0 haoyu 0.15 0.02 16 0
78Joshua Zimmer:1 haoyu 0.03 0.00 16 0
79K.L.:0 haoyu 0.02 0.00 16 0
80Mickey Mouse:0 Bar Shabtai 0.11 0.01 16 0
81Jessie Chen:0 Joel Faron 0.02 0.13 18 1
82Joshua Zimmer:0 haoyu 0.03 0.00 18 0
83Tao:1 Aristotle 0.19 0.07 20 0
84EC:1 haoyu 0.27 0.03 20 0
85DeeEmEm:1 haoyu 0.07 0.02 20 0
86DeeEmEm:0 CAPS LOCK 0.07 13.00 20 1
87EC:0 haoyu 0.29 0.03 20 0
88Tao:0 Bar Shabtai 0.20 0.02 20 0
89Valya Barboy:1 Shaheed Chagani 0.12 0.18 22 0
90cat:1 haoyu 0.27 0.03 22 0
91Brendan Wright:0 haoyu 7.29 0.10 22 0
92Jordan Ash:1 Bar Shabtai 0.07 0.01 22 0
93cat:0 haoyu 0.26 0.03 22 0
94Valya Barboy:0 Aristotle 0.13 0.06 22 0
950108:1 haoyu 0.08 0.01 24 0
96AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.06 0.00 25 0
97Batman:1 haoyu 1.13 0.04 25 0
98Batman:0 haoyu 1.11 0.04 25 0
99Anon5:1 Green "The Bean" Choi 0.15 0.07 26 0
100David H.:1 DeeEmEm 0.15 0.33 28 0
101David H.:0 AFC 0.14 0.28 28 0
102Jordan Ash:0 EC 0.11 0.03 28 0
103AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.06 0.01 29 0
104Brendan Wright:1 Deric Cheng 2.87 0.10 29 0
1050108:0 jgs 0.13 14.98 29 1
106Charliezsc:0 jgs 1.42 14.98 30 1
107Tree Prophet:1 haoyu 0.04 0.00 30 0
108Boomshanka:1 Bar Shabtai 0.19 0.01 31 0
109Charliezsc:1 haoyu 1.71 0.07 32 0
110soccer:1 haoyu 0.97 0.04 32 0
111Anon5:0 haoyu 0.23 0.05 32 0
112soccer:0 haoyu 0.91 0.04 32 0
113Anon_K_P:1 Aristotle 0.15 0.03 32 0
114KingBach:1 haoyu 1.50 0.04 34 0
115Andys:0 Aristotle 7.84 0.12 35 0
116Andys:1 Aristotle 8.56 0.13 35 0
117Anon_K_P:0 haoyu 0.20 0.02 36 0
118KingBach:0 haoyu 1.51 0.06 40 0
119Samuel Jerome:1 haoyu 0.32 0.03 40 0
120Sabar Dasgupta:0 spl 1.48 0.23 40 0
121The Whitman Whale:0 bigwig 0.17 0.04 40 0
122John Whelchel:1 haoyu 10.74 0.11 40 0
123John Whelchel:0 haoyu 7.75 0.06 40 0
124Nikhilesh Sigatapu:1 haoyu 0.27 0.04 40 0
125The Whitman Whale:1 Andrew Grasso 0.17 0.03 40 0
126Nikhilesh Sigatapu:0 haoyu 0.23 0.03 40 0
127Samuel Jerome:0 haoyu 0.30 0.03 40 0
128Sabar Dasgupta:1 Aaron Doll 1.51 0.17 40 0
129Keji Xu:1 Nihar the Great 0.18 0.04 41 0
130Keji Xu:0 Nihar the Great 0.17 0.03 41 0
131Fanny:0 Aristotle 0.73 0.10 42 0
132Sally Smith:0 haoyu 0.66 0.04 42 0
133Fanny:1 Aristotle 1.44 0.12 42 0
134Sunny:0 Green "The Bean" Choi 0.04 0.02 44 0
135AFC:1 Aristotle 0.40 0.16 44 0
136Janie Gu:0 Glenn Fisher 0.28 0.07 44 0
137Sally Smith:1 haoyu 1.65 0.04 44 0
138AFC:0 CookieMonster 0.33 0.34 44 0
139DinnerPartyPlannerBM:1 Nihar the Great 4.82 0.06 46 0
140Sunny:1 jabreezy 0.05 0.01 46 0
141Lisa Kim:1 Bar Shabtai 0.32 0.06 48 0
142Mercury:0 haoyu 1.17 0.05 48 0
143ebp:0 haoyu 1.44 0.04 48 0
144Mercury:1 haoyu 0.80 0.05 48 0
145ebp:1 haoyu 0.79 0.04 48 0
146spl:1 haoyu 0.62 0.06 48 0
147Lisa Kim:0 Aristotle 0.33 0.07 49 0
148Andrew Werner:0 Aaron Doll 12.39 0.33 50 0
149Andrew Werner:1 haoyu 11.02 0.11 50 0
150David Lackey:0 Anon5 0.46 0.03 51 0
151Jameh:0 haoyu 0.10 0.01 51 0
152spl:0 Elphaba 0.72 0.09 51 0
153Janie Gu:1 Jonathan Kwok 0.10 0.07 56 0
154DinnerPartyPlannerBM:0 Aristotle 13.92 0.11 57 0
155Yacob Y.:0 haoyu 1.21 0.06 60 0
156bfang:1 haoyu 0.88 0.04 60 0
157Yacob Y.:1 Aristotle 1.44 15.00 60 1
158bfang:0 haoyu 0.85 0.04 60 0
159Sprt:1 haoyu 1.23 0.05 62 0
160Yan Wu:0 haoyu 0.96 0.05 65 0
161Yan Wu:1 haoyu 0.88 0.04 65 0
162David Lackey:1 Bar Shabtai 0.44 0.03 67 0
163Absurdity:1 Aristotle 1.10 0.18 71 0
164Absurdity:0 Aristotle 1.10 0.23 71 0
165SuperFan:0 jgs 0.06 14.98 75 4
166SuperFan:1 jgs 0.05 14.98 75 4
167dfshasdsf12:0 haoyu 4.38 0.09 77 0
168jabreezy:1 Mercury 0.35 0.10 80 0
169jabreezy:0 Mercury 0.68 0.09 80 0
170Aaron H:0 Aristotle 6.79 0.11 90 0
171Aaron H:1 Aristotle 6.68 0.11 90 0
172Ben Chen:0 Elphaba 0.52 0.07 90 0
173Ben Chen:1 spl 0.53 0.20 90 0
174Sprt:0 Aristotle 5.57 0.11 90 0
175Mr. Blobby:0 Green "The Bean" Choi 0.19 0.14 91 0
176Mr. Blobby:1 dusty 0.18 0.12 91 0
177Mike Hunt:0 Aristotle 2.66 0.27 92 0
178Mike Hunt:1 Aristotle 2.72 0.29 92 0
179dfshasdsf12:1 Nihar the Great 10.57 0.11 93 0
180Walter Little:0 haoyu 0.47 0.04 101 0
181Walter Little:1 haoyu 0.43 0.03 101 0
182Glenn Fisher:1 jabreezy 0.18 0.09 113 0
183Mark S. Fillmore:1 Supahaka 0.19 0.04 114 79
184Khoa:0 haoyu 1.04 0.09 150 0
185Khoa:1 Aristotle 0.98 0.09 150 0
186Glenn Fisher:0 Elphaba 0.20 0.02 153 0
187Mark S. Fillmore:0 Supahaka 0.11 0.01 161 116
188Supahaka:1 Joel Faron 0.08 15.00 189 35
189Jameh:1 haoyu 0.17 0.01 193 0
190Supahaka:0 Andrew Werner 0.07 15.00 195 35
191BH:0 haoyu 3.89 0.07 200 0
192BH:1 haoyu 0.86 0.05 200 0
193kt4124:1 haoyu 0.33 0.04 242 0
194kt4124:0 haoyu 0.31 0.03 242 0
195Andrew Grasso:1 Shaheed Chagani 0.22 0.15 244 0
196Andrew Grasso:0 Aaron Doll 0.16 0.18 244 0
197Dusty:1 Shaheed Chagani 0.13 0.22 259 0
198Dusty:0 CookieMonster 0.12 1.39 259 0
199Matt Haake:1 haoyu 0.12 0.05 304 0
200Matt Haake:0 haoyu 0.13 0.05 304 0
201snowflakes:0 haoyu 0.32 0.03 350 0
202snowflakes:1 haoyu 0.34 0.03 351 0
203NA:0 haoyu 0.22 0.03 352 0
204NA:1 Elphaba 0.26 0.04 354 0
205Shaheed Chagani:0 Aristotle 12.72 0.17 500 0
206Shaheed Chagani:1 Aristotle 14.71 0.11 500 0
207burrito:0 haoyu 7.71 0.09 1260 0
208nupog:0 Aristotle 10.50 0.13 4556 0
209Bar Shabtai:1 haoyu 15.00 0.12 35 0
210Bar Shabtai:0 Aaron Doll 15.00 15.01 87 1
211nupog:1 Aristotle 15.00 0.12 3810 0
212Elphaba:1 Aristotle 15.00 0.22 56 0
21313a:0 Aaron Doll 15.00 15.00 150 21
214burrito:1 haoyu 15.00 0.10 1892 0
215Elphaba:0 Aristotle 15.00 0.24 56 0
216jgs:0 Aristotle 15.00 0.12 110 0
217Deric Cheng:1 jgs 15.01 14.98 45 1
218CAPS LOCK:1 Aristotle 15.01 0.25 2406 0
219Aaron Doll:0 Aristotle 15.01 0.56 160 0
220jgs:1 haoyu 15.01 0.18 110 0
22113a:1 Aaron Doll 15.01 15.00 150 29
222Deric Cheng:0 jgs 15.02 14.99 45 1
223Nihar the Great:1 Aristotle 15.02 0.25 1000 0
224CAPS LOCK:0 Aristotle 15.03 0.20 1984 0
225Aristotle:1 Aristotle 15.04 9.69 120 0
226Aaron Doll:1 Aristotle 15.04 1.27 160 0
227Aristotle:0 Aristotle 15.08 15.00 120 1
228Nihar the Great:0 Aristotle 15.44 0.23 1000 0


SatSolvers Ranklist Generators Ranklist