SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Dr Roberto

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 Dr Roberto 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 Dr Roberto 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: Dr Roberto
Rank: 101 / 118
Average Score: 19.07
Median Score: 0.60
Description: Variant of DPLL that uses indexing and keeps track of which clauses and symbols are being affected by a specific change in the model and then only checks those as opposed to checking all of them is search for potential new satisfactions. It also contains random choice of true or false and symbol ranking.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 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:0 Elphaba 0.01 0.00 0 0
7K.L.:1 KingBach 0.01 0.00 0 0
8BMJ:1 burrito 0.01 0.00 0 0
9Jonathan Kwok:1 KingBach 0.02 0.00 0 0
10Miranda:1 cat 0.02 0.00 0 0
11Miranda:0 cat 0.02 0.00 0 0
12Ravi Tandon:1 KingBach 0.02 0.00 0 0
13Jonathan Kwok:0 Elphaba 0.03 0.00 0 0
14Ravi Tandon:0 KingBach 0.03 0.00 0 0
15K.L.:0 haoyu 0.03 0.00 0 0
16David Paulk:0 cat 0.03 0.00 0 0
17David Paulk:1 Bar Shabtai 0.03 0.00 0 0
18Tree Prophet:0 haoyu 0.03 0.00 0 0
19Tree Prophet:1 haoyu 0.03 0.00 0 0
20R. A. B.:1 cat 0.04 0.00 0 0
21Blam:1 Elphaba 0.04 0.00 0 0
22Joshua Zimmer:1 haoyu 0.04 0.00 0 0
23T. Capote:0 haoyu 0.04 0.00 2 2
24Joshua Zimmer:0 haoyu 0.04 0.00 0 0
25Daffy Duck:0 Andrew Werner 0.05 0.00 0 0
26Gewang:0 Jonathan Kwok 0.05 0.00 0 0
27Gewang:1 Jonathan Kwok 0.05 0.00 0 0
28Daffy Duck:1 haoyu 0.05 0.00 0 0
29Happy:0 haoyu 0.05 0.00 0 0
30bchouGenerator:0 haoyu 0.05 0.00 0 0
31Blam:0 Elphaba 0.05 0.00 0 0
32The Kraken:1 haoyu 0.05 0.00 0 0
33Quite Satisfied:0 haoyu 0.05 0.00 0 0
34The Kraken:0 haoyu 0.06 0.00 0 0
35AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.06 0.01 0 0
36R. A. B.:0 Nihar the Great 0.06 0.00 0 0
37Solving For Clauses:0 Glenn Fisher 0.07 0.00 0 0
38Qinlan Shen:0 Bar Shabtai 0.07 0.01 0 0
39Solving For Clauses:1 haoyu 0.07 0.00 0 0
400108:1 haoyu 0.07 0.01 0 0
41Sunny:1 jabreezy 0.07 0.01 0 0
42bchouGenerator:1 Jonathan Kwok 0.07 0.01 0 0
43Alex Fish:0 haoyu 0.11 0.01 0 0
44Alex Fish:1 haoyu 0.11 0.02 0 0
45Anon5:1 Green "The Bean" Choi 0.12 0.07 0 0
46Mickey Mouse:1 haoyu 0.12 0.01 0 0
47Tiny Wings:1 haoyu 0.12 0.01 0 0
48Anon_K_P:1 Aristotle 0.12 0.03 0 0
49Mickey Mouse:0 Bar Shabtai 0.13 0.01 0 0
50Tiny Wings:0 haoyu 0.13 0.02 0 0
51AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.13 0.00 0 0
52George Okeowo:0 Andrew Grasso 0.13 0.01 0 0
53Anon_K_P:0 haoyu 0.14 0.02 0 0
54Glenn Fisher:0 Elphaba 0.14 0.02 0 0
55Boomshanka:0 haoyu 0.15 0.01 0 0
56Ytterbium:0 Andrew Grasso 0.15 0.02 0 0
57Matt Haake:0 haoyu 0.15 0.05 0 0
58Matt Haake:1 haoyu 0.15 0.05 0 0
59cmF5a3ly:0 Nihar the Great 0.15 0.00 0 0
60snowflakes:1 haoyu 0.16 0.03 0 0
61cmF5a3ly:1 Nihar the Great 0.16 0.00 0 0
62George Okeowo:1 Andrew Grasso 0.17 0.01 0 0
63cat:0 haoyu 0.18 0.03 0 0
64cat:1 haoyu 0.19 0.03 0 0
65snowflakes:0 haoyu 0.19 0.03 0 0
66Samuel Jerome:0 haoyu 0.19 0.03 0 0
67Nikhilesh Sigatapu:0 haoyu 0.20 0.03 0 0
68NA:1 Elphaba 0.20 0.04 0 0
69Boomshanka:1 Bar Shabtai 0.21 0.01 0 0
70Nikhilesh Sigatapu:1 haoyu 0.22 0.04 0 0
71Scheduling Generator 203:0 jgs 0.24 0.01 0 0
72Ytterbium:1 Nihar the Great 0.24 0.02 0 0
73kt4124:0 haoyu 0.25 0.03 0 0
74Lisa Kim:1 Bar Shabtai 0.25 0.06 0 0
75kt4124:1 haoyu 0.27 0.04 0 0
76Sunny:0 Green "The Bean" Choi 0.27 0.02 0 0
77EC:0 haoyu 0.28 0.03 0 0
78Lisa Kim:0 Aristotle 0.29 0.07 0 0
79AFC:1 Aristotle 0.30 0.16 0 0
80David H.:0 AFC 0.30 0.28 0 0
81Mr. Blobby:1 dusty 0.31 0.12 0 0
82Mr. Blobby:0 Green "The Bean" Choi 0.31 0.14 0 0
83Mercury:1 haoyu 0.31 0.05 0 0
84Anon5:0 haoyu 0.31 0.05 0 0
85bfang:0 haoyu 0.35 0.04 0 0
86bfang:1 haoyu 0.36 0.04 0 0
87NA:0 haoyu 0.36 0.03 0 0
88Mercury:0 haoyu 0.37 0.05 0 0
89David Lackey:0 Anon5 0.40 0.03 0 0
90David H.:1 DeeEmEm 0.40 0.33 0 0
91Yacob Y.:0 haoyu 0.40 0.06 0 0
92Sally Smith:1 haoyu 0.45 0.04 0 0
93Tom T:1 Andrew Werner 0.45 0.02 0 0
94Tom T:0 EC 0.48 0.02 0 0
95Batman:0 haoyu 0.48 0.04 0 0
96Batman:1 haoyu 0.48 0.04 0 0
97Samuel Jerome:1 haoyu 0.50 0.03 0 0
98totallyOnFallBreak:1 Nikhilesh Sigatapu 0.51 0.01 0 0
99totallyOnFallBreak:0 Nikhilesh Sigatapu 0.53 0.01 0 0
100Sally Smith:0 haoyu 0.56 0.04 0 0
101EC:1 haoyu 0.59 0.03 0 0
102David Lackey:1 Bar Shabtai 0.59 0.03 0 0
103Fanny:1 Aristotle 0.60 0.12 0 0
104KingBach:0 haoyu 0.61 0.06 0 0
105KingBach:1 haoyu 0.69 0.04 0 0
106Sprt:1 haoyu 0.71 0.05 0 0
107Scheduling Generator 203:1 Jameh 0.74 0.02 0 0
108Yan Wu:1 haoyu 0.75 0.04 0 0
109Walter Little:1 haoyu 0.81 0.03 0 0
110Valya Barboy:0 Aristotle 0.84 0.06 0 0
111Khoa:1 Aristotle 0.84 0.09 0 0
112BH:0 haoyu 0.85 0.07 0 0
113DinnerPartyPlannerBM:1 Nihar the Great 0.91 0.06 0 0
114spl:0 Elphaba 0.92 0.09 0 0
115Charliezsc:1 haoyu 0.94 0.07 0 0
116Khoa:0 haoyu 0.99 0.09 0 0
117Glenn Fisher:1 jabreezy 1.07 0.09 0 0
118Aaron H:0 Aristotle 1.09 0.11 0 0
119Aaron H:1 Aristotle 1.24 0.11 0 0
120dfshasdsf12:0 haoyu 1.32 0.09 0 0
121burrito:0 haoyu 1.32 0.09 0 0
122Lil Thug:1 Andrew Grasso 1.33 0.03 0 0
123BH:1 haoyu 1.34 0.05 0 0
124Mike Hunt:1 Aristotle 1.39 0.29 0 0
125jabreezy:0 Mercury 1.77 0.09 0 0
126Sprt:0 Aristotle 1.80 0.11 0 0
127DinnerPartyPlannerBM:0 Aristotle 1.86 0.11 0 0
128dfshasdsf12:1 Nihar the Great 1.97 0.11 0 0
129jabreezy:1 Mercury 2.00 0.10 0 0
130Bar Shabtai:1 haoyu 2.03 0.12 0 0
131haoyu:1 Anon5 2.13 0.01 0 0
132haoyu:0 KingBach 2.40 0.01 0 0
133jgs:1 haoyu 2.55 0.18 0 0
134burrito:1 haoyu 2.60 0.10 0 0
135John Whelchel:0 haoyu 2.88 0.06 0 0
136Linda:0 Andrew Grasso 2.96 0.01 0 0
137jgs:0 Aristotle 2.99 0.12 0 0
138Mike Hunt:0 Aristotle 4.10 0.27 0 0
139Valya Barboy:1 Shaheed Chagani 4.65 0.18 0 0
140Janie Gu:0 Glenn Fisher 4.81 0.07 0 0
141Dr Roberto:1 Andrew Grasso 5.07 0.02 0 0
142Walter Little:0 haoyu 5.23 0.04 0 0
143weezy:1 Bar Shabtai 5.29 0.01 0 0
144weezy:0 Bar Shabtai 5.92 0.01 0 0
145Lil Thug:0 Andrew Grasso 6.58 0.03 0 0
146Linda:1 Andrew Grasso 7.56 0.02 0 0
147Dr Roberto:0 Andrew Grasso 9.41 0.03 0 0
148Jordan Ash:1 Bar Shabtai 11.79 0.01 0 0
149Brendan Wright:1 Deric Cheng 13.74 0.10 0 0
150Fanny:0 Aristotle 14.62 0.10 0 0
151Mark S. Fillmore:1 Supahaka 14.99 0.04 79 79
152Mark S. Fillmore:0 Supahaka 14.99 0.01 116 116
153CookieMonster:0 CookieMonster 14.99 0.82 1 0
154CookieMonster:1 CookieMonster 14.99 1.10 1 0
155soccer:0 haoyu 15.00 0.04 2 0
156Jordan Ash:0 EC 14.99 0.03 2 0
157AFC:0 CookieMonster 14.99 0.34 2 0
158Tao:1 Aristotle 14.99 0.07 3 0
159soccer:1 haoyu 15.00 0.04 3 0
160DeeEmEm:0 CAPS LOCK 14.99 13.00 3 1
161T. Capote:1 haoyu 0.05 0.00 3 2
162Qinlan Shen:1 R. A. B. 3.50 9.00 4 1
163Absurdity:1 Aristotle 14.99 0.18 4 0
164DeeEmEm:1 haoyu 14.99 0.02 6 0
165Jessie Chen:1 Joel Faron 0.10 0.12 6 1
166Absurdity:0 Aristotle 15.00 0.23 6 0
167Yacob Y.:1 Aristotle 14.99 15.00 6 1
168Keji Xu:1 Nihar the Great 14.99 0.04 8 0
169The Whitman Whale:0 bigwig 14.99 0.04 10 0
170Tao:0 Bar Shabtai 14.99 0.02 10 0
171The Whitman Whale:1 Andrew Grasso 14.99 0.03 11 0
172Jessie Chen:0 Joel Faron 0.07 0.13 12 1
173Quite Satisfied:1 Joel Faron 0.03 2.11 12 1
174vluu:1 Nihar the Great 14.99 0.02 14 0
175vluu:0 Nihar the Great 14.99 0.01 15 0
176Sabar Dasgupta:0 spl 15.00 0.23 15 0
177John Whelchel:1 haoyu 15.00 0.11 15 0
1780108:0 jgs 0.26 14.98 18 1
179Charliezsc:0 jgs 15.00 14.98 19 1
180Keji Xu:0 Nihar the Great 14.99 0.03 20 0
181ebp:0 haoyu 15.00 0.04 25 0
182Andys:0 Aristotle 15.00 0.12 26 0
183Janie Gu:1 Jonathan Kwok 14.99 0.07 26 0
184Jameh:0 haoyu 14.99 0.01 27 0
185spl:1 haoyu 14.99 0.06 28 0
186Andys:1 Aristotle 14.99 0.13 29 0
187Ben Chen:1 spl 14.99 0.20 29 0
188Ben Chen:0 Elphaba 14.99 0.07 30 0
189ebp:1 haoyu 15.00 0.04 34 0
190SuperFan:1 jgs 0.31 14.98 34 4
191SuperFan:0 jgs 0.28 14.98 36 4
192Sabar Dasgupta:1 Aaron Doll 14.99 0.17 36 0
193Yan Wu:0 haoyu 14.99 0.05 68 0
194Jameh:1 haoyu 14.99 0.01 82 0
195Dusty:1 Shaheed Chagani 14.99 0.22 99 0
196Andrew Grasso:1 Shaheed Chagani 14.99 0.15 144 0
197Dusty:0 CookieMonster 14.99 1.39 149 0
198Andrew Grasso:0 Aaron Doll 14.99 0.18 193 0
199Supahaka:0 Andrew Werner 0.04 15.00 350 35
200Supahaka:1 Joel Faron 0.04 15.00 350 35
201Andrew Werner:0 Aaron Doll 15.00 0.33 1260 0
202Andrew Werner:1 haoyu 15.00 0.11 1332 0
203Nihar the Great:0 Aristotle 19.39 0.23 999 0
204Nihar the Great:1 Aristotle 19.53 0.25 999 0
205Brendan Wright:0 haoyu 49.50 0.10 38 0
206Bob Dondero:1 Mickey Mouse 75.53 0.03 10 0
207Bob Dondero:0 Andrew Grasso 85.52 0.02 10 0
208Elphaba:1 Aristotle - 0.22 - 0
209nupog:1 Aristotle - 0.12 - 0
210Shaheed Chagani:0 Aristotle - 0.17 - 0
211Matt Goldsmith:0 Nihar the Great - 0.03 - 0
212Aristotle:1 Aristotle - 9.69 - 0
213Mike Honcho:0 Miranda - 0.01 - 0
214Aaron Doll:0 Aristotle - 0.56 - 0
215Shaheed Chagani:1 Aristotle - 0.11 - 0
216Deric Cheng:1 jgs - 14.98 - 1
21713a:0 Aaron Doll - 15.00 - 21
218Elphaba:0 Aristotle - 0.24 - 0
219Aaron Doll:1 Aristotle - 1.27 - 0
220Deric Cheng:0 jgs - 14.99 - 1
221CAPS LOCK:1 Aristotle - 0.25 - 0
222Bar Shabtai:0 Aaron Doll - 15.01 - 1
223nupog:0 Aristotle - 0.13 - 0
224Aristotle:0 Aristotle - 15.00 - 1
22513a:1 Aaron Doll - 15.00 - 29
226Mike Honcho:1 Jessie Chen - 0.01 - 0
227CAPS LOCK:0 Aristotle - 0.20 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist